Results 1 -
2 of
2
Primitive roots of unity and cyclotomic polynomials
- Journal of Formalized Mathematics
"... Summary. We present a formalization of roots of unity, define cyclotomic polynomials and demonstrate the relationship between cyclotomic polynomials and unital polynomials. ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Summary. We present a formalization of roots of unity, define cyclotomic polynomials and demonstrate the relationship between cyclotomic polynomials and unital polynomials.
unknown title
"... Summary. In this article, the principal n-th root of a complex number is defined, the Vieta’s formulas for polynomial equations of degree 2, 3 and 4 are formalized. The solution of quadratic equations, the Cardan’s solution of cubic equations and the Descartes-Euler solution of quartic equations in ..."
Abstract
- Add to MetaCart
Summary. In this article, the principal n-th root of a complex number is defined, the Vieta’s formulas for polynomial equations of degree 2, 3 and 4 are formalized. The solution of quadratic equations, the Cardan’s solution of cubic equations and the Descartes-Euler solution of quartic equations in terms of their complex coefficients are also presented [5].
