Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints

DOI10.1023/A:1026477216294MaRDI QIDQ1595928zbMATH OpenOpenAlexFDO

Authors Wolfgang Gehrke, Jochen Pfalzgraf

Publication date 18 February 2001

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1026477216294

zbMATH Keywords

computer applicationsgeometric constraintsnoncommutative geometric spaces

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Computer theorem proving for verifiable solving of geometric construction problems
• Automatic constructibility checking of a corpus of geometric construction problems
• Constructions in finite geometry using computer algebra systems
• scientific article; zbMATH DE number 6984221
• A new constructive approach to constraint-based geometric design
• A formalization of geometric constraint systems and their decomposition
• Automatic verification of the adequacy of models for families of geometric objects

Cited in

(5)

• A category of geometric spaces: Some computational aspects
• Constraining Plane Configurations in Computer-Aided Design: Combinatorics of Directions and Lengths
• CAD Adjacency Computation Using Validated Numerics
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

Describes a project that uses

Uses Software

• Oz

This page was built for publication: Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1595928)