Solving Cubic and Quartic Equations

René Thiemann. Solving Cubic and Quartic Equations. Archive of Formal Proofs, 2021, 2021. [doi]

Abstract

Abstract is missing.