Latest Published Articles:
Symbolic Computation
#SymbolicComputation


🗒 A fast algorithm for solving linearly recurrent sequences
👥 Seung Gyu Hyun, Stephen Melczer, Catherine St-Pierre
📗 PDF


🗒 Efficient Differentiable Programming in a Functional Array-Processing Language
👥 Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
📗 PDF


🗒 In-depth comparison of the Berlekamp--Massey--Sakata and the Scalar-FGLM algorithms: the adaptive variants
👥 Jérémy Berthomieu, Jean-Charles Faugère
📗 PDF


🗒 Monodromy Solver: Sequential and Parallel
👥 Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars
📗 PDF


🗒 Tritangents and Their Space Sextics
👥 Turku Ozlum Celik, Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin
📗 PDF


🗒 Towards Incremental Cylindrical Algebraic Decomposition in Maple
👥 Alexander Imani Cowen-Rivers, Matthew England
📗 PDF


🗒 A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
👥 Manuel Kauers, Doron Zeilberger
📗 PDF


🗒 On Affine Tropical F5 Algorithms
👥 Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
📗 PDF


🗒 Enumeration of Complex Golay Pairs via Programmatic SAT
👥 Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh
📗 PDF


🗒 Bilinear systems with two supports: Koszul resultant matrices, eigenvalues, and eigenvectors
👥 Matías Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias Tsigaridas
📗 PDF


🗒 Computing curves on real rational surfaces
👥 Niels Lubbes
📗 PDF


🗒 Towards Mixed Gr{ö}bner Basis Algorithms: the Multihomogeneous and Sparse Case
👥 Matías Bender, Jean-Charles Faugère, Elias Tsigaridas
📗 PDF


🗒 Computing basepoints of linear series in the plane
👥 Niels Lubbes
📗 PDF


🗒 Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
👥 Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
📗 PDF


🗒 Computing an LLL-reduced basis of the orthogonal lattice
👥 Jingwei Chen, Damien Stehlé, Gilles Villard
📗 PDF


#SymbolicComputation
AI Python & arXiv Channel