ISSAC 1997: Maui, Hawaii, USA
- Bruce W. Char, Paul S. Wang, Wolfgang Küchlin:
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4
Algorithms I
Algorithms & Complexity I
- Xin Gui Fang, George Havas:
On the Worst-case Complexity of Integer Gaussian Elimination. ISSAC 1997: 28-31 - Gilles Villard:
Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse Linear Systems (Extended Abstract). ISSAC 1997: 32-39 - Joachim von zur Gathen, Jürgen Gerhard:
Fast Algorithms for Taylor Shifts and Certain Difference Equations. ISSAC 1997: 40-47 - Volker Weispfenning:
Complexity and Uniformity of Elimination in Presburger Arithmetic. ISSAC 1997: 48-53
Applications I
- Andrej A. Zolotykh:
Tensor Product Decomposition and Other Algorithms for Representations of Large Simple Lie Algebras. ISSAC 1997: 60-67 - Alexander L. Chistov, Gábor Ivanyos, Marek Karpinski:
Polynomial Time Algorithms for Modules over Finite Dimensional Algebras. ISSAC 1997: 68-74
Polynomial Algorithms I
- John McKay, Richard Stauduhar:
Finding Relations Among the Roots of an Irreducible Polynomial. ISSAC 1997: 75-77 - Antoine Colin:
Relative Resolvents and Partition Tables in Galois Group Computations. ISSAC 1997: 78-84
Algorithms II
- Masoud Kavian, R. G. McLenaghan, Keith O. Geddes:
Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. ISSAC 1997: 93-100 - Sebastian Egner, Markus Püschel, Thomas Beth:
Decomposing a Permutation into a Conjugated Tensor Product. ISSAC 1997: 101-108
Systems of Equations
- Hans J. Stetter:
Stabilization of Polynomial Systems Solving with Groebner Bases. ISSAC 1997: 117-124 - Bernhard Beckermann, Stanley Cabay, George Labahn:
Fraction-free Computation of Catrix Padé Systems. ISSAC 1997: 125-132 - Robert M. Corless, Patrizia M. Gianni, Barry M. Trager:
A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. ISSAC 1997: 133-140 - Deepak Kapur, Tushar Saxena:
Extraneous Factors in the Dixon Resultant Formulation. ISSAC 1997: 141-148
Differential Equations I
- Jason Abate, Christian H. Bischof, Lucas Roh, Alan Carle:
Algorithms and Design for a Second-Order Automatic Differentiation Module. ISSAC 1997: 149-155 - Manuel Bronstein, Thom Mulders, Jacques-Arthur Weil:
On Symmetric Powers of Differential Operators. ISSAC 1997: 156-163 - Eckhard Pflügel:
An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems. ISSAC 1997: 164-171 - Sergei A. Abramov, Mark van Hoeij:
A Method for the Integration of Solutions of Ore Equations. ISSAC 1997: 172-175
Algorithms & Complexity II
- Erich Kaltofen, Victor Shoup:
Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields. ISSAC 1997: 184-188
Applications II
- Robert M. Corless, David J. Jeffrey, Donald E. Knuth:
A Sequence of Series for the Lambert W Function. ISSAC 1997: 197-204
Polynomial Algorithms II
- André Galligo, Stephen M. Watt:
A Numerical Absolute Primality Test for Bivariate Polynomials. ISSAC 1997: 217-224 - Jeremy R. Johnson, Werner Krandick:
Polynomial Real Root Isolation using Approximate Arithmetic. ISSAC 1997: 225-232
Systems I
- Michael B. Monagan, Gladys Monagan:
A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision. ISSAC 1997: 257-264
Polynomial Algorithms III
- Mark J. Encarnación:
Factoring Polynomials over Algebraic Number Fields via Norms. ISSAC 1997: 265-270 - Mark J. Encarnación:
The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm. ISSAC 1997: 278-281 - Ziming Li, István Nemes:
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials. ISSAC 1997: 282-289
Differential Equations II
- Jean Della Dora, Françoise Richard-Jung:
About the Newton Algorithm for Non-Linear Ordinary Differential Equations. ISSAC 1997: 298-304 - Serguei P. Tsarev:
Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear Ordinary Differential Operators over Transcendental Extensions of a Differential Field. ISSAC 1997: 310-315
Algorithms III
- David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich:
Integration of the Signum, Piecewise and Related Functions. ISSAC 1997: 324-330 - Qiang Li, Yike Guo, Tetsuo Ida, John Darlington:
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. ISSAC 1997: 331-338
Geometry
- Masayo Fujimura, Kiyoko Nishizawa:
Moduli Spaces and Symmetry Loci of Polynomial Maps. ISSAC 1997: 342-348 - Carlos Andradas, Tomás Recio, J. Rafael Sendra:
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. ISSAC 1997: 349-355
Systems II
- Horst Günter Zimmer:
SIMATH - a Computer Algebra System for Number Theoretic Applications. ISSAC 1997: 365-375 - Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru:
A Survey of the Theorema Project. ISSAC 1997: 384-391
Applications III
- John J. Cannon, Bernd Souvignier:
On the Computation of Conjugacy Classes in Permutation Groups. ISSAC 1997: 392-399 - Charles C. Sims:
Computing with Subgroups of Automorphism Groups of Finite Groups. ISSAC 1997: 400-403