首页 文献索引 SCI期刊 AI助手
期刊目录筛选

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

文章目录 更多期刊信息

共收录本刊相关文章索引2143条
Clinical Trial Case Reports Meta-Analysis RCT Review Systematic Review
Classical Article Case Reports Clinical Study Clinical Trial Clinical Trial Protocol Comment Comparative Study Editorial Guideline Letter Meta-Analysis Multicenter Study Observational Study Randomized Controlled Trial Review Systematic Review
On the Role of OpenMath in Interactive Mathematical Documents [0.03%]
O. Caprotti; A.M. Cohen O. Caprotti; A.M. Cohen
Journal of symbolic computation. 2001;32(4):351-364. DOI:10.1006/jsco.2000.0466 2001
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems [0.03%]
Michael Kohlhase; Andreas Franke Michael Kohlhase; Andreas Franke
Journal of symbolic computation. 2001;32(4):365-402. DOI:10.1006/jsco.2000.0468 2001
A General Framework to Build Contextual Cover Set Induction Provers [0.03%]
Sorin Stratulat Sorin Stratulat
Journal of symbolic computation. 2001;32(4):403-445. DOI:10.1006/jsco.2000.0469 2001
Syntactical Methods for Braids of Three Strands [0.03%]
Serge Burckel Serge Burckel
Journal of symbolic computation. 2001;31(5):557-564. DOI:10.1006/jsco.2000.0473 2001
Fast Evaluation of Holonomic Functions Near and in Regular Singularities [0.03%]
Joris van der Hoeven Joris van der Hoeven
Journal of symbolic computation. 2001;31(6):717-743. DOI:10.1006/jsco.2000.0474 2001
Normal Forms for Representations of Representation-finite Algebras [0.03%]
Peter Dräxler Peter Dräxler
Journal of symbolic computation. 2001;32(5):491-497. DOI:10.1006/jsco.2000.0480 2001
Predicting Zero Coefficients in Formal Power Series Computations [0.03%]
K. Kalorkoti K. Kalorkoti
Journal of symbolic computation. 2002;33(3):307-320. DOI:10.1006/jsco.2000.0495 2002
FFT-like Multiplication of Linear Differential Operators [0.03%]
Joris Van Der Hoeven Joris Van Der Hoeven
Journal of symbolic computation. 2002;33(1):123-127. DOI:10.1006/jsco.2000.0496 2002
Computing Subgroups by Exhibition in Finite Solvable Groups [0.03%]
Bettina Eick; Charles R.B Wright Bettina Eick; Charles R.B Wright
Journal of symbolic computation. 2002;33(2):129-143. DOI:10.1006/jsco.2000.0503 2002
Irreducible Decomposition of Curves [0.03%]
André Galligo; David Rupprecht André Galligo; David Rupprecht
Journal of symbolic computation. 2002;33(5):661-677. DOI:10.1006/jsco.2000.0528 2002