111. 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) ↗
112. 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) ↗
113. 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) ↗
114. 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) ↗
115. 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) ↗
116. 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) ↗
117. 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) ↗
118. Beyond polyhedral homotopies. (March 2019) Authors: Leykin, Anton; Yu, Josephine Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 173 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
119. Beyond polynomials and Peano arithmetic—automation of elementary and ordinal interpretations. (July 2015) Authors: Zankl, Harald; Winkler, Sarah; Middeldorp, Aart Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 129 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Binomial difference ideals. (May 2017) Authors: Gao, Xiao-Shan; Huang, Zhang; Yuan, Chun-Ming Journal: Journal of symbolic computation Issue: Volume 80:Part 3(2017) Page Start: 665 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗