OpenMath and SMT-LIB

J.H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    62 Downloads (Pure)


    OpenMath and SMT-LIB are languages with very different origins, but both represent mathematics. We describe SMT-LIB for the Open-Math community and consider adaptations for both languages to support the growing SC2 initiative.
    Original languageEnglish
    Title of host publication2017 OpenMath Workshop
    Number of pages9
    Publication statusPublished - 10 Jul 2017
    EventOpenMath Workshop - Edinburgh, United Kingdom
    Duration: 17 Jul 201717 Jul 2017
    Conference number: 28


    WorkshopOpenMath Workshop
    Country/TerritoryUnited Kingdom
    Internet address


    Dive into the research topics of 'OpenMath and SMT-LIB'. Together they form a unique fingerprint.

    Cite this