D-algebraic Guessing
By: Bertrand Teguia Tabuguia
Potential Business Impact:
Finds math rules from a few numbers.
Given finitely many consecutive terms of an infinite sequence, we discuss the construction of a polynomial difference equation that the sequence may satisfy. We also present a method to seek a candidate polynomial differential equation for its generating function. It appears that these methods often lead to effective D-algebraic operations.
Similar Papers
On deciding transcendence of power series
Number Theory
Lets computers tell if math problems are simple or hard.
Bounds for D-Algebraic Closure Properties
Symbolic Computation
Makes math equations for science easier to handle.
Deciding summability via residues in theory and in practice
Symbolic Computation
Solves hard math problems for computers.