Research
Formalized Geometric Knowledge Base
Management of Geometric Knowledge in Textbooks
Generation of Diagrams with Inequality Constraints
Geometric-Object-Oriented Language
Formalized Geometric Knowledge Base
Management of Geometric Knowledge in Textbooks
Generation of Diagrams with Inequality Constraints
Geometric-Object-Oriented Language