Found 3 Documents (Results 1–3)
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 (2)
- Collection Articles (1)
Author
- Thiemann, René (3)
- Yamada, Akihisa (3)
- Joosten, Sebastiaan J. C. (2)
- Divasón, Jose (1)
Volume
- 64, No. 4 (2020) (1)
- 64, No. 3 (2020) (1)
all
top 3
Software
- Isabelle/HOL (3)
- Lifting (3)
- Transfer (3)
- Archive Formal Proofs (2)
- Berlekamp Zassenhaus (2)
- HOL (2)
- Isabelle (2)
- CeTA (1)
- Count Complex Roots (1)
- Linear Recurrences (1)
- Locales (1)
- Maple (1)
- Mathematica (1)
- Sqrt_Babylonian (1)
- Vector Spaces (1)