861. 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) ↗
862. 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) ↗
863. 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) ↗
864. 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) ↗
865. 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) ↗
866. 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) ↗
867. Visual media processing using MATLAB beginner's guide : learn a range of techniques from enhancing and adding artistic effects to your photographs, to editing and processing your videos, all using MATLAB /: learn a range of techniques from enhancing and adding artistic effects to your photographs, to editing and processing your videos, all using MATLAB. (2013) Other Names: Siogkas, George Record Type: Book Extent: 1 online resource (326 pages), illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
868. 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) ↗
869. 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) ↗
870. Wasserstein distance to independence models. (May 2021) Authors: Çelik, Türkü Özlüm; Jamneshan, Asgar; Montúfar, Guido; Sturmfels, Bernd; Venturello, Lorenzo Journal: Journal of symbolic computation Issue: Volume 104(2021) Page Start: 855 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗