131. Bounds for degrees of syzygies of polynomials defining a grade two ideal. (March 2023) Authors: Cortadellas Benítez, Teresa; D'Andrea, Carlos; Montoro, M. Eulàlia Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 124 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. Buchberger–Weispfenning theory for effective associative rings. (November 2017) Authors: Ceria, Michela; Mora, Teo Journal: Journal of symbolic computation Issue: Volume 83(2017) Page Start: 112 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Catalan-many tropical morphisms to trees; Part I: Constructions. (May 2021) Authors: Draisma, Jan; Vargas, Alejandro Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 580 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Catalecticant intersections and confinement of decompositions of forms. (March 2022) Authors: Angelini, Elena; Bocci, Cristiano; Chiantini, Luca Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 220 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
135. Center problem in the center manifold for quadratic differential systems in R3. (March 2016) Authors: Giné, Jaume; Valls, Claudia Journal: Journal of symbolic computation Issue: Volume 73(2016) Page Start: 250 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
136. Certification for polynomial systems via square subsystems. (March 2022) Authors: Duff, Timothy; Hein, Nickolas; Sottile, Frank Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 367 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Certified computation of planar Morse–Smale complexes. (January 2017) Authors: Chattopadhyay, Amit; Vegter, Gert; Yap, Chee K. Journal: Journal of symbolic computation Issue: Volume 78(2017) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Certified Hermite matrices from approximate roots. (July 2023) Authors: Ayyildiz Akoglu, Tulay; Szanto, Agnes Journal: Journal of symbolic computation Issue: Volume 117(2023) Page Start: 101 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Certified numerical real root isolation for bivariate nonlinear systems. (January 2023) Authors: Cheng, Jin-San; Wen, Junyi; Zhang, Bingwei Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. 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) ↗