Recommendations
Cited in
(12)- 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
- scientific article; zbMATH DE number 3961645 (Why is no real title available?)
- scientific article; zbMATH DE number 824703 (Why is no real title available?)
- Division by zero in common meadows
- Eager Equality for Rational Number Arithmetic
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- Logical models of mathematical texts: the case of conventions for division by zero.
- Finite approximations of the common meadow of rational numbers
- A complete finite axiomatisation of the equational theory of common meadows
- The Zariski spectrum as a formal geometry
This page was built for publication: Wheels on division by zero
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4463992)