2000 character limit reached
OpenMath and SMT-LIB (1803.01592v1)
Published 5 Mar 2018 in cs.SC and cs.MS
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.