TY - GEN

T1 - Randomized zero testing of radical expressions and elementary geometry theorem proving

AU - Tulone, Daniela

AU - Yap, Chee

AU - Li, Chen

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84949510783&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84949510783&partnerID=8YFLogxK

U2 - 10.1007/3-540-45410-1_5

DO - 10.1007/3-540-45410-1_5

M3 - Conference contribution

AN - SCOPUS:84949510783

SN - 3540425985

SN - 9783540425984

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 58

EP - 82

BT - Automated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers

A2 - Richter-Gebert, Jurgen

A2 - Wang, Dongming

PB - Springer Verlag

T2 - 3rd International Workshop on Automated Deduction in Geometry, ADG 2000

Y2 - 25 September 2000 through 27 September 2000

ER -