Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Aaron M. Dutle"'
Publikováno v:
Journal of Formalized Reasoning, Vol 11, Iss 1, Pp 19-41 (2018)
This paper presents a formally verified decision procedure for determinining the satisfiability of a system of univariate polynomial relations over the real line. The procedure combines a root counting function, based on Sturm’s theorem, with an in
Externí odkaz:
https://doaj.org/article/bcbf412e899646639ad423271e64b5bf
Publikováno v:
Formal Aspects of Component Software ISBN: 9783031208713
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0dc8d2f35d26ff165f3a9327af378cc
https://doi.org/10.1007/978-3-031-20872-0_4
https://doi.org/10.1007/978-3-031-20872-0_4
