111. 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) ↗
112. 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) ↗
113. 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) ↗
114. Binomial fibers and indispensable binomials. (May 2016) Authors: Charalambous, Hara; Thoma, Apostolos; Vladoiu, Marius Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 578 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
115. Binomial fibers and indispensable binomials. (May 2016) Authors: Charalambous, Hara; Thoma, Apostolos; Vladoiu, Marius Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 578 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. Birth and death in discrete Morse theory. (January 2017) Authors: King, Henry; Knudson, Kevin; Mramor Kosta, Neža Journal: Journal of symbolic computation Issue: Volume 78(2017) Page Start: 41 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
117. Bit complexity for computing one point in each connected component of a smooth real algebraic set. (May 2023) Authors: Elliott, Jesse; Giesbrecht, Mark; Schost, Éric Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 72 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
118. Bit complexity for multi-homogeneous polynomial system solving—Application to polynomial minimization. (July 2018) Authors: Safey El Din, Mohab; Schost, Éric Journal: Journal of symbolic computation Issue: Volume 87(2018) Page Start: 176 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
119. Bivariate chromatic polynomials in computer algebra. (July 2019) Authors: Gerling, Melanie Journal: Journal of symbolic computation Issue: Volume 93(2019) Page Start: 183 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation. (January 2021) Authors: Levin, Alexander Journal: Journal of symbolic computation Issue: Volume 102(2020) Page Start: 173 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗