Algebraic Numbers in Isabelle/HOL.

Ren Thiemann, Akihisa Yamada

Browse the full ITP paper archive.