Topic: "real-numbers"
sr-murthy/continuedfractions
Object-oriented continued fractions with Python.
Language: Python - Size: 2.61 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 5 - Forks: 0
8bithunter/Damascus
Making the Complex Simple
Language: ShaderLab - Size: 75.3 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
jostylr/Reals-as-Oracles
This is a paper for a new definition of real numbers, namely, viewing a real number as an oracle that affirms when a rational interval contains the real number.
Language: TeX - Size: 10.4 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 0
ndjapic/mat7-2024
Материјали за предмет математика у седмом разреду у школској 2024/2025. години
Language: TeX - Size: 1.24 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
rao107/real-analysis-ovchinnikov
Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov
Size: 29.3 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0
RobinHoltland01/real-analysis-ovchinnikov
Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov
Size: 1000 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
Abega1642/on-the-construction-of-real-numbers
A Java program focuses on constructing the real numbers IR, particularly the square roots of natural numbers. It deals with what we call computational mathematics.
Language: Java - Size: 313 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
ata-keskin/eudoxus-reals
An unusual construction of the real numbers using Isabelle/HOL
Language: Isabelle - Size: 814 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
luqmanmalik/Calculations-MathML
Requirements: Safari Webkit 17.1 (⥣) | Calculations in MathML© Proofs in Algebra, Geometry, Logic, and Trigonometry | Watters Research and Technologies® | MIT License | BSD (C4)-License | Basic Mathematics, Serge Lang ('70)
Language: HTML - Size: 1.79 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
