101. Apparent singularities of D-finite systems. (November 2019) Authors: Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 217 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
102. Applied numerical methods using MATLAB. (2020) Authors: Yang, Won Y; Yang, Wŏn-yŏng, 1953- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. Applying computer algebra systems with SAT solvers to the Williamson conjecture. (September 2020) Authors: Bright, Curtis; Kotsireas, Ilias; Ganesh, Vijay Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 187 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Approximate square-free part and decomposition. (May 2021) Authors: Nagasaka, Kosaku Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 402 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Associated primes of spline complexes. (September 2016) Authors: DiPasquale, Michael Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 158 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Associated primes of spline complexes. (September 2016) Authors: DiPasquale, Michael Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 158 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Asymptotic r-log-convexity and P-recursive sequences. (July 2019) Authors: Hou, Qing-Hu; Zhang, Zuo-Ru Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 21 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Autocovariance varieties of moving average random fields. (March 2022) Authors: Améndola, Carlos; Pham, Viet Son Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 202 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Automated proof of mixed trigonometric-polynomial inequalities. (November 2020) Authors: Chen, Shiping; Liu, Zhong Journal: Journal of symbolic computation Issue: Volume 101(2020) Page Start: 318 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Automating algorithm selection: Checking for matrix properties that can simplify computations. (September 2019) Authors: Eberly, Wayne Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗