Elementary Algebraic Specifications of the Rational Complex Numbers

DOI10.1007/11780274_24MaRDI QIDQ5757936zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, John V. Tucker

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Logical Approaches to Computational Barriers
• The rational numbers as an abstract data type
• Simple equational specifications of rational arithmetic
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• Modular algebraic specification of some basic geometrical constructions

Cited in

(11)

• Meadows and the equational specification of division
• Division safe calculation in totalised fields
• Reduced algebraic numbers in the complex plane
• Equations for formally real meadows
• Simple equational specifications of rational arithmetic
• Parallel processes with implicit computational capital
• The rational numbers as an abstract data type
• A process calculus with finitary comprehended terms
• On the algebra of structured specifications
• Logical Approaches to Computational Barriers
• Semantics of division for polynomial solvers

This page was built for publication: Elementary Algebraic Specifications of the Rational Complex Numbers

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