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].
CITATION STYLE
Riccardi, M. (2009). Solution of cubic and quartic equations. Formalized Mathematics, 17(2), 117–122. https://doi.org/10.2478/v10037-009-0012-z
Mendeley helps you to discover research relevant for your work.