1. TcT: tyrolean complexity tool;Avanzini,2016
2. Nonnegative Matrices in the Mathematical Sciences;Berman,1994
3. Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper);Divasón,2018
4. Perron–Frobenius theorem for spectral radius analysis;Divasón,2016
5. Verified real asymptotics in Isabelle/HOL;Eberl,2019