A Verified Implementation of Algebraic Numbers in Isabelle/HOL

Sebastiaan J.C. Joosten, René Thiemann (Corresponding Author), Akihisa Yamada

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
9 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Verified Implementation of Algebraic Numbers in Isabelle/HOL'. Together they form a unique fingerprint.

Engineering & Materials Science