English

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

Symbolic Computation 2016-07-08 v1
Authors: Marc Mezzarobba
View on arXiv ↗ PDF ↗

Abstract

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.

Keywords

computer algebra computational complexity

Cite

@article{arxiv.1607.01967,
  title  = {Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath},
  author = {Marc Mezzarobba},
  journal= {arXiv preprint arXiv:1607.01967},
  year   = {2016}
}

Related papers

View all related →
Symbolic Computation · Computer Science
Ore Polynomials in Sage
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson
2013-06-19
Symbolic Computation · Computer Science
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
2013-01-14
Symbolic Computation · Computer Science
Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
Xavier Caruso, Florian Fürnsinn
2026-02-05
Symbolic Computation · Computer Science
Effective certification of approximate solutions to systems of equations involving analytic functions
Michael Burr, Kisun Lee, Anton Leykin
2019-07-22
Exactly Solvable and Integrable Systems · Physics
Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs
D. Baldwin, U. Goktas, W. Hereman, L. Hong +2
2007-05-23
Numerical Analysis · Mathematics
Accurate and Efficient Expression Evaluation and Linear Algebra
James Demmel, Ioana Dumitriu, Olga Holtz, Plamen Koev
2008-05-21
Numerical Analysis · Mathematics
Numerical algorithms for the real zeros of hypergeometric functions
Amparo Gil, Wolfram Koepf, Javier Segura
2025-10-20
Symbolic Computation · Computer Science
Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
Siyuan Deng, Michelle Hatzel, Gregory Reid, Wenqiang Yang +1
2024-10-17
Classical Analysis and ODEs · Mathematics
Transforming ODEs and PDEs with radical coefficients into rational coefficients
Jorge Caravantes, J. Rafael Sendra, David Sevilla, Carlos Villarino
2020-03-16
Numerical Analysis · Mathematics
On efficient numerical solution of linear algebraic systems arising in goal-oriented error estimates
Vít Dolejší, Petr Tichý
2020-01-08
Mathematical Software · Computer Science
Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
Michèle Loday-Richaud, Marc Mezzarobba, Pascal Remy
2026-01-09
Logic in Computer Science · Computer Science
A characterization of functions over the integers computable in polynomial time using discrete differential equations
Olivier Bournez, Arnaud Durand
2022-09-27
Symbolic Computation · Computer Science
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions
Marc Mezzarobba
2010-06-01
Numerical Analysis · Mathematics
A new matrix equation expression for the solution of non-autonomous linear systems of ODEs
Stefano Pozza, Niel Van Buggenhout
2022-10-14
Numerical Analysis · Mathematics
A numerical method for solving elliptic equations on real closed algebraic curves and surfaces
Wenrui Hao, Jonathan D. Hauenstein, Margaret H. Regan, Tingting Tang
2023-11-17
Numerical Analysis · Mathematics
UGrid: An Efficient-And-Rigorous Neural Multigrid Solver for Linear PDEs
Xi Han, Fei Hou, Hong Qin
2024-08-12
Data Structures and Algorithms · Computer Science
A Simple Algorithm for Trimmed Multipoint Evaluation
Nick Fischer, Melvin Kallmayer, Leo Wennmann
2026-02-11
Machine Learning · Computer Science
Efficiently Solving High-Order and Nonlinear ODEs with Rational Fraction Polynomial: the Ratio Net
Chenxin Qin, Ruhao Liu, Maocai Li, Shengyuan Li +2
2024-02-01
Artificial Intelligence · Computer Science
AutoNumerics: An Autonomous, PDE-Agnostic Multi-Agent Pipeline for Scientific Computing
Jianda Du, Youran Sun, Haizhao Yang
2026-02-20
Optimization and Control · Mathematics
Certifying solutions of degenerate semidefinite programs
Vladimir Kolmogorov, Simone Naldi, Jeferson Zapata
2025-04-28
Combinatorics · Mathematics
Rigorous Analytic Combinatorics in Several Variables in SageMath
Benjamin Hackl, Andrew Luo, Stephen Melczer, Jesse Selover +1
2023-09-04
Dynamical Systems · Mathematics
Analytical solutions for some quadratic ODEs found via linear rational eigenfunctions and the rational eigenfunction variety
Megan Morrison, Sonja Petrović
2026-05-11
Optimization and Control · Mathematics
Exact linear modeling using Ore algebras
Kristina Schindelar, Viktor Levandovskyy, Eva Zerz
2011-10-26
Numerical Analysis · Mathematics
Bayesian deep operator learning for homogenized to fine-scale maps for multiscale PDE
Zecheng Zhang, Christian Moya, Wing Tat Leung, Guang Lin +1
2023-08-29
Computation · Statistics
R Package multgee: A Generalized Estimating Equations Solver for Multinomial Responses
Anestis Touloumis
2015-06-18
R2 v1 2026-06-22T14:48:07.129Z