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.
|Title of host publication||2017 OpenMath Workshop|
|Number of pages||9|
|Publication status||Published - 10 Jul 2017|
|Event||OpenMath Workshop - Edinburgh, United Kingdom|
Duration: 17 Jul 2017 → 17 Jul 2017
Conference number: 28
|Period||17/07/17 → 17/07/17|