231. 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) ↗
232. 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) ↗
233. 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) ↗
234. 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) ↗
235. 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) ↗
236. 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) ↗
237. 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) ↗
238. CMMSE on explicit and numerical solutions for stochastic PDEs: Fisher and Burgers equations. Issue 3 (6th May 2020) Authors: Suazo, Erwin; Oraby, Tamer; Palacio, Jose Journal: Computational and mathematical methods Issue: Volume 3:Issue 3(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
239. CMMSE: Linear programming under ϵ‐contamination uncertainty. Issue 2 (29th January 2020) Authors: Shariatmadar, Keivan; De Ryck, Matthias; Driesen, Kristof; Debrouwere, Frederik; Versteyhe, Mark Journal: Computational and mathematical methods Issue: Volume 2:Issue 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
240. CMMSE‐2019: Simulation and visualization of vehicular traffic on road networks using high‐performance computing systems. Issue 3 (13th March 2020) Authors: Churbanova, Natalia; Chechina, Antonina; Trapeznikova, Marina; Ermakov, Aleksey; German, Mikhail; Sokolov, Pavel; Bozorov, Obidzhon Journal: Computational and mathematical methods Issue: Volume 2:Issue 3(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗