71. Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials. (July 2019) Authors: Magron, Victor; Safey El Din, Mohab; Schweighofer, Markus Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 200 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Algorithms to compute the topological Euler characteristic, Chern–Schwartz–MacPherson class and Segre class of projective varieties. (March 2016) Authors: Helmer, Martin Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 120 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Aligning concepts across proof assistant libraries. (January 2019) Authors: Gauthier, Thibault; Kaliszyk, Cezary Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 89 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem. (November 2017) Authors: Diekert, Volker; Myasnikov, Alexei G.; Weiß, Armin Journal: Journal of symbolic computation Issue: Volume 83(2017) Page Start: 147 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. An adaptive prefix-assignment technique for symmetry reduction. (July 2020) Authors: Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka Journal: Journal of symbolic computation Issue: Volume 99(2020) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. An algorithm for computing mixed sums of products of Bernoulli polynomials and Euler polynomials. (January 2015) Authors: Feng, Lei; Wang, Weiping Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 84 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. An algorithm for computing Schur indices of characters. (July 2019) Authors: Unger, W.R. Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 148 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. An algorithm for computing the Hilbert–Samuel multiplicities and reductions of zero-dimensional ideals of Cohen–Macaulay local rings. (January 2020) Authors: Shibuta, Takafumi; Tajima, Shinichi Journal: Journal of symbolic computation Issue: Volume 96(2020) Page Start: 108 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. An algorithm for providing the normal forms of spatial quasi-homogeneous polynomial differential systems. (November 2019) Authors: García, Belén; Llibre, Jaume; Lombardero, Antón; Pérez del Río, Jesús S. Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. An algorithm to compute the Hilbert depth. (January 2015) Authors: Popescu, Adrian Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗