Skip to content

International Symposium on Symbolic and Algebraic Computation

ISSAC

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation

Papers indexed

2,194

1976–2026

Papers per year

1976102 peak2026

ISSAC papers

2,194 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2019A New Sparse SOS Decomposition Algorithm Based on Term Sparsity.Jie Wang, Haokun Li, Bican Xia
2019A New Method for Computing Elimination Ideals of Likelihood Equations.Xiaoxian Tang, Timo de Wolff, Rukai Zhao
2019Linear Algebra, Old and New.Lorenzo Robbiano
2019A Faster Solution to Smale's 17th Problem I: Real Binomial Systems.Grigoris Paouris, Kaitlyn Phillipson, J. Maurice Rojas
2019Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation.Taihei Oki
2019Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module.Yossef Musleh, ric Schost
2019Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost.Michael B. Monagan
2019Introduction of the MapDE Algorithm for Determination of Mappings Relating Differential Equations.Zahra Mohammadi, Gregory J. Reid, Tracy Shih-lung Huang
2019Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials.Victor Magron, Henning Seidler, Timo de Wolff
2019Computing Hermite Normal Form Faster via Solving System of Linear Equations.Renzhang Liu, Yanbin Pan
2019Computing a Lattice Basis Revisited.Jianwei Li, Phong Q. Nguyen
2019Computing the Volume of Compact Semi-Algebraic Sets.Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
2019New Dependencies of Hierarchies in Polynomial Optimization.Adam Kurpisz, Timo de Wolff
2019Krawtchouk Polynomials and Quadratic Semi-Regular Sequences.Stavros Kousidis
2019Implementations of Efficient Univariate Polynomial Matrix Algorithms and Application to Bivariate Resultants.Seung Gyu Hyun, Vincent Neiger, ric Schost
2019Change of Basis for m-primary Ideals in One and Two Variables.Seung Gyu Hyun, Stephen Melczer, ric Schost, Catherine St-Pierre
2019An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited.Bo Huang, Chee Yap
2019Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
2019Sparse Polynomial Interpolation over Fields with Large or Zero Characteristic.Qiao-Long Huang
2019Computing Multipersistence by Means of Spectral Systems.Andrea Guidolin, Jose Divasn, Ana Romero, Francesco Vaccarino
2019Generic Reductions for In-place Polynomial Multiplication.Pascal Giorgi, Bruno Grenet, Daniel S. Roche
2019Quadratic-Time Algorithms for Normal Elements.Mark Giesbrecht, Armin Jamshidpey, ric Schost
2019Efficient Integer-Linear Decomposition of Multivariate Polynomials.Mark Giesbrecht, Hui Huang, George Labahn, Eugene V. Zima
2019Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems.Vladimir P. Gerdt, Daniel Robertz
2019An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture.Elisabeth Gaar, Angelika Wiegele, Daniel Krenn, Susan Margulies
376400 of 2,194← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.