Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0004-3702(88)90051-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1990340894 / 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: Q4079605 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3935355 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772181 / 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: Q4153620 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3668379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3311218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3737533 / rank | |||
Normal rank |
Latest revision as of 14:49, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle |
scientific article |
Statements
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (English)
0 references
1988
0 references
Wu used Ritt's chains to produce a canonical triangular basis of a polynomial ideal by applying a succession of some simple transformations. A canonical basis allows, in particular, to answer a question about empitness of a quasialgebraic set over an algebraically closed field. Some theorems from elementary geometry can be reformulated in the forms as follows: \(\forall z_ 1...\forall z_ n\) \((f_ 1(z_ 1,...,z_ n)=...=f_ s(z_ 1,...,z_ n)=0\) \(\Rightarrow\) \(g(z_ 1,...,z_ n)=0)\) for suitable polynomials \(f_ 1,...,f_ s\), g and thus one can prove them involving canonical bases. The paper contains examples of applying this scheme of proving to several known geometrical theorems.
0 references
proving geometrical theorems
0 references
triangular chain of polynomials
0 references
canonical triangular basis
0 references
polynomial ideal
0 references
quasialgebraic set
0 references
algebraically closed field
0 references