A category of geometric spaces: Some computational aspects

DOI10.1007/BF01531328MaRDI QIDQ1924747zbMATH OpenFDO

Authors Jochen Pfalzgraf

Publication date 20 October 1996

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01531328

zbMATH Keywords

category of geometric spaces

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computing methodologies for image processing (68U10)

Recommendations

• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 50429
• An introduction to automated discovery in geometry through symbolic computation
• scientific article; zbMATH DE number 4194652

Cites work

• A note on simplices as geometric configurations
• Basic principles of mechanical theorem proving in elementary geometries
• Codes from planar near rings
• Configurational conditions and digraphs
• Description of geometric spaces as fibered structures
• Graph products of groups and group spaces
• scientific article; zbMATH DE number 5863629 (Why is no real title available?)
• scientific article; zbMATH DE number 3873585 (Why is no real title available?)
• scientific article; zbMATH DE number 3824029 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 49672 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 1452943 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• On a model for non commutative geometric spaces
• On geometries associated to group operations

Cited in

(5)

• A categorical construction for the computational definition of vector spaces
• scientific article; zbMATH DE number 3817608 (Why is no real title available?)
• Preface to the special issue on geometric reasoning
• On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra
• Geometry machines: from AI to SMC

This page was built for publication: A category of geometric spaces: Some computational aspects

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