ACM Home Page
      Please provide us with feedback. Feedback  Report a problem  Satisfaction survey
Portal DL HomeProceedingsISSACISSAC '04
 
International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 2004 international symposium on Symbolic and algebraic computation  citation
2004,  Santander, Spain    July 04 - 07, 2004
 
Table of Contents
 Sums of squares of polynomials and their applications
Pablo A. Parrilo
Pages: 1 - 1
Full text available: pdf formatPdf(118 KB)
 
 Triangulations of polytopes and algebraic geometry
Francisco Santos
Pages: 2 - 2
Full text available: pdf formatPdf(63 KB)
 
 Numerical algebraic geometry and symbolic computation
Jan Verschelde
Pages: 3 - 3
Full text available: pdf formatPdf(71 KB)
 
 Factoring polynomials via polytopes
Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder
Pages: 4 - 11
Full text available: pdf formatPdf(277 KB)
 
 Numerical parameterization of affine varieties using
D. A. Aruliah, Robert M. Corless
Pages: 12 - 18
Full text available: pdf formatPdf(1.07 MB)
 
 Optimal descriptions of orbit spaces and strata of finite groups
Thomas Bayer
Pages: 19 - 26
Full text available: pdf formatPdf(254 KB)
 
 A poly-algorithmic approach to simplifying elementary functions
James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
Pages: 27 - 34
Full text available: pdf formatPdf(209 KB)
 
 Efficient desingularization of reducible algebraic sets
Gábor Bodnár
Pages: 35 - 41
Full text available: pdf formatPdf(224 KB)
 
 Complexity issues in bivariate polynomial factorization
A. Bostan, G. Lecerf, B. Salvy, É. Schost, B. Wiebelt
Pages: 42 - 49
Full text available: pdf formatPdf(245 KB)
 
 The characteristic ideal of a finite, connected, regular graph
Josep M. Brunat, Antonio Montes
Pages: 50 - 57
Full text available: pdf formatPdf(202 KB)
 
 Closed form solutions of linear odes having elliptic function coefficients
Reinhold Burger, George Labahn, Mark van Hoeij
Pages: 58 - 64
Full text available: pdf formatPdf(210 KB)
 
 Inversion of parameterized hypersurfaces by means of subresultants
Laurent Busé, Carlos D'Andrea
Pages: 65 - 71
Full text available: pdf formatPdf(196 KB)
 
 Understanding expression simplification
Jacques Carette
Pages: 72 - 79
Full text available: pdf formatPdf(192 KB)
 
 Non-liouvillian solutions for second order Linear ODEs
L. Chan, E. S. Cheb-Terrab
Pages: 80 - 86
Full text available: pdf formatPdf(167 KB)
 
 Absolute polynomial factorization in two variables and the knapsack problem
Guillaume Chèze
Pages: 87 - 94
Full text available: pdf formatPdf(241 KB)
 
 Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system
Arthur D. Chtcherba, Deepak Kapur
Pages: 95 - 102
Full text available: pdf formatPdf(223 KB)
 
 Sharp estimates for triangular sets
Xavier Dahan, Éric Schost
Pages: 103 - 110
Full text available: pdf formatPdf(225 KB)
 
 Efficient projection orders for CAD
Andreas Dolzmann, Andreas Seidl, Thomas Sturm
Pages: 111 - 118
Full text available: pdf formatPdf(258 KB)
 
 FFPACK: finite field linear algebra package
Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet
Pages: 119 - 126
Full text available: pdf formatPdf(245 KB)
 
 Reliable Krylov-based algorithms for matrix null space and rank
Wayne Eberly
Pages: 127 - 134
Full text available: pdf formatPdf(192 KB)
 
 Algorithms for recognizing coordinates in two variables over UFD's
Hassan El Houari, M'hammed El Kahoui
Pages: 135 - 140
Full text available: pdf formatPdf(162 KB)
 
 Parametrized surfaces in huge P3 of bidegree (1,2)
Mohamed Elkadi, André Galligo, Thi Ha Lê
Pages: 141 - 148
Full text available: pdf formatPdf(292 KB)
 
 Toric ideals of homogeneous phylogenetic models
Nicholas Eriksson
Pages: 149 - 154
Full text available: pdf formatPdf(210 KB)
 
 Rational general solutions of algebraic ordinary differential equations
Ruyong Feng, Xiao-shan Gao
Pages: 155 - 162
Full text available: pdf formatPdf(210 KB)
 
 On reducing a system of equations to a single equation
Gudmund S. Frandsen, Igor E. Shparlinski
Pages: 163 - 166
Full text available: pdf formatPdf(116 KB)
 
 Approximate factorization of multivariate polynomials via differential equations
Shuhong Gao, Erich Kaltofen, John May, Zhengfeng Yang, Lihong Zhi
Pages: 167 - 174
Full text available: pdf formatPdf(233 KB)
 
 Decomposition of differential polynomials with constant coefficients
Xiao-Shan Gao, Mingbo Zhang
Pages: 175 - 182
Full text available: pdf formatPdf(268 KB)
 
 Differential rational normal forms and a reduction algorithm for hyperexponential func
Keith Geddes, Ha Le, Ziming Li
Pages: 183 - 190
Full text available: pdf formatPdf(215 KB)
 
 Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases
Evelyne Hubert
Pages: 191 - 198
Full text available: pdf formatPdf(297 KB)
 
 Computer proofs for polynomial identities in arbitrary many variables
Manuel Kauers
Pages: 199 - 204
Full text available: pdf formatPdf(199 KB)
 
 Sylvester-resultants for bivariate polynomials with planar newton polygons
Amit Khetan, Ning Song, Ron Goldman
Pages: 205 - 212
Full text available: pdf formatPdf(251 KB)
 
 Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
George Labahn, Ziming Li
Pages: 213 - 220
Full text available: pdf formatPdf(221 KB)
 
 Symbolic computation in the homogeneous geometric model with clifford algebra
Hongbo Li
Pages: 221 - 228
Full text available: pdf formatPdf(193 KB)
 
 Finding the smallest image of a set
Steve Linton
Pages: 229 - 234
Full text available: pdf formatPdf(167 KB)
 
 Computing irredundant irreducible decompositions of large scale monomial ideals
R. Alexander Milowski
Pages: 235 - 242
Full text available: pdf formatPdf(303 KB)
 
 Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction
Michael Monagan
Pages: 243 - 249
Full text available: pdf formatPdf(153 KB)
 
 The polytope of non-crossing graphs on a planar point set
David Orden, Francisco Santos
Pages: 250 - 257
Full text available: pdf formatPdf(224 KB)
 
 From hypercircles to units
Tomas Recio, J. Rafael Sendra, Carlos Villarino
Pages: 258 - 265
Full text available: pdf formatPdf(189 KB)
 
 Automatic generation of polynomial loop
Enric Rodríguez-Carbonell, Deepak Kapur
Pages: 266 - 273
Full text available: pdf formatPdf(112 KB)
 
 Smith normal form of dense integer matrices fast algorithms into practice
David Saunders, Zhendong Wan
Pages: 274 - 281
Full text available: pdf formatPdf(227 KB)
 
 Symbolic summation with single-nested sum extensions
Carsten Schneider
Pages: 282 - 289
Full text available: pdf formatPdf(243 KB)
 
 The truncated fourier transform and applications
Joris van der Hoeven
Pages: 290 - 296
Full text available: pdf formatPdf(192 KB)
Additional Information:full citation, abstract, references
 
 Algorithms for polynomial GCD computation over algebraic function fields
Mark van Hoeij, Michael Monagan
Pages: 297 - 304
Full text available: pdf formatPdf(186 KB)
 
 Extracting mathematical expressions from postscript documents
Michael Yang, Richard Fateman
Pages: 305 - 311
Full text available: pdf formatPdf(137 KB)
 
 On systems of algebraic equations with parametric exponents
Kazuhiro Yokoyama
Pages: 312 - 319
Full text available: pdf formatPdf(190 KB)
 
 The approximate GCD of inexact polynomials
Zhonggang Zeng, Barry H. Dayton
Pages: 320 - 327
Full text available: pdf formatPdf(271 KB)