71. 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) ↗
72. 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) ↗
73. 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) ↗
74. 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) ↗
75. 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) ↗
76. 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) ↗
77. 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) ↗
78. 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) ↗
79. An algorithmic approach to Ramanujan–Kolberg identities. (May 2015) Authors: Radu, Cristian-Silviu Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 225 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. An algorithmic approach to small limit cycles of nonlinear differential systems: The averaging method revisited. (March 2023) Authors: Huang, Bo; Yap, Chee Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 492 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗