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 4 (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 nth 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 DescartesEuler solution of quartic equations in ..."
Abstract
 Add to MetaCart
Summary. In this article, the principal nth 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 DescartesEuler solution of quartic equations in terms of their complex coefficients are also presented [5].