External Links

    Journal: Journal of Symbolic Computation

    Volume 35, Issue 6

    637 -- 649Maurice Mignotte, Doru Stefanescu. Linear recurrent sequences and polynomial roots
    651 -- 672Marc Rybowicz. On the normalization of numbers and functions defined by radicals
    673 -- 687Aurora Olivieri, Ángel del Río. An algorithm to compute the primitive central idempotents and the Wedderburn decomposition of a rational group algebra
    689 -- 710Alain Lascoux, Piotr Pragacz. Double Sylvester sums for subresultants and multi-Schur functions

    Volume 35, Issue 5

    463 -- 464Wolfram Koepf, Karin Gatermann. Preface to Computer algebra and computer analysis
    465 -- 485Amparo Gil, Javier Segura. A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions
    487 -- 498François Lemaire. An orderly linear PDE system with analytic initial conditions with a non-analytic solution
    499 -- 526Thomas Wolf. The integration of systems of linear PDEs using conservation laws of syzygies
    527 -- 542Uli Walther. Cohomology, stratifications and parametric Gröbner bases in characteristic zero
    543 -- 575Karin Gatermann. Applications of SAGBI-bases in dynamics
    577 -- 589Abdul Salam Jarrah, Reinhard C. Laubenbacher, Valery Romanovski. The Sibirsky component of the center variety of polynomial differential systems
    591 -- 615Pei Yu, Yuan Yuan. A matching pursuit technique for computing the simplest normal forms of vector fields
    617 -- 636A. Jacquemard, Marcio Teixeira. Computer analysis of periodic orbits of discontinuous vector fields

    Volume 35, Issue 4

    377 -- 401Thom Mulders, Arne Storjohann. On lattice reduction for polynomial matrices
    403 -- 419Elizabeth A. Arnold. Modular algorithms for computing Gröbner bases
    421 -- 439Colva M. Roney-Dougal, William R. Unger. The affine primitive permutation groups of degree less than 1000
    441 -- 449Thomas Bayer. An algorithm for computing invariants of linear actions of algebraic groups up to a given degree
    451 -- 461John B. Little, David Ortiz, Ricardo Ortiz-Rosado, Rebecca Pablo, Karen Ríos-Soto. Some remarks on Fitzpatrick and Flynn s Gröbner basis technique for Padé approximation

    Volume 35, Issue 3

    241 -- 267John J. Cannon, Derek F. Holt. Automorphism group computation and isomorphism testing in finite groups
    269 -- 279Rosemary Baines, Peter Vámos. An algorithm to compute the set of characteristics of a system of polynomial equations over the integers
    281 -- 292M hammed El Kahoui. An elementary approach to subresultants theory
    293 -- 303Bao-Yin Zhang. A new elementary algorithm for proving q-hypergeometric identities
    305 -- 347Wolfgang Schreiner, Christian Mittermaier, Karoly Bosa. Distributed Maple: parallel computer algebra in networked environments
    349 -- 376Axel Riese. qMultiSum--a package for proving q-hypergeometric multiple summation identities

    Volume 35, Issue 2

    73 -- 106Miroslav N. Velev, Randal E. Bryant. Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors
    107 -- 126M. R. Bush, M. Leeming, Robert F. C. Walters. Computing left Kan extensions
    127 -- 135Michael W. Fleming, Ryan Gunther, Robert D. Rosebrugh. A database of categories
    137 -- 151Susan B. Niefield. Implementing finite structures in Mathematica via a skeletal topos of finite sets
    153 -- 168Liu Jinwang, Zhuojun Liu, Wang Mingsheng. The term orderings which are compatible with composition II
    169 -- 175Serge Burckel. A result on braids via the investigation of a rewriting system
    177 -- 194Teo Mora, Massimiliano Sala. On the Gröbner bases of some symmetric systems and their application to coding theory
    195 -- 239Peter A. Brooksbank. Constructive recognition of classical groups in their natural representation

    Volume 35, Issue 1

    3 -- 19Paolo Aluffi. Computing characteristic classes of projective schemes
    21 -- 58Hans de Nivelle, Maarten de Rijke. Deciding the guarded fragments by resolution
    59 -- 72Ronald Brown, Christopher D. Wensley. Computation and homotopical applications of induced crossed modules
    runs on