Implementing field extensions of the form Q[sqrt(b)]

René Thiemann
The Archive of Formal Proofs, 2014.

abstract   BibTeX    
AFP entry