511. Measuring the local non-convexity of real algebraic curves. (March 2022) Authors: Sorea, Miruna-Ştefana Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 482 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
512. Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. (January 2019) Authors: Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
513. Mechanically certifying formula-based Noetherian induction reasoning. (May 2017) Authors: Stratulat, Sorin Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 209 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
514. Memories on Vladimir Gerdt. (March 2022) Authors: Mayr, Ernst W.; Seiler, Werner M.; Vorozhtsov, Evgenii V. Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 50 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
515. Metric problems for quadrics in multidimensional space. (May 2015) Authors: Uteshev, Alexei Yu.; Yashina, Marina V. Journal: Journal of symbolic computation Issue: Volume 68:Part 1(2015) Page Start: 287 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
516. MICC: A tool for computing short distances in the curve complex. (January 2017) Authors: Glenn, Paul; Menasco, William W.; Morrell, Kayla; Morse, Matthew J. Journal: Journal of symbolic computation Issue: Volume 78(2017) Page Start: 115 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
517. Mixed cell computation in Hom4PS-3. (March 2017) Authors: Chen, Tianran; Lee, Tsung-Lin; Li, Tien-Yien Journal: Journal of symbolic computation Issue: Volume 79:Part 3(2017) Page Start: 516 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
518. Moh's example of algebroid space curves. (May 2021) Authors: Mehta, Ranjana; Saha, Joydip; Sengupta, Indranath Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 168 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
519. Monomial right ideals and the Hilbert series of noncommutative modules. (May 2017) Authors: La Scala, Roberto Journal: Journal of symbolic computation Issue: Volume 80:Part 2(2017) Page Start: 403 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
520. Motion planning and control of a planar polygonal linkage. (September 2018) Authors: Panina, Gaiane; Siersma, Dirk Journal: Journal of symbolic computation Issue: Volume 88(2018) Page Start: 5 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗