Research Output 2017 2018

  • 2 Conference contribution
  • 1 Article
2018

A verified LLL algorithm

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

Research output: ScientificArticle

LLL algorithm
Cryptanalysis
Number theory
Approximation
Soundness

Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper)

Divasón, J., Joosten, S., Kuncar, O., Thiemann, R. & Yamada, A. 2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. p. 2-13 12 p.

Research output: ScientificConference contribution

Perron-Frobenius theorem
Proof complexity
Certification
2017

A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A. 2017 CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), p. 17-29 13 p.

Research output: Scientific - peer-reviewConference contribution

Factorization
Polynomial
Square free
Formalization
Integer