541. Formal reduction of singular linear differential systems using eigenrings: A refined approach. (January 2021) Authors: Barkatou, Moulay A.; Saade, Joelle; Weil, Jacques-Arthur Journal: Journal of symbolic computation Issue: Volume 102(2020) Page Start: 231 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
542. Formal solutions of completely integrable Pfaffian systems with normal crossings. (July 2017) Authors: Barkatou, Moulay A.; Jaroschek, Maximilian; Maddah, Suzy S. Journal: Journal of symbolic computation Issue: Volume 81(2017) Page Start: 41 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
543. Formal solutions of singularly-perturbed linear differential systems. (September 2019) Authors: Barkatou, Moulay A.; Maddah, Suzy S. Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 183 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
544. Formalization of the arithmetization of Euclidean plane geometry and applications. (January 2019) Authors: Boutry, Pierre; Braun, Gabriel; Narboux, Julien Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 149 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
545. Formalizing polygonal knot origami. (July 2015) Authors: Ida, Tetsuo; Ghourabi, Fadoua; Takahashi, Kazuko Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 93 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
546. From approximate factorization to root isolation with application to cylindrical algebraic decomposition. (January 2015) Authors: Mehlhorn, Kurt; Sagraloff, Michael; Wang, Pengming Journal: Journal of symbolic computation Issue: Volume 66(2015) Page Start: 34 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
547. From simplification to a partial theory solver for non-linear real polynomial constraints. (September 2020) Authors: Brown, Christopher W.; Vale-Enriquez, Fernando Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 72 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
548. Fully incremental cylindrical algebraic decomposition. (September 2020) Authors: Kremer, Gereon; Ábrahám, Erika Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 11 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
549. Functors of liftings of projective schemes. (September 2019) Authors: Bertone, Cristina; Cioffi, Francesca; Franco, Davide Journal: Journal of symbolic computation Issue: Volume 94(2019) Page Start: 105 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
550. Galois groups over rational function fields and Explicit Hilbert Irreducibility. (March 2021) Authors: Krumm, David; Sutherland, Nicole Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 108 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗