Fields, Meadows and Abstract Data Types

DOI10.1007/978-3-540-78127-1_10MaRDI QIDQ5452178zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, John V. Tucker, Yoram Hirshfeld

Publication date 25 March 2008

Published in Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78127-1_10

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Meadows and the equational specification of division
• Inversive meadows and divisive meadows
• Division by zero in non-involutive meadows
• The initial meadows
• A negative result on algebraic specifications of the meadow of rational numbers

Cited in

(11)

• Meadows and the equational specification of division
• Partial arithmetical data types of rational numbers and their equational specification
• The structure of finite meadows
• Equations for formally real meadows
• Fracpairs and fractions over a reduced commutative ring
• Inversive meadows and divisive meadows
• The initial meadows
• A negative result on algebraic specifications of the meadow of rational numbers
• Towards an enumeration of finite common meadows
• Strolling through common meadows
• Bridging meadows and sheaves

This page was built for publication: Fields, Meadows and Abstract Data Types

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