Wenyuan Wu, Changbo Chen, Greg Reid. Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. Volume 10490 of Lecture Notes in Computer Science, pages 377-391, Springer, 2017. [doi]
Abstract is missing.