Division by Zero in Common Meadows

DOI10.1007/978-3-319-15545-6_6zbMath1453.68104arXiv1406.6878OpenAlexW2171361542MaRDI QIDQ5256337

Jan A. Bergstra, Alban Ponse

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.6878

zbMATH Keywords

abstract datatypecommon meadowdivision by zeromeadowadditional value

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (8)

Fracpairs and fractions over a reduced commutative ring ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Unnamed Item ⋮ Arithmetical datatypes with true fractions ⋮ Note on paraconsistency and reasoning about fractions ⋮ Eager Equality for Rational Number Arithmetic ⋮ Symmetric transrationals: the data type and the algorithmic degree of its equational theory ⋮ The wheel of rational numbers as an abstract data type

Cites Work

• Inversive meadows and divisive meadows
• Equational theories and universal theories of fields
• Division by zero in non-involutive meadows
• The rational numbers as an abstract data type
• Wheels on division by zero
• The initial meadows
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Division by Zero in Common Meadows