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