Similar Items: Surreal Dyadic and Real Numbers: A Formal Construction
- Surreal Numbers: A Study of Square Roots
- On a transformation of a sequence of real numbers
- Division by zero in real and complex number arithmetic and some of its implications
- A Formal Proof of Stirling’s Formula
- Formalization of Separable Version of Banach–Alaoglu Theorem
- 2-target pebbling number of graphs