• Project
  • Data
  • e-Text
  • Draw
  • Prove
  • Lounge
  • Overview
  • Research
  • Team
  • Publications
  • Consortium
  • Related Links
  • Contact

Research

Formalized Geometric Knowledge Base

Management of Geometric Knowledge in Textbooks

Generation of Diagrams with Inequality Constraints

Geometric-Object-Oriented Language