1451. 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) ↗
1452. 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) ↗
1453. Variation of wind speed distribution characteristics across Indian sub-continent. (2018) Authors: Kiplangat, D.C.; Drisya, G.V.; Asokan, K.; Kumar, K. Satheesh Journal: International journal of computing science and mathematics Issue: Volume 9:Number 6(2018) Page Start: 555 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1454. Variational Multiscale Methods for incompressible flows. (8th January 2008) Authors: Gravemeier, V.; Lenz, S.; Wall, W.A. Journal: International journal of computing science and mathematics Issue: Volume 1:Number 2/3/4(2007) Page Start: 444 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1455. 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) ↗
1456. VGBNet: a disease diagnosis model based on local and global information fusion. (2nd May 2023) Authors: Li, Yong; Zhao, Xinyu; Ma, Manfu; Zhang, Qiang; Jia, Hai; Wang, Xia Journal: International journal of computing science and mathematics Issue: Volume 17:Number 2(2023) Page Start: 107 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1457. 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) ↗
1458. 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) ↗
1459. Vulnerability of interaction-based supply chain network and its self-organised criticality. (2017) Authors: Xiao, Renbin; Xie, Shanshan; Chen, Tinggui Journal: International journal of computing science and mathematics Issue: Volume 8:Number 4(2017) Page Start: 324 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1460. 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) ↗