The following pages link to (Q4946079):
Displaying 5 items.
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Lower levels of Euclidean planes (Q1267345) (← links)
- A sustainable geometry automated reasoning platform (Q2917018) (← links)
- Cancellation Patterns in Automatic Geometric Theorem Proving (Q3102732) (← links)
- (Q3675070) (← links)