Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Computing the multiplicity structure of an isolated singular solution: Case of breadth one [0.03%]

Nan Li; Lihong Zhi Nan Li; Lihong Zhi

Journal of symbolic computation. 2012;47(6):700-710. DOI:10.1016/j.jsc.2011.12.027 2012

Transforming linear functional systems into fully integrable systems [0.03%]

Ziming Li; Min Wu Ziming Li; Min Wu

Journal of symbolic computation. 2012;47(6):711-732. DOI:10.1016/j.jsc.2011.12.028 2012

Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces [0.03%]

Xuhui Wang; Falai Chen Xuhui Wang; Falai Chen

Journal of symbolic computation. 2012;47(6):733-750. DOI:10.1016/j.jsc.2011.12.029 2012

First-order theorem proving: Foreword [0.03%]

Nicolas Peltier; Viorica Sofronie-Stokkermans Nicolas Peltier; Viorica Sofronie-Stokkermans

Journal of symbolic computation. 2012;47(9):0-0. DOI:10.1016/j.jsc.2011.12.030 2012

Model Evolution with equality — Revised and implemented [0.03%]

Peter Baumgartner; Björn Pelzer; Cesare Tinelli Peter Baumgartner; Björn Pelzer; Cesare Tinelli

Journal of symbolic computation. 2012;47(9):0-0. DOI:10.1016/j.jsc.2011.12.031 2012

Incremental variable splitting [0.03%]

Christian Mahesh Hansen; Roger Antonsen; Martin Giese; Arild Waaler Christian Mahesh Hansen; Roger Antonsen; Martin Giese; Arild Waaler

Journal of symbolic computation. 2012;47(9):0-0. DOI:10.1016/j.jsc.2011.12.032 2012

On the verification of security-aware E-services [0.03%]

Silvio Ranise Silvio Ranise

Journal of symbolic computation. 2012;47(9):0-0. DOI:10.1016/j.jsc.2011.12.033 2012

Projection and scope-determined circumscription [0.03%]

Christoph Wernhard Christoph Wernhard

Journal of symbolic computation. 2012;47(9):0-0. DOI:10.1016/j.jsc.2011.12.034 2012

, , and Non-Permutability of -Steps [0.03%]

Claus-Peter Wirth Claus-Peter Wirth

Journal of symbolic computation. 2012;47(9):0-0. DOI:10.1016/j.jsc.2011.12.035 2012

Foreword from the Editors [0.03%]

Viktor Levandovskyy; Dušan Pagon; Marko Petkovšek; Valery Romanovski Viktor Levandovskyy; Dušan Pagon; Marko Petkovšek; Valery Romanovski

Journal of symbolic computation. 2012;47(10):0-0. DOI:10.1016/j.jsc.2011.12.036 2012