NewEvery arXiv paper, its researchers & institutions — mapped.
paper

OpenMath and SMT-LIB

arXiv:1803.01592

Abstract

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.

Presented in the OpenMath 2017 Workshop, at CICM 2017, Edinburgh, UK