Pages that link to "Item:Q3804232"
From MaRDI portal
The following pages link to Automatizing geometric proofs and constructions (Q3804232):
Displaying 13 items.
- Automatic proofs for formulae enumerating proper polycubes (Q322211) (← links)
- Automatic generation of staged geometric predicates (Q1426869) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- The reachability problem in constructive geometric constraint solving based dynamic geometry (Q2352486) (← links)
- Automatted geometry theorem proving (Q2765707) (← links)
- (Q3571256) (← links)
- Automatic Construction and Verification of Isotopy Invariants (Q3613399) (← links)
- (Q3838770) (← links)
- (Q4665735) (← links)
- (Q4946077) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Geometry machines: from AI to SMC (Q6560378) (← links)