Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Homotopy classification of maps between simply connected four manifolds [0.03%]

Xu-an Zhao; Hongzhu Gao; Xiaole Su Xu-an Zhao; Hongzhu Gao; Xiaole Su

Journal of symbolic computation. 2005;39(6):631-642. DOI:10.1016/j.jsc.2004.12.009 2005

A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting [0.03%]

Alessandro Armando; Clemens Ballarin Alessandro Armando; Clemens Ballarin

Journal of symbolic computation. 2005;39(5):503-521. DOI:10.1016/j.jsc.2004.12.010 2005

A survey of strategies in rule-based program transformation systems [0.03%]

Eelco Visser Eelco Visser

Journal of symbolic computation. 2005;40(1):831-873. DOI:10.1016/j.jsc.2004.12.011 2005

Cyclic resultants [0.03%]

Christopher J. Hillar Christopher J. Hillar

Journal of symbolic computation. 2005;39(6):653-669. DOI:10.1016/j.jsc.2005.01.001 2005

Suslin’s algorithms for reduction of unimodular rows [0.03%]

Henri Lombardi; Ihsen Yengui Henri Lombardi; Ihsen Yengui

Journal of symbolic computation. 2005;39(6):707-717. DOI:10.1016/j.jsc.2005.01.004 2005

Decidability of bounded higher-order unification [0.03%]

Manfred Schmidt-Schauß; Klaus U. Schulz Manfred Schmidt-Schauß; Klaus U. Schulz

Journal of symbolic computation. 2005;40(2):905-954. DOI:10.1016/j.jsc.2005.01.005 2005

On the Gosper–Petkovšek representation of rational functions [0.03%]

William Y.C. Chen; Husam L. Saad William Y.C. Chen; Husam L. Saad

Journal of symbolic computation. 2005;40(2):955-963. DOI:10.1016/j.jsc.2005.01.007 2005

Computing the intersection of two ruled surfaces by using a new algebraic approach [0.03%]

Mario Fioravanti; Laureano Gonzalez-Vega; Ioana Necula Mario Fioravanti; Laureano Gonzalez-Vega; Ioana Necula

Journal of symbolic computation. 2006;41(11):1187-1205. DOI:10.1016/j.jsc.2005.02.008 2006

Markov bases of three-way tables are arbitrarily complicated [0.03%]

Jesús A. De Loera; Shmuel Onn Jesús A. De Loera; Shmuel Onn

Journal of symbolic computation. 2006;41(2):173-181. DOI:10.1016/j.jsc.2005.04.010 2006

Numerical stability of surface implicitization [0.03%]

Josef Schicho; Ibolya Szilágyi Josef Schicho; Ibolya Szilágyi

Journal of symbolic computation. 2005;40(6):1291-1301. DOI:10.1016/j.jsc.2005.05.006 2005