Solving Cubic and Quartic Equations (Q7361747)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Cubic_Quartic_Equations
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Solving Cubic and Quartic Equations |
AFP entry Cubic_Quartic_Equations |
Statements
3 September 2021
0 references
René Thiemann
0 references
Solving Cubic and Quartic Equations (English)
0 references
We formalize Cardano's formula to solve a cubic equation $$ax^3 + bx^2 + cx + d = 0,$$ as well as Ferrari's formula to solve a quartic equation. We further turn both formulas into executable algorithms based on the algebraic number implementation in the AFP. To this end we also slightly extended this library, namely by making the minimal polynomial of an algebraic number executable, and by defining and implementing $n$-th roots of complex numbers.
0 references
