Proceedings ISSAC (Santander) TOC

ISSAC 2004 table of contents

Subscribe (Full Service)

ACM Portal

Register (Limited Service, Free)

The ACM Digital Library

Search:

Login

The Guide

Search

Feedback

Report a problem

Satisfaction

survey Portal

DL Home

Proceedings

ISSAC

ISSAC '04

Search within this proceeding: Search

Advanced Search

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(118 KB)

Additional Information: full citation, abstract, references, index terms

Triangulations of polytopes and algebraic geometry Francisco Santos Pages: 2 - 2

Full text available:

Pdf(63 KB)

Additional Information: full citation, abstract, references, index terms

Numerical algebraic geometry and symbolic computation Jan Verschelde Pages: 3 - 3

Full text available:

Pdf(71 KB)

Additional Information: full citation, abstract, references, index terms

Factoring polynomials via polytopes Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder Pages: 4 - 11

Full text available:

Pdf(277 KB)

Additional Information: full citation, abstract, references, index terms

Numerical parameterization of affine varieties using D. A. Aruliah, Robert M. Corless Pages: 12 - 18

Full text available:

Pdf(1.07 MB)

Additional Information: full citation, abstract, references, index terms

Optimal descriptions of orbit spaces and strata of finite groups Thomas Bayer Pages: 19 - 26

Full text available:

Pdf(254 KB)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, index terms

Efficient desingularization of reducible algebraic sets Gábor Bodnár Pages: 35 - 41

Full text available:

Pdf(224 KB)

Additional Information: full citation, abstract, references, index terms

1 of 5

ISSAC 2004 table of contents

Complexity issues in bivariate polynomial factorization A. Bostan, G. Lecerf, B. Salvy, É. Schost, B. Wiebelt Pages: 42 - 49

Full text available:

Pdf(245 KB)

Additional Information: full citation, abstract, references, index terms

The characteristic ideal of a finite, connected, regular graph Josep M. Brunat, Antonio Montes Pages: 50 - 57

Full text available:

Pdf(202 KB)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, index terms

Inversion of parameterized hypersurfaces by means of subresultants Laurent Busé, Carlos D'Andrea Pages: 65 - 71

Full text available:

Pdf(196 KB)

Additional Information: full citation, abstract, references, index terms

Understanding expression simplification Jacques Carette Pages: 72 - 79

Full text available:

Pdf(192 KB)

Additional Information: full citation, abstract, references, index terms

Non-liouvillian solutions for second order Linear ODEs L. Chan, E. S. Cheb-Terrab Pages: 80 - 86

Full text available:

Pdf(167 KB)

Additional Information: full citation, abstract, references, index terms

Absolute polynomial factorization in two variables and the knapsack problem Guillaume Chèze Pages: 87 - 94

Full text available:

Pdf(241 KB)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, index terms

Sharp estimates for triangular sets Xavier Dahan, Éric Schost Pages: 103 - 110

Full text available:

Pdf(225 KB)

Additional Information: full citation, abstract, references, index terms

Efficient projection orders for CAD Andreas Dolzmann, Andreas Seidl, Thomas Sturm Pages: 111 - 118

Full text available:

Pdf(258 KB)

Additional Information: full citation, abstract, references, index terms

FFPACK: finite field linear algebra package Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet Pages: 119 - 126

Full text available:

Pdf(245 KB)

Additional Information: full citation, abstract, references, index terms

Reliable Krylov-based algorithms for matrix null space and rank Wayne Eberly Pages: 127 - 134

Full text available:

Pdf(192 KB)

Additional Information: full citation, abstract, references, index terms

2 of 5

ISSAC 2004 table of contents

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)

Additional Information: full citation, abstract, references, index terms 3

Parametrized surfaces in huge P of bidegree (1,2) Mohamed Elkadi, André Galligo, Thi Ha Lê Pages: 141 - 148

Full text available:

Pdf(292 KB)

Additional Information: full citation, abstract, references, index terms

Toric ideals of homogeneous phylogenetic models Nicholas Eriksson Pages: 149 - 154

Full text available:

Pdf(210 KB)

Additional Information: full citation, abstract, references, index terms

Rational general solutions of algebraic ordinary differential equations Ruyong Feng, Xiao-shan Gao Pages: 155 - 162

Full text available:

Pdf(210 KB)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, citings, index terms

Decomposition of differential polynomials with constant coefficients Xiao-Shan Gao, Mingbo Zhang Pages: 175 - 182

Full text available:

Pdf(268 KB)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, index terms

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)

Additional Information: full citation, abstract, references, index terms

Computer proofs for polynomial identities in arbitrary many variables Manuel Kauers Pages: 199 - 204

Full text available:

Pdf(199 KB)

Additional Information: full citation, abstract, references, index terms

Sylvester-resultants for bivariate polynomials with planar newton polygons Amit Khetan, Ning Song, Ron Goldman Pages: 205 - 212

Full text available:

Pdf(251 KB)

Additional Information: full citation, abstract, references, index terms

Hyperexponential solutions of finite-rank ideals in orthogonal ore rings George Labahn, Ziming Li Pages: 213 - 220

Full text available:

Pdf(221 KB)

Additional Information: full citation, abstract, references, index terms

3 of 5

ISSAC 2004 table of contents

Symbolic computation in the homogeneous geometric model with clifford algebra Hongbo Li Pages: 221 - 228

Full text available:

Pdf(193 KB)

Additional Information: full citation, abstract, references, index terms

Finding the smallest image of a set Steve Linton Pages: 229 - 234

Full text available:

Pdf(167 KB)

Additional Information: full citation, abstract, references, index terms

Computing irredundant irreducible decompositions of large scale monomial ideals R. Alexander Milowski Pages: 235 - 242

Full text available:

Pdf(303 KB)

Additional Information: full citation, abstract, references, index terms

Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction Michael Monagan Pages: 243 - 249

Full text available:

Pdf(153 KB)

Additional Information: full citation, abstract, references, index terms

The polytope of non-crossing graphs on a planar point set David Orden, Francisco Santos Pages: 250 - 257

Full text available:

Pdf(224 KB)

Additional Information: full citation, abstract, references, index terms

From hypercircles to units Tomas Recio, J. Rafael Sendra, Carlos Villarino Pages: 258 - 265

Full text available:

Pdf(189 KB)

Additional Information: full citation, abstract, references, index terms

Automatic generation of polynomial loop Enric Rodríguez-Carbonell, Deepak Kapur Pages: 266 - 273

Full text available:

Pdf(112 KB)

Additional Information: full citation, abstract, references, index terms

Smith normal form of dense integer matrices fast algorithms into practice David Saunders, Zhendong Wan Pages: 274 - 281

Full text available:

Pdf(227 KB)

Additional Information: full citation, abstract, references, index terms

Symbolic summation with single-nested sum extensions Carsten Schneider Pages: 282 - 289

Full text available:

Pdf(243 KB)

Additional Information: full citation, abstract, references, index terms

The truncated fourier transform and applications Joris van der Hoeven Pages: 290 - 296

Full text available:

Pdf(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(186 KB)

Additional Information: full citation, abstract, references, index terms

Extracting mathematical expressions from postscript documents Michael Yang, Richard Fateman Pages: 305 - 311

Full text available:

Pdf(137 KB)

Additional Information: full citation, abstract, references, index terms

4 of 5

ISSAC 2004 table of contents

On systems of algebraic equations with parametric exponents Kazuhiro Yokoyama Pages: 312 - 319

Full text available:

Pdf(190 KB)

Additional Information: full citation, abstract, references, index terms

The approximate GCD of inexact polynomials Zhonggang Zeng, Barry H. Dayton Pages: 320 - 327

Full text available:

Pdf(271 KB)

Additional Information: full citation, abstract, references, citings, index terms

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2004 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads:

Adobe Acrobat

QuickTime

5 of 5

Windows Media Player

Real Player