821. 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) ↗
822. 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) ↗
823. 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) ↗
824. 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) ↗
825. 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) ↗
826. 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) ↗
827. 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) ↗
828. 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) ↗
829. Weight ideals associated to regular and log-linear arrays. (March 2015) Authors: Johnson, Jeremiah W. Journal: Journal of symbolic computation Issue: Volume 67(2015) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
830. Weingarten calculus and the IntHaar package for integrals over compact matrix groups. (March 2021) Authors: Ginory, Alejandro; Kim, Jongwon Journal: Journal of symbolic computation Issue: Volume 103(2021) Page Start: 178 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗