Journal of Symbolic Computation, Volume 25, 1998

Volume 25, Number 1, January 1998

• Ming-Deh A. Huang, Doug Ierardi: Counting Points on Curves over Finite Fields. 1-21
• Klaus Madlener, Birgit Reinert: A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings. 23-43
• Eddi H. Lo: Finding Intersections and Normalizers in Finely Generated Nilpotent Groups. 45-59
• Eddi H. Lo: A Polycyclic Quotient Algorithm. 61-97

• Jon Jones, N. P. Karampetakis, A. C. Pugh: The Computation and Application of the Generalized Inverse via Maple. 99-124

Volume 25, Number 2, February 1998

• Norbert Kajler, Neil Soiffer: A Survey of User Interfaces for Computer Algebra Systems. 127-159
• Yves Bertot, Laurent Théry: A Generic Approach to Building User Interfaces for Theorem Provers. 161-194
• Michael B. Hayden, Edmund A. Lamagna: NEWTON: An Interactive Environment for Exploring Mathematics. 195-212
• Simon Gray, Norbert Kajler, Paul S. Wang: Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions. 213-237
• Helen Lowe, Alan Bundy, Duncan McLean: The Use of Proof Planning for Co-operative Theorem Proving. 239-261
• J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas: Interactive Theorem Proving: An Empirical Study of User Activity. 263-284

Volume 25, Number 3, March 1998

• Thomas Yan: The Geobucket Data Structure for Polynomials. 285-293
• Dongming Wang: Decomposing Polynomial Systems into Simple Systems. 295-314
• Jan Snellman: Gröbner Bases and Normal Forms in a Subring of the Power Series Ring on Countably Many Variables. 315-328
• Bruno Salvy, John Shackell: Symbolic Asymptotics: Functions of Two Variables, Implicit Functions. 329-349
• L. J. Rylands, D. E. Taylor: Matrix Generators for the Orthogonal Groups. 351-360
• Lajos Hajdu, T. Herendi: Explicit Bounds for the Solutions of Elliptic Equations with Rational Coefficients. 361-366

• Ladislav Kocbach, Richard Liska: Generation and Verification of Algorithms for Symbolic-Numeric Processing. 367-382
• Beatrice Paternoster, Massimo Cafaro: Computation of the Interval of Stability of Runge-Kutta-Nyström Methods. 383-394

Volume 25, Number 4, April 1998

• Hubert Comon: Completion of Rewrite Systems with Membership Constraints. Part I: Deduction Rules. 397-419
• Hubert Comon: Completion of Rewrite Systems with Membership Constraints. Part II: Constraint Solving. 421-453
• Claus Hintermeier, Claude Kirchner, Hélène Kirchner: Dynamically Typed Computations for Order-Sorted Equational Presentations. 455-526
• Andreas Werner: A Semantic Approach to Order-Sorted Rewriting. 527-569

Volume 25, Number 5, May 1998

• Hoon Hong: Bounds for Absolute Positiveness of Multivariate Polynomials. 571-585
• Alexei Yu Uteshev, Timofei M. Cherkasov: The Search for the Maximum of a Polynomial. 587-618
• Raphael Nauheim: Systems of Algebraic Equations with Bad Reduction. 619-641
• Hoon Hong: Groebner Basis Under Composition I. 643-663
• M. F. Newman, Werner Nickel, Alice C. Niemeyer: Descriptions of Groups of Primepower Order. 665-682

Volume 25, Number 6, June 1998

• Joachim Apel: The Theory of Involutive Divisions and an Application to Hilbert Function Computations. 683-704
• Elie Compoint: Differential Equations and Algebraic Relations. 705-725
• Wolfram Decker, Agnes E. Heydtmann, Frank-Olaf Schreyer: Generating a Noetherian Normalization of the Invariant Ring of a Finite Group. 727-731
• Aart Middeldorp, Satoshi Okui: A Deterministic Lazy Narrowing Calculus. 733-757
• Jean-Camille Birget: Infinite String Rewrite Systems and Complexity. 759-793