481. 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) ↗
482. 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) ↗
483. 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) ↗
484. 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) ↗
485. 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) ↗
486. 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) ↗
487. 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) ↗
488. 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) ↗
489. 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) ↗
490. Microsoft SharePoint for business executives : Q & A handbook /: Q & A handbook. (©2012) Other Names: Ward, Peter Record Type: Book Extent: 1 online resource (215 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗