Session Cubic_Quartic_Equations
View
theory dependencies
View
document
View
outline
Theories
Complex_Geometry.More_Transcendental
Complex_Geometry.Canonical_Angle
Complex_Geometry.More_Complex
Ferraris_Formula
Cardanos_Formula
Factor_Algebraic_Polynomial.Roots_via_IA
Complex_Roots
Cubic_Polynomials
Quartic_Polynomials