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