Mechanical geometry theorem proving based on Gröbner bases

DOI10.1007/BF02943140zbMath0882.13029OpenAlexW2083042137MaRDI QIDQ676849

Jinzhao Wu

Publication date: 17 February 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943140

zbMATH Keywords

Gröbner basesmechanical theorem proving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Cites Work

• Unnamed Item
• On radical zero-dimensional ideals
• Proving geometry theorems with rewrite rules
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• Solving systems of algebraic equations by using gröbner bases

This page was built for publication: Mechanical geometry theorem proving based on Gröbner bases