TWiki> Mizar Web>MathematicsSubjectClassification>12>12D>12D99 (2010-08-17, BorisSchminke)EditAttach

Real and complex fields - None of the above, but in this section

Primary classification

# Article
1 numbers Subsets of Complex Numbers Andrzej Trybulec
2 xcmplx_0 Complex Numbers - Basic Definitions Library Committee
3 arithm Field Properties of Complex Numbers - Requirements Library Committee
4 xcmplx_1 Complex Numbers - Basic Theorems Library Committee
5 complex1 The Complex Numbers Czes{\l}aw Byli\'nski
6 complex2 Inner Products and Angles of Complex Numbers Wenpai Chang, Yatsuka Nakamura and Piotr Rudnicki
   
   

Secondary classification

# Article
   
   
WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2010-08-17 - 12:16:09 - BorisSchminke
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback