641. Random sampling in computational algebra: Helly numbers and violator spaces. (November 2016) Authors: De Loera, Jesús A.; Petrović, Sonja; Stasi, Despina Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
642. Rank computation in Euclidean Jordan algebras. (November 2022) Authors: Orlitzky, Michael Journal: Journal of symbolic computation Issue: Volume 113(2022) Page Start: 181 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
643. Ranks and symmetric ranks of cubic surfaces. (November 2020) Authors: Seigal, Anna Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 304 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
644. Rational curves on Calabi–Yau threefolds: Verifying mirror symmetry predictions. (September 2016) Authors: Hiep, Dang Tuan Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
645. Rational curves on Calabi–Yau threefolds: Verifying mirror symmetry predictions. (September 2016) Authors: Hiep, Dang Tuan Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
646. Rational curves over generalized complex numbers. (July 2019) Authors: Du, Juan; Goldman, Ron; Wang, Xuhui Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 56 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
647. Rationalizability of square roots. (September 2021) Authors: Besier, Marco; Festi, Dino Journal: Journal of symbolic computation Issue: Volume 106(2021) Page Start: 48 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
648. Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). (July 2016) Authors: Eraşcu, Mădălina; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
649. Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation). (July 2016) Authors: Eraşcu, Mădălina; Hong, Hoon Journal: Journal of symbolic computation Issue: Volume 75(2016) Page Start: 110 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
650. Real root finding for determinants of linear matrices. (May 2016) Authors: Henrion, Didier; Naldi, Simone; Safey El Din, Mohab Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 205 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗