ISSAC 1997: Maui, Hawaii, USA

Wolfgang Küchlin (Ed.): Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997. ACM Press, 1997, ISBN 0-89791-875-4

Algorithms I

Victor Adamchik: A Class of Logarithmic Integrals. 1-8 BibTeX
C. J. Rust, Gregory J. Reid: Rankings of Partial Derivatives. 9-16 BibTeX
Joris van der Hoeven: Lazy Multiplication of Formal Power Series. 17-20 BibTeX
Saugata Basu: Uniform Quantifier Elimination and Constraint Query Processing. 21-27 BibTeX

Algorithms & Complexity I

Xin Gui Fang, George Havas: On the Worst-case Complexity of Integer Gaussian Elimination. 28-31 BibTeX
Gilles Villard: Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse Linear Systems (Extended Abstract). 32-39 BibTeX
Joachim von zur Gathen, Jürgen Gerhard: Fast Algorithms for Taylor Shifts and Certain Difference Equations. 40-47 BibTeX
Volker Weispfenning: Complexity and Uniformity of Elimination in Presburger Arithmetic. 48-53 BibTeX

Applications I

Willem A. de Graaf: Constructing Faithful Matrix Representations of Lie Algebras. 54-59 BibTeX
Andrej A. Zolotykh: Tensor Product Decomposition and Other Algorithms for Representations of Large Simple Lie Algebras. 60-67 BibTeX
Alexander L. Chistov, Gábor Ivanyos, Marek Karpinski: Polynomial Time Algorithms for Modules over Finite Dimensional Algebras. 68-74 BibTeX

Polynomial Algorithms I

John McKay, Richard Stauduhar: Finding Relations Among the Roots of an Irreducible Polynomial. 75-77 BibTeX
Antoine Colin: Relative Resolvents and Partition Tables in Galois Group Computations. 78-84 BibTeX
Frédéric Lehobey: Resolvent Computations by Resultants Without Extraneous Powers. 85-92 BibTeX

Algorithms II

Masoud Kavian, R. G. McLenaghan, Keith O. Geddes: Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. 93-100 BibTeX
Sebastian Egner, Markus Püschel, Thomas Beth: Decomposing a Permutation into a Conjugated Tensor Product. 101-108 BibTeX
Arne Storjohann: A Solution to the Extended GCD Problem with Applications. 109-116 BibTeX

Systems of Equations

Hans J. Stetter: Stabilization of Polynomial Systems Solving with Groebner Bases. 117-124 BibTeX
Bernhard Beckermann, Stanley Cabay, George Labahn: Fraction-free Computation of Catrix Padé Systems. 125-132 BibTeX
Robert M. Corless, Patrizia M. Gianni, Barry M. Trager: A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. 133-140 BibTeX
Deepak Kapur, Tushar Saxena: Extraneous Factors in the Dixon Resultant Formulation. 141-148 BibTeX

Differential Equations I

Jason Abate, Christian H. Bischof, Lucas Roh, Alan Carle: Algorithms and Design for a Second-Order Automatic Differentiation Module. 149-155 BibTeX
Manuel Bronstein, Thom Mulders, Jacques-Arthur Weil: On Symmetric Powers of Differential Operators. 156-163 BibTeX
Eckhard Pflügel: An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems. 164-171 BibTeX
Sergei A. Abramov, Mark van Hoeij: A Method for the Integration of Solutions of Ore Equations. 172-175 BibTeX

Algorithms & Complexity II

Wayne Eberly, Erich Kaltofen: On Randomized Lanczos Algorithms. 176-183 BibTeX
Erich Kaltofen, Victor Shoup: Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields. 184-188 BibTeX
Ioannis Z. Emiris, Victor Y. Pan: The Structure of Sparse Resultant Matrices. 189-196 BibTeX

Applications II

Robert M. Corless, David J. Jeffrey, Donald E. Knuth: A Sequence of Series for the Lambert W Function. 197-204 BibTeX
Kelly Roach: Meijer G Functions Representations. 205-211 BibTeX
Patrizia M. Gianni, Barry M. Trager: Integral Closure of Noetherian Rings. 212-216 BibTeX

Polynomial Algorithms II

André Galligo, Stephen M. Watt: A Numerical Absolute Primality Test for Bivariate Polynomials. 217-224 BibTeX
Jeremy R. Johnson, Werner Krandick: Polynomial Real Root Isolation using Approximate Arithmetic. 225-232 BibTeX
Daniel Reischert: Asymptotically Fast Computation of Subresultants. 233-240 BibTeX

Systems I

Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt: An OpenMath 1.0 Implementation. 241-248 BibTeX
Richard J. Fateman: Network Servers for Symbolic Mathematics. 249-256 BibTeX
Michael B. Monagan, Gladys Monagan: A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision. 257-264 BibTeX

Polynomial Algorithms III

Mark J. Encarnación: Factoring Polynomials over Algebraic Number Fields via Norms. 265-270 BibTeX
Luca Gemignani: GCD of Polynomials and Bezout Matrices. 271-277 BibTeX
Mark J. Encarnación: The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm. 278-281 BibTeX
Ziming Li, István Nemes: A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials. 282-289 BibTeX

Differential Equations II

Sergei A. Abramov, Eugene V. Zima: Minimal Completely Factorable Annihilators. 290-297 BibTeX
Jean Della Dora, F. Richard-Jung: About the Newton Algorithm for Non-Linear Ordinary Differential Equations. 298-304 BibTeX
Victor F. Edneral: Computer Evaluation of Cyclicity in Planar Cubic System. 305-309 BibTeX
Serguei P. Tsarev: Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear Ordinary Differential Operators over Transcendental Extensions of a Differential Field. 310-315 BibTeX

Algorithms III

Doron Nussbaum: Rectilinear p-Piercing Problems. 316-323 BibTeX
David J. Jeffrey, George Labahn, Martin von Mohrenschildt, A. D. Rich: Integration of the Signum, Piecewise and Related Functions. 324-330 BibTeX
Qiang Li, Yike Guo, Tetsuo Ida, John Darlington: The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. 331-338 BibTeX
Tudor Jebelean: Practical Integer Division with Karatsuba Complexity. 339-341 BibTeX

Geometry

Masayo Fujimura, Kiyoko Nishizawa: Moduli Spaces and Symmetry Loci of Polynomial Maps. 342-348 BibTeX
Carlos Andradas, Tomás Recio, J. Rafael Sendra: A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. 349-355 BibTeX
Emil Volcheck: On Computing the Dual of a Plane Algebraic Curve. 356-358 BibTeX
Peter F. Stiller: Symbolic Computation of Object/Image Equations. 359-364 BibTeX

Systems II

Horst Günter Zimmer: SIMATH - a Computer Algebra System for Number Theoretic Applications. 365-375 BibTeX
Andreas Dolzmann, Thomas Sturm: Guarded Expressions in Practice. 376-383 BibTeX
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru: A Survey of the Theorema Project. 384-391 BibTeX

Applications III

John J. Cannon, Bernd Souvignier: On the Computation of Conjugacy Classes in Permutation Groups. 392-399 BibTeX
Charles C. Sims: Computing with Subgroups of Automorphism Groups of Finite Groups. 400-403 BibTeX
Massimo Caboara, Lorenzo Robbiano: Families of Ideals in Statistics. 404-409 BibTeX