Pages that link to "Item:Q685375"
From MaRDI portal
The following pages link to Using geometric rewrite rules for solving geometric problems symbolically (Q685375):
Displaying 5 items.
- A formalization of geometric constraint systems and their decomposition (Q968304) (← links)
- Proving geometry theorems with rewrite rules (Q1101255) (← links)
- Tolerances in geometric constraint problems (Q2484080) (← links)
- Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations (Q2799563) (← links)
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning (Q2870147) (← links)