This is placed on the Web to provide information and assist interested persons for trip planning. The program may be modified in the future by the ISSAC organizers.
Updates will be posted on the Web from time to time.
ISSAC'98 will be held in the historic main building of the University of Rostock. The sessions will take place in the Aula on the 2nd floor (German counting: ground floor, 1st floor, 2nd floor,...). Papers are about 20 minutes each.
Wednesday, August 12 |
|
|---|---|
| 7:00 | ISSAC registration on site starts. See our registration information. You can register on-line now. Please note: Your online registration isn't registered until you get an email with the confirmation from the Local Organizing Committee. |
| 7:30 | ISSAC Tutorials begin (room 120). |
| 7:30 - 10:30 | Dominique Duval: Towards ``Soft'' Typing in Computer Algebra Systems |
| 11:00 - 14:00 | Hans J. Stetter: Interaction between Numerical Analysis and Computer Algebra |
| 15:00 - 18:00 | Manuel Bronstein: Around Symbolic Integration |
| 16:00 - 19:00 | Mini-Symposium, (room 315) |
| Reception / Welcome Party (2nd floor, rooms 215 and 216) | |
Thursday, August 13 |
|
| 8:00 - 8:30 | ISSAC Opening (Aula) |
| 8:30 - 10:00 | Session I: Symbolic-Numeric Algorithms for Polynomials I
Tateaki Sasaki, Satoshi Yamaguchi: An Analysis of Cancellation Error in Multivariate Hensel Construction with Floating-Point Arithmetic Hans J. Stetter, Guenther H. Thallinger: Singular Systems of Polynomials D. Grigoriev, A. Slissenko: Polytime Algorithm for the Shortest Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane Saugata Basu, Richard Pollack, Marie-Françoise Roy: Complexity of Computing Semi-algebraic Descriptions of the Connected Components of a Semi-algebraic Set |
| 10:00 - 10:30 | coffee break |
| 10:30 - 12:00 | Session II: Software/Problem Solving Environments
Angel Diaz, Erich Kaltofen: FoxBox: A System for Manipulating Symbolic Objects in Black Box Representation T. Breuer, S. Linton: The GAP 4 Type System: Organising Algebraic Algorithms Y. N. Lakshman, Bruce Char, Jeremy Johnson: Software Components using Symbolic Computation for Problem Solving Environments Samuel S. Dooley: Coordinating Mathematical Content and Presentation Markup in Interactive Mathematical Documents Pietro Iglio, Giuseppe Attardi: Software Components for Computer Algebra |
| 12:00 - 13:30 | break for lunch |
| 13:30 - 14:30 | Gert-Martin Greuel (Invited Speaker): Computeralgebra and Algebraic Geometry, Achievements and Perspectives |
| 14:45 - 16:30 | Session III: Applications, Formal & Parallel Methods
I. E. Poloskov: Compound Program Packages and a Nonlinear Random Fluctuations Analysis Akmal A. Vakhidov, Irina V. Tupikova: Application of Computer Algebra Methods to the Construction of an Asteroid Motion Theory based on Lie Transforms Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin: Lightweight Formal Methods For Computer Algebra Systems A. Dolzmann, O. Gloor, T. Sturm: Approaches to Parallel Quantifier Elimination Laurent Bernardin: On bivariate Hensel lifting and its parallelization |
| 16:45 - 17:45 | Business Meeting (Aula) |
| 18:30 | Transport to the banquet in Warnemünde |
Friday, August 14 |
|
| 8:30 - 10:15 | Session IV: Matrix Algebra and Difference Equations
Arne Storjohann: An O(n3) Algorithm for the Frobenius Normal Form Thom Mulders, Arne Storjohann: The Modulo N Extended GCD Problem for Polynomials M. Giesbrecht, A. Lobo, B. D. Saunders: Certifying Inconsistency of Sparse Linear Systems Mark van Hoeij: Rational Solutions of Linear Difference Equations S. A. Abramov, M. A. Barkatou: Rational Solutions of First Order Linear Difference Systems |
| 10:15 - 10:30 | coffee break |
| 10:30 - 11:30 | Poster Session (room 232) |
| 11:30 - 13:00 | break for lunch |
| 13:00 | Sightseeing tour for accompanying persons starts, meeting point is the entrance of main building |
| 13:00 - 14:45 | Session V: Algebra
Ziming Li: A Subresultant Theory for Ore Polynomials with Applications Patrik Nordbeck: Canonical Subalgebra Bases in Non-commutative Polynomial Rings M. Caboara, C. Traverso: Efficient algorithms for ideal operations Jörn Müller-Quade, Martin Rötteler: Deciding Linear Disjointness of Finitely Generated Fields R. Noerenberg: Covering Monomial Algebras |
| 15:00 - 16:45 | Session VI: Groups and their Representations
Charles C. Sims: Fast Multiplication and Growth in Groups Birgit Reinert, Klaus Madlener, Teo Mora: A Note on Nielsen Reduction and Coset Enumeration Juergen Mueller: The 5-modular decomposition matrix of the Sporadic simple Conway group Co3 Sebastian Egner, Markus Püschel: Solving Puzzles related to Permutation Groups Alexander Hulpke: Computing normal subgroups |
| 17:00 - 18:00 | Poster Session (room 232) |
| 18:00 | Meeting of the Computer Algebra Benchmarking Initiative (room 120) |
Saturday, August 15 |
|
| 8:30 - 10:00 | Session VII: Symbolic-Numerics
V. Kislenkov, V. Mitrofanov, E. Zima: Multidimensional Chains of Recurrences Evgenija Popova, Christian Ullrich: Simplification of Symbolic-Numerical Interval Expressions Aude Maignan: Solving One and Two-dimensional Exponential Polynomial Systems Frederic Beringer, Françoise Jung: Solving `generalized algebraic equations' |
| 10:00 - 10:15 | coffee break |
| 10:15 - 12:00 | Session VIII: Symbolic-Numeric Algorithms for Polynomials II
Paulina Chin, Robert M. Corless, George F. Corliss: Optimization Strategies for the Approximate GCD Problem Markus A. Hitz, Erich Kaltofen: Efficient Algorithms for computing the Nearest Polynomial with Constrained Roots Aaron Wallack, Ioannis Z. Emiris, Dinesh Manocha: Mars: A Maple/Matlab/C Resultant-Based Solver Didier Bondyfalat, Bernard Mourrain, Victor Y. Pan: Controlled iterative methods for solving polynomial systems Peter Kirrinnis: Fast Numerical Improvement of Factors of Polynomials and of Partial Fractions |
| 12:00 - 13:30 | break for lunch |
| 13:30 - 14:30 | David Broadhurst (Invited Speaker): Computer-aided Discovery |
| 14:45 - 16:15 | Session IX: Integration and Differential Equations
Moulay A. Barkatou, Eckhard Pflügel: On the Equivalence Problem of Linear Differential Systems and its Application for Factoring Completely Reducible Systems Hoang Ngoc Minh, Michel Petitot, Joris van der Hoeven: Computation of the monodromy of generalized polylogarithms Juergen Gerhard: High degree solutions of low degree equations D. J. Jeffrey, A. D. Rich: Recursive integration of piecewise-continuous functions |
| 16:30 - 18:00 | Session X: Groebner Bases and Applications
Christopher W. Brown: Simplification of Truth-Invariant Cylindrical Algebraic Decompositions Joseph Schicho: Rational Parameterization of Real Algebraic Surfaces Olaf Bachmann, Hans Schönemann: Monomial Representations for Groebner Bases Computations Yosuke Sato: A new type of canonical Groebner bases in polynomial rings over Von Neumann regular rings |