Pages that link to "Item:Q1575663"
From MaRDI portal
The following pages link to Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663):
Displaying 4 items.
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883) (← links)
- Verification of Closest Pair of Points Algorithms (Q5049012) (← links)
