%0 Conference Paper %1 conf/issac/XuBY18 %A Xu, Juan %A Burr, Michael A. %A Yap, Chee %B ISSAC %D 2018 %E Kauers, Manuel %E Ovchinnikov, Alexey %E Schost, Éric %I ACM %K dblp %P 399-406 %T An Approach for Certifying Homotopy Continuation Paths: Univariate Case. %U http://dblp.uni-trier.de/db/conf/issac/issac2018.html#XuBY18

@inproceedings{conf/issac/XuBY18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Xu, Juan and Burr, Michael A. and Yap, Chee}, biburl = {https://www.bibsonomy.org/bibtex/2ea15c6280ca9be74265bcb17d14ee52a/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2018}, editor = {Kauers, Manuel and Ovchinnikov, Alexey and Schost, Éric}, ee = {https://doi.org/10.1145/3208976.3209010}, interhash = {4c1fc0731e78723a441028148acd949f}, intrahash = {ea15c6280ca9be74265bcb17d14ee52a}, keywords = {dblp}, pages = {399-406}, publisher = {ACM}, timestamp = {2018-11-22T11:45:09.000+0100}, title = {An Approach for Certifying Homotopy Continuation Paths: Univariate Case.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2018.html#XuBY18}, year = 2018 }