1. A certified numerical algorithm for the topology of resultant and discriminant curves. (May 2017) Authors: Imbach, Rémi; Moroz, Guillaume; Pouget, Marc Journal: Journal of symbolic computation Issue: Volume 80:Part 2(2017) Page Start: 285 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A generic framework for symbolic execution: A coinductive approach. (May 2017) Authors: Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A Henneberg-based algorithm for generating tree-decomposable minimally rigid graphs. (March 2017) Authors: Hidalgo, Marta R.; Joan-Arinyo, Robert Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 2 Page Start: 232 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A hybrid symbolic-numerical approach to the center-focus problem. (September 2017) Authors: Mahdi, Adam; Pessoa, Claudio; Hauenstein, Jonathan D. Journal: Journal of symbolic computation Issue: Volume 82(2017) Page Start: 57 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices. (July 2017) Authors: Jing, Rui-Juan; Yuan, Chun-Ming Journal: Journal of symbolic computation Issue: Volume 81(2017) Page Start: 97 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. A new faster algorithm for factoring skew polynomials over finite fields. (March 2017) Authors: Caruso, Xavier; Le Borgne, Jérémy Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 2 Page Start: 411 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. A persistence landscapes toolbox for topological statistics. (January 2017) Authors: Bubenik, Peter; Dłotko, Paweł Journal: Journal of symbolic computation Issue: Volume 78(2017) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. A probabilistic algorithm for computing data-discriminants of likelihood equations. (November 2017) Authors: Rodriguez, Jose Israel; Tang, Xiaoxian Journal: Journal of symbolic computation Issue: Volume 83(2017) Page Start: 342 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. A sharp bound on the number of real intersection points of a sparse plane curve with a line. (July 2017) Authors: Bihan, Frédéric; El Hilany, Boulos Journal: Journal of symbolic computation Issue: Volume 81(2017) Page Start: 88 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗