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

Jose Divasón, Sebastiaan Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    3 Citations (Scopus)
    48 Downloads (Pure)
    Original languageEnglish
    Title of host publicationProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
    Pages2-13
    Number of pages12
    DOIs
    Publication statusPublished - 2018
    Event7th ACM SIGPLAN International Conference on Certified Programs and Proofs 2018 - Los Angeles, United States
    Duration: 8 Jan 20189 Jan 2018
    Conference number: 7
    https://conf.researchr.org/home/CPP-2018

    Conference

    Conference7th ACM SIGPLAN International Conference on Certified Programs and Proofs 2018
    Abbreviated titleCPP 2018
    CountryUnited States
    CityLos Angeles
    Period8/01/189/01/18
    Internet address

    Cite this