Login / Signup
On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving.
Shang-Ching Chou
Jin-Gen Yang
Published in:
Algorithmica (1989)
Keyphrases
</>
mixed integer
geometry theorem proving
theorem proving
real time
higher order
programming language
set theoretic