Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

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

Computational algebra for bifurcation theory [0.03%]

Karin Gatermann; Serkan Hosten Karin Gatermann; Serkan Hosten

Journal of symbolic computation. 2005;40(4-5):1180-1207. DOI:10.1016/j.jsc.2004.04.007 2005

Simplification techniques for maps in simplicial topology [0.03%]

Rocio Gonzalez-Diaz; Pedro Real Rocio Gonzalez-Diaz; Pedro Real

Journal of symbolic computation. 2005;40(4-5):1208-1224. DOI:10.1016/j.jsc.2004.04.008 2005

Enumeration and 3D representation of the stereo-isomers of alkane molecules [0.03%]

Nik Lygeros; Paul-Valère Marchand; Marc Massot Nik Lygeros; Paul-Valère Marchand; Marc Massot

Journal of symbolic computation. 2005;40(4-5):1225-1241. DOI:10.1016/j.jsc.2004.04.009 2005

Sturm’s algorithm and isolating blocks [0.03%]

Richard Moeckel Richard Moeckel

Journal of symbolic computation. 2005;40(4-5):1242-1255. DOI:10.1016/j.jsc.2004.04.010 2005

Gröbner bases and logarithmic -modules [0.03%]

F.J. Castro-Jiménez; J.M. Ucha-Enríquez F.J. Castro-Jiménez; J.M. Ucha-Enríquez

Journal of symbolic computation. 2006;41(3-4):317-335. DOI:10.1016/j.jsc.2004.04.011 2006