Login / Signup

Effective Methods in Computational Synthetic Geometry.

Jürgen Bokowski
Published in: Automated Deduction in Geometry (2000)
Keyphrases