Login / Signup

Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving.

Daniela TuloneChee-Keng YapChen Li
Published in: Automated Deduction in Geometry (2000)
Keyphrases
  • geometry theorem proving
  • theorem proving
  • software testing
  • databases
  • test set
  • computer vision
  • natural language
  • relational databases
  • facial expressions
  • set theory
  • randomized algorithms