Abstract is missing.
- Using Computer Algebra to Select Numerical AlgorithmsMichael C. Dewar. 1-8 [doi]
- A New Symbolic-Numeric Approach to Stability Analysis of Difference SchemesVictor G. Ganzha, Evgenii V. Vorozhtsov, J. A. van Hulzen. 9-15 [doi]
- Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational FunctionsPeter Kirrinnis. 16-26 [doi]
- Code Generation in ALPAL Using Symbolic TechniquesGrant O. Cook Jr.. 27-35 [doi]
- Hybrid Symbolic-Numeric Integration in MAPLEKeith O. Geddes, Gregory J. Fee. 36-41 [doi]
- Linear Ordinary Differential Equations: Breaking Through the Order 2 BarrierManuel Bronstein. 42-48 [doi]
- Reduction and Completion Algorithms for Partial Differential EquationsFritz Schwarz. 49-56 [doi]
- Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary ConditionsMichael F. Singer, Felix Ulmer. 57-62 [doi]
- Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEsGregory J. Reid, Ian G. Lisle, A. Boulton, Allan D. Wittkopf. 63-68 [doi]
- NODES: Non Linear Ordinary Differential Equations SolverM. Codutti. 69-79 [doi]
- A Combined Symbolic/Numeric Approach for the Integration of Stiff Nonlinear Systems of ODE sMark F. Russo. 80-88 [doi]
- The Explicit Computation of Integration Algorithms and First Integrals for Ordinary Differential Equations with Polynomial Coefficients Using TreesP. E. Crouch, Robert L. Grossman. 89-94 [doi]
- Solving Linear Integral Equations in MapleHonglin Ye, Robert M. Corless. 95-102 [doi]
- The Computation of 1-Loop Contributions in Y.M. Theories with Class III Nonrelativistic Gauges and REDUCEA. Burnel, Hubert Caprasse. 103-107 [doi]
- The Elementary Constant ProblemDaniel Richardson. 108-116 [doi]
- Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann HypothesisDima Grigoriev, Marek Karpinski, Andrew M. Odlyzko. 117-122 [doi]
- Primality Testing RevisitedJames H. Davenport. 123-129 [doi]
- Asymptotic Expansions of Functional InversesBruno Salvy, John Shackell. 130-137 [doi]
- Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language)Isabelle Gil. 138-145 [doi]
- A Practical Implementation of Two Rational Function Decomposition AlgorithmsJaime Gutierrez, Tomás Recio. 152-157 [doi]
- Multipolynomial Resultants and Linear AlgebraDinesh Manocha, John F. Canny. 158-167 [doi]
- Parallel Univariate ::::p::::-adic Lifting on Shared-Memory MultiprocessorsPaul S. Wang. 168-176 [doi]
- Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier EliminationHoon Hong. 177-188 [doi]
- An Efficient Algorithm for Infallible Polynomial Complex Root IsolationGeorge E. Collins, Werner Krandick. 189-194 [doi]
- Real Algebraic Number Computation Using Interval ArithmeticJeremy R. Johnson. 195-205 [doi]
- Honest Plotting, Global Extrema, and Interval ArithmeticRichard J. Fateman. 216-223 [doi]
- A Fast Cyclic Base Change for Permutation GroupsGene Cooperman, Larry Finkelstein. 224-232 [doi]
- The Structure of the PIMs of SL(3, 4) in Characteristic 2W. Lempken, R. Staszewski. 233-239 [doi]
- Computing Presentations for Subgroups of Context-Free GroupsNorbert Kuhn, Klaus Madlener, Friedrich Otto. 240-250 [doi]
- Experimental Comparison of Algorithms for Sylow SubgroupsGregory Butler. 251-262 [doi]
- Parallel Lattice Basis ReductionGilles Villard. 269-277 [doi]
- An Approach for Floating-Point Error Analysis Using Computer AlgebraMark P. W. Mutrie, Richard H. Bartels, Bruce W. Char. 284-293 [doi]
- ADIFOR: Automatic Differentiation in a Source Translator EnvironmentChristian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank. 294-302 [doi]
- LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive TechniquesFrancesco Marinuzzi, Stefano Soliani. 303-311 [doi]
- The Matrix Editor for Symbolic Jacobians in ALPALJeffrey F. Painter. 312-319 [doi]
- Gröbner Bases Computation Using SyzygiesH. Michael Möller, Teo Mora, Carlo Traverso. 320-328 [doi]
- Finite Gröbner Bases in Non-Noetherian Skew Polynomial RingsVolker Weispfenning. 329-334 [doi]
- Solving Parametric Algebraic SystemsXiao-Shan Gao, Shang-Ching Chou. 335-341 [doi]
- On Computing Determinants of Matrices without DivisionsErich Kaltofen. 342-349 [doi]
- Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing Gröbner Basis ComputationsJarmo Hietarinta. 350-357 [doi]
- The Design of a User Interface to a Computer Algebra System for Introductory CalculusEdmund A. Lamagna, Michael B. Hayden, Catherine W. Johnson. 358-368 [doi]
- A Polymorphic Functional Language Applied to Symbolic ComputationStéphane Dalmas. 369-375 [doi]
- CAS/PI: A Portable and Extensible Interface for Computer Algebra SystemsNorbert Kajler. 376-386 [doi]
- Risa/Asir - a Computer Algebra SystemMasayuki Noro, Taku Takeshima. 387-396 [doi]
- An Object-Oriented Language for Symbolic Computation - Applied to Machine Element AnalysisLars Viklund, Peter Fritzson. 397-405 [doi]