88 citations · 340 across the 23 of their papers we have counts for
1 paper · 2 filters
James H. Davenport, Matthew England, Roberto Sebastiani +1
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 l…