Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Sebastiaan Joosten

Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper)

English