101. 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) ↗
102. 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) ↗
103. 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) ↗
104. Baby-step giant-step algorithms for the symmetric group. (March 2018) Authors: Bach, Eric; Sandlund, Bryce Journal: Journal of symbolic computation Issue: Volume 85(2018) Page Start: 55 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Bar code for monomial ideals. (March 2019) Authors: Ceria, Michela Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 30 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Barrier certificates revisited. (May 2017) Authors: Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 62 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Bases of subalgebras of K〚x〛 and K[x]. (March 2017) Authors: Assi, A.; García-Sánchez, P.A.; Micale, V. Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 1 Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Better answers to real questions. (May 2016) Authors: Košta, Marek; Sturm, Thomas; Dolzmann, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 255 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Better answers to real questions. (May 2016) Authors: Košta, Marek; Sturm, Thomas; Dolzmann, Andreas Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 255 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Betti numbers of binomial ideals. (May 2017) Authors: de Alba, Hernán; Morales, Marcel Journal: Journal of symbolic computation Issue: Volume 80:Part 2(2017) Page Start: 387 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗