| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Akihisa Yamada
| Website: http://group-mmm.org/~ayamada/ |
Entries
| 2019 |
| June 27: Complete Non-Orders and Fixed Points |
| 2018 |
| February 6: A verified factorization algorithm for integer polynomials with polynomial complexity |
| February 2: A verified LLL algorithm |
| 2017 |
| April 6: Subresultants |
| 2016 |
| October 14: The Factorization Algorithm of Berlekamp and Zassenhaus |
| May 20: Perron-Frobenius Theorem for Spectral Radius Analysis |
| January 29: Polynomial Interpolation |
| January 29: Polynomial Factorization |
| 2015 |
| December 22: Algebraic Numbers in Isabelle/HOL |
| August 21: Matrices, Jordan Normal Forms, and Spectral Radius Theory |