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.
Cite
@article{arxiv.1803.01592,
title = {OpenMath and SMT-LIB},
author = {James H. Davenport and Matthew England and Roberto Sebastiani and Patrick Trentin},
journal= {arXiv preprint arXiv:1803.01592},
year = {2018}
}
Comments
Presented in the OpenMath 2017 Workshop, at CICM 2017, Edinburgh, UK