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 BibTeX
• Klaus Madlener, Birgit Reinert: A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings. 23-43 BibTeX
• Eddi H. Lo: Finding Intersections and Normalizers in Finely Generated Nilpotent Groups. 45-59 BibTeX
• Eddi H. Lo: A Polycyclic Quotient Algorithm. 61-97 BibTeX

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

Volume 25, Number 2, February 1998

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

Volume 25, Number 3, March 1998

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

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

Volume 25, Number 4, April 1998

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

Volume 25, Number 5, May 1998

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

Volume 25, Number 6, June 1998

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