1. A lifted square formulation for certifiable Schubert calculus. (March 2017) Authors: Hein, Nickolas; Sottile, Frank Journal: Journal of symbolic computation Issue: Volume 79:Part 3(2017) Page Start: 594 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Certification for polynomial systems via square subsystems. (March 2022) Authors: Duff, Timothy; Hein, Nickolas; Sottile, Frank Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗