This journal publishes research on symbolic computation, algebraic methods, and their applications in computer science. Topics include quantifier elimination, polynomial decomposition, abstract interpretation, Gröbner bases, and Boolean function minimization.
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Articles published
Times cited
2019
2020
2021
2022
2023
2024
2025
2026
Source: OpenAlex · Note: citations accumulate over time so older years appear higher
SJR Quartile by Discipline
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Computational MathematicsQ3
Applied MathematicsQ4
Computational Theory and MathematicsQ4
Subject Classification
Web of Science Categories
Mathematics, Applied
Scopus Categories
Applied MathematicsComputational MathematicsComputational Theory and Mathematics
Research Topics (OpenAlex)
Polynomial and algebraic computationAdvanced Numerical Analysis Techniquesgraph theory and CDMA systemsAdvanced Graph Theory ResearchCoding theory and cryptographyCommutative Algebra and Its ApplicationsFormal Methods in VerificationNumerical Methods and AlgorithmsAlgorithms and Data CompressionGraph Labeling and Dimension Problems