The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “About some bivariate operators of Stancu type.”

Solution of Cubic and Quartic Equations

Marco Riccardi (2009)

Formalized Mathematics

Similarity:

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].