Certified homotopy tracking using the Krawczyk method
| Title: | Certified homotopy tracking using the Krawczyk method |
|---|---|
| Authors: | Duff, Timothy; Lee, Kisun |
| Source: | Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :274-282 |
| Availability: | http://dl.acm.org/doi/10.1145/3666000.3669699 |
| Database: | ACM Full-Text Collection |