Pages that link to "Item:Q2254093"
From MaRDI portal
The following pages link to Formalization and specification of geometric knowledge objects (Q2254093):
Displaying 5 items.
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Ontological engineering and mathematical knowledge management: A formalization of projective geometry (Q1810912) (← links)
- (Q3156426) (← links)
- (Q3352547) (← links)