Login / Signup

Decision Complexity in Dynamic Geometry.

Ulrich KortenkampJürgen Richter-Gebert
Published in: Automated Deduction in Geometry (2000)
Keyphrases