Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Anthony Joseph Narkawicz"'
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
