External Links

    Journal: Journal of Symbolic Computation

    Volume 34, Issue 6

    479 -- 542Joris van der Hoeven. Relax, but Don t be Too Lazy
    543 -- 560Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din. Real Solving for Positive Dimensional Systems
    561 -- 596Markus Püschel. Decomposing Monomial Representations of Solvable Groups
    597 -- 608Werner M. Seiler. Taylor and Lyubeznik Resolutions via Gröbner Bases

    Volume 34, Issue 5

    307 -- 327R. James Shank, David L. Wehlau. Computing Modular Invariants of p-groups
    329 -- 353Akalu Tefera. MultInt, a MAPLE Package for Multiple Integration by the WZ Method
    355 -- 398Olivier Cormier, Michael F. Singer, Barry M. Trager, Felix Ulmer. Linear Differential Operators for Polynomial Equations
    399 -- 435Edward Mosteig, Moss Sweedler. Valuations and Filtrations
    437 -- 449Clemens Heuberger, Attila Pethö, Robert F. Tichy. Thomas Family of Thue Equations Over Imaginary Quadratic Fields
    451 -- 459Chris Monico. Computing the Primary Decomposition of Zero-dimensional Ideals
    461 -- 477Bican Xia, Lu Yang. An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

    Volume 34, Issue 4

    239 -- 0Steve Linton, Roberto Sebastiani. Editorial: The Integration of Automated Reasoning and Computer Algebra Systems
    241 -- 258Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat. Incorporating Decision Procedures in Implicit Induction
    259 -- 270James H. Davenport. Equality in Computer Algebra and Beyond
    271 -- 286Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg. A Constructive Algebraic Hierarchy in Coq
    287 -- 306Andreas Meier, Martin Pollet, Volker Sorge. Comparing Approaches to the Exploration of the Domain of Residue Classes

    Volume 34, Issue 3

    157 -- 172Mark Giesbrecht, Arne Storjohann. Computing Rational Forms of Integer Matrices
    173 -- 180Masanari Kida. Potential Good Reduction of Elliptic Curves
    181 -- 198Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt. Involutive Bases in the Weyl Algebra
    199 -- 212Bernd Martin. Algorithmic Computation of Flattenings and of Modular Deformations
    213 -- 228Volker Gebhardt. Efficient Collection in Infinite Polycyclic Groups
    229 -- 238Gregor Kemper. The Calculation of Radical Ideals in Positive Characteristic

    Volume 34, Issue 2

    91 -- 103S. Kaplan, Mina Teicher. Identifying Half-Twists Using Randomized Algorithm Methods
    105 -- 117Driss Bouziane, M hammed El Kahoui. Computation of the Dual of a Plane Projective Curve
    119 -- 135Alicia Dickenstein, Bernd Sturmfels. Elimination Theory in Codimension 2
    137 -- 144István Gaál. On the Resolution of Resultant Type Equations
    145 -- 157George E. Collins, Jeremy R. Johnson, Werner Krandick. Interval Arithmetic in Cylindrical Algebraic Decomposition

    Volume 34, Issue 1

    1 -- 19Bettina Eick. Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups
    21 -- 58Jürgen Giesl, Thomas Arts, Enno Ohlebusch. Modular Termination Proofs for Rewriting Using Dependency Pairs
    59 -- 81Gema M. Diaz-Toca, Laureano González-Vega. Barnett s Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices
    83 -- 89Huah Chu, Ming-chang Kang. Quartic Fields and Radical Extensions
    runs on