An approach to the zero recognition problem by Buchberger algorithm
From MaRDI portal
Publication:1199821
DOI10.1016/0747-7171(92)90039-7zbMath0763.65007OpenAlexW2086764169MaRDI QIDQ1199821
Publication date: 16 January 1993
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0747-7171(92)90039-7
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Algorithms for approximation of functions (65D15)
Related Items
Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients, An algorithm of computing \(b\)-functions, Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial, Integrability test for evolutionary lattice equations of higher order, W-Gröbner basis and monomial ideals under polynomial composition, On the existence of telescopers for mixed hypergeometric terms, Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms, Normal projection: deterministic and probabilistic algorithms, Holonomic gradient descent and its application to the Fisher-Bingham integral, Integral expression for the stationary distribution of reflected Brownian motion in a wedge, Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity, Effective scalar products of D-finite symmetric functions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The method of differentiating under the integral sign
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- On the holonomic systems of linear differential equations. II
- The analytic continuation of generalized functions with respect to a parameter
- Gröbner basis and the problem of contiguous relations
- On Canonical Forms and Simplification
