Welkom...

dr.ir. S.J.C. Joosten (Sebastiaan)

Onderzoeker

Expertises

Certification
Proof Complexity
Perron-Frobenius Theorem
Lll Algorithm
Factorization
Polynomial
Approximation
Integer

Publicaties

Recente Artikelen
Divasón, J., Joosten, S., Thiemann, R., & Yamada, A. (2018). A verified LLL algorithm. Archive of Formal Proofs, 2018.
Divasón, J., Joosten, S., Kuncar, O., Thiemann, R., & Yamada, A. (2018). Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper). In Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 2-13). DOI: 10.1145/3167103
Divasón, J., Joosten, S., Thiemann, R., & Yamada, A. (2017). A formalization of the Berlekamp-Zassenhaus factorization algorithm. In CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs (pp. 17-29). Association for Computing Machinery (ACM). DOI: 10.1145/3018610.3018617

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3082
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3082
Postbus 217
7500 AE Enschede