Session Number 
Session Name 
Organizers 
#
of Talks 
T1 
Tony Shaska (UC Irvine)  11 

T2 
Sergei A. Abramov (Moscow), Marko Petkovsek (Ljubljana), Eugene V. Zima (Waterloo)  9 

T3 
Alkis Akritas (Thessaly, Greece), Michael Wester (New Mexico), Bill Pletsch (New Mexico)  7 

T4 
Laurent Bernardin (Maplesoft), David Jeffrey (Western Ontario)  4 

T5 
QuocNam Tran (Lamar University, USA) and Alexander Levin (Catholic University of America)  10 

T6 
Ned Nedialkov (McMaster) and George Corliss (Marquette)  8 

T8 
Amit Khetan and Carlos D'Andrea (UC Berkeley, USA) 
9 

T9 
Karin Gatermann (Berlin)  6 

T10 
B. David Saunders (Delaware) and Gilles Villard (ENS Lyon)  8 

T11 
Mike Dewar (NAG, UK)  8 

T12 
J. Schicho and Mohamed Shalaby (RISC Linz, Austria)  9 

T13 
Mark Giesbrecht (Waterloo) and Stanly Steinberg (New Mexico) 
7 
Date 
July
31, 2003 

Start Time 
A 
B 
C 
A 
B 
C 
A 
B 
C 

9:00 
Official Opening 
T5 
T6 
T8 
RedHat Tour 
Panel Discussion 


T1 
T2 
T3 
T5 
T6 
T8 

10:00 
T1 
T2 
T3 
T5 
T6 
T8 


Break 
Break 

11:00 
T1 
T2 
T3 
T5 
T6 
T8 
T12 
T10 
T11 


T1 
T2 
T3 
T5 
T6 
T8 
T12 
T10 
T11 

12:00 
T1 
T2 
T3 
T5 
T6 
T8 
T12 
T10 
T11 


Lunch 
Lunch 
Lunch 

1:00 



2:00 
T1 
T2 
T3 
T9 
T6 
T8 
T12 
T10 
T11 


T1 
T2 
T3 
T9 
T6 
T8 
T12 
T10 
T11 

3:00 
T1 
T2 
T9 
T4 
T8 
T12 
T10 
T11 


Break 
Break 
Break 

4:00 
T1 
T13 
T4 
T9 
T5 
T13 
T12 
T10 
T11 


T1 
T13 
T4 
T9 
T5 
T13 
T12 
T10 
T11 

5:00 
T1 
T13 
T4 
T9 
T5 
T13 
T12 
T10 

T5 
T13 
ACA Business Mtg. 


Activity 
Activity 
Activity 
End of Conference 
Monday July 28, 2003
Start Time 
A 
B 
C 
9:00 
Official
Opening 


B. Brock: Moments associated to the moduli space of hyperelliptic curves over a finite field  Juergen Gerhard, Ha Le Symbolic summation in Maple  Jerry Uhl, Raising the Level of Precalculus Mathematics 
10:00 
I. Burhanuddin, On computing discrete logarithms in Formal groups and it's applications  Burkhard Zimmermann, Summation in DifferenceDifferential Rings 
Eugenio
RoanesLozano & Eugenio RoanesMacias, Symbolic Manipulation in Projective Geometry through the Cooperation of Dynamic Geometry Systems and Computer Algebra Systems 

Break 

11:00 
J. Wolper, Theta Vanishings and Automorphism Groups of Riemann Surfaces of Genus Three 
Sergei A. Abramov, Marko Petkovsek Gosper's and Zeilberger's Algorithms Revisited  Laurent Bernardin, A Look at the New Student Packages in Maple 

T. Shaska, Computational Aspects of Algebraic Curves, a survey  Daniel Lichtblau, Issues in Definite Symbolic Integration  Michel Beaudin, Give Mathematics a Chance! 
12:00 
C. Yin, Special Loci in Moduli of Curves  Carsten Schneider, Symbolic Summation in # #Fields  Karsten Schmidt & Wolfgang Moldenhauer, Using the TI89 in Math Education  What are the Students' Views? 

Lunch 

2:00 
M. Seppala, Numerical uniformization of algebraic curves 
Victor Adamchik, Symbolic Computation of Series and Products in Terms of the Multiple Gamma and Related Functions  Bill Pletsch, A CAS Lecture for the Calculus Students: The Riemann Product 

D. Mills, Some Questions Regarding Avoidable Families of Sets  Mark van Hoeij, Rational definite summation  Giovanna
Albano & Matteo Desiderio, An Effective Learning using CAS 
3:00 
G. Cardona, Curves of genus 2 over arbitrary fields  

Break 

4:00 
C. Hurlburt, Computational Aspects of Differential Algebraic Geometry 
Young Investigator: Howard Cheng, Algorithms for Normal Forms for Matrices of Ore Polynomials  Paulina Chin, Automatic Code Generation 

M. van Hoeij, Reparametrizing rational algebraic curves  Young Investigator: Yang Zhang, Popov forms of Ore matrices  Cecelia Laurie, The Use of Maple in Computing DNA Match Probabilities 
5:00 
T. Yamauchi, On Qsimple factors of J_0(N)  Young Investigator: Alin Bostan, Tellegen's principle into practice. 
Brian Moore, Symofros: A symbolic modeling and simulation tool for mechanical system 

Activity 
Tuesday July 29, 2003
Start Time 
A 
B 
C 
9:00 
Yosuke Sato, ACGB on Varities  Ned Nedialkov, Introduction to Interval Numerical Methods  Agnes Szanto, Elimination theory of noncommutative algebras of differential invariants 

Alexander Levin, Groebner Bases w.r.t. Several Orderings and Difference Dimension Polynomials  John Pryce, Mapping Expressions to Functions in Cset Interval Arithmetic  John Nahay, Differential Resolvents of Minimal Order and Weight 
10:00 
V.
Mityunin, Pankratev, Comparison of the parallellization quality of algorithms
for computing Groebner and involutive bases 
Nathalie Revol, Multiple Precision Interval Arithmetic and Application to Linear Systems  Arthur Chtcherba, Sylvestertype matrices via the Dixon resultant formulation and their optimizations 

Break 

11:00 
QuocNam Tran, Efficient Groebner Basis Computation for Finding Implicit Representations of Geometric Objects  Markus Neher, From Intervals to Taylor Models: A Numeric Symbolic Approach to Validated Computation  Manfred Minimair, Developments in resultants of composed polynomials 

MartnezMoro, Using Groebner basis for determining the equivalence of linear codes.  Jeff Tupper, Pictures from Proofs: Sound Graphing Algorithms  Amit Khetan, Implicitization of rational surfaces using toric varieties 
12:00 
Ekaterina Shemyakova, Graphs of involutive divisions  Ekaterina Auer, Interval Arithmetic in the Multibody Modeling System MOBILE  Laurent
Busé, Implicitizing rational hypersurfaces using approximation 

Lunch 

2:00 
Anke Sensse, Electrocatalytic oxidation of formic acid  Yves Papegay, ALIAS: A Library Mixing Interval Analysis and Computer Algebra  Marc Moreno Maza, Recent advances in triangular decomposition methods 

Brandilyn
Stigler, Polynomial Models for Gene Regulatory Networks 
Stan Wagon, The Role of Symbolic Computation in the SIAM/Oxford 100Digit Challenge  Ilias Kotsireas, Recent advances in polynomial system solving and an application in Chaos Theory 
3:00 
Karin
Gatermann, Positive solutions of systems with mass action kinetics 
Joseph Schicho, Improving the element preconditioning method by symbolic computation 
Ming Zhang, An Approximation Approach to Molecular Conformational Search 

Break 

4:00 
Carsten
Conradi, Model Discrimination using Algebraic Geometry and Computer
Algebra Systems 
Farr, Gao, Computing Groebner Bases for Vanishing Ideals of Finite Sets of Points 
Young Investigator: Alexey Ovchinnikov, Moscow State University, Characterizable Radical Differential Ideals and Characteristic Sets 

David M. Malonza, Groebner basis methods in Symbolic Computation of Invariants and Equivariants applied to Normal forms of Non linear Systems with Nilpotent linear part  Aleksandra Slavkovic: An Application of Algebraic Geometry in Statistical Disclosure Limitation  Young Investigator: Hirokazu Anai, On Solving Real Algebraic Constraints in System and Control Theory 
5:00 
Bill Pletsch, Investigating Young Group Double Cosets with Computer Algebra: Latest Advances with Some Proofs  QuocNam Tran, A Maple package for fast conversion of Groebner bases  Young Investigator: Virginia Rodrigues, Grobner Basis Structure of Finite Sets of Points. 
5:30 
Éric Schost, Erwan Le Pennec, Computing foveal wavelets  Young Investigator: Ana GonzalezUriel, Expert System for House Layout Selection 


Banquet 
Wednesday July 30, 2003
Start Time 
A 
B 
C 
9:00 
Redhat
Tour 



10:00 



11:00 
Rida Farouki, Minkowski geometric algebra of complex sets.  Bradford Hovinen, On Montgomery's Block Lanczos Algorithm  Laurent
Bernardin, Maple on the Web 

Lihong
Zhi, A complete symbolicnumeric linear method for camera pose determination.

Victor
Pan, Nearly Optimal Toeplitz/Hankel Computations 
Stephen
Buswell, MathML, OpenMath and the Evolution of Maths on the Web 
12:00 
John May, Bounding the Radius of Irreducibility of Multivariate Polynomials. 
Shuhong Gao, Random Krylov spaces over finite fields 
Olga
Caprotti, Mathematical Services Registration and Discovery 

Lunch 

2:00 
Mohamed Shalaby, Spline Implicitization of Planar Curves  Wayne Eberly, On the Reliability of Block Lanczos Algorithms  James Davenport, Mathematical Knowledge Management. 

Wenshin Lee, SymbolicNumeric Sparse Interpolation of Multivariate
Polynomials. 
Pascal
Giorgi, From BLAS routine to finite field exact linear algebra solution 
Mike Dewar, OpenMath and Web Services. 
3:00 
Bohumir Bastl, Symbolicnumeric method for computing surface selfintersection.  Keith Geddes, Exploiting Fast Hardware Floating Point in High Precision Computation  Mika Seppälä, Advanced Learning Technologies Project 

Break 

4:00 
Ilias S. Kotsireas, Implicit Polynomial Support Optimized for Sparseness.  Austin Lobo, David Saunders and Zhendong Wan, Rank and Smith Form of extremely sparse matrices  Clare M. So and Stephen M. Watt, Conversion Between Content MathML and OpenMath 

Elisabeth Malsch, A symbolic method for defining test functions which satisfy ellipticity, boundary conditions lower order field behaviors exactly.  Robert Lewis, Using the Dixon Resultant on Big Problems 
Tom
WickhamJones, Math on the Web with Mathematica Technology. 
5:00 
Daniel Lichtblau, Computational algebra visits number theory: Trigonometric
polynomials, planar extremal packings, and Groebner bases. 
Arne Storjohann, Effective reductions to matrix multiplication 

5:30 
ACA
Business Meeting 
Thursday July 31, 2003
Start Time 

9:00 
Panel
Discussion 


10:00 

