Solution of Cubic and Quartic Equations

Marco Riccardi. Solution of Cubic and Quartic Equations. Formalized Mathematics, 17(1-4):117-122, 2009. [doi]

Abstract

Abstract is missing.