Perron_Frobenius Dependents

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