Zobrazeno 1 - 9
of 9
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
Autor:
Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
Publikováno v:
Journal of Automated Reasoning; Dec2023, Vol. 67 Issue 4, p1-30, 30p
Publikováno v:
Tests & Proofs (9783319212142); 2015, p92-108, 17p
Publikováno v:
Tests & Proofs (9783319212142); 2015, pI-XIX, 19p
Publikováno v:
European Journal of Mathematics; Jun2015, Vol. 1 Issue 2, p320-328, 9p
Publikováno v:
Journal of Automated Reasoning; Apr2015, Vol. 54 Issue 4, p285-326, 42p
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FAC
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers pr