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

last updated on Wed May 22 05:57:13 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page