On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q676067 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Sabine Stifter / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2902935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3714165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3700871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving geometry theorems with rewrite rules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5789115 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Using Gröbner bases to reason about geometry problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the application of Buchberger's algorithm to automated geometry theorem proving / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5807665 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4153620 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3668379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3700869 / rank | |||
Normal rank |
Latest revision as of 13:09, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the application of Buchberger's algorithm to automated geometry theorem proving |
scientific article |
Statements
On the application of Buchberger's algorithm to automated geometry theorem proving (English)
0 references
1986
0 references
In this paper we present a new approach to automated geometry theorem proving that is based on Buchberger's Gröbner bases method. The goal is to automatically prove geometry theorems whose hypotheses and conjecture can be expressed algebraically, i.e. by polynomial equations. After shortly reviewing the problem considered and discussing some new aspects of confirming theorems, we present two different methods to applying Buchberger's algorithm to geometry theorem proving, each of them being more efficient than the other on a certain class of problems. The second method requires a new notion of reduction, which we call pseudoreduction. This pseudoreduction yields results on polynomials over some rational function field by computations that are done merely over the rationals and, therefore, is of general interest also. Finally, computing time statistics on 70 non-trivial examples are given, based on an implementation of the methods in the computer algebra system SAC-2 on an IBM 4341.
0 references
automated geometry theorem proving
0 references
Gröbner bases
0 references
polynomial equations
0 references
Buchberger's algorithm
0 references