External Links

    Journal: Journal of Symbolic Computation

    Volume 7, Issue 6

    527 -- 531Bernd Martin, Gerhard Pfister. The Kernel of the Kodaira-Spencer Map of the Versal µ-Constant Deformation of an Irreducible Plane Curve Singularity with C^r-Action
    533 -- 572Jonathan Traugott. Deductive Synthesis of Sorting Programs
    573 -- 590Patrick Suppes, Shuzo Takahashi. An Interactive Calculus Theorem-Prover for Continuity Properties
    591 -- 610Teofilo F. Gonzalez, Si-Qing Zheng. Inproved Bounds for Rectangular and Guillotine Partitions
    611 -- 619W. I. Fushchich, Vladimir V. Kornyak. Computer Algebra Application for Determining Lie and Lie-Bäcklund Symmetries of Differential Equations

    Volume 7, Issue 5

    445 -- 456Dexter Kozen, Susan Landau. Polynomial Decomposition Algorithms
    457 -- 472Paliath Narendran, Colm Ó Dúnlaing. Cancellativity in Finitely Presented Semigroups
    473 -- 485Clement W. H. Lam, Larry H. Thiel. Backtrack Search with Isomorph Rejection and Consistency Check
    487 -- 507Eyal Mozes. A Deductive Database Based on Aristotelian Logic
    509 -- 522Catherine Lassez, Ken McAloon, Graeme S. Port. Stratification and Knowledge Base Management
    523 -- 525Renato P. Dos Santos. Using Reduce in Supersymmetry

    Volume 7, Issue 3/4

    207 -- 274Jörg H. Siekmann. Unification Theory
    275 -- 293Ursula Martin, Tobias Nipkow. Boolean Unification - The Story So Far
    295 -- 317Werner Nutt, Pierre Réty, Gert Smolka. Basic Narrowing Revisited
    319 -- 341Jia-Huai You. Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems
    343 -- 370Gert Smolka, Hassan Aït-Kaci. Inheritance Hierarchies: Semantics and Unification
    371 -- 425Hubert Comon, Pierre Lescanne. Equational Problems and Disunification
    427 -- 444Paris C. Kanellakis, Peter Z. Revesz. On the Relationship of Congruence Closure and Unification

    Volume 7, Issue 2

    103 -- 112Richard Statman. The Word Problem for Smullyan s Lark Combinator is Decidable
    113 -- 123Masako Takahashi. Parallel Reductions in lambda-Calculus
    125 -- 154Danny De Schreye, Maurice Bruynooghe. On the Transformation of Logic Programs with Instantiation Based Computation Rules
    155 -- 161Marilena Pittaluga, Elisabetta Strickland. A Computer Oriented Algorithm for the Determination of the Dimension and Character of a Modular Irreducible SL(n, K)-Module
    163 -- 177Ronald D. Dutton, Robert C. Brigham, Fernando Gomez. INGRID: A Graph Invariant Manipulator
    179 -- 181S. A. Vorontsov. An Example of Application of Symbolic Computation in Solid State Physics
    183 -- 187B. Autin, J. Bengtsson. Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory
    189 -- 197Jerry F. Magnan. A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection
    199 -- 204Wolfgang Hirschberg, Dieter Schramm. Application of NEWEUL in Robot Dynamics

    Volume 7, Issue 1

    1 -- 10Hans W. Scholten, Mark H. Overmars. General Methods for Adding Range Restrictions to Decomposable Searching Problems
    11 -- 30Richard Cole, Micha Sharir. Visibility Problems for Polyhedral Terrains
    31 -- 48Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet. GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation
    49 -- 53Stephen R. Czapor. Solving Algebraic Equations: Combining Buchberger s Algorithm with Multivariate Factorization
    55 -- 69Luquan Pan. On the D-Bases of Polynomial Ideals Over Principal Ideal Domains
    71 -- 84Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O Keefe, Bernard Silver. Solving Symbolic Equations with PRESS
    85 -- 91Ph. Tombal, A. Moussiaux. Algebraic Programming of Geometrical Calculus and Clifford Algebra
    93 -- 99Tze Beng Ng. Computation of the Cohomology of BSO_n<16> for 23 <= n <= 26 Using REDUCE
    runs on