External Links

    Journal: Journal of Symbolic Computation

    Volume 16, Issue 2

    83 -- 114Dongming Wang. An Elimination Method for Polynomial Systems
    115 -- 130David W. Boyd. Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri s Norms: I. The Largest Factor
    131 -- 145David W. Boyd. Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri s Norms: II. The Smallest Factor
    147 -- 153George E. Andrews, Peter Paule. Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy
    155 -- 165Peter Schorn. An Axiomatic Approach to Robust Geometric Programs
    167 -- 187Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto. On the Problem of Generating Small Convergent Systems
    189 -- 226Todd C. Torgersen. Parallel Scheduling of Recursively Defined Arrays: Revisited
    runs on