1021. 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) ↗
1022. 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) ↗
1023. 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) ↗
1024. 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) ↗
1025. 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) ↗
1026. 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) ↗
1027. 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) ↗
1028. Symmetric polynomials in tropical algebra semirings. (July 2019) Authors: Kališnik, Sara; Lešnik, Davorin Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 100 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1029. Symmetric polynomials in upper-bound semirings. (March 2021) Authors: Kališnik, Sara; Lešnik, Davorin Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 280 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1030. Symmetrizing tableaux and the 5th case of the Foulkes conjecture. (May 2017) Authors: Cheung, Man-Wai; Ikenmeyer, Christian; Mkrtchyan, Sevak Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 833 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗