An SMT solver for non-linear real arithmetic inside Maple

Research output: Contribution to conference › Poster › peer-review

80 Downloads (Pure)

Original language	English
Publication status	Published - 6 Jul 2022
Event	47th International Symposium on Symbolic and Algebraic Computation - University of Lille, Lille, France Duration: 4 Jul 2022 → 7 Jul 2022 https://www.issac-conference.org/2022/

Conference	47th International Symposium on Symbolic and Algebraic Computation
Abbreviated title	ISSAC2022
Country/Territory	France
City	Lille
Period	4/07/22 → 7/07/22
Internet address	https://www.issac-conference.org/2022/

Keywords

@conference{a5674ea61d1c4ffba9a322c4ce6d6078,

title = "An SMT solver for non-linear real arithmetic inside Maple",

keywords = "satisfiability modulo theories, cylindrical algebraic coverings",

author = "AmirHosein Sadeghimanesh and Matthew England",

year = "2022",

month = jul,

day = "6",

language = "English",

note = "47th International Symposium on Symbolic and Algebraic Computation, ISSAC2022 ; Conference date: 04-07-2022 Through 07-07-2022",

url = "https://www.issac-conference.org/2022/",

}