OpenMath and SMT-LIB

J.H. Davenport; Matthew England; Roberto Sebastiani; Patrick Trentin

OpenMath and SMT-LIB

J.H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

121 Downloads (Pure)

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	http://cicm-conference.org/2017/cicm.php?event=openmath

Access to Document

Post-PrintAccepted author manuscript, 590 KB

Cite this

@inproceedings{83dc57f8253f4a91b277f21505a9a402,

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 Open-Math community and consider adaptations for both languages to support the growing SC2 initiative.",

author = "J.H. Davenport and Matthew England and Roberto Sebastiani and Patrick Trentin",

year = "2017",

month = jul,

day = "10",

language = "English",

booktitle = "2017 OpenMath Workshop",

note = "OpenMath Workshop ; Conference date: 17-07-2017 Through 17-07-2017",

url = "http://cicm-conference.org/2017/cicm.php?event=openmath",

}

TY - GEN

T1 - OpenMath and SMT-LIB

AU - Davenport, J.H.

AU - England, Matthew

AU - Sebastiani, Roberto

AU - Trentin, Patrick

N1 - Conference code: 28

PY - 2017/7/10

Y1 - 2017/7/10

N2 - 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.

AB - 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.

M3 - Conference proceeding

BT - 2017 OpenMath Workshop

T2 - OpenMath Workshop

Y2 - 17 July 2017 through 17 July 2017

ER -

OpenMath and SMT-LIB

Abstract

Workshop

Access to Document

Fingerprint

Cite this