


default search action
ISSAC 2004: Santander, Spain
- Jaime Gutierrez:

Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings. ACM 2004, ISBN 1-58113-827-X - Pablo A. Parrilo

:
Sums of squares of polynomials and their applications. 1 - Francisco Santos

:
Triangulations of polytopes and algebraic geometry. 2 - Jan Verschelde:

Numerical algebraic geometry and symbolic computation. 3 - Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder:

Factoring polynomials via polytopes. 4-11 - Dhavide A. Aruliah, Robert M. Corless

:
Numerical parameterization of affine varieties using. 12-18 - Thomas Bayer:

Optimal descriptions of orbit spaces and strata of finite groups. 19-26 - James C. Beaumont, Russell J. Bradford

, James H. Davenport
, Nalina Phisanbut:
A poly-algorithmic approach to simplifying elementary functions. 27-34 - Gábor Bodnár:

Efficient desingularization of reducible algebraic sets. 35-41 - Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt:

Complexity issues in bivariate polynomial factorization. 42-49 - Josep M. Brunat, Antonio Montes:

The characteristic ideal of a finite, connected, regular graph. 50-57 - Reinhold Burger, George Labahn, Mark van Hoeij:

Closed form solutions of linear odes having elliptic function coefficients. 58-64 - Laurent Busé, Carlos D'Andrea:

Inversion of parameterized hypersurfaces by means of subresultants. 65-71 - Jacques Carette

:
Understanding expression simplification. 72-79 - L. Chan, Edgardo S. Cheb-Terrab:

Non-liouvillian solutions for second order Linear ODEs. 80-86 - Guillaume Chèze:

Absolute polynomial factorization in two variables and the knapsack problem. 87-94 - Arthur D. Chtcherba, Deepak Kapur:

Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. 95-102 - Xavier Dahan, Éric Schost:

Sharp estimates for triangular sets. 103-110 - Andreas Dolzmann, Andreas Seidl, Thomas Sturm

:
Efficient projection orders for CAD. 111-118 - Jean-Guillaume Dumas

, Pascal Giorgi, Clément Pernet:
FFPACK: finite field linear algebra package. 119-126 - Wayne Eberly:

Reliable Krylov-based algorithms for matrix null space and rank. 127-134 - Hassan El Houari, M'hammed El Kahoui

:
Algorithms for recognizing coordinates in two variables over UFD's. 135-140 - Mohamed Elkadi, André Galligo, Thi Ha Lê:

Parametrized surfaces in huge P3 of bidegree(1,2). 141-148 - Nicholas Eriksson:

Toric ideals of homogeneous phylogenetic models. 149-154 - Ruyong Feng, Xiao-Shan Gao:

Rational general solutions of algebraic ordinary differential equations. 155-162 - Gudmund Skovbjerg Frandsen, Igor E. Shparlinski

:
On reducing a system of equations to a single equation. 163-166 - Shuhong Gao, Erich L. Kaltofen

, John P. May
, Zhengfeng Yang, Lihong Zhi:
Approximate factorization of multivariate polynomials via differential equations. 167-174 - Xiao-Shan Gao, Mingbo Zhang:

Decomposition of differential polynomials with constant coefficients. 175-182 - Keith O. Geddes, Ha Q. Le, Ziming Li:

Differential rational normal forms and a reduction algorithm for hyperexponential func. 183-190 - Evelyne Hubert:

Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases. 191-198 - Manuel Kauers:

Computer proofs for polynomial identities in arbitrary many variables. 199-204 - Amit Khetan, Ning Song, Ron Goldman:

Sylvester-resultants for bivariate polynomials with planar newton polygons. 205-212 - George Labahn, Ziming Li:

Hyperexponential solutions of finite-rank ideals in orthogonal ore rings. 213-220 - Hongbo Li:

Symbolic computation in the homogeneous geometric model with clifford algebra. 221-228 - Steve Linton:

Finding the smallest image of a set. 229-234 - R. Alexander Milowski:

Computing irredundant irreducible decompositions of large scale monomial ideals. 235-242 - Michael B. Monagan:

Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction. 243-249 - David Orden, Francisco Santos

:
The polytope of non-crossing graphs on a planar point set. 250-257 - Tomás Recio

, J. Rafael Sendra
, Carlos Villarino
:
From hypercircles to units. 258-265 - Enric Rodríguez-Carbonell

, Deepak Kapur:
Automatic generation of polynomial loop. 266-273 - David Saunders, Zhendong Wan:

Smith normal form of dense integer matrices fast algorithms into practice. 274-281 - Carsten Schneider

:
Symbolic summation with single-nested sum extensions. 282-289 - Joris van der Hoeven:

The truncated fourier transform and applications. 290-296 - Mark van Hoeij, Michael B. Monagan:

Algorithms for polynomial GCD computation over algebraic function fields. 297-304 - Michael Yang, Richard J. Fateman:

Extracting mathematical expressions from postscript documents. 305-311 - Kazuhiro Yokoyama:

On systems of algebraic equations with parametric exponents. 312-319 - Zhonggang Zeng, Barry H. Dayton:

The approximate GCD of inexact polynomials. 320-327

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














