The rational numbers as an abstract data type
From MaRDI portal
Publication:3546326
Recommendations
- Simple equational specifications of rational arithmetic
- Logical Approaches to Computational Barriers
- Elementary Algebraic Specifications of the Rational Complex Numbers
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
- Meadows and the equational specification of division
Cited in
(31)- Elementary Algebraic Specifications of the Rational Complex Numbers
- Partial arithmetical data types of rational numbers and their equational specification
- Rational terms and rational numbers
- Imperative process algebra and models of parallel computation
- Instruction sequence processing operators
- Which arithmetical data types admit fracterm flattening?
- Fracpairs and fractions over a reduced commutative ring
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- Inversive meadows and divisive meadows
- Logical Approaches to Computational Barriers
- Transformation of fractions into simple fractions in divisive meadows
- A process calculus with finitary comprehended terms
- MetiTarski: An automatic theorem prover for real-valued special functions
- Straight-line instruction sequence completeness for total calculation on cancellation meadows
- An abstract data type for real numbers
- Datatype defining rewrite systems for naturals and integers
- Meadows and the equational specification of division
- Towards an enumeration of finite common meadows
- Strolling through common meadows
- Division by zero in common meadows
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
- Division by zero in non-involutive meadows
- Arithmetical datatypes with true fractions
- On system rollback and totalized fields: an algebraic approach to system change
- Simple equational specifications of rational arithmetic
- The structure of finite meadows
- Equations for formally real meadows
- Logical models of mathematical texts: the case of conventions for division by zero.
- Division safe calculation in totalised fields
- Eager Equality for Rational Number Arithmetic
- The wheel of rational numbers as an abstract data type
This page was built for publication: The rational numbers as an abstract data type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3546326)
