691. Singularities of plane rational curves via projections. (May 2018) Authors: Bernardi, Alessandra; Gimigliano, Alessandro; Idà, Monica Journal: Journal of symbolic computation Issue: Volume 86(2018) Page Start: 189 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
692. Skalpel: A constraint-based type error slicer for Standard ML. (May 2017) Authors: Rahli, Vincent; Wells, Joe; Pirie, John; Kamareddine, Fairouz Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 164 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
693. Small partial Latin squares that embed in an infinite group but not into any finite group. (May 2018) Authors: Dietrich, Heiko; Wanless, Ian M. Journal: Journal of symbolic computation Issue: Volume 86(2018) Page Start: 142 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
694. Smooth points on semi-algebraic sets. (May 2023) Authors: Harris, Katherine; Hauenstein, Jonathan D.; Szanto, Agnes Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 183 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
695. Solution of a quadratic quaternion equation with mixed coefficients. (May 2016) Authors: Farouki, Rida T.; Gentili, Graziano; Giannelli, Carlotta; Sestini, Alessandra; Stoppato, Caterina Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
696. Solution of a quadratic quaternion equation with mixed coefficients. (May 2016) Authors: Farouki, Rida T.; Gentili, Graziano; Giannelli, Carlotta; Sestini, Alessandra; Stoppato, Caterina Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
697. Solving a sparse system using linear algebra. (March 2016) Authors: Massri, César Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 157 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
698. Solving degree, last fall degree, and related invariants. (January 2023) Authors: Caminata, Alessio; Gorla, Elisa Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 322 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
699. Solving determinantal systems using homotopy techniques. (May 2021) Authors: Hauenstein, Jon D.; Safey El Din, Mohab; Schost, Éric; Vu, Thi Xuan Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 754 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
700. Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. (March 2018) Authors: Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz Journal: Journal of symbolic computation Issue: Volume 85(2018) Page Start: 25 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗