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
  

Last update Sat May 18 20:43:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page