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

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
https://hal.science/hal-04507609/file/paper.pdf 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
https://hal.science/hal-04584311/file/798_A_Rescaling_Invariant_Lips.pdf 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
https://hal.science/hal-04584450/file/Kronecker_sparse_ICML_2025.pdf 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
https://hal.science/hal-05127957/file/SOAP-25.pdf 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
https://hal.science/hal-05088847/file/SH.zip BibTex

Preprints, Working Papers, ...

titre
Generic rings in FLINT
auteur
Fredrik Johansson
article
2025
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05094763/file/fj_flint_generics.pdf 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
https://hal.science/hal-04977634/file/gaillard_hal.pdf 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
https://hal.science/hal-04575249/file/emulfmaV2.pdf 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
https://hal.science/hal-04474530/file/HaL-crsurvey.pdf 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
https://hal.science/hal-04917201/file/article.pdf BibTex
titre
Fast basecases for arbitrary-size multiplication
auteur
Albin Ahlbäck, Fredrik Johansson
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04861755/file/mpn.pdf 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
https://laas.hal.science/hal-04134188/file/Instantaneous_POC.pdf 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
https://hal.science/hal-03561096/file/hal-abintvalidV2.pdf 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
https://laas.hal.science/hal-04488686/file/AIMS-lasserre-revised.pdf 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
https://hal.science/hal-03902210/file/main.pdf 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
https://hal.science/hal-04044716/file/multconst-clean.pdf 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
https://hal.science/hal-04515714/file/article.pdf 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
https://inria.hal.science/hal-04461089/file/fd2a-revised.pdf 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
https://hal.science/hal-04454093/file/exp-v2.pdf 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
https://laas.hal.science/hal-04466875/file/arith2024_hal.pdf 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
https://hal.science/hal-04225201/file/iclr_hal.pdf 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
https://arxiv.org/pdf/2306.05930 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
https://hal.science/hal-04498597/file/pathnorm_toolkit-1.0.0.zip 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
https://hal.science/hal-04709615/file/arithLongVer.pdf 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
https://hal.science/hal-04624238/file/extension-emulfma.pdf 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
https://laas.hal.science/hal-03949201/file/extension-jat.pdf 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
https://laas.hal.science/hal-03693810/file/main.pdf 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
https://inria.hal.science/hal-04114233/file/article.pdf 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
https://hal.science/hal-03672166/file/v2_preprint_approximation_speed_of_quantized_vs_unquantized_ReLU_neural_networks_and_beyond.pdf 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
https://hal.sorbonne-universite.fr/hal-04117304/file/main.pdf 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
https://hal.science/hal-04095151/file/floatingpoint_arithmetic.pdf 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
https://hal.science/hal-03482567/file/NormsandDW%20HaLV2.pdf 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
https://inria.hal.science/hal-03346642/file/gamma.pdf 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
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
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
https://arxiv.org/pdf/2207.00393 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
https://laas.hal.science/hal-03813195/file/Pell-final-arxiv.pdf 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
https://inria.hal.science/hal-04165169/file/article.pdf 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
https://inria.hal.science/hal-04092770/file/mainIEEE_accepted.pdf 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
https://hal.science/hal-04093020/file/rminimax_hal.pdf 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
https://hal.science/hal-04062317/file/HAL_gretsi.pdf 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
https://hal.science/hal-03979585/file/hal.pdf 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
https://hal.science/hal-03965003/file/hal_v2.pdf 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
https://laas.hal.science/hal-04201167/file/lasserre.pdf 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
https://hal.science/hal-04180645/file/ParCompHorner.pdf 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
https://hal.science/hal-04030542/file/HornerK-8.pdf 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
https://laas.hal.science/hal-03986252/file/polyargmin.pdf 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
https://hal.science/hal-03240179/file/tmd-hal-V4.pdf 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
https://laas.hal.science/hal-03624003/file/Cras-disintegration.pdf 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
https://laas.hal.science/hal-02990825/file/momgraphcompletion.pdf 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
https://inria.hal.science/hal-03329933/file/article.pdf 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
https://hal.science/hal-03366860/file/210211-whn79.pdf 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
https://laas.hal.science/hal-03291242/file/linear-forms-RR.pdf 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
https://hal.science/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, 2022, 406, pp.113827. ⟨10.1016/j.cam.2021.113827⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03352473/file/PAccSumK_JCAMrev3.pdf 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
https://hal.science/hal-03335604/file/CompEA%281%29.pdf 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
https://laas.hal.science/hal-03628891/file/few-lin.pdf 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
https://inria.hal.science/hal-03580658/file/issac22.pdf 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
https://laas.hal.science/hal-03762945/file/issac2022.pdf 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
https://inria.hal.science/hal-03714660/file/eleprime.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, 2021, 93 (12), pp.1387-1403
Accès au texte intégral et bibtex
https://laas.hal.science/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://laas.hal.science/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://inria.hal.science/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://inria.hal.science/hal-03168208/file/article.pdf 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
https://inria.hal.science/hal-03386620/file/dirichlet.pdf 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
BibTex