## 2023

##### Expander Graphs

by Emin Karayel
Mar 03

## 2021

##### Verified Algorithms for Solving Markov Decision Processes

by Maximilian Schäffeler and Mohammad Abdulaziz
Dec 16

## 2020

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

by Jose Divasón
May 23

## 2018

##### A verified factorization algorithm for integer polynomials with polynomial complexity

by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada
Feb 06

## 2017

##### Stochastic Matrices and the Perron-Frobenius Theorem

by René Thiemann
Nov 22