Marc Mezzarobba
Publications
Publications
|
|
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩ |
|
|
Symbolic-Numeric Factorization of Differential OperatorsISSAC '22, Jul 2022, Lille, France. ⟨10.1145/3476446.3535503⟩ |
|
|
Computing the volume of compact semi-algebraic setsISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China |
|
|
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath5th International Congress on Mathematical Software (ICMS~2016), Jul 2016, Berlin, Germany |
|
|
Semi-Automatic Floating-Point Implementation of Special FunctionsIEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. pp.58-65, ⟨10.1109/ARITH.2015.12⟩ |
|
|
Comparison between binary64 and decimal64 floating-point numbers21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩ |
|
|
Finding Hyperexponential Solutions of Linear ODEs by Numerical EvaluationISSAC - 28th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Massachusetts, United States. pp.211-218, ⟨10.1145/2465506.2465513⟩ |
|
|
Multiple precision evaluation of the Airy Ai function with reduced cancellation21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, ⟨10.1109/ARITH.2013.33⟩ |
|
|
A Note on the Space Complexity of Fast D-Finite Function EvaluationCASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.212-223, ⟨10.1007/978-3-642-32973-9_18⟩ |
|
|
The Dynamic Dictionary of Mathematical Functions (DDMF)ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41 |
|
|
NumGfun: a Package for Numerical and Analytic Computation with D-finite FunctionsISSAC - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.139-146, ⟨10.1145/1837934.1837965⟩ |
|
|
Computing roadmaps in smooth real algebraic setsTransgressive Computing 2006, Apr 2006, Granada, Spain. pp.327-338 |
|
|
Computational Mathematics with SageMathSIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩ |
|
|
Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one2026 |
|
|
Fast evaluation of some p-adic transcendental functions2021 |
|
|
Autour de l'évaluation numérique des fonctions D-finiesCalcul formel [cs.SC]. Ecole Polytechnique X, 2011. Français. ⟨NNT : ⟩ |