Journal of Symbolic Computation, Volume 35, 2003

Volume 35, Number 1, January 2003

• Publisher's Note. 1-2
  Electronic Edition (link) BibTeX
• Paolo Aluffi:
  Computing characteristic classes of projective schemes. 3-19
  Electronic Edition (link) BibTeX
• Hans de Nivelle, Maarten de Rijke:
  Deciding the guarded fragments by resolution. 21-58
  Electronic Edition (link) BibTeX
• Ronald Brown, Christopher D. Wensley:
  Computation and homotopical applications of induced crossed modules. 59-72
  Electronic Edition (link) BibTeX

Volume 35, Number 2, February 2003

• Miroslav N. Velev, Randal E. Bryant:
  Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. 73-106
  Electronic Edition (link) BibTeX
• M. R. Bush, M. Leeming, Robert F. C. Walters:
  Computing left Kan extensions. 107-126
  Electronic Edition (link) BibTeX
• Michael W. Fleming, Ryan Gunther, Robert D. Rosebrugh:
  A database of categories. 127-135
  Electronic Edition (link) BibTeX
• Susan B. Niefield:
  Implementing finite structures in Mathematica via a skeletal topos of finite sets. 137-151
  Electronic Edition (link) BibTeX
• Liu Jinwang, Zhuojun Liu, Wang Mingsheng:
  The term orderings which are compatible with composition II. 153-168
  Electronic Edition (link) BibTeX
• Serge Burckel:
  A result on braids via the investigation of a rewriting system. 169-175
  Electronic Edition (link) BibTeX
• Teo Mora, Massimiliano Sala:
  On the Gröbner bases of some symmetric systems and their application to coding theory. 177-194
  Electronic Edition (link) BibTeX
• Peter A. Brooksbank:
  Constructive recognition of classical groups in their natural representation. 195-239
  Electronic Edition (link) BibTeX

Volume 35, Number 3, March 2003

• John J. Cannon, Derek F. Holt:
  Automorphism group computation and isomorphism testing in finite groups. 241-267
  Electronic Edition (link) BibTeX
• Rosemary Baines, Peter Vámos:
  An algorithm to compute the set of characteristics of a system of polynomial equations over the integers. 269-279
  Electronic Edition (link) BibTeX
• M'hammed El Kahoui:
  An elementary approach to subresultants theory. 281-292
  Electronic Edition (link) BibTeX
• Bao-Yin Zhang:
  A new elementary algorithm for proving q-hypergeometric identities. 293-303
  Electronic Edition (link) BibTeX
• Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa:
  Distributed Maple: parallel computer algebra in networked environments. 305-347
  Electronic Edition (link) BibTeX
• Axel Riese:
  qMultiSum--a package for proving q-hypergeometric multiple summation identities. 349-376
  Electronic Edition (link) BibTeX

Volume 35, Number 4, April 2003

• Thom Mulders, Arne Storjohann:
  On lattice reduction for polynomial matrices. 377-401
  Electronic Edition (link) BibTeX
• Elizabeth A. Arnold:
  Modular algorithms for computing Gröbner bases. 403-419
  Electronic Edition (link) BibTeX
• Colva M. Roney-Dougal, William R. Unger:
  The affine primitive permutation groups of degree less than 1000. 421-439
  Electronic Edition (link) BibTeX
• Thomas Bayer:
  An algorithm for computing invariants of linear actions of algebraic groups up to a given degree. 441-449
  Electronic Edition (link) BibTeX
• John B. Little, David Ortiz, Ricardo Ortiz-Rosado, Rebecca Pablo, Karen Ríos-Soto:
  Some remarks on Fitzpatrick and Flynn's Gröbner basis technique for Padé approximation. 451-461
  Electronic Edition (link) BibTeX

Volume 35, Number 5, May 2003

• Wolfram Koepf, Karin Gatermann:
  Preface to Computer algebra and computer analysis. 463-464
  Electronic Edition (link) BibTeX
• Amparo Gil, Javier Segura:
  A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions. 465-485
  Electronic Edition (link) BibTeX
• François Lemaire:
  An orderly linear PDE system with analytic initial conditions with a non-analytic solution. 487-498
  Electronic Edition (link) BibTeX
• Thomas Wolf:
  The integration of systems of linear PDEs using conservation laws of syzygies. 499-526
  Electronic Edition (link) BibTeX
• Uli Walther:
  Cohomology, stratifications and parametric Gröbner bases in characteristic zero. 527-542
  Electronic Edition (link) BibTeX
• Karin Gatermann:
  Applications of SAGBI-bases in dynamics. 543-575
  Electronic Edition (link) BibTeX
• Abdul Salam Jarrah, Reinhard C. Laubenbacher, Valery Romanovski:
  The Sibirsky component of the center variety of polynomial differential systems. 577-589
  Electronic Edition (link) BibTeX
• Pei Yu, Yuan Yuan:
  A matching pursuit technique for computing the simplest normal forms of vector fields. 591-615
  Electronic Edition (link) BibTeX
• A. Jacquemard, Marcio Teixeira:
  Computer analysis of periodic orbits of discontinuous vector fields. 617-636
  Electronic Edition (link) BibTeX

Volume 35, Number 6, June 2003

• Maurice Mignotte, Doru Stefanescu:
  Linear recurrent sequences and polynomial roots. 637-649
  Electronic Edition (link) BibTeX
• Marc Rybowicz:
  On the normalization of numbers and functions defined by radicals. 651-672
  Electronic Edition (link) BibTeX
• Aurora Olivieri, Ángel del Río:
  An algorithm to compute the primitive central idempotents and the Wedderburn decomposition of a rational group algebra. 673-687
  Electronic Edition (link) BibTeX
• Alain Lascoux, Piotr Pragacz:
  Double Sylvester sums for subresultants and multi-Schur functions. 689-710
  Electronic Edition (link) BibTeX