Abstract
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.
Original language | English |
---|---|
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 http://cicm-conference.org/2017/cicm.php?event=openmath |
Workshop
Workshop | OpenMath Workshop |
---|---|
Country/Territory | United Kingdom |
City | Edinburgh |
Period | 17/07/17 → 17/07/17 |
Internet address |