External Links

    Journal: Journal of Symbolic Computation

    Volume 27, Issue 6

    521 -- 534Edlyn Teske. The Pohlig-Hellman Method Generalized for Group Structure Computation
    535 -- 541Ronald de Man. The Generating Function for the Number of Roots of a Coxeter Group
    543 -- 563Bruno Salvy, John Shackell. Symbolic Asymptotics: Multiseries of Inverse Functions
    565 -- 579Nicolai Vorobjov. Complexity of Computing the Local Dimension of a Semialgebraic Set
    581 -- 600David John Broadhurst, D. Kreimer. Renormalization Automated by Hopf Algebra

    Volume 27, Issue 5

    435 -- 477Karel Stokkermans. A Categorical Critical-pair Completion Algorithm
    479 -- 499Jiang Qian Ying, Li Xu, Zhiping Lin. A Computational Method for Determining Strong Stabilizability of n-D Systems
    501 -- 519E. S. Cheb-Terrab, A. D. Roche. Integrating Factors for Second-order ODEs

    Volume 27, Issue 4

    351 -- 365Anna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano. Computing Toric Ideals
    367 -- 385Scott McCallum. Factors of Iterated Resultants and Discriminants
    387 -- 404Hans Ulrich Besche, Bettina Eick. Construction of Finite Groups
    405 -- 413Hans Ulrich Besche, Bettina Eick. The Groups of Order at Most 1000 Except 512 and 768
    415 -- 427Alexander Hulpke. Computing Subgroups Invariant Under a Set of Automorphisms
    429 -- 433Eric Bach. Sheaf Cohomology is #P-hard

    Volume 27, Issue 3

    239 -- 259P. A. Hendricks, Michael F. Singer. Solving Difference Equations in Finite Terms
    261 -- 269Jürgen Klüners. On Polynomial Decompositions
    271 -- 310Jürgen Avenhaus, Klaus Becker. A Framework for Operational Equational Specifications with Pre-defined Structures
    311 -- 324Fokko du Cloux. A Transducer Approach to Coxeter Groups
    325 -- 349Graham H. Norton. On Shortest Linear Recurrences

    Volume 27, Issue 2

    133 -- 141Susan M. Hermiller, X. H. Kramer, Reinhard C. Laubenbacher. Monomial Orderings, Rewriting Systems, and Gröbner Bases for the Commutator Ideal of a Free Algebra
    143 -- 170Jörn Müller-Quade, Rainer Steinwandt. Basic Algorithms for Rational Function Fields
    171 -- 184Gregor Kemper. An Algorithm to Calculate Optimal Homogeneous Systems of Parameters
    185 -- 206Marco Bellia, M. Eugenia Occhiuto. Lazy Linear Combinatorial Unification
    207 -- 219Piotr Krysta, Leszek Pacholski. The STO problem is NP-complete
    221 -- 238Thomas Wolf, A. Brand, M. Mohammadzadeh. Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions

    Volume 27, Issue 1

    1 -- 19Derek F. Holt, D. F. Hurt. Computing Automatic Coset Systems and Subgroup Presentations
    21 -- 29Felipe Cucker, Pascal Koiran, Steve Smale. A Polynomial Time Algorithm for Diophantine Equations in One Variable
    31 -- 47William W. Adams, Serkan Hosten, Philippe Loustaunau, J. Lyn Miller. SAGBI and SAGBI-Gröbner Bases over Principal Ideal Domains
    49 -- 131R. C. Churchill, M. Kummer. A Unified Approach to Linear and Nonlinear Normal Forms for Hamiltonian Systems
    runs on