The following pages link to Algebraic Numbers in Isabelle/HOL (Q2829274):
Displaying 7 items.
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244) (← links)
- Classification of finite fields with applications (Q2323448) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- On the formalization of Gram-Schmidt process for orthonormalizing a set of vectors (Q6071622) (← links)
