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

DOI10.1023/A:1026477216294zbMath0963.03020OpenAlexW1518042125MaRDI QIDQ1595928

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

geometric constraintscomputer applicationsnoncommutative geometric spaces

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

Uses Software

• Oz

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