cicyt UNIZAR
Full-text links:

Download:

Current browse context:

cs.MS

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Mathematical Software

Title: OpenMath and SMT-LIB

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.
Comments: Presented in the OpenMath 2017 Workshop, at CICM 2017, Edinburgh, UK
Subjects: Mathematical Software (cs.MS)
ACM classes: H.3.5
Cite as: arXiv:1803.01592 [cs.MS]
  (or arXiv:1803.01592v1 [cs.MS] for this version)

Submission history

From: Matthew England Dr [view email]
[v1] Mon, 5 Mar 2018 10:33:50 GMT (14kb)