Publications HAL du projet ANR. ANR-20-CE48-0014

2022

Journal articles

titre
Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic
auteur
Jean-Michel Muller, Laurence Rideau
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02972245/file/muller-rideau-hal.pdf BibTex
titre
A Fast Parallel High-Precision Summation Algorithm Based on AccSumK
auteur
Xiaojun Lei, Tongxiang Gu, Stef Graillat, Hao Jiang, Jin Qi
article
Journal of Computational and Applied Mathematics, Elsevier, 2022, 406, pp.113827. ⟨10.1016/j.cam.2021.113827⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03352473/file/PAccSumK_JCAMrev3.pdf BibTex
titre
Graph Recovery From Incomplete Moment Information
auteur
Didier Henrion, Jean Lasserre
article
Constructive Approximation, Springer Verlag, 2022, ⟨10.1007/s00365-022-09563-8⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02990825/file/momgraphcompletion.pdf BibTex
titre
On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
auteur
Thomas Cameron, Stef Graillat
article
Electronic Transactions on Numerical Analysis, Kent State University Library, 2022, 55, pp.401-423. ⟨10.1553/etna_vol55s401⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03335604/file/CompEA%281%29.pdf BibTex

Preprints, Working Papers, ...

titre
Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
auteur
Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03672166/file/preprint_approximation_speed_of_quantized_vs_unquantized_ReLU_neural_networks_and_beyond.pdf BibTex
titre
Symbolic-Numeric Factorization of Differential Operators
auteur
Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba
article
2022
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03580658/file/issac22.pdf BibTex
titre
A DISINTEGRATION OF THE CHRISTOFFEL FUNCTION
auteur
Jean-Bernard Lasserre
article
2022
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03624003/file/gram.pdf BibTex
titre
Efficient and Validated Numerical Evaluation of Abelian Integrals
auteur
Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03561096/file/hal-abintvalid.pdf BibTex
titre
Optimization of Polynomials with Sparsity Encoded in a Few Linear Forms
auteur
Jean-Bernard Lasserre
article
2022
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03628891/file/few-lin.pdf BibTex

2021

Journal articles

titre
Efficient Floating-Point Implementation of the Probit Function on FPGAs
auteur
Mioara Joldeş, Bogdan Pasca
article
Journal of Signal Processing Systems, Springer, 2021, 93 (12), pp.1387-1403
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03385845/file/quantile_final.pdf BibTex

Conference papers

titre
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters
auteur
Denis Arzelier, Florent Bréhard, Mioara Joldeş, Jean-Bernard Lasserre, Sohie Laurens, Aude Rondepierre
article
60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03158347/file/ProbaCollision_soumission.pdf BibTex
titre
Some Formal Tools for Computer Arithmetic: Flocq and Gappa
auteur
Sylvie Boldo, Guillaume Melquiond
article
ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03233227/file/article.pdf BibTex
titre
Plotting in a Formally Verified Way
auteur
Guillaume Melquiond
article
Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03168208/file/article.pdf BibTex

Preprints, Working Papers, ...

titre
Accurate calculation of Euclidean Norms using Double-word arithmetic
auteur
Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03482567/file/NormsV0-HAL.pdf BibTex
titre
Integer points close to a transcendental curve and correctly-rounded evaluation of a function
auteur
Nicolas Brisebarre, Guillaume Hanrot
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03240179/file/tmd-hal-V3.pdf BibTex
titre
Rapid computation of special values of Dirichlet $L$-functions
auteur
Fredrik Johansson
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03386620/file/dirichlet.pdf BibTex
titre
Arbitrary-precision computation of the gamma function
auteur
Fredrik Johansson
article
2021
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03346642/file/gamma.pdf BibTex
titre
OPTIMIZATION ON THE EUCLIDEAN UNIT SPHERE
auteur
Jean-Bernard Lasserre
article
2021
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-03291242/file/linear-forms-RR.pdf BibTex

2020

Preprints, Working Papers, ...

titre
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
auteur
Stephen Melczer, Marc Mezzarobba
article
2020
Accès au bibtex
https://arxiv.org/pdf/2011.08155 BibTex