César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle. A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. J. Formalized Reasoning, 11(1):19-41, 2018. [doi]
@article{MunozND18,
title = {A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision},
author = {César A. Muñoz and Anthony J. Narkawicz and Aaron Dutle},
year = {2018},
doi = {10.6092/issn.1972-5787/8212},
url = {https://doi.org/10.6092/issn.1972-5787/8212},
researchr = {https://researchr.org/publication/MunozND18},
cites = {0},
citedby = {0},
journal = {J. Formalized Reasoning},
volume = {11},
number = {1},
pages = {19-41},
}