Journal of Symbolic Computation, Volume 24, 1997

Volume 24, Number 1, July 1997

• 
  Mark van Hoeij:
  Formal Solutions and Factorization of Differential Operators with Power Series Coefficients. 1-30
• 
  Yiu-Kwong Man, Malcolm A. H. MacCallum:
  A Rational Approach to the Prelle-Singer Algorithm. 31-43
• 
  Thom Mulders:
  A Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration. 45-50
• 
  Michael Kalkbrener:
  On the Stability of Gröbner Bases Under Specializations. 51-58
• 
  Nicolas Peltier:
  Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents. 59-101

Applications

• 
  Ivan I. Shevchenko:
  Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations. 103-111
• 
  Alberto Abad, Juan Félix San-Juan:
  PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors. 113-122

Volume 24, Number 2, August 1997

Special Issue on Applications of Quantifier Elimination

• 
  Dexter Kozen, Kjartan Stefánsson:
  Computing the Newtonian Graph. 125-136
• 
  Mats Jirstrand:
  Nonlinear Control System Design by Quantifier Elimination. 137-152
• 
  Peter Dorato, Wei Yang, Chaouki T. Abdallah:
  Robust Multi-Objective Feedback Design by Quantifier Elimination. 153-159
• 
  Hoon Hong, Richard Liska, Stanly L. Steinberg:
  Testing Stability by Quantifier Elimination. 161-187
• 
  Volker Weispfenning:
  Simulation and Optimization by Quantifier Elimination. 189-208

Related Articles

• 
  Andreas Dolzmann, Thomas Sturm:
  Simplification of Quantifier-Free Formulae over Ordered Fields. 209-231

Volume 24, Number 3/4, September/October 1997

Special Issue on Computational Algebra and Number Theory: Proceedings of the First MAGMA Conference

Systems

• 
  Wieb Bosma, John J. Cannon, Catherine Playoust:
  The Magma Algebra System I: The User Language. 235-265
• 
  Mario Daberkow, Claus Fieker, Jürgen Klüners, Michael Pohst, K. Roegner, Martin Schörnig, Klaus Wildanger:
  KANT V4. 267-283

Algorithms

• 
  John J. Cannon, Derek F. Holt:
  Computing Chief Series, Composition Series and Socles in Large Permutation Groups. 285-301
• 
  John J. Cannon, Bruce C. Cox, Derek F. Holt:
  Computing Sylow Subgroups in Permutation Groups. 303-316
• 
  Jon F. Carlson, Edward L. Green, Gerhard J. A. Schnieder:
  Computing Ext Algebras for Finite Groups. 317-325
• 
  Wilhelm Plesken, Bernd Souvignier:
  Computing Isometries of Lattices. 327-334
• 
  Wilhelm Plesken, Bernd Souvignier:
  Analysing Finitely Presented Groups by Constructing Representations. 335-349
• 
  Wieb Bosma, John J. Cannon, Allan K. Steel:
  Lattices of Compatibly Embedded Finite Fields. 351-369
• 
  Mario Daberkow:
  Computing with Subfields. 371-384
• 
  Jürgen Klüners, Michael Pohst:
  On Computing Subfields. 385-397
• 
  George Havas:
  Bohdan S. Majewski: Integer Matrix Diagonalization. 399-408
• 
  Allan K. Steel:
  Algorithm for the Computation of Canonical Forms of Matrices over Fields. 409-432
• 
  Henri Cohen, Francisco Diaz y Diaz, Michel Olivier:
  Subexponential Algorithms for Class Group and Unit Computations. 433-441
• 
  Stéphane Collart, Daniel Mall:
  Toric Degenerations of Polynomial Ideals and Geometric Localization of Fans. 443-464
• 
  Stéphane Collart, Michael Kalkbrener, Daniel Mall:
  Converting Bases with the Gröbner Walk. 465-469

Applications

• 
  Gene Cooperman, Larry Finkelstein, Michael Tselman, Bryant W. York:
  Constructing Permutation Representations for Matrix Groups. 471-488
• 
  Derek F. Holt, Wilhelm Plesken, Bernd Souvignier:
  Constructing a Representation of the Group. 489-492
• 
  Ibrahim A. I. Suleiman, Robert A. Wilson:
  The 2-Modular Characters of Conway's Third Group Co₃. 493-506

Volume 24, Number 5, November 1997

• 
  Scott McCallum:
  On Testing a Bivariate Polynomial for Analytic Reducibility. 509-535
• 
  Mark van Hoeij:
  Factorization of Differential Operators with Rational Functions Coefficients. 537-561
• 
  David J. Jeffrey:
  Rectifying Transformations for the Integration of Rational Trigonometric Functions. 563-573
• 
  Patrick Fitzpatrick:
  Solving a Multivariable Congruence by Change of Term Order. 575-589

Applications

• 
  Ünal Göktas, Willy Hereman:
  Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations. 591-621

Volume 24, Number 6, December 1997

Special Issue on Validated Numerical Methods and Computer Algebra

• 
  Daniel Richardson:
  How to Recognize Zero. 627-645
• 
  Adam W. Strzebonski:
  Computing in the Field of Complex Algebraic Numbers. 647-656
• 
  Michael E. Pohst:
  On Validated Computing in Algebraic Number Fields. 657-665
• 
  V. Hribernig, Hans J. Stetter:
  Detection and Validation of Clusters of Polynomial Zeros. 667-681
• 
  Jean-Pierre Dedieu:
  Estimations for the Separation Number of a Polynomial System. 683-693
• 
  Annie A. M. Cuyt:
  Floating-point versus Symbolic Computations in theQD-algorithm. 695-703
• 
  Akmal A. Vakhidov, Nickolay N. Vasiliev:
  A New Approach for Analytical Computation of Hamiltonian of a Satellite Perturbed Motion. 705-710