• 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