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 BibTeX
Yiu-Kwong Man, Malcolm A. H. MacCallum: A Rational Approach to the Prelle-Singer Algorithm. 31-43 BibTeX
Thom Mulders: A Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration. 45-50 BibTeX
Michael Kalkbrener: On the Stability of Gröbner Bases Under Specializations. 51-58 BibTeX
Nicolas Peltier: Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents. 59-101 BibTeX

Applications

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

Special Issue on Applications of Quantifier Elimination

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

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

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

Systems

Algorithms

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

Applications

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

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

Applications

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