| 2018 | A New Approach for Formal Reduction of Singular Linear Differential Systems Using Eigenrings. Moulay A. Barkatou, Joelle Saadé, Jacques-Arthur Weil |
| 2018 | A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. Florent Bréhard |
| 2018 | A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations. Jérémy Berthomieu, Jean-Charles Faugère |
| 2018 | A Symplectic Kovacic's Algorithm in Dimension 4. Thierry Combot, Camilo Sanabria |
| 2018 | Additive Decompositions in Primitive Extensions. Shaoshi Chen, Hao Du, Ziming Li |
| 2018 | Algebraic Techniques in Geometry: The 10th Anniversary. Micha Sharir |
| 2018 | Algorithmic Arithmetics with DD-Finite Functions. Antonio Jiménez-Pastor, Veronika Pillwein |
| 2018 | An Approach for Certifying Homotopy Continuation Paths: Univariate Case. Juan Xu, Michael A. Burr, Chee Yap |
| 2018 | An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD. Deepak Kapur, Dong Lu, Michael B. Monagan, Yao Sun, Dingkang Wang |
| 2018 | Bilinear Systems with Two Supports: Koszul Resultant Matrices, Eigenvalues, and Eigenvectors. Matías R. Bender, Jean-Charles Faugère, Angelos Mantzaflaris, Elias P. Tsigaridas |
| 2018 | Bivariate Dimension Polynomials of Non-Reflexive Prime Difference-Differential Ideals.: The Case of One Translation. Alexander B. Levin |
| 2018 | Certification of Minimal Approximant Bases. Pascal Giorgi, Vincent Neiger |
| 2018 | Comparison of CAD-based Methods for Computation of Rational Function Limits. Adam W. Strzebonski |
| 2018 | Computing Free Distances of Idempotent Convolutional Codes. José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro |
| 2018 | Computing Nearby Non-trivial Smith Forms. Mark Giesbrecht, Joseph Haraldson, George Labahn |
| 2018 | Computing Popov and Hermite Forms of Rectangular Polynomial Matrices. Vincent Neiger, Johan Rosenkilde, Grigory Solomatov |
| 2018 | Computing an LLL-reduced Basis of the Orthogonal Latice. Jingwei Chen, Damien Stehlé, Gilles Villard |
| 2018 | Constructive Arithmetics in Ore Localizations with Enough Commutativity. Johannes Hoffmann, Viktor Levandovskyy |
| 2018 | Constructive Membership Tests in Some Infinite Matrix Groups. Alexander Hulpke |
| 2018 | Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. Moulay A. Barkatou, Maximilian Jaroschek |
| 2018 | Effective Computation of Generalized Spectral Sequences. Andrea Guidolin, Ana Romero |
| 2018 | Enumeration of Complex Golay Pairs via Programmatic SAT. Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
| 2018 | Error Correction in Fast Matrix Multiplication and Inverse. Daniel S. Roche |
| 2018 | Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. Didier Henrion, Simone Naldi, Mohab Safey El Din |
| 2018 | Extending the GVW Algorithm to Local Ring. Dong Lu, Dingkang Wang, Fanghui Xiao, Jie Zhou |
| 2018 | Fast Algorithms for Displacement and Low-Rank Structured Matrices. Shivkumar Chandrasekaran, Nithin Govindarajan, Abhejit Rajagopal |
| 2018 | Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases. Joris van der Hoeven, Robin Larrieu |
| 2018 | Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations. Changpeng Shao, Hongbo Li |
| 2018 | Frobenius Additive Fast Fourier Transform. Wen-Ding Li, Ming-Shing Chen, Po-Chun Kuo, Chen-Mou Cheng, Bo-Yin Yang |
| 2018 | GAP 4 at Twenty-one - Algorithms, System Design and Applications. Stephen A. Linton |
| 2018 | Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy |
| 2018 | Irredundant Triangular Decomposition. Gleb Pogudin, Ágnes Szántó |
| 2018 | Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals. Toru Aoyama, Masayuki Noro |
| 2018 | Monodromy Solver: Sequential and Parallel. Nathan Bliss, Timothy Duff, Anton Leykin, Jeff Sommars |
| 2018 | On Affine Tropical F5 Algorithms. Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama |
| 2018 | On Computing the Resultant of Generic Bivariate Polynomials. Gilles Villard |
| 2018 | On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal. Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa |
| 2018 | On Exact Polya and Putinar's Representations. Victor Magron, Mohab Safey El Din |
| 2018 | On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style. Chenqi Mou, Yang Bai |
| 2018 | On the Complexity of Computing Real Radicals of Polynomial Systems. Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi |
| 2018 | On the Maximal Number of Real Embeddings of Spatial Minimally Rigid Graphs. Evangelos Bartzos, Ioannis Z. Emiris, Jan Legerský, Elias P. Tsigaridas |
| 2018 | Polynomial Equivalence Problems for Sum of Affine Powers. Ignacio García-Marco, Pascal Koiran, Timothée Pecatte |
| 2018 | Polynomial Systems Arising From Discretizing Systems of Nonlinear Differential Equations. Andrew J. Sommese |
| 2018 | Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018 Manuel Kauers, Alexey Ovchinnikov, Éric Schost |
| 2018 | Real Root Finding for Equivariant Semi-algebraic Systems. Cordian Riener, Mohab Safey El Din |
| 2018 | Real Space Sextics and their Tritangents. Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin, Bernd Sturmfels |
| 2018 | Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases. Erdal Imamoglu, Erich L. Kaltofen, Zhengfeng Yang |
| 2018 | Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix. Jean-Guillaume Dumas, Clément Pernet |
| 2018 | The Importance of Being Zero. Tomás Recio, J. Rafael Sendra, Carlos Villarino |
| 2018 | Thirty Years of Virtual Substitution: Foundations, Techniques, Applications. Thomas Sturm |
| 2018 | Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case. Matías R. Bender, Jean-Charles Faugère, Elias P. Tsigaridas |
| 2018 | Volume of Alcoved Polyhedra and Mahler Conjecture. Maria J. de la Puente, Pedro L. Claveria |
| 2018 | What Can (and Can't) we Do with Sparse Polynomials? Daniel S. Roche |
| 2018 | ZpL: a p-adic Precision Package. Xavier Caruso, David Roe, Tristan Vaccon |