Construction of the real numbers

Results: 17



#Item
1Construction / Real estate / Concrete / Structural engineering / Building materials / Pavements / Environmental engineering / Masonry / Pervious concrete / Types of concrete / Reinforced concrete / Road surface

Celebrating 25 Years of Investment in Industry Research & Education RMC Research & Education Foundation By the Numbers As of JulyProject Funding: $15,149,220

Add to Reading List

Source URL: www.rmc-foundation.org

Language: English - Date: 2016-07-22 11:06:18
2Elementary mathematics / Metric geometry / Order theory / Real numbers / Real algebraic geometry / Complete metric space / Cauchy sequence / Construction of the real numbers / Augustin-Louis Cauchy / Sequence / Least-upper-bound property / Completeness

1. Thank you for the invitation. 2. I gave an invited talk at CCA in Hagen, I think it was in 2008, where I spoke about real numbers. Today I am speaking about real numbers again. You know what to expect the next time.

Add to Reading List

Source URL: math.andrej.com

Language: English - Date: 2016-06-16 04:03:45
3Proof assistants / Real numbers / Automated theorem proving / Elementary mathematics / Type theory / First-order logic / Construction of the real numbers / Constructivism / Mathematical logic / Isabelle / Axiom / Setoid

Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2014-12-04 07:10:42
4Mathematics / Valuation / Dedekind cut / Continuous function / Construction of the real numbers / Algebraic number field / Abstract algebra / Field theory / Algebra

A localic theory of lower and upper integrals Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK March 30, 2009

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-03-30 13:41:15
5Field theory / Elementary mathematics / Real algebraic geometry / Algebraic structures / Ring theory / Construction of the real numbers / Archimedean property / Real number / Field / Abstract algebra / Mathematics / Algebra

An Irrational Construction of R from Z R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2008-07-11 10:37:44
6Abstraction / Linear continuum / Least-upper-bound property / Supremum / Order topology / Filter / Construction of the real numbers / Mathematics / Order theory / Structure

INDUCTION AND COMPLETENESS IN ORDERED SETS PETE L. CLARK Abstract. We define an inductive subset of an ordered set and show that an ordered set X is Dedekind complete iff the only inductive subset of X is X itself. Thi

Add to Reading List

Source URL: math.uga.edu

Language: English - Date: 2013-09-10 16:37:35
7Use tax / Political economy / Sales taxes / Tax / Value added tax / Property tax / Government / Sales taxes in the United States / Tax-free shopping / State taxation in the United States / Public economics / Real property law

ST[removed]GIL[removed]CONSTRUCTION CONTRACTORS Contractors who physically incorporate tangible personal property into real estate owned by holders of E-numbers can purchase such property tax-free by providing their s

Add to Reading List

Source URL: tax.illinois.gov

Language: English - Date: 2014-11-17 16:48:14
8Real algebraic geometry / Order theory / Functions and mappings / Field theory / Construction of the real numbers / Equivalence relation / Cardinal number / Continuous function / Total order / Mathematics / Abstract algebra / Elementary mathematics

Notes on Calculus by Dinakar Ramakrishnan[removed]Caltech Pasadena, CA[removed]Fall 2001

Add to Reading List

Source URL: www.math.caltech.edu

Language: English - Date: 2002-01-09 19:42:00
9Elementary mathematics / Integer sequences / Binary operations / Algebraic number theory / Rational number / Construction of the real numbers / Number system / Multiplication / Number / Mathematics / Abstract algebra / Field theory

1 The Number System: An expanded treatment This version is for people who are really interested in Math, but not just those who will be Math majors, especially if they want to learn more than what is

Add to Reading List

Source URL: www.math.caltech.edu

Language: English - Date: 2010-10-10 18:55:26
10Algebraic number theory / Homological algebra / Mathematical analysis / Construction of the real numbers / Algebraic number field / Mathematics / Abstract algebra / Function

APICS MATH CONTEST[removed]Attempt all questions. Few marks will be given for incomplete or fragmentary answers. Submit only one answer per question per team, working in collaboration. Each question will be graded by a di

Add to Reading List

Source URL: www.math.unb.ca

Language: English - Date: 2006-05-26 13:41:48
UPDATE