NumGfun

DOI10.1145/1837934.1837965zbMath1321.65202OpenAlexW2031508508MaRDI QIDQ2946532

Marc Mezzarobba

Publication date: 17 September 2015

Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1837934.1837965

zbMATH Keywords

linear differential equationsboundsMaple\(D\)-finite functionscertified numerical computation

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05) Packaged methods for numerical algorithms (65Y15)

Related Items

D-finite numbers ⋮ Floating-point arithmetic ⋮ Transcendence Certificates for D-finite Functions ⋮ Separation of periods of quartic surfaces ⋮ Asymptotics of multivariate sequences. IV: Generating functions with poles on a hyperplane arrangement ⋮ Stieltjes moment sequences for pattern-avoiding permutations ⋮ Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems ⋮ Computation and Applications of Mathieu Functions: A Historical Perspective ⋮ A Numerical Transcendental Method in Algebraic Geometry: Computation of Picard Groups and Related Invariants ⋮ Computing Hypergeometric Functions Rigorously ⋮ NumGfun ⋮ Truncation bounds for differentially finite series ⋮ Linear differential equations as a data structure

Uses Software

• Maple
• DIFFALG
• AIDA

Cites Work

• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item