OpenMath and SMT-LIB

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

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

    47 Downloads (Pure)

    Abstract

    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
    http://cicm-conference.org/2017/cicm.php?event=openmath

    Workshop

    WorkshopOpenMath Workshop
    Country/TerritoryUnited Kingdom
    CityEdinburgh
    Period17/07/1717/07/17
    Internet address

    Fingerprint

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

    Cite this