Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Good bases for tame polynomials [0.03%]

Mathias Schulze Mathias Schulze

Journal of symbolic computation. 2005;39(1):103-126. DOI:10.1016/j.jsc.2004.10.001 2005

Representation theory on the open Bruhat cell [0.03%]

Jan Draisma Jan Draisma

Journal of symbolic computation. 2005;39(3-4):279-303. DOI:10.1016/j.jsc.2004.11.004 2005

Evaluation strategies for functional logic programming [0.03%]

Sergio Antoy Sergio Antoy

Journal of symbolic computation. 2005;40(1):875-903. DOI:10.1016/j.jsc.2004.12.007 2005

Tree automata for rewrite strategies [0.03%]

Pierre Réty; Julie Vuotto Pierre Réty; Julie Vuotto

Journal of symbolic computation. 2005;40(1):749-794. DOI:10.1016/j.jsc.2004.12.008 2005

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

An algorithm for constructing representations of finite groups [0.03%]

Vahid Dabbaghian-Abdoly Vahid Dabbaghian-Abdoly

Journal of symbolic computation. 2005;39(6):671-688. DOI:10.1016/j.jsc.2005.01.002 2005

The -basis and implicitization of a rational parametric surface [0.03%]

Falai Chen; David Cox; Yang Liu Falai Chen; David Cox; Yang Liu

Journal of symbolic computation. 2005;39(6):689-706. DOI:10.1016/j.jsc.2005.01.003 2005