Journal of Symbolic Computation, Volume 34, 2002

Volume 34, Number 1, July 2002

• Bettina Eick:
  Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups. 1-19
  
• Jürgen Giesl, Thomas Arts, Enno Ohlebusch:
  Modular Termination Proofs for Rewriting Using Dependency Pairs. 21-58
  
• Gema M. Diaz-Toca, Laureano González-Vega:
  Barnett's Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices. 59-81
  
• Huah Chu, Ming-chang Kang:
  Quartic Fields and Radical Extensions. 83-89
  

Volume 34, Number 2, August 2002

• S. Kaplan, Mina Teicher:
  Identifying Half-Twists Using Randomized Algorithm Methods. 91-103
  
• Driss Bouziane, M'hammed El Kahoui:
  Computation of the Dual of a Plane Projective Curve. 105-117
  
• Alicia Dickenstein, Bernd Sturmfels:
  Elimination Theory in Codimension 2. 119-135
  
• István Gaál:
  On the Resolution of Resultant Type Equations. 137-144
  
• George E. Collins, Jeremy R. Johnson, Werner Krandick:
  Interval Arithmetic in Cylindrical Algebraic Decomposition. 145-157
  

Volume 34, Number 3, September 2002

• Mark Giesbrecht, Arne Storjohann:
  Computing Rational Forms of Integer Matrices. 157-172
  
• Masanari Kida:
  Potential Good Reduction of Elliptic Curves. 173-180
  
• Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt:
  Involutive Bases in the Weyl Algebra. 181-198
  
• Bernd Martin:
  Algorithmic Computation of Flattenings and of Modular Deformations. 199-212
  
• Volker Gebhardt:
  Efficient Collection in Infinite Polycyclic Groups. 213-228
  
• Gregor Kemper:
  The Calculation of Radical Ideals in Positive Characteristic. 229-238
  

Volume 34, Number 4, October 2002

• Steve Linton, Roberto Sebastiani:
  Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. 239
  
• Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat:
  Incorporating Decision Procedures in Implicit Induction. 241-258
  
• James H. Davenport:
  Equality in Computer Algebra and Beyond. 259-270
  
• Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg:
  A Constructive Algebraic Hierarchy in Coq. 271-286
  
• Andreas Meier, Martin Pollet, Volker Sorge:
  Comparing Approaches to the Exploration of the Domain of Residue Classes. 287-306
  

Volume 34, Number 5, November 2002

• R. James Shank, David L. Wehlau:
  Computing Modular Invariants of p-groups. 307-327
  
• Akalu Tefera:
  MultInt, a MAPLE Package for Multiple Integration by the WZ Method. 329-353
  
• Olivier Cormier, Michael F. Singer, Barry M. Trager, Felix Ulmer:
  Linear Differential Operators for Polynomial Equations. 355-398
  
• Edward Mosteig, Moss Sweedler:
  Valuations and Filtrations. 399-435
  
• Clemens Heuberger, Attila Pethö, Robert F. Tichy:
  Thomas' Family of Thue Equations Over Imaginary Quadratic Fields. 437-449
  
• Chris Monico:
  Computing the Primary Decomposition of Zero-dimensional Ideals. 451-459
  
• Bican Xia, Lu Yang:
  An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. 461-477
  

Volume 34, Number 6, December 2002

• Joris van der Hoeven:
  Relax, but Don't be Too Lazy. 479-542
  
• Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din:
  Real Solving for Positive Dimensional Systems. 543-560
  
• Markus Püschel:
  Decomposing Monomial Representations of Solvable Groups. 561-596
  
• Werner M. Seiler:
  Taylor and Lyubeznik Resolutions via Gröbner Bases. 597-608
  

Last update Thu May 23 19:12:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page