121. Algorithms for simultaneous Hermite–Padé approximations. (January 2021) Authors: Rosenkilde, Johan; Storjohann, Arne Journal: Journal of symbolic computation Issue: Volume 102(2020) Page Start: 279 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
122. Algorithms for tight spans and tropical linear spaces. (March 2019) Authors: Hampe, Simon; Joswig, Michael; Schröter, Benjamin Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 116 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
123. 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) ↗
124. 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) ↗
125. 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) ↗
126. 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) ↗
127. An adaptive coupling of finite elements with smooth particle hydrodynamics particles for large deformation fluid–solid interactions. Issue 4 (5th January 2021) Authors: Khan, Arijit; Deb, Debasis Journal: Computational and mathematical methods Issue: Volume 3:Issue 4(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. 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) ↗
129. 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) ↗
130. 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) ↗