• Geometry Module
• Introduction
• Available Entities
• Example Usage
• Intersection of medians
• An in-depth example: Pappus' Theorem
• Miscellaneous Notes
• Future Work
• Truth Setting Expressions
• Three Dimensions and Beyond
• Geometry Visualization