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
2020Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices.Volker Diekert, Igor Potapov, Pavel Semukhin
2020Positive solutions of sparse polynomial systems.Alicia Dickenstein
2020On a non-archimedean broyden method.Xavier Dahan, Tristan Vaccon
2020What do sparse interpolation, pad approximation, gaussian quadrature and tensor decomposition have in common?Annie A. M. Cuyt
2020Reflections on elimination theory.David A. Cox
2020Bounds for degrees of minimalTeresa Cortadellas, Carlos D'Andrea, M. Eulalia Montoro
2020A Grbner-basis theory for divide-and-conquer recurrences.Frdric Chyzak, Philippe Dumas
2020Integral bases for p-recursive sequences.Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron
2020Compatible rewriting of noncommutative polynomials for proving operator identities.Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2020Syzygies of ideals of polynomial rings over principal ideal domains.Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis
2020Signature-based algorithms for Grbner bases over tate algebras.Xavier Caruso, Tristan Vaccon, Thibaut Verron
2020Robots, computer algebra and eight connected components.Jose Capco, Mohab Safey El Din, Josef Schicho
2020Separating variables in bivariate polynomial ideals.Manfred Buchacher, Manuel Kauers, Gleb Pogudin
2020Computing the N-th term of a q-holonomic sequence.Alin Bostan
2020A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix.Stavros Birmpilis, George Labahn, Arne Storjohann
2020The orbiter ecosystem for combinatorial data.Anton Betten
2020Ideal Interpolation, H-bases and symmetry.Erick Rodrguez Bazan, Evelyne Hubert
2020On the parallelization of triangular decompositions.Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie
2020Sub-quadratic time for riemann-roch spaces: case of smooth divisors over nodal plane projective curves.Simon Abelard, Alain Couvreur, Grgoire Lecerf
2020A second order cone characterization for sums of nonnegative circuits.Jie Wang, Victor Magron
2020Generalizing the davenport-mahler-mignotte bound.Vikram Sharma
2019An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers.Tao Zheng, Bican Xia
2019On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas.Zhenbing Zeng, Lu Yang, Lydia Dehbi
2019Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis.Juan Xu, Chee Yap
2019Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication.Virginia Vassilevska Williams
351375 of 2,194← PreviousNext →

Comparable venues

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