411. Foreword: Special issue of JSC on the occasion of MEGA 2019. (March 2022) Authors: Bernardi, Alessandra; D'Andrea, Carlos; Theobald, Thorsten Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 199 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
412. Formal analysis of continuous-time systems using Fourier transform. (January 2019) Authors: Rashid, Adnan; Hasan, Osman Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
413. 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) ↗
414. 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) ↗
415. 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) ↗
416. 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) ↗
417. 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) ↗
418. 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) ↗
419. 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) ↗
420. 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) ↗