191. 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) ↗
192. 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) ↗
193. Bifurcation analysis and chaos control of discrete prey–predator model incorporating novel prey–refuge concept. Issue 6 (19th August 2021) Authors: Santra, Prasun K.; Mahapatra, Ghanshaym S.; Phaijoo, Ganga R. Journal: Computational and mathematical methods Issue: Volume 3:Issue 6(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
194. 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) ↗
195. 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) ↗
196. 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) ↗
197. 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) ↗
198. 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) ↗
199. 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) ↗
200. 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) ↗