The following pages link to Automated Deduction in Geometry (Q5902021):
Displaying 3 items.
- On a projection theorem of quasi-varieties in elimination theory (Q1173667) (← links)
- Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)