| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Jose Divasón
| Website: https://www.unirioja.es/cu/jodivaso/ |
Entries
| 2020 |
| May 23: A verified algorithm for computing the Smith normal form of a matrix |
| 2018 |
| February 6: A verified factorization algorithm for integer polynomials with polynomial complexity |
| February 2: A verified LLL algorithm |
| 2016 |
| October 14: The Factorization Algorithm of Berlekamp and Zassenhaus |
| May 20: Perron-Frobenius Theorem for Spectral Radius Analysis |
| 2015 |
| July 7: Hermite Normal Form |
| February 12: QR Decomposition |
| February 12: Echelon Form |
| 2014 |
| September 3: Gauss-Jordan Algorithm and Its Applications |
| 2013 |
| January 16: Rank-Nullity Theorem in Linear Algebra |