The wheel of rational numbers as an abstract data type

DOI10.1007/978-3-030-73785-6_2OpenAlexW3155065700MaRDI QIDQ2237335

J. V. Tucker, Jan A. Bergstra

Publication date: 27 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-73785-6_2

zbMATH Keywords

infinityerrorwheelsdivision by zerorational numbersequational specificationmeadowsinitial algebra semanticsarithmetic structures

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Partial arithmetical data types of rational numbers and their equational specification ⋮ Eager Equality for Rational Number Arithmetic ⋮ Symmetric transrationals: the data type and the algorithmic degree of its equational theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fracpairs and fractions over a reduced commutative ring
• Transformation of fractions into simple fractions in divisive meadows
• Inversive meadows and divisive meadows
• Meadows and the equational specification of division
• Division safe calculation in totalised fields
• Algebraic specifications of computable and semicomputable data types
• The rational numbers as an abstract data type
• The completeness of the algebraic specification methods for computable data types
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
• Wheels on division by zero
• Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
• Division by Zero in Common Meadows

This page was built for publication: The wheel of rational numbers as an abstract data type