Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Partial Differential Equations and Bivariate Orthogonal Polynomials [0.03%]

Alan L. Schwartz Alan L. Schwartz

Journal of symbolic computation. 1999;28(6):827-845. DOI:10.1006/jsco.1999.0342 1999

Generalized Strong Pseudoprime Tests and Applications [0.03%]

Pedro Berrizbeitia; T.G. Berry Pedro Berrizbeitia; T.G. Berry

Journal of symbolic computation. 2000;30(2):151-160. DOI:10.1006/jsco.1999.0343 2000

Factorization-free Decomposition Algorithms in Differential Algebra [0.03%]

Evelyne Hubert Evelyne Hubert

Journal of symbolic computation. 2000;29(4-5):641-662. DOI:10.1006/jsco.1999.0344 2000

Program Development Schemata as Derived Rules [0.03%]

Penny Anderson; David Basin Penny Anderson; David Basin

Journal of symbolic computation. 2000;30(1):5-36. DOI:10.1006/jsco.1999.0346 2000

A Calculus for Schemas in Z [0.03%]

S.M. Brien; A.P. Martin S.M. Brien; A.P. Martin

Journal of symbolic computation. 2000;30(1):63-91. DOI:10.1006/jsco.1999.0347 2000

An Abstract Formalization of Correct Schemas for Program Synthesis [0.03%]

Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson

Journal of symbolic computation. 2000;30(1):93-127. DOI:10.1006/jsco.1999.0348 2000

Proofs as Schemas and Their Heuristic Use [0.03%]

Matthias Fuchs Matthias Fuchs

Journal of symbolic computation. 2000;30(1):37-61. DOI:10.1006/jsco.1999.0349 2000

A Formula for the General Solution of a Constant-coefficient Difference Equation [0.03%]

D.A. Wolfram D.A. Wolfram

Journal of symbolic computation. 2000;29(1):79-82. DOI:10.1006/jsco.1999.0350 2000

Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition [0.03%]

Petru Pau; Josef Schicho Petru Pau; Josef Schicho

Journal of symbolic computation. 2000;29(6):971-983. DOI:10.1006/jsco.1999.0352 2000

Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture [0.03%]

M’hammed El Kahoui; Andreas Weber M’hammed El Kahoui; Andreas Weber

Journal of symbolic computation. 2000;30(2):161-179. DOI:10.1006/jsco.1999.0353 2000