The wheel of rational numbers as an abstract data type
From MaRDI portal
Publication:2237335
DOI10.1007/978-3-030-73785-6_2OpenAlexW3155065700MaRDI QIDQ2237335
Publication date: 27 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-73785-6_2
infinityerrorwheelsdivision by zerorational numbersequational specificationmeadowsinitial algebra semanticsarithmetic structures
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