801. The tropical analogue of the Helton–Nie conjecture is true. (March 2019) Authors: Allamigeon, Xavier; Gaubert, Stéphane; Skomra, Mateusz Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 129 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
802. The use of permutation representations in structural computations in large finite matrix groups. (November 2019) Authors: Cannon, John J.; Holt, Derek F.; Unger, William R. Journal: Journal of symbolic computation Issue: Volume 95(2019) Page Start: 26 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
803. Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations. (November 2016) Authors: Nakpim, Warisa Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
804. Third-order ordinary differential equations equivalent to linear second-order ordinary differential equations via tangent transformations. (November 2016) Authors: Nakpim, Warisa Journal: Journal of symbolic computation Issue: Volume 77(2016) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
805. Time and space efficient generators for quasiseparable matrices. (March 2018) Authors: Pernet, Clément; Storjohann, Arne Journal: Journal of symbolic computation Issue: Volume 85(2018) Page Start: 224 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
806. Topological types of actions on curves. (September 2023) Authors: Conti, Diego; Ghigi, Alessandro; Pignatelli, Roberto Journal: Journal of symbolic computation Issue: Volume 118(2023) Page Start: 17 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
807. Toward the best algorithm for approximate GCD of univariate polynomials. (July 2021) Authors: Nagasaka, Kosaku Journal: Journal of symbolic computation Issue: Volume 105(2021) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
808. Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares. (November 2021) Authors: Gaar, Elisabeth; Krenn, Daniel; Margulies, Susan; Wiegele, Angelika Journal: Journal of symbolic computation Issue: Volume 107(2021) Page Start: 67 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
809. Towards cluster duality for Lagrangian and orthogonal Grassmannians. (January 2023) Authors: Wang, Charles Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 102 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
810. Towards semantic mathematical editing. (November 2015) Authors: van der Hoeven, Joris Journal: Journal of symbolic computation Issue: Volume 71(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗