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
2025Polynomial solutions for general linear polynomial ordinary integro-differential systems.Thomas Cluzeau, Camille Pinto, Alban Quadrat
2025Non-minimality of minimal telescopers explained by residues.Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang, Yisen Wang
2025Certified algebraic curve projections by path tracking.Michael A. Burr, Michael Byrd, Kisun Lee
2025Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations: Jacobi Stability of Systems of Second Order ODEs.Christian G. Bhmer, Bo Huang, Dongming Wang, Xinyu Wang
2025Quasi-Linear Guessing of Minimal Lexicographic Grbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences.Jrmy Berthomieu, Romain Lebreton, Kevin Tran
2025Solving bihomogeneous polynomial systems with a zero-dimensional projection.Matas R. Bender, Laurent Bus, Carles Checa, Elias P. Tsigaridas
2025Characterization of Logarithmic Fekete Critical Configurations of at Most Six Points in All Dimensions.Diego Armentano, Leandro Bentancur, Federico Carrasco, Marcelo Fiori, Matas Valds, Mauricio Velasco
2025Tropical Frchet Means.Bo Lin, Kamillo Ferry, Carlos Amndola, Anthea Monod, Ruriko Yoshida
2025Faster search for tensor decomposition over finite fields.Jason Yang
2025Complete Reduction for Derivatives in a Primitive Tower.Hao Du, Yiman Gao, Wenqiao Li, Ziming Li
2024Initial Application of SONC to Lyapunov Stability of Dynamical Systems.Timo de Wolff, Janin Heuer
2024Decomposition of Polynomial Ideals into Triangular Regular Sequences.Dongming Wang, Linpeng Wang
2024Some Lower Bounds on the Reach of an Algebraic Variety.Chris La Valle, Josu Tonelli-Cueto
2024Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty.Daniel S. Roche
2024Connectivity in Symmetric Semi-Algebraic Sets.Cordian Riener, Robin Schabert, Thi Xuan Vu
2024Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs.Zhaoxing Qi, Chenqi Mou
2024Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices.Taihei Oki, Yujin Song
2024Computing Krylov iterates in the time of matrix multiplication.Vincent Neiger, Clment Pernet, Gilles Villard
2024New Bounds on Quotient Polynomials with Applications to Exact Division and Divisibility Testing of Sparse Polynomials.Ido Nahshon, Amir Shpilka
2024A New Sparse Polynomial GCD by Separating Terms.Michael B. Monagan, Qiao-Long Huang
2024On Minimal and Minimum Cylindrical Algebraic Decompositions.Lucas Michel, Pierre Mathonet, Nam Znadi
2024Unlabeled Sensing Using Rank-One Moment Matrix Completion.Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
2024A New Type of Dimension Polynomials of Inversive Difference Field Extensions.Alexander Levin
2024Exploring the Geometric Buchberger Algorithm in Integer Programming.Gabriel Mattos Langeloh
2024Transcendental methods in numerical algebraic geometry.Pierre Lairez
76100 of 2,194← PreviousNext →

Comparable venues

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