مقالات بحثية تمّ التفويض بإتاحتها للجميع - Guillaume Melquiondمزيد من المعلومات
عدد المقالات البحثية المتاحة للجميع في موقع ما: 9
Floating-point arithmetic
S Boldo, CP Jeannerod, G Melquiond, JM Muller
Acta Numerica 32, 203-290, 2023
التفويضات: European Commission, Agence Nationale de la Recherche
Some Formal Tools for Computer Arithmetic: Flocq and Gappa
S Boldo, G Melquiond
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), 111-114, 2021
التفويضات: European Commission, Agence Nationale de la Recherche
Enabling Floating-Point Arithmetic in the Coq Proof Assistant
É Martin-Dorel, G Melquiond, P Roux
Journal of Automated Reasoning 67 (4), 33, 2023
التفويضات: European Commission, Agence Nationale de la Recherche
Slimmer Formal Proofs for Mathematical Libraries
PG de Lamarlière, G Melquiond, F Faissole
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 32-35, 2023
التفويضات: Agence Nationale de la Recherche
Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta= 1.819...
G Melquiond, G Nowak, P Zimmermann
Mathematics of Computation 82, 1235-1246, 2013
التفويضات: Austrian Science Fund
A safe low-level language for computer algebra and its formally verified compiler
G Melquiond, J Moreau
Proceedings of the ACM on Programming Languages 8 (ICFP), 121-146, 2024
التفويضات: European Commission
End-to-End Formal Verification of a Fast and Accurate Floating-Point Approximation
F Faissole, PG de Lamarlière, G Melquiond
التفويضات: Agence Nationale de la Recherche
Manifest Termination
A Mahboubi, G Melquiond
TYPES 2023-29th International Conference on Types for Proofs and Programs, 2023
التفويضات: European Commission
Turning the Coq Proof Assistant into a Pocket Calculator
G Melquiond
Coq 2024-15th Coq Workshop, 2024
التفويضات: European Commission
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.