External Links

    Journal: Journal of Symbolic Computation

    Volume 4, Issue 3

    269 -- 293Jacek Gibert. Functional Programming with Combinators
    295 -- 334Stéphane Kaplan. Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence
    335 -- 349Aziz Hilali. On the Algebraic and Differential Newton-Puiseux Polygons
    351 -- 364Sabine Stifter. A Generalization of Reduction Rings
    365 -- 380Douglas A. Young, Paul S. Wang. GI/S: A Graphical User Interface For Symbolic Computation Systems
    381 -- 390W. A. Beyer, L. R. Fawcett, R. Daniel Mauldin, B. K. Swartz. The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically
    391 -- 396Isaac Elishakoff. Application of Symbolic Algebra to the Instability of a Nonconservative System
    397 -- 408S. Bandyopadhyay, John S. Devitt. SIS - A Symbolic Information Management System

    Volume 4, Issue 2

    137 -- 172Joachim von zur Gathen. Feasible Arithmetic Computations: Valiant s Hypothesis
    173 -- 190Neil V. Murray, Erik Rosenthal. Theory Links: Applications to Automated Theorem Proving
    191 -- 205Wolfram Büttner, Helmut Simonis. Embedding Boolean Expressions into Logic Programming
    207 -- 232Robert Paige, Fritz Henglein. Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study
    233 -- 254Jean H. Gallier. Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations
    255 -- 268Gordon F. Royle. The Transitive Groups of Degree Twelve

    Volume 4, Issue 1

    3 -- 10R. Böffgen, M. A. Reichert. Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q
    11 -- 19Johannes Buchmann, Hugh C. Williams. On Principal Ideal Testing in Algebraic Number Fields
    21 -- 33L. Cerlienco, Maurice Mignotte, F. Piras. Computing the Measure of a Polynomial
    35 -- 40Harvey Cohn, Jesse Ira Deutsch. Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II
    41 -- 52Carsten Eckhardt. Computation of Class Numbers by an Analytic Method
    53 -- 67H. G. Folz, Horst Günter Zimmer. What is the Rank of the Demjanenko Matrix?
    69 -- 75David J. Ford. The Construction of Maximal Orders Over a Dedekind Domain
    77 -- 82Erich Kaltofen. Deterministic Irreducibility Testing of Polynomials over Large Finite Fields
    83 -- 92Gunter Malle. Polynomials for Primitive Nonsolvable Permutation Groups of Degree d /leq 15
    93 -- 97B. Heinrich Matzat, Andreas Zeh-Marschke. Polynome mit der Galoisgruppe M_11 über Q
    99 -- 102Eckart Maus. Computation of Integral Bases in Certain S_n Extensions of Q
    103 -- 109Attila Pethö. On the Resolution of Thue Inequalities
    111 -- 122W. Plesken. Towards a Soluble Quotient Algorithm
    123 -- 127Michael Pohst. A Modification of the LLL Reduction Algorithm
    runs on