731. 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) ↗
732. 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) ↗
733. 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) ↗
734. 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) ↗
735. 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) ↗
736. 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) ↗
737. Solving applied mathematical problems with MATLAB. ([2009]) Authors: Xue, Dingyü; Chen, YangQuan, 1966- Record Type: Book Extent: 1 online resource (xiv, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
738. 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) ↗
739. 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) ↗
740. 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) ↗