Found 2 Documents (Results 1–2)
Algebraic numbers in Isabelle/HOL. (English) Zbl 1478.68443
Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 391-408 (2016).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Thiemann, René (2)
- Yamada, Akihisa (2)
- Joosten, Sebastiaan J. C. (1)
all
top 3
Software
- HOL (2)
- Isabelle (2)
- Isabelle/HOL (2)
- Lifting (2)
- Transfer (2)
- Archive Formal Proofs (1)
- Berlekamp Zassenhaus (1)
- CeTA (1)
- Count Complex Roots (1)
- Linear Recurrences (1)