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
  

• 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

• 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
  

• 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

• 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, M. Schörnig, K. Wildanger:
  KANT V4. 267-283
  

• 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
  
• W. Plesken, Bernd Souvignier:
  Computing Isometries of Lattices. 327-334
  
• W. 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
  

• Gene Cooperman, Larry Finkelstein, Michael Tselman, Bryant W. York:
  Constructing Permutation Representations for Matrix Groups. 471-488
  
• Derek F. Holt, W. 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
  

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

Last update Tue Feb 14 04:20:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page