[[1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.]Search in Google Scholar
[[2] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.]Search in Google Scholar
[[3] Yuzhong Ding and Xiquan Liang. Solving roots of polynomial equation of degree 2 and 3 with complex coefficients. Formalized Mathematics, 12(2):85-92, 2004.]Search in Google Scholar
[[4] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.]Search in Google Scholar
[[5] G.A. Korn and T.M. Korn. Mathematical Handbook for Scientists and Engineers. Dover Publication, New York, 2000.]Search in Google Scholar
[[6] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887-890, 1990.]Search in Google Scholar
[[7] Robert Milewski. Trigonometric form of complex numbers. Formalized Mathematics, 9(3):455-460, 2001.]Search in Google Scholar
[[8] Jan Popiołek. Quadratic inequalities. Formalized Mathematics, 2(4):507-509, 1991.]Search in Google Scholar
[[9] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2):213-216, 1991.]Search in Google Scholar
[[10] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.]Search in Google Scholar
[[11] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.]Search in Google Scholar
[[12] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998.]Search in Google Scholar