OpenMath and SMT-LIB are languages with very different origins, but both
"represent mathematics". We describe SMT-LIB for the OpenMath community and
consider adaptations for both languages to support the growing SC-Square
initiative.Comment: Presented in the OpenMath 2017 Workshop, at CICM 2017, Edinburgh, U

Davenport, J.H.

England, Matthew

Sebastiani, Roberto

Trentin, Patrick

arXiv

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

OpenMath and SMT-LIB

Abstract

Similar works

Full text

Available Versions

Coventry University Pure Portal