The rational numbers as an abstract data type

DOI10.1145/1219092.1219095zbMath1292.68105OpenAlexW2099937335MaRDI QIDQ3546326

Jan A. Bergstra, J. V. Tucker

Publication date: 21 December 2008

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1219092.1219095

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General and miscellaneous (16B99)

Related Items

Fracpairs and fractions over a reduced commutative ring ⋮ Transformation of fractions into simple fractions in divisive meadows ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ A process calculus with finitary comprehended terms ⋮ Unnamed Item ⋮ Arithmetical datatypes with true fractions ⋮ Eager Equality for Rational Number Arithmetic ⋮ Symmetric transrationals: the data type and the algorithmic degree of its equational theory ⋮ Inversive meadows and divisive meadows ⋮ On system rollback and totalized fields: an algebraic approach to system change ⋮ The wheel of rational numbers as an abstract data type ⋮ Straight-line instruction sequence completeness for total calculation on cancellation meadows ⋮ The structure of finite meadows ⋮ MetiTarski: An automatic theorem prover for real-valued special functions ⋮ Division by zero in non-involutive meadows ⋮ Instruction sequence processing operators ⋮ Meadows and the equational specification of division ⋮ Division safe calculation in totalised fields ⋮ Division by Zero in Common Meadows ⋮ Equations for formally real meadows