ISSAC 1999: Vancouver, B.C., Canada

• Marc Giusti, Éric Schost:
  Solving Some Overdetermined Polynomial Systems. 1-8
  Electronic Edition (ACM DL) BibTeX
• Mohamed Elkadi, Bernard Mourrain:
  A New Algorithm for the Geometric Decomposition of a Variety. 9-16
  Electronic Edition (ACM DL) BibTeX
• Carlos Andradas, Tomás Recio, J. Rafael Sendra:
  Base Field Restriction Techniques for Parametric Curves. 17-22
  Electronic Edition (ACM DL) BibTeX
• Schuichi Moritsugu, Kazuko Kuriyama:
  On Multiple Zeros of Systems of Algebraic Equations. 23-30
  Electronic Edition (ACM DL) BibTeX
• John J. Wavrik:
  Commutativity Theorems: Examples in Search of Algorithms. 31-36
  Electronic Edition (ACM DL) BibTeX
• Willem A. de Graaf, J. Wisliceny:
  Constructing Bases of Finitely Presented Lie Algebras Using Gröbner Bases in Free Algebras. 37-43
  Electronic Edition (ACM DL) BibTeX
• Gerard P. Brunick, Edward L. Green, Lenwood S. Heath, Craig A. Struble:
  Efficient Construction of Drinfel'd Doubles. 45-52
  Electronic Edition (ACM DL) BibTeX
• Victor Shoup:
  Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields. 53-58
  Electronic Edition (ACM DL) BibTeX
• Erich Kaltofen, Michael B. Monagan:
  On the Genericity of the Modular Polynomial GCD Algorithm. 59-66
  Electronic Edition (ACM DL) BibTeX
• Zeljko Zilic, Katarzyna Radecka:
  On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields. 67-74
  Electronic Edition (ACM DL) BibTeX
• V. Kislenkov, V. Mitrofanov, Eugene V. Zima:
  How Fast Can We Compute Products? 75-82
  Electronic Edition (ACM DL) BibTeX
• Joachim von zur Gathen, Michael Nöcker:
  Computing Special Powers in Finite Fields (extended abstract). 83-90
  Electronic Edition (ACM DL) BibTeX
• Igor Pak, Sergey Bratus:
  On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract). 91-96
  Electronic Edition (ACM DL) BibTeX
• John Shackell:
  Star Products and the Representation of Asymptotic Growth. 97-104
  Electronic Edition (ACM DL) BibTeX
• C. J. Rust, Gregory J. Reid, Allan D. Wittkopf:
  Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. 105-112
  Electronic Edition (ACM DL) BibTeX
• Y. O. Macutan:
  Formal Solutions of Scalar Singularly-Perturbed Linear Differential Equations. 113-120
  Electronic Edition (ACM DL) BibTeX
• Claude-Pierre Jeannerod, Eckhard Pflügel:
  A Reduction Algorithm for Matrices Depending on a Parameter. 121-128
  Electronic Edition (ACM DL) BibTeX
• Volker Weispfenning:
  Mixed Real-Integer Linear Quantifier Elimination. 129-136
  Electronic Edition (ACM DL) BibTeX
• Christopher W. Brown:
  Guaranteed Solution Formula Construction. 137-144
  Electronic Edition (ACM DL) BibTeX
• Scott McCallum:
  On Projection in CAD-Based Quantifier Elimination with Equational Constraint. 145-149
  Electronic Edition (ACM DL) BibTeX
• Andreas Dolzmann, Thomas Sturm:
  P-adic Constraint Solving. 151-158
  Electronic Edition (ACM DL) BibTeX
• Serguei P. Tsarev:
  On Factorization of Nonlinear Ordinary Differential Equations. 159-164
  Electronic Edition (ACM DL) BibTeX
• Guoting Chen, Jean Della Dora:
  Rational Normal Form for Dynamical Systems by Carleman Linearization. 165-172
  Electronic Edition (ACM DL) BibTeX
• Manuel Bronstein, Anne Fredet:
  Solving Linear Ordinary Differential Equations over C(x, e^{int f(x) dx}). 173-179
  Electronic Edition (ACM DL) BibTeX
• Thom Mulders, Arne Storjohann:
  Diophantine Linear System Solving. 181-188
  Electronic Edition (ACM DL) BibTeX
• Bernhard Beckermann, George Labahn, Gilles Villard:
  Shifted Normal Forms of Polynomial Matrices. 189-196
  Electronic Edition (ACM DL) BibTeX
• John Abbott, Manuel Bronstein, Thom Mulders:
  Fast Deterministic Computation of Determinants of Dense Matrices. 197-204
  Electronic Edition (ACM DL) BibTeX
• Markus A. Hitz, Erich Kaltofen, Yagati N. Lakshman:
  Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems. 205-212
  Electronic Edition (ACM DL) BibTeX
• Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt:
  Approximate polynomial decomposition. 213-219
  Electronic Edition (ACM DL) BibTeX
• Dominique Villard, Michael B. Monagan:
  ADrien: An Implementation of Automatic Differentiation in Maple. 221-228
  Electronic Edition (ACM DL) BibTeX
• Nicolas J. Doye:
  Automated Coercion for Axiom. 229-235
  Electronic Edition (ACM DL) BibTeX
• Laurent Bernardin, Bruce W. Char, Erich Kaltofen:
  Symbolic Computation in Java: An Appraisement. 237-244
  Electronic Edition (ACM DL) BibTeX
• Laureano Lambán, Vico Pascual, Julio Rubio:
  Specifying Implementations. 245-251
  Electronic Edition (ACM DL) BibTeX
• A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin:
  Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. 253-260
  Electronic Edition (ACM DL) BibTeX
• Delphine Boucher:
  About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters. 261-268
  Electronic Edition (ACM DL) BibTeX
• Sergei A. Abramov, Mark van Hoeij:
  Desingularization of Linear Difference Operators with Polynomial Coefficients. 269-275
  Electronic Edition (ACM DL) BibTeX
• Moulay A. Barkatou:
  Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and Factorization. 277-282
  Electronic Edition (ACM DL) BibTeX
• Olivier Arsac, Stéphane Dalmas, Marc Gaëtano:
  Design of a Customizable Component to Display and Edit Formulas. 283-290
  Electronic Edition (ACM DL) BibTeX
• Paul S. Wang:
  Design and Protocol for Internet Accessible Mathematical Computation. 291-298
  Electronic Edition (ACM DL) BibTeX
• Ha Q. Le, Chris Howlett:
  Client-Server Communication Standards for Mathematical Computation. 299-306
  Electronic Edition (ACM DL) BibTeX