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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- titre
- A DISINTEGRATION OF THE CHRISTOFFEL FUNCTION
- auteur
- Jean-Bernard Lasserre
- article
- 2022
- Accès au texte intégral et 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
- titre
- Rapid computation of special values of Dirichlet $L$-functions
- auteur
- Fredrik Johansson
- article
- 2021
- Accès au texte intégral et bibtex
-
- titre
- Arbitrary-precision computation of the gamma function
- auteur
- Fredrik Johansson
- article
- 2021
- Accès au texte intégral et bibtex
-
- titre
- OPTIMIZATION ON THE EUCLIDEAN UNIT SPHERE
- auteur
- Jean-Bernard Lasserre
- article
- 2021
- Accès au texte intégral et 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
-
