A framework for reasoning on objects with geometric constraints

DOI10.1007/3-540-46146-9_44MaRDI QIDQ4410653zbMATH OpenFDO

Authors Hicham Hajji, Evimaria Terzi

Publication date 3 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2453/24530443.htm

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Geometric reasoning with logic and algebra
• Integration of reasoning and algebraic calculus in geometry
• Formalization and specification of geometric knowledge objects
• scientific article; zbMATH DE number 67455
• scientific article; zbMATH DE number 994743

Cited in

(3)

• On the geometry of associativity.
• A Framework for Formal Reasoning about Geometrical Optics
• scientific article; zbMATH DE number 4187177 (Why is no real title available?)

This page was built for publication: A framework for reasoning on objects with geometric constraints

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