Randomized zero testing of radical expressions and elementary geometry theorem proving

Daniela Tulone, Chee Yap, Chen Li

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationAutomated Deduction in Geometry - 3rd International Workshop, ADG 2000, Revised Papers
EditorsJurgen Richter-Gebert, Dongming Wang
PublisherSpringer Verlag
Pages58-82
Number of pages25
ISBN (Print)3540425985, 9783540425984
DOIs
StatePublished - 2001
Event3rd International Workshop on Automated Deduction in Geometry, ADG 2000 - Zurich, Switzerland
Duration: Sep 25 2000Sep 27 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2061
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Workshop on Automated Deduction in Geometry, ADG 2000
CountrySwitzerland
CityZurich
Period9/25/009/27/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Randomized zero testing of radical expressions and elementary geometry theorem proving'. Together they form a unique fingerprint.

Cite this