Pages that link to "Item:Q1595928"
From MaRDI portal
The following pages link to Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints (Q1595928):
Displaying 5 items.
- A category of geometric spaces: Some computational aspects (Q1924747) (← links)
- Constraining Plane Configurations in Computer-Aided Design: Combinatorics of Directions and Lengths (Q4255813) (← links)
- CAD Adjacency Computation Using Validated Numerics (Q5119969) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra (Q5505483) (← links)