851. Tropicalization, symmetric polynomials, and complexity. (July 2020) Authors: Woo, Alexander; Yong, Alexander Journal: Journal of symbolic computation Issue: Volume 99(2020) Page Start: 242 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
852. Truncated normal forms for solving polynomial systems: Generalized and efficient algorithms. (January 2021) Authors: Mourrain, Bernard; Telen, Simon; Van Barel, Marc Journal: Journal of symbolic computation Issue: Volume 102(2020) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
853. Truth table invariant cylindrical algebraic decomposition. (September 2016) Authors: Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
854. Truth table invariant cylindrical algebraic decomposition. (September 2016) Authors: Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David Journal: Journal of symbolic computation Issue: Volume 76(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
855. Two algorithms for computing the general component of jet scheme and applications. (November 2022) Authors: Morán Cañón, Mario; Sebag, Julien Journal: Journal of symbolic computation Issue: Volume 113(2022) Page Start: 74 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
856. Types of signature analysis in reliability based on Hilbert series. (March 2017) Authors: Mohammadi, Fatemeh; Sáenz-de-Cabezón, Eduardo; Wynn, Henry P. Journal: Journal of symbolic computation Issue: Volume 79(2017)Part 1 Page Start: 140 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
857. Undocumented secrets of MATLAB-Java programming. (©2012) Other Names: Altman, Yair M Record Type: Book Extent: 1 online resource (xxi, 640 pages, [16] pages of plates), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
858. Unexpected hypersurfaces with multiple fat points. (March 2022) Authors: Szpond, Justyna Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 510 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
859. Unirational differential curves and differential rational parametrizations. (May 2021) Authors: Fu, Lei; Li, Wei Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 539 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
860. Univariate real root isolation in an extension field and applications. (May 2019) Authors: Strzebonski, Adam; Tsigaridas, Elias Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 31 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗