Using Gröbner bases to reason about geometry problems-Reference-Cited by-同舟云学术

Using Gröbner bases to reason about geometry problems

Published:1986-12 Issue:4 Volume:2 Page:399-408
ISSN:0747-7171
Container-title:Journal of Symbolic Computation
language:en
Short-container-title:Journal of Symbolic Computation

Author:

Kapur Deepak

Publisher

Elsevier BV

Subject

Computational Mathematics,Algebra and Number Theory

Reference15 articles.

1. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-dimensional Polynomial Ideal (German);Buchberger,1965

2. An algorithmic criterion for the solvability of an algebraic system of equations (German);Buchberger;Aequ. Math,1970

3. A criterion for detecting unnecessary reductions in the construction of Gröbner bases;Buchberger;In: (Ng, W., ed.) Proc. EUROSAM 79, Marseille, June 1979. Springer Lec. Notes Comp. Sci,1979

4. Gröbner bases: an algorithmic method in polynomial ideal theory;Buchberger,1985

5. Proving elementary geometry theorems using Wu's algorithm;Chou;In: (Bledsoe, Loveland, eds,) Automated Theorem Proving: After 25 Years. Contemp. Math,1984

Cited by 94 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Open Source Prover in the Attic;Electronic Proceedings in Theoretical Computer Science;2024-01-22

2. A deep reinforcement learning agent for geometry online tutoring;Knowledge and Information Systems;2022-12-19

3. Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker;Formal Methods in System Design;2022-04-11

4. Machine Checking for Computer Algebraic Proofs Based on Dual Variables;Advances in Applied Mathematics;2022

5. Evolution of Automated Deduction and Dynamic Constructions in Geometry;Mathematics Education in the Age of Artificial Intelligence;2022