Journal of symbolic computation

• 

  Año 1993, Vol. 16, Número 2

  • An Elimination Method for Polynomial Systems

    págs. 83-114

    

  • Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: I. The Largest Factor

    págs. 115-130

    

  • Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: II. The Smallest Factor

    págs. 131-145

    

  • Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity

    George E. Andrews, Peter Paule

    págs. 147-153

    

  • An Axiomatic Approach to Robust Geometric Programs

    págs. 155-165

    

  • On The Problem Of Generating Small Convergent Systems

    Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto

    págs. 167-187

    

  • Parallel Scheduling of Recursively Defined Arrays: Revisited

    págs. 189-226