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
2015De Nugis Groebnerialium 4: Zacharias, Spears, Mller.Ferdinando Mora
2015Nonnegative Matrix Factorization: Algorithms, Complexity and Applications.Ankur Moitra
2015Formulas for Continued Fractions: An Automated Guess and Prove Approach.Sbastien Maulat, Bruno Salvy
2015Implementation of the DKSS Algorithm for Multiplication of Large Numbers.Christoph Lders
2015Graph-Coloring Ideals: Nullstellensatz Certificates, Grbner Bases for Chordal Graphs, and Hardness of Grbner Bases.Jess A. De Loera, Susan Margulies, Michael Pernpeintner, Eric Riedl, David Rolnick, Gwen Spencer, Despina Stasi, Jon Swenson
2015On the Sign of a Trigonometric Expression.Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran
2015Integral D-Finite Functions.Manuel Kauers, Christoph Koutschan
2015An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Grbner Basis and the Associated Completion Algorithm.Deepak Kapur, Yiming Yang
2015Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions.Erdal Imamoglu, Mark van Hoeij
2015Constructing All Composition Series of a Finite Group.Alexander Hulpke
2015Real Root Finding for Rank Defects in Linear Hankel Matrices.Didier Henrion, Simone Naldi, Mohab Safey El Din
2015Certifying Isolated Singular Points and their Multiplicity Structure.Jonathan D. Hauenstein, Bernard Mourrain, gnes Sznt
2015Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety.Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi
2015Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms.Bruno Grenet, Joris van der Hoeven, Grgoire Lecerf
2015Separable Automorphisms on Matrix Algebras over Finite Field Extensions: Applications to Ideal Codes.Jos Gmez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro
2015Computation of Dimension in Filtered Free Modules by Grbner Reduction.Christoph Frst, Gnter Landsmann
2015Real Quantifier Elimination by Computation of Comprehensive Grbner Systems.Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato
2015Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.Matthew England, Russell J. Bradford, James H. Davenport
2015Minkowski Decomposition and Geometric Predicates in Sparse Implicitization.Ioannis Z. Emiris, Christos Konaxis, Zafeirakis Zafeirakopoulos
2015Computing the Rank Profile Matrix.Jean-Guillaume Dumas, Clment Pernet, Ziad Sultan
2015Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem.Volker Diekert, Alexei G. Myasnikov, Armin Wei
2015Computer Algebra Applied to a Solitary Waves Study.Didier Clamond, Denys Dutykh, Andr Galligo
2015A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
2015On -adic Expansions of Algebraic Integers.Hsing-Hau Chen, Ming-Deh A. Huang
2015p-Adic Stability In Linear Algebra.Xavier Caruso, David Roe, Tristan Vaccon
626650 of 2,194← PreviousNext →

Comparable venues

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