Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Computation of the Interval of Stability of Runge–Kutta–Nyström Methods [0.03%]

B. Paternoster; M. Cafaro B. Paternoster; M. Cafaro

Journal of symbolic computation. 1998;25(3):383-394. DOI:10.1006/jsco.1997.0183 1998

Completion of Rewrite Systems with Membership Constraints Part I: Deduction Rules [0.03%]

H. Comon H. Comon

Journal of symbolic computation. 1998;25(4):397-419. DOI:10.1006/jsco.1997.0185 1998

Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving [0.03%]

H. Comon H. Comon

Journal of symbolic computation. 1998;25(4):421-453. DOI:10.1006/jsco.1997.0186 1998

Dynamically Typed Computations for Order-sorted Equational Presentations [0.03%]

C. Hintermeier; C. Kirchner; H. Kirchner C. Hintermeier; C. Kirchner; H. Kirchner

Journal of symbolic computation. 1998;25(4):455-526. DOI:10.1006/jsco.1997.0187 1998

A Semantic Approach to Order-sorted Rewriting [0.03%]

A. Werner A. Werner

Journal of symbolic computation. 1998;25(4):527-569. DOI:10.1006/jsco.1997.0188 1998

Bounds for Absolute Positiveness of Multivariate Polynomials [0.03%]

H. Hong H. Hong

Journal of symbolic computation. 1998;25(5):571-585. DOI:10.1006/jsco.1997.0189 1998

The Search for the Maximum of a Polynomial [0.03%]

A.Yu Uteshev; T.M Cherkasov A.Yu Uteshev; T.M Cherkasov

Journal of symbolic computation. 1998;25(5):587-618. DOI:10.1006/jsco.1997.0190 1998

Systems of Algebraic Equations with Bad Reduction [0.03%]

R. Nauheim R. Nauheim

Journal of symbolic computation. 1998;25(5):619-641. DOI:10.1006/jsco.1997.0191 1998

Groebner Basis Under Composition I [0.03%]

H. Hong H. Hong

Journal of symbolic computation. 1998;25(5):643-663. DOI:10.1006/jsco.1997.0192 1998

Descriptions of Groups of Prime-power Order [0.03%]

M.F. Newman; W. Nickel; A.C. Niemeyer M.F. Newman; W. Nickel; A.C. Niemeyer

Journal of symbolic computation. 1998;25(5):665-682. DOI:10.1006/jsco.1997.0193 1998