Research Output per year

## Personal profile

### Education/Academic qualification

PhD, Eindhoven University of Technology

### Keywords

- QA75 Electronic computers. Computer science
- Formal methods
- Logic
- Verification

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 5 Similar Profiles

Factorization
Engineering & Materials Science

Subresultants
Mathematics

Polynomials
Engineering & Materials Science

Context free grammars
Engineering & Materials Science

Polynomial Complexity
Mathematics

Formalization
Mathematics

Polynomial
Mathematics

XML
Engineering & Materials Science

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 2017 2018

## A Formalization of the LLL Basis Reduction Algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 4 Jul 2018,*Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings.*Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

File

Formalization

LLL Algorithm

Computer Algebra

Number theory

Soundness

## An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018. 6 p.Research output: Contribution to conference › Paper › Academic › peer-review

Open Access

File

File editors

Data structures

## A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

Divasón, J., Joosten, S. J. C., Thiemann, R. & Yamada, A., Jul 2018,*16th International Workshop on Termination: WST 2018, July 18-19. 2018, Oxford, UK.*Lucas, S. (ed.). p. 30-34 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

## A verified factorization algorithm for integer polynomials with polynomial complexity

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 6 Feb 2018, In : Archive of Formal Proofs. 79 p.Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Polynomial Complexity

Factorization

Polynomial

Integer

Polynomial time

## A Verified Implementation of Algebraic Numbers in Isabelle/HOL

Joosten, S. J. C., Thiemann, R. & Yamada, A., 9 Dec 2018, In : Journal of automated reasoning. 27 p.Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Polynomials

Factorization