An SMT solver for non-linear real arithmetic inside Maple

Research output: Contribution to conferencePosterpeer-review

64 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 6 Jul 2022
Event47th International Symposium on Symbolic and Algebraic Computation - University of Lille, Lille, France
Duration: 4 Jul 20227 Jul 2022
https://www.issac-conference.org/2022/

Conference

Conference47th International Symposium on Symbolic and Algebraic Computation
Abbreviated titleISSAC2022
Country/TerritoryFrance
CityLille
Period4/07/227/07/22
Internet address

Keywords

  • satisfiability modulo theories
  • cylindrical algebraic coverings

Cite this