Full papers

Details on the ISSAC 2018 Paper Review Process were published here. Following this process the program committee has accepted the papers below.

List of Accepted Papers

  1. Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin and Bernd Sturmfels. Real Space Sextics and their Tritangents.
  2. Changpeng Shao and Hongbo Li. Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations.
  3. Dong Lu, Dingkang Wang, Fanghui Xiao and Jie Zhou. Extending the GVW Algorithm to Local Ring.
  4. Deepak Kapur, Dong Lu, Michael Monagan, Yao Sun and Dingkang Wang. An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD.
  5. Tomás Recio, J. Rafael Sendra and Carlos Villarino. The Importance of Being Zero.
  6. Adam Strzeboński. Comparison of CAD-based Methods for Computation of Rational Function Limits.
  7. Alexander Hulpke. Constructive Membership Tests in Some Infinite Matrix Groups.
  8. Andrea Guidolin and Ana Romero. Effective Computation of Generalized Spectral Sequences.
  9. José Gómez Torrecillas, F. J. Lobillo and Gabriel Navarro. Computing Free Distances of Idempotent Convolutional Codes.
  10. Victor Magron and Mohab Safey El Din. On Exact Polya and Putinar's Representations.
  11. Shaoshi Chen, Hao Du and Ziming Li. Additive Decompositions in Primitive Extensions.
  12. Vincent Neiger, Johan Rosenkilde and Grigory Solomatov. Computing Popov and Hermite Forms of Rectangular Polynomial Matrices.
  13. Moulay Barkatou and Maximilian Jaroschek. Desingularization of First Order Linear Difference Systems with Rational Function Coefficients.
  14. Maria Jesus De La Puente and Pedro Luis Claveria. Volume of Alcoved Polyhedra and Mahler Conjecture.
  15. Pascal Giorgi and Vincent Neiger. Certification of Minimal Approximant Bases.
  16. Alin Bostan, Frédéric Chyzak, Pierre Lairez and Bruno Salvy. Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions.
  17. Timothée Pecatte, Ignacio Garcia Marco and Pascal Koiran. Polynomial Equivalence Problems for Sums of Affine Powers.
  18. Evangelos Bartzos, Ioannis Emiris, Jan Legerský and Elias Tsigaridas. On the Maximal Number of Real Embeddings for Spatial Minimally Rigid Graphs.
  19. Xavier Caruso, David Roe and Tristan Vaccon. ZpL: a p-adic Precision Package.
  20. Gleb Pogudin and Agnes Szanto. Irredundant Triangular Decomposition.
  21. Chenqi Mou and Yang Bai. On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style.
  22. Wen-Ding Li, Ming-Shing Chen, Po-Chun Kuo, Chen-Mou Cheng and Bo-Yin Yang. Frobenius Additive Fast Fourier Transform.
  23. Erdal Imamoglu, Erich Kaltofen and Zhengfeng Yang. Sparse Polynomial Interpolation With Arbitrary Orthogonal Polynomial Bases.
  24. Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems.
  25. Daniel Roche. Error Correction in Fast Matrix Multiplication and Inverse.
  26. Mohab Safey El Din, Zhi-Hong Yang and Lihong Zhi. On the Complexity of Computing Real Radicals of Polynomial Systems.
  27. Joris van der Hoeven and Robin Larrieu. Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases.
  28. Yosuke Sato, Ryoya Fukasaku and Hiroshi Sekigawa. On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal.
  29. Thierry Combot and Camilo Sanabria. A Symplectic Kovacic's Algorithm in Dimension 4.
  30. Curtis Bright, Ilias Kotsireas, Albert Heinle and Vijay Ganesh. Enumeration of Complex Golay Pairs via Programmatic SAT.
  31. Nathan Bliss, Timothy Duff, Anton Leykin and Jeff Sommars. Monodromy Solver: Sequential and Parallel.
  32. Alexander Levin. Bivariate Dimension Polynomials of Non-reflexive Prime Difference-differential Ideals. The Case of One Translation.
  33. Antonio Jimenez-Pastor and Veronika Pillwein. Algorithmic Arithmetics with DD-Finite Functions.
  34. Juan Xu, Michael Burr and Chee Yap. An Approach for Certifying Homotopy Continuation Paths: Univariate Case.
  35. Matías R. Bender, Jean-Charles Faugère, Angelos Mantzaflaris and Elias Tsigaridas. Bilinear Systems with Two Supports: Koszul Resultant Matrices, Eigenvalues, and Eigenvectors.
  36. Tristan Vaccon, Thibaut Verron and Kazuhiro Yokoyama. On Affine Tropical F5 Algorithms.
  37. Jingwei Chen, Damien Stehle and Gilles Villard. Computing LLL-Reduced Basis for Orthogonal Lattice.
  38. Toru Aoyama and Masayuki Noro. Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals.
  39. Moulay Barkatou, Joelle Saade and Jacques-Arthur Weil. A New Approach for Formal Reduction of Singular Linear Differential Systems using Eigenrings.
  40. Jérémy Berthomieu and Jean-Charles Faugère. A Polynomial-Division-based Algorithm for Computing Linear Recurrence Relations.
  41. Matías R. Bender, Jean-Charles Faugère and Elias Tsigaridas. Towards Mixed Gröbner Basis Algorithms: the Multihomogeneous and Sparse Case.
  42. Jean-Guillaume Dumas and Clément Pernet. Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix.
  43. Gilles Villard. On Computing the Resultant of Generic Bivariate Polynomials.
  44. Johannes Hoffmann and Viktor Levandovskyy. Constructive Arithmetics in Ore Localizations with Enough Commutativity.
  45. Didier Henrion, Simone Naldi and Mohab Safey El Din. Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set.
  46. Cordian Riener and Mohab Safey El Din. Real Root Finding for Equivariant Semi-Algebraic Systems.
  47. Mark Giesbrecht, Joseph Haraldson and George Labahn. Computing Nearby Non-trivial Smith Forms.