Algebraic structure for the floating-point arithmetic.

Solution 1:

Look into D.E. Knuth's The Art of Computer Programming, Vol. 2, Section 4.2.2 A, p. 214-223, he gives an axiomatic approach of floating point arithmetic which seems to be what you are looking for.

Solution 2:

This is a finite set with a couple of binary operations on it that are not even associative (though commutative as far as they should) or distributive.

Is there an English translation of Jordan's "Cours D'analyse"

Does this interesting property characterize a sphere?

Prove $\sum_{n=1}^\infty \text{arccot }a_n^2=\frac{\pi}{12}$ where $a_n=\frac{\left(2+\sqrt{3}\right)^n-\left(2-\sqrt{3}\right)^n}{\sqrt{3}}$

Proving Abel's identity for the Dilogarithm.

A relative compactness criterion in $\ell^p$

Integral of $\int_0^{\pi/2} \frac {\sqrt{\sin x}}{\sqrt {\sin x} + \sqrt {\cos x}}$dx [duplicate]

Can you make any number prime by adding some digits to the right?

$x^2+xy+y^2$ and $x^2-xy+y^2$ are not both perfect squares

Theorems implied by Yoneda's lemma?

Hatcher Problem 2.2.36

Is there such a thing as "quadratic independence" (and higher generalizations of linear independence)?

The probability that x birthdays lie within n days of each other