Journal: Journal of Symbolic Computation

Volume 31, Issue 6

631 -- 649Driss Bouziane, Abdelilah Kandri-Rody, Hamid Maarouf. Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal
651 -- 669Eng-Wee Chionh. Rectangular Corner Cutting and Dixon A-resultants
671 -- 690K. Kalorkoti. Detecting Algebraic Curves in Bad Position
691 -- 716Ziming Li, Fritz Schwarz. Rational Solutions of Riccati-like Partial Differential Equations
717 -- 743Joris van der Hoeven. Fast Evaluation of Holonomic Functions Near and in Regular Singularities
745 -- 751David Bebbington, Manfred Göbel. KLEIN: a MATHEMATICA Package for Radar Polarimetry Based on Spinor and Tensor Algebra

Volume 31, Issue 5

487 -- 520Abdelwaheb Ayari, David A. Basin. A Higher-order Interpretation of Deductive Tableau
521 -- 547Christopher W. Brown. Simple CAD Construction and its Applications
549 -- 555Sharon Brueggeman. Septic Number Fields Which are Ramified Only at One Small Prime
557 -- 564Serge Burckel. Syntactical Methods for Braids of Three Strands
565 -- 584Eimear Byrne, Patrick Fitzpatrick. Gröbner Bases over Galois Rings with an Application to Decoding Alternant Codes
585 -- 602Carlos D Andrea. Resultants and Moving Surfaces
603 -- 617Tony Shaska. Curves of Genus 2 with (N, N) Decomposable Jacobians
619 -- 629Jianmin Zheng, Thomas W. Sederberg. A Direct Approach to Computing the µ-basis of Planar Rational Curves

Volume 31, Issue 4

357 -- 365Franck Aries, Rachid Senoussi. An Implicitization Algorithm for Rational Surfaces with no Base Points
367 -- 408Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam. Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD
409 -- 427Christoph M. Hoffmann, Andrew Lomonosov, Meera Sitharam. Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms
429 -- 445R. B. Howlett, L. J. Rylands, D. E. Taylor. Matrix Generators for Exceptional Groups of Lie Type
447 -- 460Thom Mulders. A Generalized Sylvester Identity and Fraction-free Random Gaussian Elimination
461 -- 473Raya Khanin, Matthew P. Cartmell. Parallelization of Perturbation Analysis: Application to Large-scale Engineering Problems
475 -- 486Jean-Pierre Merlet. A Parser for the Interval Evaluation of Analytical Functions and its Application to Engineering Problems

Volume 31, Issue 3

277 -- 305Franz Baader, Paliath Narendran. Unification of Concept Terms in Description Logics
307 -- 313K. Kalorkoti. Counting and Gröbner Bases
315 -- 341Thomas Lickteig, Marie-Françoise Roy. Sylvester-Habicht Sequences and Fast Cauchy Index Computation
343 -- 356Ferruccio Orecchia. Implicitization of a General Union of Parametric Varieties

Volume 31, Issue 1/2

1 -- 0Wieb Bosma. Special Issue on Computational Algebra and Number Theory: Proceedings of the Second Magma Conference - Foreword of the Guest Editor
3 -- 17Joachim von zur Gathen, Daniel Panario. Factoring Polynomials Over Finite Fields: A Survey
19 -- 36Shuhong Gao. On the Deterministic Complexity of Factoring Polynomials
37 -- 53Jennifer D. Key. Some Applications of Magma in Designs and Codes: Oval Designs, Hermitian Unitals and Generalized Reed-Muller Codes
55 -- 70Gary L. Ebert. Constructions in Finite Geometry Using Computer Algebra Systems
71 -- 87John Cremona. Classical Invariants and 2-descent on Elliptic Curves
89 -- 96Joe Buhler, Richard E. Crandall, Reijo Ernvall, Tauno Metsänkylä, Mohammad Amin Shokrollahi. Irregular Primes and Cyclotomic Invariants to 12 Million
97 -- 112Wieb Bosma, Bart de Smit. Class Number Relations from a Computational Point of View
113 -- 131Mario Daberkow. On Computations in Kummer Extensions
133 -- 147Henri Cohen, Francisco Diaz y Diaz, Michel Olivier. Algorithmic Methods for Finitely Generated Abelian Groups
149 -- 161John J. Cannon, Bruce C. Cox, Derek F. Holt. Computing the Subgroups of a Permutation Group
163 -- 178Klaus Lux, Markus Wiegelmann. Determination of Socle Series using the Condensation Method
179 -- 192Michael C. Slattery. Computing Double Cosets in Soluble Groups
193 -- 201Simon Norton. Computing in the Monster
203 -- 209Holger W. Gollan. A New Existence Proof for Ly, the Sporadic Simple Group of R. Lyons
211 -- 227Robert L. Griess Jr., A. J. E. Ryba. Embeddings of PSL(2, 41) and PSL(2, 49) in E::8::(C)
229 -- 242Jon F. Carlson. Calculating Group Cohomology: Tests for Completion
243 -- 257Alain Sausse. A New Approach to Primary Decomposition
259 -- 276Ulla Koppenhagen, Ernst W. Mayr. An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals, and Applications to Commutative Semigroups