External Links

    Journal: Journal of Symbolic Computation

    Volume 5, Issue 3

    275 -- 283Gregory Butler. A Proof of Holt s Algorithm
    285 -- 294Stephen P. Glasby. Constructing Normalisers in Finite Soluble Groups
    295 -- 301Stephen P. Glasby. Intersecting Subgroups of Finite Soluble Groups
    303 -- 320Hidetsune Kobayashi, Tetsuro Fujise, Akio Furukawa. Solving Systems of Algebraic Equations by a General Elimination Method
    321 -- 337Shojiro Sakata. Finding a Minimal Set of Linear Recurring Relations Capable of Generating a Given Finite Two-Dimensional Array
    339 -- 358Klaus Madlener, Friedrich Otto. Pseudo-Natural Algorithms for Finitely Generated Presentations of Monoids and Groups
    359 -- 375Grigori Mints, Enn Tyugu. The Programming System PRIZ
    377 -- 384Martin L. Sage. An Algebraic Treatment of Quantum Vibrations Using REDUCE
    385 -- 389C. P. Mawata. Solving the Heat Equation Symbolically with MuSimp

    Volume 5, Issue 1/2

    3 -- 27Volker Weispfenning. The Complexity of Linear Problems in Fields
    29 -- 35James H. Davenport, Joos Heintz. Real Quantifier Elimination is Doubly Exponential
    37 -- 64Dima Grigoriev, Nicolai Vorobjov. Solving Systems of Polynomial Inequalities in Subexponential Time
    65 -- 108Dima Grigoriev. Complexity of Deciding Tarski Algebra
    109 -- 119Jean-Jacques Risler. Some Aspects of Complexity in Real Algebraic Geometry
    121 -- 129Michel Coste, Marie-Françoise Roy. Thom s Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets
    131 -- 140Stefan Arnborg, Huichun Feng. Algebraic Decomposition of Regular Curves
    141 -- 161Scott McCallum. An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space
    163 -- 187Dennis S. Arnon, George E. Collins, Scott McCallum. An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space
    189 -- 212Dennis S. Arnon. A Cluster-Based Cylindrical Algebraic Decomposition Algorithm
    213 -- 236Dennis S. Arnon, Scott McCallum. A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve
    237 -- 259Dennis S. Arnon, Maurice Mignotte. On Mechanical Quantifier Elimination for Elementary Algebra and Geometry
    261 -- 266Daniel Lazard. Quantifier Elimination: Optimal Solution for Two Classical Examples
    267 -- 274Dennis S. Arnon. A Bibliography of Quantifier Elimination for Real Closed Fields
    runs on