Subject: Automatic programming (Computer science) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Automatic programming (Computer science)

831. 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) ↗

832. 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) ↗

833. 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) ↗

834. What is numerical algebraic geometry?. (March 2017)

Authors:: Hauenstein, Jonathan D.; Sommese, Andrew J.
Journal:: Journal of symbolic computation
Issue:: Volume 79:Part 3(2017)
Page Start:: 499
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

835. WhyMP, a formally verified arbitrary-precision integer library. (March 2023)

Authors:: Melquiond, Guillaume; Rieu-Helft, Raphaël
Journal:: Journal of symbolic computation
Issue:: Volume 115(2023)
Page Start:: 74
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

836. Zacharias representation of effective associative rings. (July 2020)

Authors:: Mora, Teo
Journal:: Journal of symbolic computation
Issue:: Volume 99(2020)
Page Start:: 147
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗