An estimate of the remainder in the expansion of the generating function for the Legendre polynomials (generalization and improvement of Bernstein's inequality), Vestnik Leningrad Univ. Mat, vol.13, pp.163-166, 1981. ,
High-precision numerical integration: Progress and challenges, J. Symbolic Comput, vol.46, pp.741-754, 2011. ,
Integrals of the Ising class, J. Phys. A, vol.39, p.12271, 2006. ,
ARPREC: An arbitrary precision computation package, 2002. ,
Iteration-free computation of Gauss-Legendre quadrature nodes and weights, SIAM J. Sci. Comput, vol.36, pp.1008-1026, 2014. ,
O(1) computation of Legendre polynomials and Gauss-Legendre nodes and weights for parallel computing, SIAM J. Sci. Comput, vol.34, pp.83-101, 2012. ,
Asymptotic approximation of central binomial coefficients with rigorous error bounds, 2016. ,
, Modern Computer Arithmetic, 2010.
URL : https://hal.archives-ouvertes.fr/cel-01500109
Feynman integrals, L-series and Kloosterman moments, 2016. ,
A Bernstein-type inequality for the Jacobi polynomial, Proc. Amer. Math. Soc, vol.121, pp.703-709, 1994. ,
Computer algebra in the service of mathematical physics and number theory, Talks from the International Conference on Computers and Mathematics, vol.125, pp.109-232, 1986. ,
Accurate multiple-precision Gauss-Legendre quadrature, 18th IEEE Symposium on Computer Arithmetic, ARITH'07, pp.150-160, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00769452
Calculation of Gauss quadrature rules, Math. Comp, vol.23, pp.221-230, 1969. ,
The GNU Multiple Precision Arithmetic Library, 6.1.2 ed, 2017. ,
Fast and accurate computation of Gauss-Legendre and GaussJacobi quadrature nodes and weights, SIAM J. Sci. Comput, vol.35, pp.652-674, 2013. ,
Evaluating parametric holonomic sequences using rectangular splitting, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, ISSAC '14, pp.256-263, 2014. ,
Efficient implementation of elementary functions in the medium-precision range, 22nd IEEE Symposium on Computer Arithmetic, ARITH22, pp.83-89, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01079834
, Computing hypergeometric functions rigorously, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01336266
Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans. Comput, vol.66, pp.1281-1292, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01394258
Computing Stieltjes constants using complex integration, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01758620
Fast approximate polynomial multipoint evaluation and applications, 2013. ,
Is Gauss quadrature optimal for analytic functions?, Numer. Math, vol.47, pp.89-98, 1985. ,
Numerical Integration and L-Functions Computations, theses, Université Sciences et Technologies-Bordeaux I, 2010. ,
Methods and applications of interval analysis, 1979. ,
Asymptotics and Special Functions, A K Peters, 1997. ,
, NIST Handbook of Mathematical Functions, 2010.
On the computation of the Gauss-Legendre quadrature formula with a given precision, J. Comput. Appl. Math, vol.112, pp.225-228, 1999. ,
Self-validating integration and approximation of piecewise analytic functions, J. Comput. Appl. Math, vol.145, pp.586-592, 2002. ,
Efficient multiple-precision evaluation of elementary functions, Math. Comp, vol.52, pp.131-134, 1989. ,
Double exponential formulas for numerical integration, Publ. Res. Inst. Math. Sci, vol.9, pp.721-741, 1974. ,
PARI/GP version 2.9, vol.4, 2017. ,
The race for high order Gauss-Legendre quadrature, SIAM News, pp.1-3, 2015. ,
Is Gauss quadrature better than Clenshaw-Curtis?, SIAM Rev, vol.50, pp.67-87, 2008. ,
Six myths of polynomial interpolation and quadrature, 2011. ,
, Ball arithmetic, tech. report, 2009.
Computation with Recurrence Relations, 1984. ,
, ?????? ??????? ?????????? ???????????? ??????? ????????? ???????? (????????? ? ????????? ??????????? ??????????), ??????? ?????????????? ????????????, pp.5-7, 1980.