Journal: Journal of Symbolic Computation

Volume 24, Issue 6

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

Volume 24, Issue 5

509 -- 535Scott McCallum. On Testing a Bivariate Polynomial for Analytic Reducibility
537 -- 561Mark van Hoeij. Factorization of Differential Operators with Rational Functions Coefficients
563 -- 573David J. Jeffrey. Rectifying Transformations for the Integration of Rational Trigonometric Functions
575 -- 589Patrick Fitzpatrick. Solving a Multivariable Congruence by Change of Term Order
591 -- 621Ünal Göktas, Willy Hereman. Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations

Volume 24, Issue 3/4

235 -- 265Wieb Bosma, John J. Cannon, Catherine Playoust. The Magma Algebra System I: The User Language
267 -- 283Mario Daberkow, Claus Fieker, Jürgen Klüners, Michael Pohst, K. Roegner, M. Schörnig, K. Wildanger. KANT V4
285 -- 301John J. Cannon, Derek F. Holt. Computing Chief Series, Composition Series and Socles in Large Permutation Groups
303 -- 316John J. Cannon, Bruce C. Cox, Derek F. Holt. Computing Sylow Subgroups in Permutation Groups
317 -- 325Jon F. Carlson, Edward L. Green, Gerhard J. A. Schnieder. Computing Ext Algebras for Finite Groups
327 -- 334W. Plesken, Bernd Souvignier. Computing Isometries of Lattices
335 -- 349W. Plesken, Bernd Souvignier. Analysing Finitely Presented Groups by Constructing Representations
351 -- 369Wieb Bosma, John J. Cannon, Allan K. Steel. Lattices of Compatibly Embedded Finite Fields
371 -- 384Mario Daberkow. Computing with Subfields
385 -- 397Jürgen Klüners, Michael Pohst. On Computing Subfields
399 -- 408George Havas. Bohdan S. Majewski: Integer Matrix Diagonalization
409 -- 432Allan K. Steel. Algorithm for the Computation of Canonical Forms of Matrices over Fields
433 -- 441Henri Cohen, Francisco Diaz y Diaz, Michel Olivier. Subexponential Algorithms for Class Group and Unit Computations
443 -- 464Stéphane Collart, Daniel Mall. Toric Degenerations of Polynomial Ideals and Geometric Localization of Fans
465 -- 469Stéphane Collart, Michael Kalkbrener, Daniel Mall. Converting Bases with the Gröbner Walk
471 -- 488Gene Cooperman, Larry Finkelstein, Michael Tselman, Bryant W. York. Constructing Permutation Representations for Matrix Groups
489 -- 492Derek F. Holt, W. Plesken, Bernd Souvignier. Constructing a Representation of the Group
493 -- 506Ibrahim A. I. Suleiman, Robert A. Wilson. The 2-Modular Characters of Conway s Third Group Co::3::

Volume 24, Issue 2

125 -- 136Dexter Kozen, Kjartan Stefánsson. Computing the Newtonian Graph
137 -- 152Mats Jirstrand. Nonlinear Control System Design by Quantifier Elimination
153 -- 159Peter Dorato, Wei Yang, Chaouki Abdallah. Robust Multi-Objective Feedback Design by Quantifier Elimination
161 -- 187Hoon Hong, Richard Liska, Stanly Steinberg. Testing Stability by Quantifier Elimination
189 -- 208Volker Weispfenning. Simulation and Optimization by Quantifier Elimination
209 -- 231Andreas Dolzmann, Thomas Sturm. Simplification of Quantifier-Free Formulae over Ordered Fields

Volume 24, Issue 1

1 -- 30Mark van Hoeij. Formal Solutions and Factorization of Differential Operators with Power Series Coefficients
31 -- 43Yiu-Kwong Man, Malcolm A. H. MacCallum. A Rational Approach to the Prelle-Singer Algorithm
45 -- 50Thom Mulders. A Note on Subresultants and the Lazard/Rioboo/Trager Formula in Rational Function Integration
51 -- 58Michael Kalkbrener. On the Stability of Gröbner Bases Under Specializations
59 -- 101Nicolas Peltier. Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
103 -- 111Ivan I. Shevchenko. Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations
113 -- 122Alberto Abad, Juan Félix San-Juan. PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors