Modular algebraic specification of some basic geometrical constructions

DOI10.1016/0004-3702(88)90052-5zbMath0664.68021MaRDI QIDQ1115574

Joseph A. Goguen

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90052-5

zbMATH Keywords

equational logic; knowledge representation; algebraic specification; geometric constructions; plane geometry; initial algebra semantics; OBJ language

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

51M15: Geometric constructions in real or complex geometry

68P05: Data structures

Related Items

Geometric construction by assembling solved subfigures, Sketch-based pruning of a solution space within a formal geometric constraint solver

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refutational theorem proving using term-rewriting systems
• Final algebra semantics and data type extensions
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Parameterized Programming
• Semantics of computation
• Abstract data types and the development of data structures
• Computable Algebra, General Theory and Theory of Computable Fields
• Equality, types, modules, and (why not?) generics for logic programming