Journal of Symbolic Computation, Volume 33, 2002

Volume 33, Number 1, January 2002

Christian Bauer, Alexander Frink, Richard Kreckel:
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. 1-12
Electronic Edition (link) BibTeX
Eng-Wee Chionh, Ming Zhang, Ronald N. Goldman:
Fast Computation of the Bezout and Dixon Resultant Matrices. 13-29
Electronic Edition (link) BibTeX
Willem A. de Graaf, Werner Nickel:
Constructing Faithful Representations of Finitely-generated Torsion-free Nilpotent Groups. 31-41
Electronic Edition (link) BibTeX
Ralf Hemmecke:
Continuously Parameterized Symmetries and Buchberger's Algorithm. 43-55
Electronic Edition (link) BibTeX
Frank Lübeck:
On the Computation of Elementary Divisors of Integer Matrices. 57-65
Electronic Edition (link) BibTeX
Patrik Nordbeck:
SAGBI Bases Under Composition. 67-76
Electronic Edition (link) BibTeX
Manfred Schmidt-Schauß, Klaus U. Schulz:
Solvability of Context Equations with Two Context Variables is Decidable. 77-122
Electronic Edition (link) BibTeX
Joris van der Hoeven:
FFT-like Multiplication of Linear Differential Operators. 123-127
Electronic Edition (link) BibTeX

Volume 33, Number 2, February 2002

Bettina Eick, Charles R. B. Wright:
Computing Subgroups by Exhibition in Finite Solvable Groups. 129-143
Electronic Edition (link) BibTeX
Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc:
Computing Transformation Semigroups. 145-162
Electronic Edition (link) BibTeX
Jonas Månsson, Patrik Nordbeck:
Regular Gröbner Bases. 163-181
Electronic Edition (link) BibTeX
Antonio Montes:
A New Algorithm for Discussing Gröbner Bases with Parameters. 183-208
Electronic Edition (link) BibTeX
David Andrew Smith:
Gröbner Bases in Orders of Algebraic Number Fields. 209-220
Electronic Edition (link) BibTeX
Amelia Taylor:
The Inverse Gröbner Basis Problem in Codimension Two. 221-238
Electronic Edition (link) BibTeX
Shih Ping Tung:
Approximate Solutions of Polynomial Equations. 239-254
Electronic Edition (link) BibTeX

Volume 33, Number 3, March 2002

Murray R. Bremner, Irvin Roy Hentzel:
Identities for the Associator in Alternative Algebras. 255-273
Electronic Edition (link) BibTeX
Karin Gatermann, Birkett Huber:
A Family of Sparse Polynomial Systems Arising in Chemical Reaction Systems. 275-305
Electronic Edition (link) BibTeX
K. Kalorkoti:
Predicting Zero Coefficients in Formal Power Series Computations. 307-320
Electronic Edition (link) BibTeX
Scott McCallum, George E. Collins:
Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions. 321-342
Electronic Edition (link) BibTeX

Applications

P. P. Boyle, W. Tian, Fred Guan:
The Riccati Equation in Mathematical Finance. 343-355
Electronic Edition (link) BibTeX
Noel G. Lloyd, Jane M. Pearson:
Symmetry in Planar Dynamical Systems. 357-366
Electronic Edition (link) BibTeX
Thomas Wolf:
Size Reduction and Partial Decoupling of Systems of Equations. 367-383
Electronic Edition (link) BibTeX

Volume 33, Number 4, April 2002

George E. Collins:
A Fast Euclidean Algorithm for Gaussian Integers. 385-392
Electronic Edition (link) BibTeX
Ioannis Z. Emiris, Victor Y. Pan:
Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices. 393-413
Electronic Edition (link) BibTeX
Farshid Hajir, Christian Maire:
Tamely Ramified Towers and Discriminant Bounds for Number Fields-II. 415-423
Electronic Edition (link) BibTeX
Florian Hess:
Computing Riemann-Roch Spaces in Algebraic Function Fields and Related Topics. 425-445
Electronic Edition (link) BibTeX
Hoon Hong, Manfred Minimair:
Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case. 447-465
Electronic Edition (link) BibTeX
Manfred Minimair:
Sparse Resultant of Composed Polynomials II. Unmixed-Mixed Case. 467-478
Electronic Edition (link) BibTeX
Dimitrios Poulakis, Evaggelos Voskos:
Solving Genus Zero Diophantine Equations with at Most Two Infinite Valuations. 479-491
Electronic Edition (link) BibTeX
Stefan Ratschan:
Quantified Constraints Under Perturbation. 493-505
Electronic Edition (link) BibTeX
Xuan Zhao, Haibao Duan:
A Mathematica Program for the Degrees of Certain Schubert Varieties. 507-517
Electronic Edition (link) BibTeX

Volume 33, Number 5, May 2002

Gilles Villard:
Preface. 519
Electronic Edition (link) BibTeX
Sergei A. Abramov, Marko Petkovsek:
Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms. 521-543
Electronic Edition (link) BibTeX
Jaime Gutierrez, Rosario Rubio, David Sevilla:
On Multivariate Rational Function Decomposition. 545-562
Electronic Edition (link) BibTeX
Gene Cooperman, Victor Grinberg:
Scalable Parallel Coset Enumeration: Bulk Definition and the Memory Wall. 563-585
Electronic Edition (link) BibTeX
Carlos D'Andrea, Ioannis Z. Emiris:
Hybrid Sparse Resultant Matrices for Bivariate Polynomials. 587-608
Electronic Edition (link) BibTeX
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager:
Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic. 609-625
Electronic Edition (link) BibTeX
Steven Fortune:
An Iterated Eigenvalue Algorithm for Approximating Roots of Univariate Polynomials. 627-646
Electronic Edition (link) BibTeX
Mikhail V. Foursov, Marc Moreno Maza:
On Computer-assisted Classification of Coupled Integrable Equations. 647-660
Electronic Edition (link) BibTeX
André Galligo, David Rupprecht:
Irreducible Decomposition of Curves. 661-677
Electronic Edition (link) BibTeX
Bernard Mourrain, Olivier Ruatta:
Relations Between Roots and Coefficients, Interpolation and Application to System Solving. 679-699
Electronic Edition (link) BibTeX
Victor Y. Pan:
Univariate Polynomials: Nearly Optimal Algorithms for Numerical Factorization and Root-finding. 701-733
Electronic Edition (link) BibTeX
Alexandre Sedoglavic:
A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time. 735-755
Electronic Edition (link) BibTeX
Emmanuel Thomé:
Subquadratic Computation of Vector Generating Polynomials and Improvement of the Block Wiedemann Algorithm. 757-775
Electronic Edition (link) BibTeX

Volume 33, Number 6, June 2002

Uwe Waldmann:
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I). 777-829
Electronic Edition (link) BibTeX
Uwe Waldmann:
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II). 831-861
Electronic Edition (link) BibTeX
J. Rafael Sendra:
Normal Parametrizations of Algebraic Plane Curves. 863-885
Electronic Edition (link) BibTeX
Peter Berman:
Calculating the Galois Group of Y'= = = AY+ + + B, Y'= = = AY Completely Reducible. 887-898
Electronic Edition (link) BibTeX