Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

共收录本刊相关文章索引2143条

The Cartan matrix and enumerative calculus [0.03%]

Haibao Duan; Xu-an Zhao; Xuezhi Zhao Haibao Duan; Xu-an Zhao; Xuezhi Zhao

Journal of symbolic computation. 2004;38(3):1119-1144. DOI:10.1016/j.jsc.2004.03.005 2004

Editorial [0.03%]

Arjeh M Cohen; Xiao-Shan Gao; Nobuki Takayama Arjeh M Cohen; Xiao-Shan Gao; Nobuki Takayama

Journal of symbolic computation. 2004;38(4):1167-1168. DOI:10.1016/j.jsc.2004.03.007 2004

Certified sparse linear system solving [0.03%]

Thom Mulders Thom Mulders

Journal of symbolic computation. 2004;38(5):1343-1373. DOI:10.1016/j.jsc.2004.03.008 2004

On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals [0.03%]

Werner Heiß; Ulrich Oberst; Franz Pauer Werner Heiß; Ulrich Oberst; Franz Pauer

Journal of symbolic computation. 2006;41(3-4):261-284. DOI:10.1016/j.jsc.2004.03.009 2006

Castelnuovo–Mumford regularity of initial ideals [0.03%]

Lê Tuân Hoa; Eero Hyry Lê Tuân Hoa; Eero Hyry

Journal of symbolic computation. 2004;38(5):1327-1341. DOI:10.1016/j.jsc.2004.04.001 2004

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols [0.03%]

Marco Bozzano; Giorgio Delzanno Marco Bozzano; Giorgio Delzanno

Journal of symbolic computation. 2004;38(5):1375-1415. DOI:10.1016/j.jsc.2004.04.002 2004

Computation of Milnor numbers and critical values at infinity [0.03%]

Arnaud Bodin Arnaud Bodin

Journal of symbolic computation. 2004;38(5):1417-1427. DOI:10.1016/j.jsc.2004.04.003 2004

Detecting unnecessary reductions in an involutive basis computation [0.03%]

Joachim Apel; Ralf Hemmecke Joachim Apel; Ralf Hemmecke

Journal of symbolic computation. 2005;40(4-5):1131-1149. DOI:10.1016/j.jsc.2004.04.004 2005

Implicitizing rational hypersurfaces using approximation complexes [0.03%]

Laurent Busé; Marc Chardin Laurent Busé; Marc Chardin

Journal of symbolic computation. 2005;40(4-5):1150-1168. DOI:10.1016/j.jsc.2004.04.005 2005

Some constructions for real algebraic curves [0.03%]

E. Fortuna; P. Gianni; P. Parenti E. Fortuna; P. Gianni; P. Parenti

Journal of symbolic computation. 2005;40(4-5):1169-1179. DOI:10.1016/j.jsc.2004.04.006 2005