Pages that link to "Item:Q714618"
From MaRDI portal
The following pages link to Interrogating witnesses for geometric constraint solving (Q714618):
Displaying 3 items.
- A robust and efficient method for solving point distance problems by homotopy (Q526832) (← links)
- Towards a better integration of modelers and black box constraint solvers within the product design process (Q2631961) (← links)
- Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry (Q3102739) (← links)
