Wheels on division by zero
From MaRDI portal
Publication:4463992
DOI10.1017/S0960129503004110zbMath1053.08002WikidataQ56386340 ScholiaQ56386340MaRDI QIDQ4463992
Publication date: 27 May 2004
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
Partial arithmetical data types of rational numbers and their equational specification, Arithmetical datatypes with true 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, The Zariski spectrum as a formal geometry, Division by Zero in Common Meadows