Visual mathematics: Diagrammatic formalization and proof

Keyphrases

• Visual Mathematics 100%
• Mathematical Concepts 100%
• Reasoning System 50%
• Constraint Diagrams 50%
• Visual Language 50%
• Diagrammatic Reasoning 50%
• Diagrammatic Logic 50%
• Symbolic Language 50%
• Predicate Logic 50%
• Mathematical Formalization 50%
• Axiomatization 50%
• Mathematical Rigour 50%
• Theory Analysis 50%
• Number Theory 50%
• Formal Tools 50%
• Mathematical Theory 50%
• Formal Logic 50%
• Mathematical Reasoning 50%
• Real Analysis 50%

Mathematics

• Formalization 100%
• Mathematics 100%
• Mathematical Concept 50%
• Application Area 25%
• Real Analysis 25%
• Mathematical Theory 25%
• Number Theory 25%
• Formal Logic 25%