Skip to content
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Surreal Dyadic and Real Numbers: A Formal Construction
Search for more channels:
Similar Items: Surreal Dyadic and Real Numbers: A Formal Construction
Channel Options
View Record
Explore related channels
Quick Look
Surreal Numbers: A Study of Square Roots
Quick Look
On a transformation of a sequence of real numbers
Quick Look
Division by zero in real and complex number arithmetic and some of its implications
Quick Look
A Formal Proof of Stirling’s Formula
Quick Look
2-target pebbling number of graphs
Quick Look
Application of Complex Classes to Number Theory
Quick Look
Geodesic Growth of Numbered Graph Products
Quick Look
What is 'Surreal' about Surrealism? An investigation of Surrealism as seen through the looking-glass of Jan Svankmajer
Quick Look
Degree of vertices and number of edges in a mixed graph
Quick Look
Formalization of Separable Version of Banach–Alaoglu Theorem
Quick Look
Elementary Number Theory Problems. Part XVIII
Quick Look
Elementary Number Theory Problems. Part XIX
Quick Look
Elementary Number Theory Problems. Part XVII
Quick Look
A Symmetric Algorithm for Golden Ratio in Hyper-Horadam Numbers
Quick Look
A Pollak Proof for the Number of Weakly Increasing Parking Functions
Quick Look
A Study of Dual-Hyperbolic Third-Order $k$-Jacobsthal Numbers
Quick Look
Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
Quick Look
A remark on the convergence of Betti numbers in the thermodynamic regime
Quick Look
The Delta-Nielsen number in products
Quick Look
Advanced Sarcasm Detection Using Transformer-Based Models: Analyzing Variations in Formal and Informal Languages
Quick Look
Mechanisms of Pressure Loss in Chamfered Orifice Plates: Coupled Effects of Plate Thickness and Reynolds Number
Quick Look
Measure for Product Space of Real Normed Spaces
Quick Look
Almost holomorphic curves in real analytic hypersurfaces
Quick Look
Studies on the number theory of orders
Load more items
View Record
Prev
Explore related channels
Next
