External Links

    Journal: Journal of Symbolic Computation

    Volume 17, Issue 6

    473 -- 486Jeffrey Shallit, Jonathan Sorenson. Analysis of a Left-Shift Binary GCD Algorithm
    487 -- 511Patrick A. Worfolk. Zeros of Equivariant Vector Fields: Algorithms for an Invariant Approach
    513 -- 528Gene Cooperman, Larry Finkelstein. A Random Base Change Algorithm for Permutation Groups
    529 -- 544Klaus Lux, Jürgen Müller, Michael Ringe. Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe
    545 -- 563Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima. Multi-Modular Approach to Polynomial-Time Factorization of Bivariate Integral Polynomials

    Volume 17, Issue 5

    371 -- 391Victor Shoup. Fast Construction of Irreducible Polynomials over Finite Fields
    393 -- 408Kim S. Larsen, Michael I. Schwartzbach. Injectivity of Composite Functions
    409 -- 420Andrea Lucchini, Federico Menegazzo. Computing a Set of Generators of Minimal Cardinality in a Solvable Group
    421 -- 455Rolf Backofen. Regular Path Expressions in Feature Logic
    457 -- 472Delma J. Hebert. Symbolic Local Refinement of Tetrahedral Grids

    Volume 17, Issue 4

    297 -- 310Jürg Nievergelt. Complexity, Algorithms, Programs, Systems: The Shifting Focus
    311 -- 320Peter Schorn. Evolution of a Software System: Interaction, Interfaces and Applications in the XYZ GeoBench
    321 -- 340Gerald Weber, Lars Knipping, Helmut Alt. An Application of Point Pattern Matching in Astronautics
    341 -- 350Darrell R. Raymond, Derick Wood. Grail: A C++ Library for Automata and Expressions
    351 -- 369Emo Welzl, Barbara Wolfers. Surface Reconstruction Between Simple Polygons via Angle Criteria

    Volume 17, Issue 3

    215 -- 225Thomas Eiter. Exact Transversal Hypergraphs and Application to Boolean µ-Functions
    227 -- 236Bruno Salvy. Fast Computation of Some Asymptotic Functional Inverses
    237 -- 258Richard A. Davies. Idempotent Computation over Finite Fields
    259 -- 276Michel Dehon. Classifying Geometries with Cayley
    277 -- 282Maurice Mignotte, Philippe H. Glesser. On the Smallest Divisor of a Polynomial
    283 -- 294V. P. Gusynin, Vladimir V. Kornyak. Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds

    Volume 17, Issue 2

    133 -- 147E. A. O Brien. Isomorphism Testing for p-Groups
    149 -- 157Ralf Fröberg, Joachim Hollman. Hilbert Series for Ideals Generated by Generic Forms
    159 -- 179Ronald Brown, Andrew Tonks. Calculations with Simplicial and Cubical Groups in AXIOM
    181 -- 187Alex Kean, George K. Tsiknis. A Corrigendum for the Optimized-IPIA
    189 -- 211Hantao Zhang. A New Method for the Boolean Ring Based Theorem Proving

    Volume 17, Issue 1

    3 -- 21Aart Middeldorp. Completeness of Combinations of Conditional Constructor Systems
    23 -- 50Hans Zantema. Termination of Term Rewriting: Interpretation and Type Elimination
    51 -- 90Claus-Peter Wirth, Bernhard Gramlich. A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications
    91 -- 129Dieter Hofbauer, Maria Huber. Linearizing Term Rewriting Systems Using Test Sets
    runs on