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
    runs on