default search action
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, Nicholas P. Karampetakis, A. Clive 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 - Leanne J. Rylands, Donald 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
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
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 - Mike 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
A Deterministic Lazy Narrowing Calculus. 733-757 - Jean-Camille Birget:
Infinite String Rewrite Systems and Complexity. 759-793
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-16 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: