OpenMath and SMT-LIB

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

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

40 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