The Generalized Rabinowitsch Trick

DOI10.1007/978-3-319-56932-1_14zbMath1396.13025OpenAlexW2739244341MaRDI QIDQ4610007

Yao Sun, Jie Zhou, Deepak Kapur, Ding-Kang Wang

Publication date: 5 April 2018

Published in: Applications of Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-56932-1_14

zbMATH Keywords

invertiblezero divisorradical membershipRabinowitsch trick

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Ideals and multiplicative ideal theory in commutative rings (13A15)

Related Items (1)

Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
• Algebraic numbers: An example of dynamic evaluation
• An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
• An efficient method for computing comprehensive Gröbner bases
• Computation of inverses in residue class rings of parametric polynomial ideals
• Modular dynamic evaluation

This page was built for publication: The Generalized Rabinowitsch Trick