OpenMath and SMT-LIB
James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin · arXiv (Cornell University) · 2018
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.