Journal of symbolic computation

• 

  Año 2002, Vol. 33, Número 1

  • Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

    Christian Bauer, Alexander Frink, Richard Kreckel

    págs. 1-12

    

  • Fast Computation of the Bezout and Dixon Resultant Matrices

    Ronald N. Goldman, Ming Zhang, Eng-Wee Chionh

    págs. 13-29

    

  • Constructing Faithful Representations of Finitely-generated Torsion-free Nilpotent Groups

    Willem A. de Graaf, Werner Nickel

    págs. 31-41

    

  • Continuously Parameterized Symmetries and Buchberger’s Algorithm

    Ralf Hemmecke

    págs. 43-55

    

  • On the Computation of Elementary Divisors of Integer Matrices

    Frank Lübeck

    págs. 57-65

    

  • SAGBI Bases Under Composition

    Patrik Nordbeck

    págs. 67-76

    

  • Solvability of Context Equations with Two Context Variables is Decidable

    Klaus U. Schulz, Manfred Schmidt Schauss

    págs. 77-122

    

  • FFT-like Multiplication of Linear Differential Operators

    Joris van der Hoeven

    págs. 123-127