logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
J

Journal of Symbolic Computation

IF1.1
Papers37
Citations
Journal Papers 37
Publication Date
delete
A census of Cayley graphs
deleteJournal of Symbolic Computation
IF1.1
delete2026-04-01
delete0
PREAI
deleteEvans, Rhys J.; Potocnik, Primoz
deleteShare
deleteSave
Modular algorithms for computing Gröbner bases in free algebras
deleteJournal of Symbolic Computation
IF1.1
delete2026-04-01
delete0
PREAI
deleteHofstadler, Clemens; Levandovskyy, Viktor
deleteShare
deleteSave
Darboux theory of integrability for real polynomial vector fields on the n-dimensional ellipsoid
deleteJournal of Symbolic Computation
IF1.1
delete2026-04-01
delete0
PREAI
deleteLlibre, Jaume; Murza, Adrian Calin
deleteShare
deleteSave
Gröbner bases over polytopal affinoid algebras
deleteJournal of Symbolic Computation
IF1.1
delete2026-03-01
delete0
PREAI
deleteBarkatou, Moulay; Legrand, Lucas; Vaccon, Tristan
deleteShare
deleteSave
Finite Gröbner bases for quantum symmetric groups
deleteJournal of Symbolic Computation
IF1.1
delete2026-02-01
delete0
deleteOAAI
deleteSchmitz, Leonard; Wack, Marcel
deleteShare
deleteSave
Minimal generating sets of large powers of bivariate monomial ideals
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteRath, Jutta; Rissner, Roswitha
deleteShare
deleteSave
Secant varieties of Segre-Veronese varieties Pm x Pn embedded by O(1,2) are non-defective for n⟫m3, m ≥ 3 ☆
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteDolezalek, Matej; Ken, Nikhil
deleteShare
deleteSave
Sum-and-quotient characteristic decomposition of polynomial ideals
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteWang, Dongming; Wang, Linpeng
deleteShare
deleteSave
Algebraic and algorithmic methods for computing polynomial loop invariants
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteBayarmagnai, Erdenebayar; Mohammadi, Fatemeh; Prebet, Remi
deleteShare
deleteSave
Arithmetic properties of partition functions introduced by Pushpa and Vasuki
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteNath, Hemjyoti; Saikia, Manjil P.
deleteShare
deleteSave
Differential operators on homogeneous plane curve singularities
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteSebag, Julien
deleteShare
deleteSave
Satisfiability modulo theories for verifying MILP certificates
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteWood, Kenan; Zhou, Runtian; Wu, Haoze; Mendes, Hammurabi; Pulaj, Jonad
deleteShare
deleteSave
A computational approach to rational summability and its applications via discrete residues
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteArreche, Carlos E.; Sitaula, Hari P.
deleteShare
deleteSave
Algorithms for 2-solvable difference equations
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteKaedBey, Heba Bou; van Hoeij, Mark
deleteShare
deleteSave
Strongly and transitive chordal graphs and their applications in complexity analysis of triangular decomposition
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteQi, Zhaoxing; Mou, Chenqi
deleteShare
deleteSave
Superspecial genus-4 double covers of elliptic curves
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteOgasawara, Takumi; Ohashi, Ryo; Sakata, Kosuke; Harashita, Shushi
deleteShare
deleteSave
Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
PREAI
deletePrebet, Remi; El Din, Mohab Safey; Schost, Eric
deleteShare
deleteSave
Explicit desingularisation of Kummer surfaces in characteristic two via specialisation
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
deleteOAAI
deleteGonzalez-Hernandez, Alvaro
deleteShare
deleteSave
Computing the character table of a 2-local maximal subgroup of the Monster
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
deleteOAAI
deletePisani, Anthony
deleteShare
deleteSave
Supercongruences involving products of two binomial coefficients modulo p4
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
PREAI
deleteMao, Guo-Shuai
deleteShare
deleteSave