Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time [0.03%]

Alexandre Sedoglavic Alexandre Sedoglavic

Journal of symbolic computation. 2002;33(5):735-755. DOI:10.1006/jsco.2002.0532 2002

Subquadratic Computation of Vector Generating Polynomials and Improvement of the Block Wiedemann Algorithm [0.03%]

Emmanuel Thomé Emmanuel Thomé

Journal of symbolic computation. 2002;33(5):757-775. DOI:10.1006/jsco.2002.0533 2002

Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I) [0.03%]

Uwe Waldmann Uwe Waldmann

Journal of symbolic computation. 2002;33(6):777-829. DOI:10.1006/jsco.2002.0536 2002

Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II) [0.03%]

Uwe Waldmann Uwe Waldmann

Journal of symbolic computation. 2002;33(6):831-861. DOI:10.1006/jsco.2002.0537 2002

Normal Parametrizations of Algebraic Plane Curves [0.03%]

J. Rafael Sendra J. Rafael Sendra

Journal of symbolic computation. 2002;33(6):863-885. DOI:10.1006/jsco.2002.0538 2002

Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups [0.03%]

Bettina Eick Bettina Eick

Journal of symbolic computation. 2002;34(1):1-19. DOI:10.1006/jsco.2002.0540 2002

Preface [0.03%]

Gilles Villard Gilles Villard

Journal of symbolic computation. 2002;33(5):519-0. DOI:10.1006/jsco.2002.0548 2002

Potential Good Reduction of Elliptic Curves [0.03%]

Masanari Kida Masanari Kida

Journal of symbolic computation. 2002;34(3):173-180. DOI:10.1006/jsco.2002.0555 2002

Relax, but Don’t be Too Lazy [0.03%]

Joris van der Hoeven Joris van der Hoeven

Journal of symbolic computation. 2002;34(6):479-542. DOI:10.1006/jsco.2002.0562 2002

Real Solving for Positive Dimensional Systems [0.03%]

Philippe Aubry; Fabrice Rouillier; Mohab Safey El Din Philippe Aubry; Fabrice Rouillier; Mohab Safey El Din

Journal of symbolic computation. 2002;34(6):543-560. DOI:10.1006/jsco.2002.0563 2002