Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper).

Jose Divasn, Sebastiaan J. C. Joosten, Ondrej Kuncar, Ren Thiemann, Akihisa Yamada

Browse the full CPP paper archive.