781. 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) ↗
782. 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) ↗
783. 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) ↗
784. 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) ↗
785. 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) ↗
786. 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) ↗
787. 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) ↗
788. 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) ↗
789. Symbolic computation on the partition lattice of an n-set. (November 2019) Authors: Li, Yongbin; Fu, Qiuju; Deng, Renbin Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 185 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
790. Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. (November 2021) Authors: Moustrou, Philippe; Riener, Cordian; Verdure, Hugues Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 106 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗