141. Certified predictor–corrector tracking for Newton homotopies. (May 2016) Authors: Hauenstein, Jonathan D.; Liddell, Alan C. Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 239 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Certifying solutions to overdetermined and singular polynomial systems over Q. (January 2018) Authors: Ayyildiz Akoglu, Tulay; Hauenstein, Jonathan D.; Szanto, Agnes Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 147 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Certifying solutions to square systems of polynomial-exponential equations. (March 2017) Authors: Hauenstein, Jonathan D.; Levandovskyy, Viktor Journal: Journal of symbolic computation Issue: Volume 79:Part 3(2017) Page Start: 575 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Characterizing positively invariant sets: Inductive and topological methods. (November 2022) Authors: Ghorbal, Khalil; Sogokon, Andrew Journal: Journal of symbolic computation Issue: Volume 113(2022) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. (May 2023) Authors: Li, Haokun; Xia, Bican; Zhang, Huiying; Zheng, Tao Journal: Journal of symbolic computation Issue: Volume 116(2023) Page Start: 324 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Chordal graphs in triangular decomposition in top-down style. (January 2021) Authors: Mou, Chenqi; Bai, Yang; Lai, Jiahua Journal: Journal of symbolic computation Issue: Volume 102(2020) Page Start: 108 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. CIO and ring graphs: Deficiency and testing. (March 2017) Authors: Gitler, Isidoro; Reyes, Enrique; Vega, Juan A. Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 2 Page Start: 249 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Cohomology with local coefficients and knotted manifolds. (November 2021) Authors: Ellis, Graham; Killeen, Kelvin Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 299 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Coisotropic hypersurfaces in Grassmannians. (March 2021) Authors: Kohn, Kathlén Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 157 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Combinatorial algorithm for the computation of cyclically standard regular bracket monomials. (March 2021) Authors: Nishida, Yuki; Watanabe, Sennosuke; Watanabe, Yoshihide Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 46 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗