Présentation
Publications
Publications
|
|
Faster multivariate integration in D-modules2025 |
|
|
Validated Numerics for Algebraic Path TrackingISSAC 2024 - International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh NC, United States. pp.36-45, ⟨10.1145/3666000.3669673⟩ |
|
|
A Direttissimo Algorithm for Equidimensional DecompositionISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway |
|
|
Computing the dimension of real algebraic setsISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩ |
|
|
Computing the volume of compact semi-algebraic setsISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China |
|
|
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite FunctionsISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩ |
|
|
On p-adic differential equations with separation of variablesISSAC 2016, Jul 2016, Waterloo, Ontario, Canada. ⟨10.1145/2930889.2930912⟩ |
|
|
Computing the Chow variety of quadratic space curvesSixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Nov 2015, Berlin, Germany |
|
|
Creative telescoping for rational functions using the Griffiths-Dwork methodISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩ |
|
|
Périodes d'intégrales rationnelles : algorithmes et applicationsCalcul formel [cs.SC]. École polytechnique, 2014. Français. ⟨NNT : ⟩ |
|
|
Computing periods of rational integralsFoundations of computational mathematics 2014, workshop “symbolic analysis”, Dec 2014, Montevideo, Uruguay |