Journal: Journal of Symbolic Computation

Volume 33, Issue 6

777 -- 829Uwe Waldmann. Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
831 -- 861Uwe Waldmann. Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
863 -- 885J. Rafael Sendra. Normal Parametrizations of Algebraic Plane Curves
887 -- 898Peter Berman. Calculating the Galois Group of Y = = = AY+ + + B, Y = = = AY Completely Reducible

Volume 33, Issue 5

519 -- 0Gilles Villard. Preface
521 -- 543Sergei A. Abramov, Marko Petkovsek. Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms
545 -- 562Jaime Gutierrez, Rosario Rubio, David Sevilla. On Multivariate Rational Function Decomposition
563 -- 585Gene Cooperman, Victor Grinberg. Scalable Parallel Coset Enumeration: Bulk Definition and the Memory Wall
587 -- 608Carlos D Andrea, Ioannis Z. Emiris. Hybrid Sparse Resultant Matrices for Bivariate Polynomials
609 -- 625Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager. Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic
627 -- 646Steven Fortune. An Iterated Eigenvalue Algorithm for Approximating Roots of Univariate Polynomials
647 -- 660Mikhail V. Foursov, Marc Moreno Maza. On Computer-assisted Classification of Coupled Integrable Equations
661 -- 677André Galligo, David Rupprecht. Irreducible Decomposition of Curves
679 -- 699Bernard Mourrain, Olivier Ruatta. Relations Between Roots and Coefficients, Interpolation and Application to System Solving
701 -- 733Victor Y. Pan. Univariate Polynomials: Nearly Optimal Algorithms for Numerical Factorization and Root-finding
735 -- 755Alexandre Sedoglavic. A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time
757 -- 775Emmanuel Thomé. Subquadratic Computation of Vector Generating Polynomials and Improvement of the Block Wiedemann Algorithm

Volume 33, Issue 4

385 -- 392George E. Collins. A Fast Euclidean Algorithm for Gaussian Integers
393 -- 413Ioannis Z. Emiris, Victor Y. Pan. Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices
415 -- 423Farshid Hajir, Christian Maire. Tamely Ramified Towers and Discriminant Bounds for Number Fields-II
425 -- 445Florian Hess. Computing Riemann-Roch Spaces in Algebraic Function Fields and Related Topics
447 -- 465Hoon Hong, Manfred Minimair. Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case
467 -- 478Manfred Minimair. Sparse Resultant of Composed Polynomials II. Unmixed-Mixed Case
479 -- 491Dimitrios Poulakis, Evaggelos Voskos. Solving Genus Zero Diophantine Equations with at Most Two Infinite Valuations
493 -- 505Stefan Ratschan. Quantified Constraints Under Perturbation
507 -- 517Xuan Zhao, Haibao Duan. A Mathematica Program for the Degrees of Certain Schubert Varieties

Volume 33, Issue 3

255 -- 273Murray R. Bremner, Irvin Roy Hentzel. Identities for the Associator in Alternative Algebras
275 -- 305Karin Gatermann, Birkett Huber. A Family of Sparse Polynomial Systems Arising in Chemical Reaction Systems
307 -- 320K. Kalorkoti. Predicting Zero Coefficients in Formal Power Series Computations
321 -- 342Scott McCallum, George E. Collins. Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions
343 -- 355P. P. Boyle, W. Tian, Fred Guan. The Riccati Equation in Mathematical Finance
357 -- 366Noel G. Lloyd, Jane M. Pearson. Symmetry in Planar Dynamical Systems
367 -- 383Thomas Wolf. Size Reduction and Partial Decoupling of Systems of Equations

Volume 33, Issue 2

129 -- 143Bettina Eick, Charles R. B. Wright. Computing Subgroups by Exhibition in Finite Solvable Groups
145 -- 162Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc. Computing Transformation Semigroups
163 -- 181Jonas Månsson, Patrik Nordbeck. Regular Gröbner Bases
183 -- 208Antonio Montes. A New Algorithm for Discussing Gröbner Bases with Parameters
209 -- 220David Andrew Smith. Gröbner Bases in Orders of Algebraic Number Fields
221 -- 238Amelia Taylor. The Inverse Gröbner Basis Problem in Codimension Two
239 -- 254Shih Ping Tung. Approximate Solutions of Polynomial Equations

Volume 33, Issue 1

1 -- 12Christian Bauer, Alexander Frink, Richard Kreckel. Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
13 -- 29Eng-Wee Chionh, Ming Zhang, Ronald N. Goldman. Fast Computation of the Bezout and Dixon Resultant Matrices
31 -- 41Willem A. de Graaf, Werner Nickel. Constructing Faithful Representations of Finitely-generated Torsion-free Nilpotent Groups
43 -- 55Ralf Hemmecke. Continuously Parameterized Symmetries and Buchberger s Algorithm
57 -- 65Frank Lübeck. On the Computation of Elementary Divisors of Integer Matrices
67 -- 76Patrik Nordbeck. SAGBI Bases Under Composition
77 -- 122Manfred Schmidt-Schauß, Klaus U. Schulz. Solvability of Context Equations with Two Context Variables is Decidable
123 -- 127Joris van der Hoeven. FFT-like Multiplication of Linear Differential Operators