Title | ||
---|---|---|
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving |
Abstract | ||
---|---|---|
We develop a probabilistic test for the vanishing of radical expressions, that is, expressions involving the four rational operations (+,-,×,÷) and square root extraction. This extends the well-known Schwartz's probabilistic test for the vanishing of polynomials. The probabilistic test forms the basis of a new theorem prover for conjectures about ruler & compass constructions. Our implementation uses the Core Library which can perform exact comparison for radical expressions. Some experimental results are presented. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-45410-1_5 | Automated Deduction in Geometry |
Keywords | Field | DocType |
elementary geometry theorem proving,core library,randomized zero testing,square root extraction,radical expression,rational operation,exact comparison,probabilistic test,radical expressions,compass construction,well-known schwartz,new theorem prover,theorem prover,theorem proving | Discrete mathematics,Compass,Expression (mathematics),Polynomial,Automated theorem proving,Probabilistic logic,Square root,Ruler,Mathematics,Test forms | Conference |
ISBN | Citations | PageRank |
3-540-42598-5 | 6 | 0.60 |
References | Authors | |
12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniela Tulone | 1 | 184 | 10.95 |
Chee-Keng Yap | 2 | 1996 | 395.32 |
Chen Li | 3 | 14 | 16.11 |