Journal: Journal of Symbolic Computation

Volume 29, Issue 6

841 -- 877Manuel Bronstein. On Solutions of Linear Ordinary Difference Equations in their Coefficient Field
879 -- 889Shuhong Gao, Joachim von zur Gathen, Daniel Panario, Victor Shoup. Algorithms for Exponentiation in Finite Fields
891 -- 919Erich Kaltofen. Challenges of Symbolic Computation: My Favorite Open Problems
921 -- 957Ursula Martin, Duncan Shand. Invariants, Patterns and Weights for Ordering Terms
959 -- 970Stefan Maubach. An Algorithm to Compute the Kernel of a Derivation up to a Certain Degree
971 -- 983Petru Pau, Josef Schicho. Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition

Volume 29, Issue 4-5

483 -- 0Eduardo Cattani, Reinhard C. Laubenbacher. Special Issue on Symbolic Computation in Algebra, Analysis, and Geometry - Foreword of the Guest Editors
485 -- 514Irina Berchenko, Peter J. Olver. Symmetries of Polynomials
515 -- 526Laurent Busé, Mohamed Elkadi, Bernard Mourrain. Generalized Resultants over Unirational Algebraic Varieties
527 -- 544Marc Chardin. Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry
545 -- 582Wolfram Decker, Frank-Olaf Schreyer. Non-general Type Surfaces in P4: Some Remarks on Bounds and Constructions
583 -- 600David Eisenbud, Mircea Mustala, Michael Stillman. Cohomology on Toric Varieties and Local Cohomology with Monomial Supports
601 -- 623Edward L. Green. Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases
625 -- 639Serkan Hosten, Jay Shapiro. Primary Decomposition of Lattice Basis Ideals
641 -- 662Evelyne Hubert. Factorization-free Decomposition Algorithms in Differential Algebra
663 -- 689Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din. New Structure Theorem for Subresultants
691 -- 708Ezra Miller, Bernd Sturmfels, Kohji Yanagawa. Generic and Cogeneric Monomial Ideals
709 -- 720Mircea Mustala. Local Cohomology at Monomial Ideals
721 -- 728Toshinori Oaku, Nobuki Takayama, Uli Walther. A Localization Algorithm for D-modules
729 -- 746Gregory G. Smith. Computing Global Extension Modules
747 -- 775Harrison Tsai. Weyl Closure of a Linear Differential Operator
777 -- 793Jan Verschelde. Toric Newton Method for Polynomial Homotopies
795 -- 839Uli Walther. Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties

Volume 29, Issue 3

393 -- 418Guoting Chen, Jean Della Dora. An Algorithm for Computing a New Normal Form for Dynamical Systems
419 -- 440David A. Cox, Ronald N. Goldman, Ming Zhang. On the Validity of Implicitization by Moving Quadrics for Rational Surfaces with No Base Points
441 -- 458Wayne Eberly, Mark Giesbrecht. Efficient Decomposition of Associative Algebras over Finite Fields
459 -- 470Graziano Gentili, Michael A. O Connor. On Rational Geometry of Conic Sections
471 -- 480Adam Strzeboski. Solving Systems of Strict Polynomial Inequalities

Volume 29, Issue 2

119 -- 147Chandrabose Aravindan, Peter Baumgartner. Theorem Proving Techniques for View Deletion in Databases
149 -- 177Matthias Baaz, Alexander Leitsch. Cut-elimination and Redundancy-elimination by Resolution
177 -- 211Ricardo Caferra, Nicolas Peltier. Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models
213 -- 257Reinhard Pichler. Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria
259 -- 297Andrea Formisano, Eugenio G. Omodeo, Marco Temperini. Goals and Benchmarks for Automated Map Reasoning
299 -- 341Marc Fuchs. Controlled Use of Clausal Lemmas in Connection Tableau Calculi
343 -- 372Pedro J. Martín, Antonio Gavilanes, Javier Leach. Tableau Methods for a Logic with Term Declarations
373 -- 392Uwe Petermann. Connection Calculus Theorem Proving with Multiple Built-in Theories

Volume 29, Issue 1

1 -- 0B. F. Caviness. Editorial
3 -- 4Hoon Hong. Editorial
5 -- 31Ronald Brown, Anne Heyworth. Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories
33 -- 57Sergey Bratus, Igor Pak. Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach s Conjecture
59 -- 77Sarah Rees, Leonard H. Soicher. An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes
79 -- 82David A. Wolfram. A Formula for the General Solution of a Constant-coefficient Difference Equation
83 -- 94Vincent Prosper. SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple
95 -- 116John Carminati, Khai Vu. Symbolic Computation and Differential Equations: Lie Symmetries