Journal of Symbolic Computation, Volume 37, 2004

Volume 37, Number 1, January 2004

• Guillem Godoy, Robert Nieuwenhuis:
  Superposition with completely built-in Abelian groups. 1-33
  Electronic Edition (link) BibTeX
• Wayne Eberly, Mark Giesbrecht:
  Efficient decomposition of separable algebras. 35-81
  Electronic Edition (link) BibTeX
• Zeng Guangxing, Zeng Xiaoning:
  An effective decision method for semidefinite polynomials. 83-99
  Electronic Edition (link) BibTeX
• Mao-Ching Foo, Eng-Wee Chionh:
  Corner edge cutting and Dixon A-resultant quotients. 101-119
  Electronic Edition (link) BibTeX

Volume 37, Number 2, February 2004

• Jeremy R. Johnson, José M. F. Moura, Markus Püschel, Daniel N. Rockmore:
  Special issue on computer algebra and signal processing: forward by the guest editors. 133-135
  Electronic Edition (link) BibTeX
• Michael Clausen, Meinard Müller:
  Generating fast Fourier transforms of solvable groups. 137-156
  Electronic Edition (link) BibTeX
• Sebastian Egner, Markus Püschel:
  Symmetry-based matrix factorization. 157-186
  Electronic Edition (link) BibTeX
• Richard Foote, Gagan Mirchandani, Daniel N. Rockmore:
  Two-dimensional wreath product group-based image processing. 187-207
  Electronic Edition (link) BibTeX
• Hyungju Park:
  Symbolic computation and signal processing. 209-226
  Electronic Edition (link) BibTeX
• Jérôme Lebrun, Ivan W. Selesnick:
  Gröbner bases and wavelet design. 227-259
  Electronic Edition (link) BibTeX
• Jeremy R. Johnson, Anthony F. Breitzman:
  Automatic derivation and implementation of fast convolution algorithms. 261-293
  Electronic Edition (link) BibTeX

Volume 37, Number 3, March 2004

• Edoardo Ballico, Ferruccio Orecchia:
  Computing minimal generators of the ideal of a general projective curve. 295-304
  Electronic Edition (link) BibTeX
• Serge Burckel:
  Elementary decompositions of arbitrary maps over finite sets. 305-310
  Electronic Edition (link) BibTeX
• Ioannis Th. Famelis, S. N. Papakostas, Ch. Tsitouras:
  Symbolic derivation of Runge-Kutta order conditions. 311-327
  Electronic Edition (link) BibTeX
• Stefan Andrei, Wei-Ngan Chin:
  Solving a class of higher-order equations over a group structure. 329-341
  Electronic Edition (link) BibTeX
• Friedrich Otto, Olga Sokratova:
  Reduction relations for monoid semirings. 343-376
  Electronic Edition (link) BibTeX
• Min-Ho Ahn, Gwang-Il Kim:
  Characterization of Pythagorean curves and Pythagoreanization using a rational transform. 377-389
  Electronic Edition (link) BibTeX
• Guillaume Hanrot, Paul Zimmermann:
  A long note on Mulders' short product. 391-401
  Electronic Edition (link) BibTeX
• Juan Migliore, Chris Peterson:
  A symbolic test for (i, j)-uniformity in reduced zero-dimensional schemes. 403-413
  Electronic Edition (link) BibTeX

Volume 37, Number 4, April 2004

• Andrew V. Sills:
  a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities. 415-448
  Electronic Edition (link) BibTeX
• Hoon Hong:
  Note on Jacobi's method for approximating dominant roots. 449-453
  Electronic Edition (link) BibTeX
• Alberto Oliart, Wayne Snyder:
  Fast algorithms for uniform semi-unification. 455-484
  Electronic Edition (link) BibTeX
• Thom Mulders, Arne Storjohann:
  Certified dense linear system solving. 485-510
  Electronic Edition (link) BibTeX
• Hervé Perdry:
  Strongly Noetherian rings and constructive ideal theory. 511-535
  Electronic Edition (link) BibTeX
• Hongbo Shi:
  Computation of the finitistic dimension of monomial algebras. 537-546
  Electronic Edition (link) BibTeX

Volume 37, Number 5, May 2004

• Nicolas Rennert:
  A parallel multi-modular algorithm for computing Lagrange resolvents. 547-556
  Electronic Edition (link) BibTeX
• David Rupprecht:
  Semi-numerical absolute factorization of polynomials with integer coefficients. 557-574
  Electronic Edition (link) BibTeX
• Edgar Martínez-Moro:
  Regular representations of finite-dimensional separable semisimple algebras and Gróbner bases. 575-587
  Electronic Edition (link) BibTeX
• John J. Cannon, Derek F. Holt:
  Computing maximal subgroups of finite groups. 589-609
  Electronic Edition (link) BibTeX
• Kouichi Hirata, Keizo Yamada, Masateru Harao:
  Tractable and intractable second-order matching problems. 611-628
  Electronic Edition (link) BibTeX
• Jose Maria Ucha-Enréquez, Francisco Jesus Castro-Jiménez:
  On the computation of Bernstein-Sato ideals. 629-639
  Electronic Edition (link) BibTeX
• Karim Belabas:
  A relative van Hoeij algorithm over number fields. 641-668
  Electronic Edition (link) BibTeX

Volume 37, Number 6, June 2004

• Douglas Baldwin, Ünal Göktas, Willy Hereman, L. Hong, R. S. Martino, J. C. Miller:
  Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. 669-705
  Electronic Edition (link) BibTeX
• Marcelo P. Fiore, Tom Leinster:
  An objective representation of the Gaussian integers. 707-716
  Electronic Edition (link) BibTeX
• Juan Elias:
  On the computation of the Ratliff-Rush closure. 717-725
  Electronic Edition (link) BibTeX
• Dan Bernstein:
  The computational complexity of rules for the character table of Sn. 727-748
  Electronic Edition (link) BibTeX
• Ana Marco, José-Javier Martínez:
  Parallel computation of determinants of matrices with polynomial entries. 749-760
  Electronic Edition (link) BibTeX
• Nick T. Koussoulas, Photis Skiadas:
  Symbolic computation for mobile robot path planning. 761-775
  Electronic Edition (link) BibTeX