Tutorials | ||
9:30-12:00 (break 10:30-10:45) | Anna Bigatti and Lorenzo Robbiano | CoCoA: A System for Computations in Commutative Algebra |
13:00-15:30 (break 14:00-14:15) | Marc Moreno Maza | Triangular Decompositions of Polynomial Systems: from Theory to Practice |
15:30-18:00 (break 16:30-16:45) | Erich Kaltofen and Lihong Zhi | Hybrid Symbolic-Numeric Computation |
ISSAC 2006 | ||
afternoon to 18:30 | Registration | |
19:00 (18:30 departure) | Reception | Villa Spinola |
Session A, room 508, 8:30-10:10, chaired by Anna Bigatti | ||
8:30 | Ziming Li, Michael Singer, Min Wu and Dabin Zheng. | A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules |
8:55 | Pierrick Gaudry and Francois Morain. | Fast algorithms for computing the eigenvalue in the Schoof-Elkies-Atkin algorithm |
9:20 | Mark Giesbrecht, George Labahn and Wen-Shin Lee. | Symbolic-numeric Sparse Interpolation of Multivariate Polynomials |
9:45 | Sara Khodadad and Michael Monagan. | Fast Rational Function Reconstruction |
10:10 to 10:30 | Coffee break | |
Session B, room 508, 10:30-11:30, chaired by David Saunders | ||
10:30 | INVITED: Christopher Umans | Group-Theoretic Algorithms for Matrix Multiplication |
Session C, room 508, 11:30-13:10, chaired by Wen-Shin Lee | ||
11:30 | Rosario Rubio, J. Miguel Serradilla and M. Pilar Vélez. | A note on implicitization and normal parametrization of rational curves |
11:55 | Daniel Lazard. | Solving Kaltofen's Challenge on Zolotarev's Approximation Problem |
12:20 | Xiao-Shan Gao and Chun-Ming Yuan. | Resolvent Systems of Difference Polynomial Ideals |
12:45 | Jeremy Johnson, Werner Krandick, Kevin M. Lynch, David G. Richardson and Anatole Ruslanov. | High-Performance Implementations of the Descartes Method |
13:10 to 14:20 | Lunch | |
Session D, room 508, 14:20-16:00, chaired by John Abbott | ||
14:20 | Sergei A. Abramov. | On the Summation of P-Recursive Sequences |
14:45 | Erich Kaltofen and Pascal Koiran. | Finding Small Degree Factors of Multivariate Supersparse (Lacunary) Polynomials Over Algebraic Number Fields |
15:10 | Meng Zhou and Franz Winkler. | Groebner bases in difference-differential modules |
15:35 | Akpodigha Filatei, Xin Li, Marc Moreno Maza and Eric Schost. | Implementation Techniques for Fast Polynomial Arithmetic in a High-level Programming Environment |
16:00 to 16:20 | Coffee break | |
16:00 | to 17:00 | Posters and Software Demos, Room 506 |
16:05 | to 16:30, Roman Pearce | Maplesoft Presentation, room 508 |
Session E, room 508, 17:00-19:05, chaired by Lihong Zhi | ||
17:00 | Joris van der Hoeven. | Effective real numbers in Mmxlib |
17:25 | Hirotachi Abo and Chris Peterson. | Implementation of Kumar's Correspondence |
17:50 | Christiaan E. van de Woestijne. | Surface parametrisation without diagonalisation |
18:15 | Eric Robinson and Gene Cooperman. | A Parallel Architecture for Disk-Based Computing over the Baby Monster and Other Large Finite Simple Groups |
18:40 | Li Guo and William Sit. | Enumeration of Rota-Baxter Words |
19:10 | ISSAC Business Meeting |
Session F, room 508, 8:30-10:10, chaired by Santiago Laplagne | ||
8:30 | Max Neunhoeffer and Akos Seress. | A data structure for a uniform approach to computations with finite groups |
8:55 | Jonathan M. Borwein and Chris H. Hamilton. | Symbolic Computation of Multidimensional Fenchel Conjugates |
9:20 | Cyril Pascal and Eric Schost. | Change of order for bivariate triangular sets |
9:45 | Alan Sexton and Volker Sorge. | Abstract Matrices in Symbolic Computation |
10:10 to 10:30 | Coffee break | |
Session G, room 508, 10:30-11:30, chaired by Lorenzo Robbiano | ||
10:30 | INVITED: Hennie Poulisse | Computational Communicative Algebra |
Session H, room 508, 11:30-13:10, chaired by Roman Pearce | ||
11:30 | Victoria Powers and Bruce Reznick. | A quantitative Polya's Theorem with corner zeros |
11:55 | William J. Turner. | A Block Wiedemann Rank Algorithm |
12:20 | Erich Kaltofen, Zhengfeng Yang and Lihong Zhi. | Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials |
12:45 | Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann and Gilles Villard. | Solving Sparse Rational Linear Systems |
13:10 to 14:20 | Lunch | |
Session I, room 508, 14:20-16:00, chaired by William Turner | ||
14:20 | Arno Eigenwillig, Vikram Sharma and Chee Yap. | Almost Tight Recursion Tree Bounds for the Descartes Method |
14:45 | Hiroshi Sekigawa and Kiyoshi Shirayanagi. | Locating Real Multiple Zeros of a Real Interval Polynomial |
15:10 | Arash Farzan and J. Ian Munro. | Succinct Representation of Finite Abelian Groups |
15:35 | Guénaël Renault. | Computation of the Splitting Field of a Dihedral Polynomial |
16:00 to 16:20 | Coffee break | |
Session J, room 508, 16:20-17:35, chaired by Hiroshi Sekigawa | ||
16:20 | Arthur D. Chtcherba and Deepak Kapur. | Matrix Conditions for Existence of Resultant of a Polynomial System |
16:45 | Nicolas Le Roux and Moulay Barkatou. | Rank Reduction of a Class of Pfaffian Systems |
17:10 | Viktor Levandovskyy. | Intersection of Ideals with Non--commutative Subalgebras |
17:40 | Trip into Genoa downtown and banquet |
Session K, room 508, 8:30-10:10, chaired by Deepak Kapur | ||
8:30 | Izumi Miyamoto. | An Improvement of GAP-Normalizer Function for Permutation Groups |
8:55 | Howard Cheng and George Labahn. | On Computing Polynomial GCDs in Alternate Bases |
9:20 | Guillaume Moroz. | Complexity of the Resolution of Parametric Systems of Equations and Inequations |
9:45 | Santiago Laplagne. | An algorithm for the computation of the radical of an ideal |
10:10 to 10:30 | Coffee break | |
Session L, room 508, 10:30-11:30, chaired by Barry Trager | ||
10:30 | INVITED: Joachim von zur Gathen | Who was Who in polynomial factorization |
Session M, room 508, 11:30-13:10, chaired by Jean-Guillaume Dumas | ||
11:30 | Wei Pan and Dongming Wang. | Uniform Groebner Bases for Ideals Generated by Polynomials with Parametric Exponents |
11:55 | Masayuki Noro. | Modular Dynamic Evaluation |
12:20 | Manuel Kauers and Carsten Schneider. | Application of Unspecified Sequences in Symbolic Summation |
12:45 | Akira Suzuki and Yosuke Sato. | A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases |
13:10 to 14:20 | Lunch | |
Session N, room 508, 14:20-16:00, chaired by Manuel Kauers | ||
14:20 | Phelim Boyle and Alexander Potapchik. | Application of High-Precision Computing for Pricing Arithmetic Asian Option |
14:45 | Itnuit Janovitz-Freireich, Lajos Ronyai and Agnes Szanto. | Approximate Radical of Ideals with Clusters of Roots |
15:10 | Michael C. Harrison and Josef Schicho. | Rational Parametrisation for Degree 6 Del Pezzo Surfaces using Lie algebras |
15:35 | Etienne Farcot. | Symbolic numeric analysis of attractors in randomly generated piecewise affine models of gene networks |
16:00 to 16:20 | Coffee break | |
16:00 | to 17:00 | Posters and Software Demos, room 506 |
Session O, room 508, 17:00-18:40, chaired by David Saunders | ||
17:00 | Michael Monagan and Roman Pearce. | Rational Simplification Modulo a Polynomial Ideal |
17:25 | Wenyuan Wu and Greg Reid. | Application of Numerical Algebraic Geometry and Numerical Linear Algebra to PDE |
17:50 | Alin Bostan, Frederic Chyzak, Thomas Cluzeau and Bruno Salvy. | Low Complexity Algorithms for Linear Recurrences |
18:15 | Manfred Minimair. | Resultants of Skewly Composed Polynomials |
18:40 | SIGSAM Business Meeting |