Lifting canonical algorithms from a ring R to the ring R[x]

DOI10.1016/S0747-7171(88)80041-5zbMath0673.68026MaRDI QIDQ1121016

R. Shtokhamer

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

Gröbner basis; canonical simplification; detachable ideals; Szekeres bases

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13F20: Polynomial rings and ideals; rings of integer-valued polynomials

Related Items

Integrating first-order differential equations with Liouvillian solutions via quadratures: a semi-algorithmic method, Determining Liouvillian first integrals for dynamical systems in the plane, A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations, Computing a Gröbner basis of a polynomial ideal over a Euclidean domain, Lifting canonical algorithms from a ring R to the ring R[x], Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, Some results on Gröbner bases over commutative rings, An extension of the Prelle-Singer method and a Maple implementation, [QPSI. A MAPLE package for the determination of quasi-polynomial symmetries and invariants], Finding elementary first integrals for rational second order ordinary differential equations

Cites Work

• On constructing bases for ideals in polynomial rings over the integers
• Lifting canonical algorithms from a ring R to the ring R[x]
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Constructive Aspects of Noetherian Rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item