[ACM Press the 2018 ACM - New York, NY, USA (2018.07.16-2018.07.19)] Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 - An Approach for Certifying Homotopy Continuation Paths
Xu, Juan, Burr, Michael, Yap, CheeYear:
2018
DOI:
10.1145/3208976.3209010
File:
PDF, 1.30 MB
2018