671. Matrix-F5 algorithms and tropical Gröbner bases computation. (November 2018) Authors: Vaccon, Tristan Journal: Journal of symbolic computation Issue: Volume 89(2018) Page Start: 227 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
672. Matrix-F5 algorithms over finite-precision complete discrete valuation fields. (May 2017) Authors: Vaccon, Tristan Journal: Journal of symbolic computation Issue: Volume 80:Part 2(2017) Page Start: 329 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
673. Maximally positive polynomial systems supported on circuits. (May 2015) Authors: Bihan, Frédéric Journal: Journal of symbolic computation Issue: Volume 68:Part 2(2015) Page Start: 61 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. 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) ↗
675. 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) ↗
676. 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) ↗
677. 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) ↗
678. 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) ↗
679. 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) ↗
680. 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) ↗