logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
J

Journal of Symbolic Computation

IF1.1
论文数38
被引数
期刊论文 38
发表时间
delete
Darboux theory of integrability for real polynomial vector fields on the n-dimensional ellipsoid实多项式向量场在n维椭球上的Darboux可积性理论
deleteJournal of Symbolic Computation
IF1.1
delete2026-11-01
delete0
PREAI
deleteLlibre, Jaume; Murza, Adrian Calin
delete分享
delete收藏
Certificate for orthogonal equivalence of real polynomials by polynomial-weighted principal component analysis实多项式的正交等价性证明：基于多项式加权主成分分析
deleteJournal of Symbolic Computation
IF1.1
delete2026-05-01
delete0
PREAI
deleteHelmer, Martin; Hong, David; Hong, Hoon
delete分享
delete收藏
A census of Cayley graphs凯莱图的普查
deleteJournal of Symbolic Computation
IF1.1
delete2026-04-01
delete0
PREAI
deleteEvans, Rhys J.; Potocnik, Primoz
delete分享
delete收藏
Modular algorithms for computing Gröbner bases in free algebras自由代数中计算Gröbner基的模块化算法
deleteJournal of Symbolic Computation
IF1.1
delete2026-04-01
delete0
PREAI
deleteHofstadler, Clemens; Levandovskyy, Viktor
delete分享
delete收藏
Gröbner bases over polytopal affinoid algebras多面体仿紧代数上的Gröbner基
deleteJournal of Symbolic Computation
IF1.1
delete2026-03-01
delete0
PREAI
deleteBarkatou, Moulay; Legrand, Lucas; Vaccon, Tristan
delete分享
delete收藏
Finite Gröbner bases for quantum symmetric groups有限量子对称群的有限Gröbner基
deleteJournal of Symbolic Computation
IF1.1
delete2026-02-01
delete0
deleteOAAI
deleteSchmitz, Leonard; Wack, Marcel
delete分享
delete收藏
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
delete分享
delete收藏
Secant varieties of Segre-Veronese varieties Pm x Pn embedded by O(1,2) are non-defective for n⟫m3, m ≥ 3 ☆塞格-韦罗内塞概型 Pm x Pn 由 O(1,2) 嵌入的割线概型在 n⟫m3，m ≥ 3 时是非亏的 ☆
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteDolezalek, Matej; Ken, Nikhil
delete分享
delete收藏
Sum-and-quotient characteristic decomposition of polynomial ideals多项式理想的和商特征分解
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteWang, Dongming; Wang, Linpeng
delete分享
delete收藏
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
delete分享
delete收藏
Arithmetic properties of partition functions introduced by Pushpa and VasukiPushpa和Vasuki引入的分拆函数的算术性质
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteNath, Hemjyoti; Saikia, Manjil P.
delete分享
delete收藏
Differential operators on homogeneous plane curve singularities齐次平面曲线奇点上的微分算子
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteSebag, Julien
delete分享
delete收藏
Satisfiability modulo theories for verifying MILP certificates模理论可满足性用于验证MILP证明
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteWood, Kenan; Zhou, Runtian; Wu, Haoze; Mendes, Hammurabi; Pulaj, Jonad
delete分享
delete收藏
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.
delete分享
delete收藏
Algorithms for 2-solvable difference equations2-可解差分方程的算法
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
PREAI
deleteKaedBey, Heba Bou; van Hoeij, Mark
delete分享
delete收藏
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
delete分享
delete收藏
Superspecial genus-4 double covers of elliptic curves超特殊 genus-4 双覆盖椭圆曲线
deleteJournal of Symbolic Computation
IF1.1
delete2026-01-01
delete0
deleteOAAI
deleteOgasawara, Takumi; Ohashi, Ryo; Sakata, Kosuke; Harashita, Shushi
delete分享
delete收藏
Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity计算无界光滑实代数集中的路线图 II：算法与复杂度
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
PREAI
deletePrebet, Remi; El Din, Mohab Safey; Schost, Eric
delete分享
delete收藏
Explicit desingularisation of Kummer surfaces in characteristic two via specialisation在特征二下通过特殊化方法显式解除了Kummer曲面的奇点
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
deleteOAAI
deleteGonzalez-Hernandez, Alvaro
delete分享
delete收藏
Computing the character table of a 2-local maximal subgroup of the Monster计算魔群的一个2-局部极大子群的阶数表
deleteJournal of Symbolic Computation
IF1.1
delete2025-12-01
delete0
deleteOAAI
deletePisani, Anthony
delete分享
delete收藏