Solving Cubic and Quartic Equations

René Thiemann
Archive of Formal Proofs 2021.

abstract   BibTeX   PDF  
AFP entry