Corpus ID: 3708236

OpenMath and SMT-LIB

@article{Davenport2018OpenMathAS,
  title={OpenMath and SMT-LIB},
  author={James H. Davenport and Matthew England and Roberto Sebastiani and Patrick Trentin},
  journal={ArXiv},
  year={2018},
  volume={abs/1803.01592}
}
  • James H. Davenport, Matthew England, +1 author Patrick Trentin
  • Published 2018
  • Computer Science, Mathematics
  • ArXiv
  • 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. 

    Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 17 REFERENCES