Pages that link to "Item:Q1115574"
From MaRDI portal
The following pages link to Modular algebraic specification of some basic geometrical constructions (Q1115574):
Displaying 4 items.
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- Functional geometry (Q1870299) (← links)
- Algebraic specification and development in geometric modeling (Q5044726) (← links)