# Jose Divasón

## Entries

### 2020

##### A verified algorithm for computing the Smith normal form of a matrix

by Jose Divasón 🌐
May 23