TWiki>
Mizar Web>MathematicsSubjectClassification>26>26A>26A99 (2006-12-16, MarcoRiccardi)EditAttach
Mizar Web>MathematicsSubjectClassification>26>26A>26A99 (2006-12-16, MarcoRiccardi)EditAttach26A99 Functions of one variable - None of the above, but in this section
Primary classification
| # | Article | ||
|---|---|---|---|
| 1 | arytm_3 | Arithmetic of Non Negative Rational Numbers | Grzegorz Bancerek |
| 2 | arytm_0 | Introduction to Arithmetics | Andrzej Trybulec |
| 3 | xreal_0 | Introduction to Arithmetic of Real Numbers | Library Committee |
| 4 | xxreal_0 | Introduction to Arithmetic of Extended Real Numbers | Library Committee |
| 5 | real | Basic Properties of Real Numbers - Requirements | Library Committee |
| 6 | xreal_1 | Real Numbers - Basic Theorems | Library Committee |
| 7 | axioms | Strong arithmetic of real numbers | Andrzej Trybulec |
| 8 | real_1 | Basic Properties of Real Numbers | Krzysztof Hryniewiecki |
| 9 | real_2 | Equalities and Inequalities in Real Numbers. Continuation of REAL_1 | Andrzej Kondracki |
| 10 | rat_1 | Basic Properties of Rational Numbers | Andrzej Kondracki |
Secondary classification
| # | Article | ||
|---|---|---|---|
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-12-16 - 11:08:12 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback