2025
Journal articles
- titre
- Condense and Distill: fast distillation of large floating-point sums via condensation
- auteur
- Stef Graillat, Theo Mary
- article
- SIAM Journal on Scientific Computing, 2025, 47 (2), pp.B583-B594. ⟨10.1137/24M1647217⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Rescaling-Invariant Lipschitz Bound Based on Path-Metrics for Modern ReLU Network Parameterizations
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- International Conference on Machine Learning, Jul 2025, Vancouver (BC), Canada
- Accès au texte intégral et bibtex
-
- titre
- Fast Inference with Kronecker-Sparse Matrices
- auteur
- Antoine Gonon, Léon Zheng, Pascal Carrivain, Quoc-Tung Le
- article
- International Conference on Machine Learning, Jul 2025, Vancouver (BC), Canada
- Accès au texte intégral et bibtex
-
- titre
- Beyond Affine Loops: A Geometric Approach to Program Synthesis
- auteur
- Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
- article
- SOAP '25: 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, PLDI: Programming Language Design and Implementation, Jun 2025, Seoul, South Korea. pp.1-7, ⟨10.1145/3735544.3735581⟩
- Accès au texte intégral et bibtex
-
Software
- titre
- Code for reproducible research - A rescaling-invariant Lipschitz bound using path-metrics
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- 2025, ⟨swh:1:dir:3ef1659778414497b9fc2469b8afad02c6eb9e68;origin=https://hal.archives-ouvertes.fr/hal-05088847;visit=swh:1:snp:4315baa0c8e513fa42b84634266d757d5e44fcbd;anchor=swh:1:rel:147f1cfa0d54dace5a3c59dad43d04b055217f5b;path=/⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Generic rings in FLINT
- auteur
- Fredrik Johansson
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- A unified approach for degree bound estimates of linear differential operators
- auteur
- Louis Gaillard
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
- auteur
- Stef Graillat, Jean-Michel Muller
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Correctly-rounded evaluation of a function: why, how, and at what cost?
- auteur
- Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Multiword matrix multiplication over large finite fields in floating-point arithmetic
- auteur
- Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Theo Mary
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Fast basecases for arbitrary-size multiplication
- auteur
- Albin Ahlbäck, Fredrik Johansson
- article
- 2025
- Accès au texte intégral et bibtex
-
2024
Journal articles
- titre
- Fast and reliable computation of the instantaneous orbital collision probability
- auteur
- Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy
- article
- Journal of Guidance, Control, and Dynamics, 2024, pp.1-14. ⟨10.2514/1.G008102⟩
- 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
- ACM Transactions on Mathematical Software, 2024, 50 (1), pp.1 - 38. ⟨10.1145/3637550⟩
- Accès au texte intégral et bibtex
-
- titre
- The Christoffel function: Applications, connections and extensions
- auteur
- Jean-Bernard Lasserre
- article
- Numerical Algebra, Control and Optimization, In press, ⟨10.3934/naco.2024011⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing error bounds for asymptotic expansions of regular P-recursive sequences
- auteur
- Ruiwen Dong, Stephen Melczer, Marc Mezzarobba
- article
- Mathematics of Computation, 2024, 93, pp.977-1017
- Accès au texte intégral et bibtex
-
- titre
- Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic
- auteur
- Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
- article
- IEEE Transactions on Emerging Topics in Computing, 2024, 12 (2), pp.656-666. ⟨10.1109/TETC.2023.3294986⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- End-to-End Formal Verification of a Fast and Accurate Floating-Point Approximation
- auteur
- Florian Faissole, Paul Geneau de Lamarlière, Guillaume Melquiond
- article
- 15th International Conference on Interactive Theorem Proving, Sep 2024, Tbilisi, Georgia. pp.14:1-14:18, ⟨10.4230/LIPIcs.ITP.2024.14⟩
- Accès au texte intégral et bibtex
-
- titre
- Useful applications of correctly-rounded operators of the form ab + cd + e
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller
- article
- 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain
- Accès au texte intégral et bibtex
-
- titre
- Fast multiple precision exp(x) with precomputations
- auteur
- Joris van der Hoeven, Fredrik Johansson
- article
- 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH), Jun 2024, Malaga, Spain. pp.80-87, ⟨10.1109/ARITH61463.2024.00023⟩
- Accès au texte intégral et bibtex
-
- titre
- Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm
- auteur
- Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba
- article
- 31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩
- Accès au texte intégral et bibtex
-
- titre
- A path-norm toolkit for modern networks: consequences, promises and challenges
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- International Conference on Learning Representations, May 2024, Wien, Austria
- Accès au texte intégral et bibtex
-
- titre
- Positivity certificates for linear recurrences
- auteur
- Alaa Ibrahim, Bruno Salvy
- article
- SODA 2024 - ACM-SIAM Symposium on Discrete Algorithms, Jan 2024, Alexandria, Virginia, United States. pp.982-994, ⟨10.1137/1.9781611977912.37⟩
- Accès au bibtex
-
Software
- titre
- Code for reproducible research - A path-norm toolkit for modern networks: consequences, promises and challenges
- auteur
- Antoine Gonon, Nicolas Brisebarre, Elisa Riccietti, Rémi Gribonval
- article
- 2024, ⟨swh:1:dir:119d3f903d3b6e0a776bd64c71317331839390d4;origin=https://hal.archives-ouvertes.fr/hal-04498597;visit=swh:1:snp:3b7c23b687511f3d2e4673d222c3ba96195bb004;anchor=swh:1:rel:7c123216ebb2018ea3290cbdb4cf4f4b8ddea964;path=/⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations
- auteur
- Denis Arzelier, Florent Bréhard, Tom Hubrecht, Mioara Joldes
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Emulation of 3Sum, 4Sum, the FMA and the FD2 instructions in rounded-to-nearest floating-point arithmetic
- auteur
- Stef Graillat, Jean-Michel Muller
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- A modified Christoffel function and its asymptotic properties
- auteur
- Jean-Bernard Lasserre
- article
- Journal of Approximation Theory, 2023, 295, pp.105955. ⟨10.1016/j.jat.2023.105955⟩
- Accès au texte intégral et bibtex
-
- titre
- Volumes of sublevel sets of nonnegative forms and complete monotonicity
- auteur
- Khazhgali Kozhasov, Jean-Bernard Lasserre
- article
- SIAM Journal on Applied Algebra and Geometry, 2023, 7 (4), ⟨10.1137/22M1502458⟩
- Accès au texte intégral et bibtex
-
- titre
- Enabling Floating-Point Arithmetic in the Coq Proof Assistant
- auteur
- Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux
- article
- Journal of Automated Reasoning, 2023, 67 (33), 34 p. ⟨10.1007/s10817-023-09679-x⟩
- Accès au texte intégral et bibtex
-
- titre
- Approximation speed of quantized vs. unquantized ReLU neural networks and beyond
- auteur
- Antoine Gonon, Nicolas Brisebarre, Rémi Gribonval, Elisa Riccietti
- article
- IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩
- Accès au texte intégral et bibtex
-
- titre
- Modular matrix multiplication on GPU for polynomial system solving
- auteur
- Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Theo Mary
- article
- ACM Communications in Computer Algebra, In press, 57 (2), pp.35-38. ⟨10.1145/3614408.3614411⟩
- Accès au texte intégral et bibtex
-
- titre
- Floating-point arithmetic
- auteur
- Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller
- article
- Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩
- Accès au texte intégral et bibtex
-
- titre
- Accurate calculation of Euclidean Norms using Double-word arithmetic
- auteur
- Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
- article
- ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩
- Accès au texte intégral et bibtex
-
- titre
- Arbitrary-precision computation of the gamma function
- auteur
- Fredrik Johansson
- article
- Maple Transactions, 2023, 3 (1), ⟨10.5206/mt.v3i1.14591⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi-level parallel multi-layer block reproducible summation algorithm
- auteur
- Kuan Li, Kang He, Stef Graillat, Hao Jiang, Tongxiang Gu, Jie Liu
- article
- Parallel Computing, 2023, 115, pp.102996. ⟨10.1016/j.parco.2023.102996⟩
- Accès au bibtex
-
- titre
- Le dilemme du fabricant de tables
- auteur
- Sylvie Boldo, Nicolas Brisebarre, Jean-Michel Muller
- article
- La Recherche, 2023, 572
- Accès au bibtex
-
- titre
- Differential-Difference Properties of Hypergeometric Series
- auteur
- Nicolas Brisebarre, Bruno Salvy
- article
- Proceedings of the American Mathematical Society, 2023, 151 (6), pp.2603--2617. ⟨10.1090/proc/16316⟩
- Accès au bibtex
-
- titre
- Pell's equation, sum-of-squares and equilibrium measures of a compact set
- auteur
- Jean-Bernard Lasserre
- article
- Comptes Rendus. Mathématique, 2023, 361 (1), pp.935-952. ⟨10.5802/crmath.465⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Slimmer Formal Proofs for Mathematical Libraries
- auteur
- Paul Geneau de Lamarlière, Guillaume Melquiond, Florian Faissole
- article
- 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4, ⟨10.1109/ARITH58626.2023.00026⟩
- Accès au texte intégral et bibtex
-
- titre
- Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform
- auteur
- Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
- article
- 30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, United States
- Accès au texte intégral et bibtex
-
- titre
- Towards Machine-Efficient Rational $L^{\infty}$-Approximations of Mathematical Functions
- auteur
- Nicolas Brisebarre, Silviu-Ioan Filip
- article
- 30th IEEE Symposium on Computer Arithmetic, ARITH 2023, Sep 2023, Portland, United States. pp.119--126
- Accès au texte intégral et bibtex
-
- titre
- Can sparsity improve the privacy of neural networks?
- auteur
- Antoine Gonon, Léon Zheng, Clément Lalanne, Quoc-Tung Le, Guillaume Lauga, Can Pouliquen
- article
- GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Unifying Graded Linear Logic and Differential Operators
- auteur
- Flavien Breuvart, Marie Kerjean, Simon Mirwasser
- article
- 8th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy, Gaboardi, Marco and van Raamsdonk, Femke}, Jul 2023, Roma, Italy. ⟨10.4230/LIPIcs.FSCD.2023.21⟩
- Accès au texte intégral et bibtex
-
- titre
- Taylor Expansion as a Monad in Models of DiLL
- auteur
- Marie Kerjean, Jean-Simon Pacaud Lemay
- article
- 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175753⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- The Moment-SOS hierarchy: Applications and related topics
- auteur
- Jean-Bernard Lasserre
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- A parallel compensated Horner scheme for SIMD architecture
- auteur
- Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Lauter
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Accurate Horner Methods in Real and Complex Floating-Point Arithmetic
- auteur
- Thomas R Cameron, Stef Graillat
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS
- auteur
- Didier Henrion, Milan Korda, Jean-Bernard Lasserre
- article
- 2023
- 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
- 2023
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- A DISINTEGRATION OF THE CHRISTOFFEL FUNCTION
- auteur
- Jean-Bernard Lasserre
- article
- Comptes Rendus. Mathématique, 2022, 360, pp.1071--1079. ⟨10.5802/crmath.380⟩
- Accès au texte intégral et bibtex
-
- titre
- Graph Recovery From Incomplete Moment Information
- auteur
- Didier Henrion, Jean B Lasserre
- article
- Constructive Approximation, 2022, 6, pp.165-187. ⟨10.1007/s00365-022-09563-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounding the Round-Off Error of the Upwind Scheme for Advection
- auteur
- Louise Ben Salem-Knapp, Sylvie Boldo, William Weens
- article
- IEEE Transactions on Emerging Topics in Computing, 2022, 10 (3), ⟨10.1109/TETC.2022.3191472⟩
- Accès au texte intégral et bibtex
-
- titre
- Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
- auteur
- Stephen Melczer, Marc Mezzarobba
- article
- Combinatorial Theory, 2022, 2 (2)
- Accès au texte intégral et bibtex
-
- titre
- Optimization on the Euclidean Unit Sphere
- auteur
- Jean-Bernard Lasserre
- article
- SIAM Journal on Optimization, 2022, 32 (2), pp.1430--1445. ⟨10.1137/21M1433150⟩
- Accès au texte intégral et bibtex
-
- 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, 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, 2022, 406, pp.113827. ⟨10.1016/j.cam.2021.113827⟩
- 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 R. Cameron, Stef Graillat
- article
- Electronic Transactions on Numerical Analysis, 2022, 55, pp.401-423. ⟨10.1553/etna_vol55s401⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Optimization of Polynomials with Sparsity Encoded in a Few Linear Forms
- auteur
- Jean-Bernard Lasserre
- article
- 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2022), Sep 2022, Beyreuth, Germany. pp.383-387
- 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
- ISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩
- Accès au texte intégral et bibtex
-
- titre
- Validated Numerics:Algorithms and Practical Applications in Aerospace
- auteur
- Mioara Joldes
- article
- ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.1-2, ⟨10.1145/3476446.3535505⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Computing elementary functions using multi-prime argument reduction
- auteur
- Fredrik Johansson
- 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, 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
- Rapid computation of special values of Dirichlet $L$-functions
- auteur
- Fredrik Johansson
- article
- 2021
- Accès au texte intégral et bibtex
-
2019
Software
- titre
- Certified Chebyshev models in Rocq
- auteur
- Damien Pous, Florent Bréhard, Louis Gaillard, Assia Mahboubi
- article
- 2019, ⟨swh:1:dir:6cdde290b1103523b5da14286df67b8df99b14a4;origin=https://github.com/damien-pous/approx-models;visit=swh:1:snp:0b56d5fef783663a395578bc5fb64f9f8afa0342;anchor=swh:1:rev:2304ba7730fbb293d4cb55f609994d7bdaf4e83f⟩
- Accès au bibtex
-