Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Fernando Vale-Enriquez"'
Publikováno v:
Journal of Symbolic Computation. 100:72-101
Computing with non-linear polynomial constraints over the real numbers has been an important area within Computer Algebra since the field's inception. More recently, satisfiability for this theory has become an important problem in the SMT-solving co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65cee0d4e57fad1165448fb7b4d77bdb
https://doi.org/10.1016/j.jsc.2019.07.020
https://doi.org/10.1016/j.jsc.2019.07.020
Publikováno v:
Mathematical Software – ICMS 2018 ISBN: 9783319964171
ICMS
ICMS
This paper gives a brief overview of Tarski, a system for computing with Tarski formulas, which are boolean combinations of non-linear polynomial constraints over the reals. It gives an overview of Tarski’s basic functionality, then goes into more
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2afa5ec67603bf0a2407ce984618c5b4
https://doi.org/10.1007/978-3-319-96418-8_55
https://doi.org/10.1007/978-3-319-96418-8_55
