An approach to the zero recognition prob
β
Nobuki Takayama
π
Article
π
1992
π
Elsevier Science
π
English
β 698 KB
The class of "holonomic function" is considered . We present a quasi-algorithm that recognizes whether a holonomic function is zero or not . The algorithm consists of procedures which obtain differential operators that annihilate sums, products, and definite integrals with, respect to parameters of