ISSAC 1992: Berkeley, CA, USA

• Michael C. Dewar:
  Using Computer Algebra to Select Numerical Algorithms. 1-8
  
• Victor G. Ganzha, Evgenii V. Vorozhtsov, J. A. van Hulzen:
  A New Symbolic-Numeric Approach to Stability Analysis of Difference Schemes. 9-15
  
• Peter Kirrinnis:
  Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational Functions. 16-26
  
• Grant O. Cook Jr.:
  Code Generation in ALPAL Using Symbolic Techniques. 27-35
  
• Keith O. Geddes, Gregory J. Fee:
  Hybrid Symbolic-Numeric Integration in MAPLE. 36-41
  
• Manuel Bronstein:
  Linear Ordinary Differential Equations: Breaking Through the Order 2 Barrier. 42-48
  
• Fritz Schwarz:
  Reduction and Completion Algorithms for Partial Differential Equations. 49-56
  
• Michael F. Singer, Felix Ulmer:
  Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions. 57-62
  
• Gregory J. Reid, Ian G. Lisle, A. Boulton, Allan D. Wittkopf:
  Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs. 63-68
  
• M. Codutti:
  NODES: Non Linear Ordinary Differential Equations Solver. 69-79
  
• Mark F. Russo:
  A Combined Symbolic/Numeric Approach for the Integration of Stiff Nonlinear Systems of ODE's. 80-88
  
• P. E. Crouch, Robert L. Grossman:
  The Explicit Computation of Integration Algorithms and First Integrals for Ordinary Differential Equations with Polynomial Coefficients Using Trees. 89-94
  
• Honglin Ye, Robert M. Corless:
  Solving Linear Integral Equations in Maple. 95-102
  
• A. Burnel, Hubert Caprasse:
  The Computation of 1-Loop Contributions in Y.M. Theories with Class III Nonrelativistic Gauges and REDUCE. 103-107
  
• Daniel Richardson:
  The Elementary Constant Problem. 108-116
  
• Dima Grigoriev, Marek Karpinski, Andrew M. Odlyzko:
  Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis. 117-122
  
• James H. Davenport:
  Primality Testing Revisited. 123-129
  
• Bruno Salvy, John Shackell:
  Asymptotic Expansions of Functional Inverses. 130-137
  
• Isabelle Gil:
  Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language). 138-145
  
• Jürgen Weiss:
  Homogeneous Decomposition of Polynomials. 146-151
  
• Jaime Gutierrez, Tomás Recio:
  A Practical Implementation of Two Rational Function Decomposition Algorithms. 152-157
  
• Dinesh Manocha, John F. Canny:
  Multipolynomial Resultants and Linear Algebra. 158-167
  
• Paul S. Wang:
  Parallel Univariate p-adic Lifting on Shared-Memory Multiprocessors. 168-176
  
• Hoon Hong:
  Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination. 177-188
  
• George E. Collins, Werner Krandick:
  An Efficient Algorithm for Infallible Polynomial Complex Root Isolation. 189-194
  
• Jeremy R. Johnson:
  Real Algebraic Number Computation Using Interval Arithmetic. 195-205
  
• Renaud Rioboo:
  Real Algebraic Closure of an Ordered Field: Implementation in Axiom. 206-215
  
• Richard J. Fateman:
  Honest Plotting, Global Extrema, and Interval Arithmetic. 216-223
  
• Gene Cooperman, Larry Finkelstein:
  A Fast Cyclic Base Change for Permutation Groups. 224-232
  
• W. Lempken, R. Staszewski:
  The Structure of the PIMs of SL(3, 4) in Characteristic 2. 233-239
  
• Norbert Kuhn, Klaus Madlener, Friedrich Otto:
  Computing Presentations for Subgroups of Context-Free Groups. 240-250
  
• Gregory Butler:
  Experimental Comparison of Algorithms for Sylow Subgroups. 251-262
  
• François Morain:
  Easy Numbers for the Elliptic Curve Primality Proving Algorithm. 263-268
  
• Gilles Villard:
  Parallel Lattice Basis Reduction. 269-277
  
• Cetin Cetinkaya:
  On Stability Analysis of Linear Stochastic and Time-Varying Deterministic Systems. 278-283
  
• Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char:
  An Approach for Floating-Point Error Analysis Using Computer Algebra. 284-293
  
• Christian H. Bischof, Alan Carle, George F. Corliss, Andreas Griewank:
  ADIFOR: Automatic Differentiation in a Source Translator Environment. 294-302
  
• Francesco Marinuzzi, Stefano Soliani:
  LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. 303-311
  
• Jeffrey F. Painter:
  The Matrix Editor for Symbolic Jacobians in ALPAL. 312-319
  
• H. Michael Möller, Teo Mora, Carlo Traverso:
  Gröbner Bases Computation Using Syzygies. 320-328
  
• Volker Weispfenning:
  Finite Gröbner Bases in Non-Noetherian Skew Polynomial Rings. 329-334
  
• Xiao-Shan Gao, Shang-Ching Chou:
  Solving Parametric Algebraic Systems. 335-341
  
• Erich Kaltofen:
  On Computing Determinants of Matrices without Divisions. 342-349
  
• Jarmo Hietarinta:
  Solving the Constant Quantum Yang-Baxter Equation in 2 Dimensions with Massive Use of Factorizing Gröbner Basis Computations. 350-357
  
• Edmund A. Lamagna, Michael B. Hayden, Catherine W. Johnson:
  The Design of a User Interface to a Computer Algebra System for Introductory Calculus. 358-368
  
• Stéphane Dalmas:
  A Polymorphic Functional Language Applied to Symbolic Computation. 369-375
  
• Norbert Kajler:
  CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems. 376-386
  
• Masayuki Noro, Taku Takeshima:
  Risa/Asir - a Computer Algebra System. 387-396
  
• Lars Viklund, Peter Fritzson:
  An Object-Oriented Language for Symbolic Computation - Applied to Machine Element Analysis. 397-405
  

Last update Tue Feb 14 04:06:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page