901. 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) ↗
902. 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) ↗
903. 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) ↗
904. 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) ↗
905. 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) ↗
906. Reconstruction of rational ruled surfaces from their silhouettes. (May 2021) Authors: Gallet, Matteo; Lubbes, Niels; Schicho, Josef; Vršek, Jan Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 366 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
907. Recursive structures in involutive bases theory. (September 2023) Authors: Hashemi, Amir; Orth, Matthias; Seiler, Werner M. Journal: Journal of symbolic computation Issue: Volume 118(2023) Page Start: 32 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
908. Reducing complexes in multidimensional persistent homology theory. (January 2017) Authors: Allili, Madjid; Kaczynski, Tomasz; Landi, Claudia Journal: Journal of symbolic computation Issue: Volume 78(2017) Page Start: 61 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
909. Reducing radicals in the spirit of Euclid. (May 2021) Authors: Girstmair, Kurt Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 356 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
910. Reduction operators and completion of rewriting systems. (January 2018) Authors: Chenavier, Cyrille Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 57 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗