Linear differential equations as a data structure
From MaRDI portal
Publication:2329042
Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Linear ordinary differential equations and systems in the complex domain (34M03) Formal solutions and transform techniques for ordinary differential equations in the complex domain (34M25) Data structures (68P05) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)
Abstract: A lot of information concerning solutions of linear differential equations can be computed directly from the equation. It is therefore natural to consider these equations as a data-structure, from which mathematical properties can be computed. A variety of algorithms has thus been designed in recent years that do not aim at "solving", but at computing with this representation. Many of these results are surveyed here.
Recommendations
- Algorithms around linear differential equations
- scientific article; zbMATH DE number 17050
- scientific article; zbMATH DE number 4063707
- scientific article; zbMATH DE number 31751
- From structured data to evolution linear partial differential equations
- Linearized methods for ordinary differential equations
- scientific article; zbMATH DE number 1024371
- scientific article; zbMATH DE number 1088106
- scientific article; zbMATH DE number 6515567
Cites work
- A general theory of identities of the Rogers-Ramanujan type
- A holonomic systems approach to special functions identities
- A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
- A new algorithm for the recursion of hypergeometric multisums with improved universal denominator
- A non-holonomic systems approach to special function identities
- A proof that Euler missed. Apéry's proof of the irrationality of (3). An informal report
- Algebraic diagonals and walks: algorithms, bounds, complexity
- Algebraic functions over finite fields
- Algebraic power series and diagonals
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An extension of Zeilberger's fast algorithm to general holonomic functions
- An introduction to pseudo-linear algebra
- Analytic combinatorics
- Analytic combinatorics in several variables.
- Approximation theory and approximation practice
- Binomial identities -- combinatorial and algorithmic aspects
- Chebyshev expansions for solutions of linear differential equations
- Complexity of creative telescoping for bivariate rational functions
- Computing periods of rational integrals
- Computing the volume of compact semi-algebraic sets
- Constructing reductions for creative telescoping. The general differentially finite case
- Creative telescoping for holonomic functions
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Desingularization explains order-degree curves for Ore operators
- Diagonals of rational fractions
- Differential equations for algebraic functions
- Divergent series, summability and resurgence I. Monodromy and resurgence
- Divergent series, summability and resurgence II. Simple and multiple summability
- Divergent series, summability and resurgence. III. Resurgent methods and the first Painlevé equation
- Effective bounds for P-recursive sequences
- Efficient accelero-summation of holonomic functions
- Efficient algorithms for mixed creative telscoping
- Even faster integer multiplication
- Extended Watson integrals for the cubic lattices
- Fast evaluation of holonomic functions
- Fast evaluation of holonomic functions near and in regular singularities
- Fast Multiple-Precision Evaluation of Elementary Functions
- Fast multiplication and its applications
- Faster integer multiplication
- Formulas for continued fractions: an automated guess and prove approach
- From divergent power series to analytic functions. Theory and application of multisummable power series
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Gevrey series of arithmetic type. I: Purity and duality theorems
- GFUN
- Handbook of continued fractions for special functions. With contributions by Franky Backeljauw and Catherine Bonan-Hamada. Verified numerical output by Stefan Becuwe and Annie Cuyt
- Hermite reduction and creative telescoping for hyperexponential functions
- scientific article; zbMATH DE number 1687034 (Why is no real title available?)
- scientific article; zbMATH DE number 6698765 (Why is no real title available?)
- scientific article; zbMATH DE number 4016808 (Why is no real title available?)
- scientific article; zbMATH DE number 3829916 (Why is no real title available?)
- scientific article; zbMATH DE number 434742 (Why is no real title available?)
- scientific article; zbMATH DE number 1824074 (Why is no real title available?)
- scientific article; zbMATH DE number 3116993 (Why is no real title available?)
- scientific article; zbMATH DE number 3147792 (Why is no real title available?)
- scientific article; zbMATH DE number 3847528 (Why is no real title available?)
- scientific article; zbMATH DE number 3849762 (Why is no real title available?)
- scientific article; zbMATH DE number 4171064 (Why is no real title available?)
- scientific article; zbMATH DE number 3987351 (Why is no real title available?)
- scientific article; zbMATH DE number 4055695 (Why is no real title available?)
- scientific article; zbMATH DE number 1186953 (Why is no real title available?)
- scientific article; zbMATH DE number 3658906 (Why is no real title available?)
- scientific article; zbMATH DE number 3756887 (Why is no real title available?)
- scientific article; zbMATH DE number 194009 (Why is no real title available?)
- scientific article; zbMATH DE number 3556452 (Why is no real title available?)
- scientific article; zbMATH DE number 3575969 (Why is no real title available?)
- scientific article; zbMATH DE number 1268810 (Why is no real title available?)
- scientific article; zbMATH DE number 2151211 (Why is no real title available?)
- scientific article; zbMATH DE number 1860838 (Why is no real title available?)
- scientific article; zbMATH DE number 1862742 (Why is no real title available?)
- scientific article; zbMATH DE number 3893285 (Why is no real title available?)
- scientific article; zbMATH DE number 3273551 (Why is no real title available?)
- scientific article; zbMATH DE number 3109695 (Why is no real title available?)
- Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
- Lattice Green functions: the d-dimensional face-centered cubic lattice, d = 8, 9, 10, 11, 12
- Lindelöf representations and (non-)holonomic sequences
- Linear equations in non-commutative fields
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Multiple binomial sums
- New Bounds for Hypergeometric Creative Telescoping
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- NIST handbook of mathematical functions
- Non-commutative elimination in Ore algebras proves multivariate identities
- Non-D-finite excursions in the quarter plane
- NumGfun: a package for numerical and analytic computation with D-finite functions
- On the complexity of calculating factorials
- On the non-holonomic character of logarithms, powers, and the \(n\)th prime function
- On the periods of certain rational integrals. I, II
- On the zeta function of a hypersurface. II
- Ore polynomials in Sage
- Rational function certification of multisum/integral/“𝑞” identities
- Reduction-based creative telescoping for algebraic functions
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions
- Singularity Analysis of Generating Functions
- Some integrals involving Bessel functions
- Sur les séries de Taylor n'ayant que des singularites algebrico- logarithmiques sur leur cercle de convergence
- Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
- Telescopers for rational and algebraic functions via residues
- The complete generating function for Gessel walks is algebraic
- The computation of classical constants
- The dynamic dictionary of mathematical functions (DDMF)
- The method of creative telescoping
- The method of differentiating under the integral sign
- Theory of non-commutative polynomials
- Trading order for degree in creative telescoping
- Weyl closure of a linear differential operator
- When does Zeilberger's algorithm succeed?
Cited in
(12)- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Rational dynamical systems, \(S\)-units, and \(D\)-finite power series
- scientific article; zbMATH DE number 1684361 (Why is no real title available?)
- scientific article; zbMATH DE number 4210553 (Why is no real title available?)
- Stability Problems on D-finite Functions
- Rounding error analysis of linear recurrences using generating series
- Polynomial continued fractions for exp(π)
- Computer algebra in the service of enumerative combinatorics
- Parallel computation of the power series solutions to linear ordinary differential equations
- Complete reduction for derivatives in a primitive tower
- A unified approach for degree bound estimates of linear differential operators
- Degree bounds for linear differential equations and recurrences
Describes a project that uses
Uses Software
This page was built for publication: Linear differential equations as a data structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329042)
