681. 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) ↗
682. 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) ↗
683. 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) ↗
684. 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) ↗
685. 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) ↗
686. 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) ↗
687. 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) ↗
688. 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) ↗
689. Reasoning about linkages with dynamic geometry. (March 2020) Authors: Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar Journal: Journal of symbolic computation Issue: Volume 97(2020) Page Start: 16 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
690. Recognizing implicitly given rational canal surfaces. (May 2016) Authors: Vršek, Jan; Lávička, Miroslav Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗