Sebastiaan Jozef Christiaan Joosten

dr.ir.

20172018
If you made any changes in Pure these will be visible here soon.

Research Output 2017 2018

  • 2 Conference contribution
  • 1 Article
Filter
Article
2018

A verified LLL algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A. 2018 In : Archive of Formal Proofs. 2018

Research output: Contribution to journalArticle

Open Access
File
Polynomials
Number theory
Textbooks
Computer science
Computational complexity