Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems [0.03%]

Bican Xia; Lu Yang Bican Xia; Lu Yang

Journal of symbolic computation. 2002;34(5):461-477. DOI:10.1006/jsco.2002.0572 2002

Taylor and Lyubeznik Resolutions via Gröbner Bases [0.03%]

Werner M. Seiler Werner M. Seiler

Journal of symbolic computation. 2002;34(6):597-608. DOI:10.1006/jsco.2002.0573 2002

Modular and incremental proofs of AC-termination [0.03%]

Claude Marché; Xavier Urbain Claude Marché; Xavier Urbain

Journal of symbolic computation. 2004;38(1):873-897. DOI:10.1016/j.jsc.2004.02.003 2004

A simple method for implicitizing rational curves and surfaces [0.03%]

Dongming Wang Dongming Wang

Journal of symbolic computation. 2004;38(1):899-914. DOI:10.1016/j.jsc.2004.02.004 2004

Linear differential equations in exponential extensions [0.03%]

Anne Fredet Anne Fredet

Journal of symbolic computation. 2004;38(2):975-1002. DOI:10.1016/j.jsc.2004.02.005 2004

Efficient algorithms for the gcd and cubic residuosity in the ring of Eisenstein integers [0.03%]

Ivan Bjerre Damgård; Gudmund Skovbjerg Frandsen Ivan Bjerre Damgård; Gudmund Skovbjerg Frandsen

Journal of symbolic computation. 2005;39(6):643-652. DOI:10.1016/j.jsc.2004.02.006 2005

Minimizing representations over number fields [0.03%]

Claus Fieker Claus Fieker

Journal of symbolic computation. 2004;38(1):833-842. DOI:10.1016/j.jsc.2004.03.001 2004

New algorithms for generating Conway polynomials over finite fields [0.03%]

Lenwood S. Heath; Nicholas A. Loehr Lenwood S. Heath; Nicholas A. Loehr

Journal of symbolic computation. 2004;38(2):1003-1024. DOI:10.1016/j.jsc.2004.03.002 2004

Computing group resolutions [0.03%]

Graham Ellis Graham Ellis

Journal of symbolic computation. 2004;38(3):1077-1118. DOI:10.1016/j.jsc.2004.03.003 2004

Computing lattice ideals of unions of monomial curves [0.03%]

Marı́a-Jesús Pisabarro Marı́a-Jesús Pisabarro

Journal of symbolic computation. 2004;38(2):1025-1042. DOI:10.1016/j.jsc.2004.03.004 2004