General  Information
Home
Important Dates
Conference Poster
Organizing Committee
Sponsors
 Program
Program and Schedule
Invited Talks
Contributed Talks
Tutorials
Posters
Software Exhibitions
 Registration
Information
Registered Participants
 Call  For
Research Papers
Posters
Software Exhibitions
Jenks Prize Nominations
 Local  Information
Conference Location
Speakers' Information
Lodging
Traveling
Gastronomic Guide
Additional Information
 Miscellaneous
Social Events
Previous ISSACs
Other Events

 

 

Program and Schedule

Additional information for speakers


Sunday, July 4th

10:00 — 13:00   Tutorial
Cylindrical Algebraic Decomposition
Christopher W. Brown
13:00 — 15:30   Lunch Break
15:30 — 18:30   Tutorial
Power Series and Summation
Wolfram Koepf
 

Monday, July 5th

09:00 — 09:20   On Reducing a System of Equations to a Single Equation
G. S. Frandsen
09:25 — 09:45   Factoring Polynomials via Polytopes
A. Lauder
09:50 — 10:10   The Truncated Fourier Transform and Applications
J. van der Hoeven
10:15 — 10:35   Algorithms for Polynomial GCD Computation over Algebraic Function Fields
M. van Hoeij
10:35 — 11:00   Coffee Break
11:00 — 11:50   Invited Talk
Sum of Squares of Polynomials and Their Applications
P. Parrilo
11:50 — 12:50   Poster Presentations
12:50 — 13:10   Computer Proofs for Polynomial Identities in Arbitrary Many Variables
M. Kauers
13:15 — 13:35   A Poly-Algorithmic Approach to Simplifying Elementary Functions
J. C. Beaumont
13:40 — 14:00   Understanding Expression Simplification
J. Carette
 
14:00 — 15:30   Lunch Break
 
15:30 — 15:50   Efficient Desingularization of Reducible Algebraic Sets
G. Bodnar
15:55 — 16:15   Symbolic Computation in the Homogeneous Geometric Model with Clifford Algebra
H. Li
16:20 — 16:40   Algorithms For Recognizing Coordinates In Two Variables Over UFD's
H. El Houari
16:40 — 17:30   Software Presentations / Coffee Break
17:30 — 17:50   From Hypercircles to Units
C. Villarino
17:55 — 18:15   Inversion of Parameterized Hypersurfaces by Means of Subresultants
C. D'Andrea
18:20 — 18:40   Parametrized Surfaces in $\mathbb{P}^3$ of bidegree $(1,2)$
M. Elkadi
18:45 — 19:05   Numerical Parametrization of Affine Varieties Using ODEs
D. Aruliah
19:30   Reception
 

Tuesday, July 6th

09:00 — 09:20   Symbolic Summation with Single-Nested Sum Extensions
C. Schneider
09:25 — 09:45   Rational General Solutions of Algebraic Ordinary Differential Equations
R. Feng
09:50 — 10:10   Improvements to a Triangulation-Decomposition Algorithm for Ordinary Differential Systems in Higher Degree Cases
E. Hubert
10:15 — 10:35   Decomposition of Differential Polynomials with Constant Coefficients
X.-S. Gao
10:35 — 11:00   Maplesoft Presentation / Coffee Break
11:00 — 11:50   Invited Talk
Triangulations of Polytopes and Algebraic Geometry
F. Santos
11:50 — 12:50   Poster Presentations
12:50 — 13:10   Maximal Quotient Rational Reconstruction: An Almost Optimal Algorithm for Rational Reconstruction
M. Monagan
13:15 — 13:35   Extracting Mathematical Expressions From Postscript Documents
R. Fateman
13:40 — 14:00   Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations
E. Rodriguez-Carbonell
 
14:00 — 15:30   Lunch Break
 
15:30 — 15:50   The Approximate GCD of Inexact Polynomials. Part II: A Multivariate Algorithm
Z. Zeng
15:55 — 16:15   Complexity Issues in Bivariate Polynomial Factorization
G. Lecerf
16:20 — 16:40   Absolute Polynomial Factorization in Two Variables and the Knapsack Problem
G. Cheze
16:45 — 17:05   Approximate Factorization of Multivariate Polynomials via Differential Equations
J. May
17:05 — 17:30   Coffee Break
17:30 — 17:50   FFPACK: Finite Field Linear Algebra Package
C. Pernet
17:55 — 18:15   Reliable Krylov-Based Algorithms for Matrix Null Space and Rank
W. Eberly
18:20 — 18:40   Smith Normal Form of Dense Integer Matrices, Fast Algorithms into Practice
B. D. Saunders
18:45 — 21:15   ISSAC and SIGSAM Business Meetings
21:45   Banquet
Dinner, Speech, Awards
 

Wednesday, July 7th

09:00 — 09:20   The Characteristic Ideal of a Finite, Connected, Regular Graph
A. Montes
09:25 — 09:45   Finding the Smallest Image of a Set
S. Linton
09:50 — 10:10   Optimal Descriptions of Orbit Spaces and Strata of finite Groups
T. Bayer
10:15 — 10:35   The Polytope of Non-Crossing Graphs on a Planar Point Set
D. Orden
10:35 — 11:00   Coffee Break
11:00 — 11:50   Invited Talk
Numerical Algebraic Geometry and Symbolic Computation
J. Verschelde
11:50 — 12:50   Software Presentations
12:50 — 13:10   Support Hull: Relating the Cayley-Dixon Resultant Constructions to the Support of a Polynomial System
A. D. Chtcherba
13:15 — 13:35   Sylvester A-Resultants for Bivariate Polynomials with Planar Newton Polygons
A. Khetan
13:40 — 14:00   Efficient Projection Orders for CAD
A. Dolzmann
 
14:00 — 15:30   Lunch Break
 
15:30 — 15:50   On systems of algebraic equations with parametric exponents
K. Yokoyama
15:55 — 16:15   Sharp Estimates for Triangular Sets
X. Dahan
16:20 — 16:40   Toric Ideals of Homogeneous Phylogenetic Models
N. Eriksson
16:45 — 17:05   Computing Irredundant Irreducible Decompositions of Large Scale Monomial Ideals
R. A. Milowski
17:05 — 17:30   Coffee Break
17:30 — 17:50   Non-Liouvillian Solutions for Second Order Linear ODEs
E. S. Cheb-Terrab
17:55 — 18:15   Differential Rational Normal Forms and a Reduction Algorithm for Hyperexponential Functions
H. Le
18:20 — 18:40   Closed form solutions of linear odes having elliptic function coefficients
G. Labahn
18:45 — 19:05   Hyperexponential Solutions of Finite-rank Ideals in Orthogonal Ore Rings
Z. Li
19:05 — 19:20   Closing
 

Thursday, July 8th

Excursion

IAMC 2004

CATLAN 2004

 
 

Friday, July 9th

CATLAN 2004

  issac2004 @ risc.uni-linz.ac.at