AI Chat AI Image Generator AI Video Text to Speech

Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath

07/07/2016

∙

by Marc Mezzarobba, et al.

∙

∙

We present a new open source implementation in the SageMath computer algebra system of algorithms for the numerical solution of linear ODEs with polynomial coefficients. Our code supports regular singular connection problems and provides rigorous error bounds.

page 1

page 2

page 3

page 4

research

∙ 02/22/2018

Numerical integration in arbitrary-precision ball arithmetic

We present an implementation of arbitrary-precision numerical integratio...

0 Fredrik Johansson, et al. ∙

research

∙ 12/22/2022

Computing error bounds for asymptotic expansions of regular P-recursive sequences

Over the last several decades, improvements in the fields of analytic co...

0 Ruiwen Dong, et al. ∙

research

∙ 02/12/2023

Numerical methods and arbitrary-precision computation of the Lerch transcendent

We examine the use of the Euler-Maclaurin formula and new derived unifor...

0 Guillermo Navas-Palencia, et al. ∙

research

∙ 04/08/2021

msolve: A Library for Solving Polynomial Systems

We present a new open source C library dedicated to solving multivariat...

0 Jérémy Berthomieu, et al. ∙

research

∙ 02/12/2018

Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights

We describe a strategy for rigorous arbitrary-precision evaluation of Le...

0 Fredrik Johansson, et al. ∙

research

∙ 05/03/2017

Computing isomorphisms and embeddings of finite fields

Let F_q be a finite field. Given two irreducible polynomials f,g over F_...

0 Ludovic Brieulle, et al. ∙

research

∙ 08/12/2023

On the connection coefficients for linear differential systems with applications to the spheroidal and ellipsoidal wave equation

This paper is concerned with the connection coefficients between the loc...

0 Harald Schmid, et al. ∙