821. 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) ↗
822. 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) ↗
823. Using extended Derksen ideals in computational invariant theory. (January 2016) Authors: Kemper, Gregor Journal: Journal of symbolic computation Issue: Volume 72(2016) Page Start: 161 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
824. Using jointly geometry and algebra to determine RC-constructibility. (January 2019) Authors: Schreck, Pascal; Mathis, Pascal Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 124 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
825. Validity proof of Lazard's method for CAD construction. (May 2019) Authors: McCallum, Scott; Parusiński, Adam; Paunescu, Laurentiu Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 52 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
826. Variadic equational matching in associative and commutative theories. (September 2021) Authors: Dundua, Besik; Kutsia, Temur; Marin, Mircea Journal: Journal of symbolic computation Issue: Volume 106(2021) Page Start: 78 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
827. Verification protocols with sub-linear communication for polynomial matrix operations. (July 2021) Authors: Lucas, David; Neiger, Vincent; Pernet, Clément; Roche, Daniel S.; Rosenkilde, Johan Journal: Journal of symbolic computation Issue: Volume 105(2021) Page Start: 165 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
828. Virtual links with finite medial bikei. (May 2019) Authors: Chien, Julien; Nelson, Sam Journal: Journal of symbolic computation Issue: Volume 92(2019) Page Start: 211 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
829. Voronoi cells of varieties. (March 2022) Authors: Cifuentes, Diego; Ranestad, Kristian; Sturmfels, Bernd; Weinstein, Madeleine Journal: Journal of symbolic computation Issue: Volume 109(2022) Page Start: 351 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
830. Waring decompositions and identifiability via Bertini and Macaulay2 software. (March 2019) Authors: Angelini, Elena Journal: Journal of symbolic computation Issue: Volume 91(2019) Page Start: 200 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗