Selected posters

• Computing Cylindrical Algebraic Decomposition via Triangular Decomposition Poster at the MITACS 2009 Conference.
• Balanced Dense Polynomial Multiplication on Multicores Best Poster Award at ISSAC'09.
• On the Representation of Constructible Sets Poster at the MITACS 2008 Conference.
• The ConstructibleSetTools and ParametricSystemsTools modules of the RegularChains library in MAPLE Poster at the MITACS 2008 Conference.
• Triangular Decompositions for Solving Parametric Polynomial Systems Poster at the MITACS 2008 Conference.
• On the Verification of Polynomial System Solvers Poster at the ISSAC 2007 Conference.
• Implementation Techniques For Fast Polynomial Arithmetic In A High-level Programming Environment Poster at the MITACS 2006 Conference.
• Bounds and algebraic algorithms for ordinary differential characteristic sets Poster at the ISSAC 2006 Conference.
• Change of order for regular chains in positive dimension Poster at the ISSAC 2006 Conference.
• On the Complexity of the D5 Principle. Best Poster Award at ISSAC'05.
• Equiprojectable decomposition of zero-dimensional varieties. MITACS'05.
• The RegularChains library in Maple 10. ISSAC'05.

Publications listed in the DBLP library