Modular algebraic specification of some basic geometrical constructions

DOI10.1016/0004-3702(88)90052-5zbMath0664.68021OpenAlexW1964840612MaRDI 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 logicknowledge representationalgebraic specificationgeometric constructionsplane geometryinitial algebra semanticsOBJ language

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Geometric constructions in real or complex geometry (51M15) Data structures (68P05)

Related Items

Algebraic specification and development in geometric modeling ⋮ 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