The Real Numbers / by Open University. History of Mathematics Cource Team, Flegg, Graham

On coalgebra of real numbers by Pavlovic, D, Pratt, V

Structure of the real number system / by Cohen, Leon Warren, 1903-, Ehrlich, Gertrude

An Alternative to Real Number Axioms by Igor Líška, Beloslav Riečan, Anna Tirpáková

Subjects: “…supremum axiom of real numbers…”
Get full text

Representations of real numbers by infinite series / by Galambos, Janos, 1940-

Hyperarithmetical real numbers and hyperarithmetical analysis by Hodes, Louis.

Get full text

B-Parts Of Real Numbers And Their Generalization by Hooshmand, Mohamad Hadi

“…(b) Application of b-parts for unique finite and infinite representation of real numbers, applying them and the generalized division algorithm, we not only introduce some direct formulas for digits of the unique infinite expansion of real numbers to the base an integer but also prove a (new) unique finite representation of real numbers to the base an arbitrary real number (not equal 0, ±1). …”
Get full text

Foundations of mathematics : the real number system and algebra / by Behnke, H., Gould, S. H.

Introductory college mathematics : history of real numbers / by 385124 Hackworth, Robert D., Howland, Joseph W.

Introductory college mathematics : real number system / by 385124 Hackworth, Robert D., Howland, Joseph W.

Analyzing students’ difficulties in understanding real numbers by Michael Voskoglou, Georgios D. Kosyvas

“… Abstract This article reports on a study of high-school and of technologist students (prospective engineers and economists) understanding of real numbers. Our study was based on written response to a properly designed questionnaire and on interviews taken from students. …”
Get full text

Applications of real number theorem proving in PVS by Gottliebsen, H, Hardy, R, Lightfoot, O, Martin, U

The uniform schanuel conjecture over the real numbers by Kirby, J, Zilber, B

The Transition from Real Numbers to Complex Numbers by Elvent Taliban, Kin Eng Chin, Fui Fong Jiew

“…The system of complex numbers is an extension of real numbers thus students will learn real numbers prior to learning complex numbers. …”
Get full text
Get full text

Limits of real numbers in the binary signed digit representation by Franziskus Wiesnet, Nils Köpp

“…We extract verified algorithms for exact real number computation from constructive proofs. To this end we use a coinductive representation of reals as streams of binary signed digits. …”
Get full text

Quantum Mechanics with Real Numbers: Entanglement, Superselection Rules and Gauges by Vlatko Vedral

Get full text

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited by Friedrich Neurauter, Aart Middeldorp

Get full text

On Triple Difference Sequences of Real Numbers in Neutrosophic Normed Spaces by Verda Gürdal, Ömer Kişi

Get full text

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases by Bernard Boigelot, Julien Brusten, Veronique Bruyere

“…This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. …”
Get full text

Comparing Implementations of a Calculator for Exact Real Number Computation by José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor Alejandro Montes-Venegas

Get full text