Division by Zero in Common Meadows
From MaRDI portal
Publication:5256337
DOI10.1007/978-3-319-15545-6_6zbMath1453.68104arXiv1406.6878MaRDI QIDQ5256337
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
68Q65: Abstract data types; algebraic specification
Related Items
Note on paraconsistency and reasoning about fractions, Unnamed Item, Eager Equality for Rational Number Arithmetic, Symmetric transrationals: the data type and the algorithmic degree of its equational theory, Fracpairs and fractions over a reduced commutative ring, Partial arithmetical data types of rational numbers and their equational specification, Arithmetical datatypes with true fractions, The wheel of rational numbers as an abstract data type
Cites Work