Arithmetical datatypes with true fractions

DOI10.1007/s00236-019-00352-8zbMath1448.68323OpenAlexW2999400882WikidataQ126378336 ScholiaQ126378336MaRDI QIDQ2182665

Alban Ponse, Jan A. Bergstra

Publication date: 26 May 2020

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-019-00352-8

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Eager Equality for Rational Number Arithmetic

Cites Work

• 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
• Equational theories and universal theories of fields
• Division by zero in non-involutive meadows
• The structure of finite meadows
• Equations for formally real meadows
• The rational numbers as an abstract data type
• Wheels on division by zero
• Note on paraconsistency and reasoning about fractions
• The initial meadows
• Division by Zero in Common Meadows

This page was built for publication: Arithmetical datatypes with true fractions