The following pages link to Sebastiaan J. C. Joosten (Q1785853):
Displaying 13 items.
- Finding models through graph saturation (Q1785854) (← links)
- (Q1791153) (redirect page) (← links)
- A formalization of the LLL basis reduction algorithm (Q1791154) (← links)
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794) (← links)
- Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL (Q2209537) (← links)
- A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244) (← links)
- Certifying safety and termination proofs for integer transition systems (Q2405269) (← links)
- Ampersand (Q3007584) (← links)
- Type Checking by Domain Analysis in Ampersand (Q3460627) (← links)
- Automated Verification of Parallel Nested DFS (Q5039512) (← links)
- Parsing and Printing of and with Triples (Q5283209) (← links)
- A macro for reusing abstract functions and theorems (Q6587251) (← links)
- Initial experiments with TPTP-style automated theorem provers on ACL2 problems (Q6589549) (← links)
