ISSAC 2003: Philadelphia, Pennsylvania, USA

J. Rafael Sendra (Ed.): Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings. ACM 2003, ISBN 1-58113-641-2 BibTeX

@proceedings{DBLP:conf/issac/2003,
  editor    = {J. Rafael Sendra},
  title     = {Symbolic and Algebraic Computation, International Symposium ISSAC
               2003, Drexel University, Philadelphia, Pennsylvania, USA, August
               3-6, 2003, Proceedings},
  booktitle = {ISSAC},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-641-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Michael P. Barnett:
Chemistry and computer algebra: past, present, future. 1-2
Electronic Edition (ACM DL) BibTeX
Erich Kaltofen:
Polynomial factorization: a success story. 3-4
Electronic Edition (ACM DL) BibTeX
Reinhard C. Laubenbacher:
A computer algebra approach to biological systems. 5-6
Electronic Edition (ACM DL) BibTeX
Sergei A. Abramov, Ha Q. Le, Marko Petkovsek:
Rational canonical forms and efficient representations of hypergeometric terms. 7-14
Electronic Edition (ACM DL) BibTeX
F. Aroca, J. Cano, F. Jung:
Power series solutions for non-linear PDE's. 15-22
Electronic Edition (ACM DL) BibTeX
Abdolali Basiri, Jean-Charles Faugère:
Changing the ordering of Gröbner bases with LLL: case of two variables. 23-29
Electronic Edition (ACM DL) BibTeX
James C. Beaumont, Russell J. Bradford, James H. Davenport:
Better simplification of elementary functions through power series. 30-36
Electronic Edition (ACM DL) BibTeX
Alin Bostan, Grégoire Lecerf, Éric Schost:
Tellegen's principle into practice. 37-44
Electronic Edition (ACM DL) BibTeX
Delphine Boucher, Philippe Gaillard, Felix Ulmer:
Fourth order linear differential equations with imprimitive group. 45-49
Electronic Edition (ACM DL) BibTeX
Frederick W. Chapman:
An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. 50-57
Electronic Edition (ACM DL) BibTeX
Thomas Cluzeau:
Factorization of differential systems in characteristic p. 58-65
Electronic Edition (ACM DL) BibTeX
Gene Cooperman, Eric Robinson:
Memory-based and disk-based algorithms for very high degree permutation groups. 66-73
Electronic Edition (ACM DL) BibTeX
Ruchira S. Datta:
Using computer algebra to find nash equilibria. 74-79
Electronic Edition (ACM DL) BibTeX
Wayne Eberly:
Early termination over small fields. 80-87
Electronic Edition (ACM DL) BibTeX
Richard J. Fateman:
High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. 88-94
Electronic Edition (ACM DL) BibTeX
Richard J. Fateman, Raymond Toy:
Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. 95-102
Electronic Edition (ACM DL) BibTeX
Anne Fredet:
Factorization of linear differential operators in exponential extensions. 103-110
Electronic Edition (ACM DL) BibTeX
Keith O. Geddes, Wei Wei Zheng:
Exploiting fast hardware floating point in high precision computation. 111-118
Electronic Edition (ACM DL) BibTeX
Jürgen Gerhard, Mark Giesbrecht, Arne Storjohann, Eugene V. Zima:
Shiftless decomposition and polynomial-time rational summation. 119-126
Electronic Edition (ACM DL) BibTeX
Pascal Giorgi, Claude-Pierre Jeannerod, Gilles Villard:
On the complexity of polynomial matrix computations. 135-142
Electronic Edition (ACM DL) BibTeX
Joris van der Hoeven:
Relaxed mltiplication using the middle product. 143-147
Electronic Edition (ACM DL) BibTeX
E. Hubert, N. Le Roux:
Computing power series solutions of a nonlinear PDE system. 148-155
Electronic Edition (ACM DL) BibTeX
Alexander Hulpke, Steve Linton:
Total ordering on subgroups and cosets. 156-160
Electronic Edition (ACM DL) BibTeX
Erich Kaltofen, John May:
On approximate irreducibility of polynomials in several variables. 161-168
Electronic Edition (ACM DL) BibTeX
Wolfram Koepf:
Power series, Bieberbach conjecture and the de Branges and Weinstein functions. 169-175
Electronic Edition (ACM DL) BibTeX
Viktor Levandovskyy, Hans Schönemann:
Plural: a computer algebra system for noncommutative polynomial algebras. 176-183
Electronic Edition (ACM DL) BibTeX
Scott McCallum:
On order-invariance of a binomial over a nullifying cell. 184-190
Electronic Edition (ACM DL) BibTeX
Elizabeth L. Mansfield, Ágnes Szántó:
Elimination theory for differential difference polynomials. 191-198
Electronic Edition (ACM DL) BibTeX
Ludovic Meunier, Bruno Salvy:
ESF: an automatically generated encyclopedia of special functions. 199-206
Electronic Edition (ACM DL) BibTeX
Manfred Minimair:
Factoring sparse resultants of linearly combined polynomials. 207-214
Electronic Edition (ACM DL) BibTeX
Gregory J. Reid, Jianliang Tang, Lihong Zhi:
A complete symbolic-numeric linear method for camera pose determination. 215-223
Electronic Edition (ACM DL) BibTeX
Mohab Safey El Din, Éric Schost:
Polar varieties and computation of one point in each connected component of a smooth real algebraic set. 224-231
Electronic Edition (ACM DL) BibTeX
Tateaki Sasaki:
The subresultant and clusters of close roots. 232-239
Electronic Edition (ACM DL) BibTeX
Andreas Seidl, Thomas Sturm:
A generic projection operator for partial cylindrical algebraic decomposition. 240-247
Electronic Edition (ACM DL) BibTeX
Tanush Shaska:
Determining the automorphism group of a hyperelliptic curve. 248-254
Electronic Edition (ACM DL) BibTeX
Ulrich Vollmer:
A note on the hermite basis computation of large integer matrices. 255-257
Electronic Edition (ACM DL) BibTeX
Paul S. Wang, Norbert Kajler, Yi Zhou, Xiao Zou:
WME: towards a web for mathematics education. 258-265
Electronic Edition (ACM DL) BibTeX
Zhonggang Zeng:
A method computing multiple roots of inexact polynomials. 266-272
Electronic Edition (ACM DL) BibTeX