scientific article; zbMATH DE number 7696416

MaRDI QIDQ6104576zbMATH OpenFDO

Authors J. A. D. W. Anderson

Publication date 15 June 2023

Mathematics Subject Classification ID

One-variable calculus (26A06) Nonstandard analysis (26E35)

Cited in

(7)

• Partial arithmetical data types of rational numbers and their equational specification
• The wheel of rational numbers as an abstract data type
• 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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6104576)