OpenMath and SMT-LIB

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

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

28 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
CountryUnited 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

    Davenport, J. H., England, M., Sebastiani, R., & Trentin, P. (2017). OpenMath and SMT-LIB. In 2017 OpenMath Workshop