Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

HYP and HYPQ [0.03%]

C. Krattenthaler C. Krattenthaler

Journal of symbolic computation. 1995;20(5-6):737-744. DOI:10.1006/jsco.1995.1075 1995

RComp: A Mathematica Package for Computing with Recursive Sequences [0.03%]

István Nemes; Marko Petkovšek István Nemes; Marko Petkovšek

Journal of symbolic computation. 1995;20(5-6):745-753. DOI:10.1006/jsco.1995.1076 1995

A Maple Package for Symmetric Functions [0.03%]

John R. Stembridge John R. Stembridge

Journal of symbolic computation. 1995;20(5-6):755-758. DOI:10.1006/jsco.1995.1077 1995

On n-Dimensional Sequences. I. Corrigenda [0.03%]

Graham Norton Graham Norton

Journal of symbolic computation. 1995;20(5-6):769-770. DOI:10.1006/jsco.1995.1078 1995

The Habicht Approach to Subresultants [0.03%]

CHUNG-JEN HO; CHEE KENG YAP CHUNG-JEN HO; CHEE KENG YAP

Journal of symbolic computation. 1996;21(1):1-14. DOI:10.1006/jsco.1996.0001 1996

Comparing Curried and Uncurried Rewriting [0.03%]

RICHARD KENNAWAY; JAN WILLEM KLOP; RONAN SLEEP; FER-JAN DE VRIES RICHARD KENNAWAY; JAN WILLEM KLOP; RONAN SLEEP; FER-JAN DE VRIES

Journal of symbolic computation. 1996;21(1):15-39. DOI:10.1006/jsco.1996.0002 1996

Inductive Theorem Proving for Design Specifications [0.03%]

PETER PADAWITZ PETER PADAWITZ

Journal of symbolic computation. 1996;21(1):41-99. DOI:10.1006/jsco.1996.0003 1996

Order Stars and Linear Stability Theory [0.03%]

M. SOFRONIOU M. SOFRONIOU

Journal of symbolic computation. 1996;21(1):101-131. DOI:10.1006/jsco.1996.0004 1996

Ideal Decompositions and Subfields [0.03%]

DAVID CASPERSON; DAVID FORD; JOHN McKAY DAVID CASPERSON; DAVID FORD; JOHN McKAY

Journal of symbolic computation. 1996;21(2):133-137. DOI:10.1006/jsco.1996.0005 1996

Analogs of Gröbner Bases in Polynomial Rings over a Ring [0.03%]

LYN J. MILLER LYN J. MILLER

Journal of symbolic computation. 1996;21(2):139-153. DOI:10.1006/jsco.1996.0006 1996