External Links

    Journal: Journal of Symbolic Computation

    Volume 25, Issue 6

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

    Volume 25, Issue 5

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

    Volume 25, Issue 4

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

    Volume 25, Issue 3

    285 -- 293Thomas Yan. The Geobucket Data Structure for Polynomials
    295 -- 314Dongming Wang. Decomposing Polynomial Systems into Simple Systems
    315 -- 328Jan Snellman. Gröbner Bases and Normal Forms in a Subring of the Power Series Ring on Countably Many Variables
    329 -- 349Bruno Salvy, John Shackell. Symbolic Asymptotics: Functions of Two Variables, Implicit Functions
    351 -- 360L. J. Rylands, D. E. Taylor. Matrix Generators for the Orthogonal Groups
    361 -- 366Lajos Hajdu, T. Herendi. Explicit Bounds for the Solutions of Elliptic Equations with Rational Coefficients
    367 -- 382Ladislav Kocbach, Richard Liska. Generation and Verification of Algorithms for Symbolic-Numeric Processing
    383 -- 394Beatrice Paternoster, Massimo Cafaro. Computation of the Interval of Stability of Runge-Kutta-Nyström Methods

    Volume 25, Issue 2

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

    Volume 25, Issue 1

    1 -- 21Ming-Deh A. Huang, Doug Ierardi. Counting Points on Curves over Finite Fields
    23 -- 43Klaus Madlener, Birgit Reinert. A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings
    99 -- 124Jon Jones, N. P. Karampetakis, A. C. Pugh. The Computation and Application of the Generalized Inverse via Maple
    runs on