# IMA Video Library

Note: The videos available on this page are copyrighted material. It is intended for personal use or for educational purpose. Renting or resale of this product or any part of its contents is prohibited. Reproduction of any material contained in these videos onto any other media, or reuse in any other form for any purpose, without the expressed written consent of both the IMA and the lecturer, is strictly prohibited.

Annual Program Workshop

Date | Title / Speaker | |
---|---|---|

October 27, 2006 |
Maple 11 preview Jürgen Gerhard (Maplesoft) |
Annual Program Workshop |

October 27, 2006 |
Application of Numerical Algebraic Geometry to Partial Differential Equations Gregory Reid (University of Western Ontario) |
Annual Program Workshop |

October 27, 2006 |
Gauss-Manin Systems for Isolated Singularities in Singular Mathias Schulze (Oklahoma State University) |
Annual Program Workshop |

October 26, 2006 |
Computing Tropical Varieties in Gfan Anders Jensen (Aarhus University) |
Annual Program Workshop |

October 26, 2006 |
Sums of Squares of Polynomials and SOSTOOLS Pablo Parrilo (Massachusetts Institute of Technology) |
Annual Program Workshop |

October 26, 2006 |
New Recombination Techniques for Polynomial Factorization Algorithms Based on Hensel Lifting Grégoire Lecerf (Université Versailles/Saint Quentin-en-Yvelines) |
Annual Program Workshop |

October 26, 2006 |
D-modules for Macaulay 2 Anton Leykin (University of Minnesota, Twin Cities) |
Annual Program Workshop |

October 25, 2006 |
SYNAPS, A Library for Symbolic-numeric Computation Bernard Mourrain (Institut National de Recherche en Informatique Automatique (INRIA)) |
Annual Program Workshop |

October 25, 2006 |
Parallel Implementation of the Polyhedral Homotopy Method for Polynomial Systems Masakazu Kojima (Tokyo Institute of Technology) |
Annual Program Workshop |

October 25, 2006 |
4ti2 -- A Software Package for Algebraic, Geometric and Combinatorial Problems on Linear Spaces Raymond Hemmecke (Otto-von-Guericke-Universität Magdeburg) |
Annual Program Workshop |

October 25, 2006 |
CoCoALib, A C++ Library for Computations in Commutative Algebra Anna Bigatti (Università di Genova) |
Annual Program Workshop |

October 24, 2006 |
PHCpack: A Software Platform for Numerical Algebraic Geometry Jan Verschelde (University of Illinois, Chicago) |
Annual Program Workshop |

October 24, 2006 |
Towards a Black-box Solver for Finite Games: The Gambit System Theodore Turocy (Texas A & M University) |
Annual Program Workshop |

October 24, 2006 |
Algebra & Algorithms for Differential Elimination & Completion Evelyne Hubert (Institut National de Recherche en Informatique Automatique (INRIA)) |
Annual Program Workshop |

October 23, 2006 |
APAtools: A Maple/Matlab Toolbox for Approximate Polynomial Algebra Zhonggang Zeng (Northeastern Illinois University) |
Annual Program Workshop |

Tutorial

Date | Title / Speaker | |
---|---|---|

January 13, 2007 |
Demo and introduction to LattE Jesus De Loera (University of California, Davis) |
Tutorial |

January 13, 2007 |
Generating Functions for Integer Optimization (part II) Jesus De Loera (University of California, Davis) |
Tutorial |

January 13, 2007 |
Generating Functions for Integer Optimization (part I)-continued Jesus De Loera (University of California, Davis) |
Tutorial |

January 13, 2007 |
Generating Functions for Integer Optimization (part I) Jesus De Loera (University of California, Davis) |
Tutorial |

January 12, 2007 |
Hands on Exercises Assisted by Tristram Bogart (Tutorial Part I) Edwin O'Shea (University of Kentucky) |
Tutorial |

January 12, 2007 |
Gröebner Basis Methods in Integer Programming (Lecture Part I) Edwin O'Shea (University of Kentucky) |
Tutorial |

Public Lecture

Date | Title / Speaker | |
---|---|---|

November 02, 2006 |
How Hard Can it Be? Margaret Wright (New York University) |
Public Lecture |