D. Bailey and J. M. Borwein, High-precision numerical integration: progress and challenges, Journal of Symbolic Computation, vol.46, pp.741-754, 2011.
DOI : 10.1016/j.jsc.2010.08.010
URL : https://doi.org/10.1016/j.jsc.2010.08.010

S. Basu, R. Pollack, and M. Roy, On the combinatorial and algebraic complexity of quantifier elimination, J. ACM, vol.43, pp.1002-1045, 1996.

S. Basu, R. Pollack, and M. Roy, Algorithms in real algebraic geometry, vol.10, 2006.
DOI : 10.1007/3-540-33099-2
URL : https://hal.archives-ouvertes.fr/hal-01083587

M. Beeler, R. W. Gosper, and R. Schroeppel, Hakmem. AI Memo 239, 1972.

A. Bostan, P. Lairez, and B. Salvy, Creative telescoping for rational functions using the Griffiths-Dwork method, pp.93-100, 2013.
DOI : 10.1145/2465506.2465935
URL : https://hal.archives-ouvertes.fr/hal-00777675

P. Bürgisser, F. Cucker, and P. Lairez, Computing the homology of basic semialgebraic sets in weak exponential time, J. ACM, vol.66, p.5, 2019.

J. Canny, The complexity of robot motion planning, 1988.

G. , Diagonales de fractions rationnelles et équations de PicardFuchs. Groupe de travail d'analyse ultramétrique, vol.12, p.1, 1985.

D. V. Chudnovsky and G. V. Chudnovsky, Computer algebra in the service of mathematical physics and number theory, Computers in mathematics, vol.125, pp.109-232, 1986.

F. Chyzak, An extension of Zeilberger's fast algorithm to general holonomic functions, Discrete Mathematics, vol.217, pp.115-134, 2000.
DOI : 10.1016/s0012-365x(99)00259-9
URL : https://doi.org/10.1016/s0012-365x(99)00259-9

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, pp.134-183, 1975.
DOI : 10.1007/3-540-07407-4_17

A. Dimca, On the de Rham cohomology of a hypersurface complement, American Journal of Mathematics, vol.113, pp.763-771, 1991.

M. Dyer and A. Frieze, On the complexity of computing the volume of a polyhedron, SIAM J. Comput, vol.17, pp.967-974, 1988.

M. Dyer, A. Frieze, and R. Kannan, A random polynomial-time algorithm for approximating the volume of convex bodies, J. ACM, vol.38, pp.1-17, 1991.

A. Grothendieck, On the de Rham cohomology of algebraic varieties, Hautes Études Scientifiques. Publications Mathématiques, vol.29, pp.95-103, 1966.

D. Henrion, J. Lasserre, and C. Savorgnan, Approximate volume and integration for basic semialgebraic sets, SIAM review, vol.51, pp.722-743, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00297384

E. Hille, Ordinary differential equations in the complex domain, 1976.

N. M. Katz, The regularity theorem in algebraic geometry, Actes du Congrès International des Mathématiciens, vol.1, pp.437-443, 1970.

L. Khachiyan, The problem of computing the volume of polytopes is NP-hard. Uspekhi Mat, Nauk, vol.44, pp.199-200, 1989.

L. Khachiyan, Complexity of polytope volume computation, New trends in discrete and computational geometry, pp.91-101, 1993.

L. Khachiyan and L. Porkolab, Integer Optimization on Convex Semialgebraic Sets, Discrete & Computational Geometry, vol.23, pp.207-224, 2000.

P. Koiran, Approximating the volume of definable sets, Foundations of Computer Science. IEEE, pp.134-141, 1995.

M. Kontsevich and D. Zagier, Periods. In Mathematics unlimited. Springer, pp.771-808, 2001.

M. Korda and D. Henrion, Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets, Optimization Letters, vol.12, pp.435-442, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01415327

C. Koutschan, A fast approach to creative telescoping, Mathematics in Computer Science, vol.4, pp.259-266, 2010.

P. Lairez, Computing periods of rational integrals, Math. Comp, vol.85, pp.1719-1752, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01097145

J. Leray, Le calcul différentiel et intégral sur une variété analytique complexe (Problème de Cauchy, III), vol.87, pp.81-180, 1959.

L. Lipshitz, The diagonal of a D-finite power series is D-finite, Journal of Algebra, vol.113, pp.373-378, 1988.

M. Mezzarobba, Autour de l'évaluation numérique des fonctions D-finies, 2011.

M. Mezzarobba, Rigorous multiple-precision evaluation of D-finite functions in SageMath, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01342769

P. Monsky, Finiteness of de Rham cohomology, American Journal of Mathematics, vol.94, pp.237-245, 1972.

T. Oaku, Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities, Journal of Symbolic Computation, vol.50, pp.1-27, 2013.

F. Pham, Singularities of integrals: homology, hyperfunctions and microlocal analysis, 2011.

E. Picard, Sur les périodes des intégrales doubles et sur une classe d'équations différentielles linéaires, Comptes rendus hebdomadaires des séances de l'Académie des sciences, vol.134, pp.69-71, 1902.

E. G. Poole, Introduction to the theory of linear differential equations, 1936.

M. Safey-el-din and É. Schost, Polar varieties and computation of one point in each connected component of a smooth real algebraic set, pp.224-231, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099649

M. Safey-el-din and É. Schost, A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets, J. ACM, vol.63, p.48, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00849057

M. Safey-el-din and L. Zhi, Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions, SIAM Journal on Optimization, vol.20, pp.2876-2889, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00419983

A. Tarski, A decision method for elementary algebra and geometry. In Quantifier elimination and cylindrical algebraic decomposition, pp.24-84, 1998.

J. Van-der-hoeven, Fast Evaluation of Holonomic Functions Near and in Regular Singularities, Journal of Symbolic Computation, vol.31, pp.717-743, 2001.

J. Viu-sos, 2015-09-03. A semi-canonical reduction for periods of KontsevichZagier

J. Zur-gathen and J. Gerhard, Modern computer algebra, 1999.