Sebastiaan J. C. Joosten

Available identifiers

zbMath Open joosten.sebastiaan-j-cMaRDI QIDQ1785853

List of research outcomes

Publication	Date of Publication	Type
Initial experiments with TPTP-style automated theorem provers on ACL2 problems	2024-08-19	Paper
A macro for reusing abstract functions and theorems	2024-08-13	Paper
Automated Verification of Parallel Nested DFS	2022-10-13	Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL	2020-11-02	Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm	2020-04-07	Paper
A verified implementation of algebraic numbers in Isabelle/HOL	2020-03-03	Paper
A formalization of the LLL basis reduction algorithm	2018-10-04	Paper
Finding models through graph saturation	2018-10-01	Paper
Certifying safety and termination proofs for integer transition systems	2017-09-22	Paper
Parsing and Printing of and with Triples	2017-07-21	Paper
Type Checking by Domain Analysis in Ampersand	2016-01-08	Paper
Ampersand	2011-06-17	Paper

Research outcomes over time

This page was built for person: Sebastiaan J. C. Joosten