741. Subresultants of (x−α)m and (x−β)n, Jacobi polynomials and complexity. (November 2020) Authors: Bostan, A.; Krick, T.; Szanto, A.; Valdettaro, M. Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 330 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
742. Subresultants, Sylvester sums and the rational interpolation problem. (May 2015) Authors: D'Andrea, Carlos; Krick, Teresa; Szanto, Agnes Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 72 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
743. Subset sum problem in polycyclic groups. (January 2018) Authors: Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 84 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
744. Summation Theory II: Characterizations of RΠΣ⁎-extensions and algorithmic aspects. (May 2017) Authors: Schneider, Carsten Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 616 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
745. Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation. (January 2020) Authors: Roy, Marie-Françoise; Szpirglas, Aviva Journal: Journal of symbolic computation Issue: Volume 96(2020) Page Start: 85 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
746. Symbolic analysis of multiple steady states in a MAPK chemical reaction network. (July 2021) Authors: Lichtblau, Daniel Journal: Journal of symbolic computation Issue: Volume 105(2021) Page Start: 118 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
747. Symbolic computation and satisfiability checking. (September 2020) Authors: Davenport, James H.; England, Matthew; Griggio, Alberto; Sturm, Thomas; Tinelli, Cesare Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
748. Symbolic computation in software science. (January 2019) Authors: Davenport, James Harold; Kutsia, Temur Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
749. Symbolic computation of some power-trigonometric series. (May 2017) Authors: Masjed-Jamei, Mohammad; Koepf, Wolfram Journal: Journal of symbolic computation Issue: Volume 80:Part 2(2017) Page Start: 273 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
750. Symbolic computation on a second-order KdV equation. (May 2016) Authors: Lee, C.T.; Lee, C.C. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 70 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗