Solution of Cubic and Quartic Equations

被引：10

作者：

Riccardi, Marco

机构：

[1] 54038 Montignoso

来源：

FORMALIZED MATHEMATICS | 2009年 / 17卷 / 02期

关键词：

D O I：

10.2478/v10037-009-0012-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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

引用

页码：117 / 122

页数：6

共 12 条

[1]

Bancerek G., 1990, FORMALIZED MATH, V1, P91

[2]

Bylinski Czeslaw, 1990, FORMALIZED MATH, V1, P507

[3]

Ding Yuzhong, 2004, FORMALIZED MATH, V12, P85

[4]

Hryniewiecki K., 1990, J FORMALIZ MATH, V1, P35

[5]

Jan Popiolek, 1991, FORMALIZED MATH, V2, P507

[6]

Korn G.A., 2000, MATH HDB SCI ENG

[7]

Milewski Robert, 2001, FORMALIZED MATH, V9, P455

[8]

Raczkowski K., 1991, J FORMALIZED MATH, V2, P213

[9]

Trybulec Andrzej, 1990, FORMALIZED MATH, V1, P445

[10]

Trybulec Z., 1990, FORMALIZED MATH, V1, P67

← 1 2 →