| | International Conference on Symbolic and Algebraic Computation archiveProceedings of the 2004 international symposium on Symbolic and algebraic computation citation2004, 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(118 KB) | | | | Triangulations of polytopes and algebraic geometry Francisco Santos Pages: 2 - 2 Full text available: Pdf(63 KB) | | | | Numerical algebraic geometry and symbolic computation Jan Verschelde Pages: 3 - 3 Full text available: Pdf(71 KB) | | | | Factoring polynomials via polytopes Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder Pages: 4 - 11 Full text available: Pdf(277 KB) | | | | Numerical parameterization of affine varieties using D. A. Aruliah, Robert M. Corless Pages: 12 - 18 Full text available: Pdf(1.07 MB) | | | | Optimal descriptions of orbit spaces and strata of finite groups Thomas Bayer Pages: 19 - 26 Full text available: Pdf(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(209 KB) | | | | Efficient desingularization of reducible algebraic sets Gábor Bodnár Pages: 35 - 41 Full text available: Pdf(224 KB) | | | | Complexity issues in bivariate polynomial factorization A. Bostan, G. Lecerf, B. Salvy, É. Schost, B. Wiebelt Pages: 42 - 49 Full text available: Pdf(245 KB) | | | | The characteristic ideal of a finite, connected, regular graph Josep M. Brunat, Antonio Montes Pages: 50 - 57 Full text available: Pdf(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(210 KB) | | | | Inversion of parameterized hypersurfaces by means of subresultants Laurent Busé, Carlos D'Andrea Pages: 65 - 71 Full text available: Pdf(196 KB) | | | | Understanding expression simplification Jacques Carette Pages: 72 - 79 Full text available: Pdf(192 KB) | | | | Non-liouvillian solutions for second order Linear ODEs L. Chan, E. S. Cheb-Terrab Pages: 80 - 86 Full text available: Pdf(167 KB) | | | | Absolute polynomial factorization in two variables and the knapsack problem Guillaume Chèze Pages: 87 - 94 Full text available: Pdf(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(223 KB) | | | | Sharp estimates for triangular sets Xavier Dahan, Éric Schost Pages: 103 - 110 Full text available: Pdf(225 KB) | | | | Efficient projection orders for CAD Andreas Dolzmann, Andreas Seidl, Thomas Sturm Pages: 111 - 118 Full text available: Pdf(258 KB) | | | | FFPACK: finite field linear algebra package Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet Pages: 119 - 126 Full text available: Pdf(245 KB) | | | | Reliable Krylov-based algorithms for matrix null space and rank Wayne Eberly Pages: 127 - 134 Full text available: Pdf(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(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(292 KB) | | | | Toric ideals of homogeneous phylogenetic models Nicholas Eriksson Pages: 149 - 154 Full text available: Pdf(210 KB) | | | | Rational general solutions of algebraic ordinary differential equations Ruyong Feng, Xiao-shan Gao Pages: 155 - 162 Full text available: Pdf(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(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(233 KB) | | | | Decomposition of differential polynomials with constant coefficients Xiao-Shan Gao, Mingbo Zhang Pages: 175 - 182 Full text available: Pdf(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(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(297 KB) | | | | Computer proofs for polynomial identities in arbitrary many variables Manuel Kauers Pages: 199 - 204 Full text available: Pdf(199 KB) | | | | Sylvester-resultants for bivariate polynomials with planar newton polygons Amit Khetan, Ning Song, Ron Goldman Pages: 205 - 212 Full text available: Pdf(251 KB) | | | | Hyperexponential solutions of finite-rank ideals in orthogonal ore rings George Labahn, Ziming Li Pages: 213 - 220 Full text available: Pdf(221 KB) | | | | Symbolic computation in the homogeneous geometric model with clifford algebra Hongbo Li Pages: 221 - 228 Full text available: Pdf(193 KB) | | | | Finding the smallest image of a set Steve Linton Pages: 229 - 234 Full text available: Pdf(167 KB) | | | | Computing irredundant irreducible decompositions of large scale monomial ideals R. Alexander Milowski Pages: 235 - 242 Full text available: Pdf(303 KB) | | | | Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction Michael Monagan Pages: 243 - 249 Full text available: Pdf(153 KB) | | | | The polytope of non-crossing graphs on a planar point set David Orden, Francisco Santos Pages: 250 - 257 Full text available: Pdf(224 KB) | | | | From hypercircles to units Tomas Recio, J. Rafael Sendra, Carlos Villarino Pages: 258 - 265 Full text available: Pdf(189 KB) | | | | Automatic generation of polynomial loop Enric Rodríguez-Carbonell, Deepak Kapur Pages: 266 - 273 Full text available: Pdf(112 KB) | | | | Smith normal form of dense integer matrices fast algorithms into practice David Saunders, Zhendong Wan Pages: 274 - 281 Full text available: Pdf(227 KB) | | | | Symbolic summation with single-nested sum extensions Carsten Schneider Pages: 282 - 289 Full text available: Pdf(243 KB) | | | | The truncated fourier transform and applications Joris van der Hoeven Pages: 290 - 296 Full text available: Pdf(192 KB) | | | | Algorithms for polynomial GCD computation over algebraic function fields Mark van Hoeij, Michael Monagan Pages: 297 - 304 Full text available: Pdf(186 KB) | | | | Extracting mathematical expressions from postscript documents Michael Yang, Richard Fateman Pages: 305 - 311 Full text available: Pdf(137 KB) | | | | On systems of algebraic equations with parametric exponents Kazuhiro Yokoyama Pages: 312 - 319 Full text available: Pdf(190 KB) | | | | The approximate GCD of inexact polynomials Zhonggang Zeng, Barry H. Dayton Pages: 320 - 327 Full text available: Pdf(271 KB) | |
|