Publicaciones en las que colabora con Akihisa Yamada (5)

2018

  1. A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

    WST 2018 16th International Workshop on Termination

  2. A verified LLL algorithm

    Archive of Formal Proofs, pp. 1-251

  3. A verified factorization algorithm for integer polynomials with polynomial complexity

    Archive of Formal Proofs, pp. 1-80

2016

  1. Perron-Frobenius Theorem for Spectral Radius Analysis

    Archive of Formal Proofs, pp. 1-132

  2. The Factorization Algorithm of Berlekamp and Zassenhaus

    Archive of Formal Proofs, pp. 1-481