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

12D Real and complex fields

Section P S
12D05? Polynomials: factorization      
12D10? Polynomials: location of zeros (algebraic theorems) For the analytic theory, see 26C10, 30C15    
12D15? Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) See also 11Exx    
12D99 None of the above, but in this section   6  

P = Primary classification

S = Secondary classification

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:23 - 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