Home Research Books and Papers Software Posters Talks Teaching Students Scholarly Activities

Selected Posters

• Almost-linear time algorithms for triangular sets.
  ISSAC 2010.
• Cache Friendly Sparse Matrix-vector Multiplication.
  ISSAC 2010.
• Cache Complexity and Multicore Implementation for Univariate Real Root Isolation.
  ISSAC 2010.
• Complexity and Performance Results for Non FFT-Based Univariate Polynomial Multiplication.
  ISSAC 2010.
• Computing Cylindrical Algebraic Decomposition via Triangular Decomposition.
  MITACS 2009.
• Balanced Dense Polynomial Multiplication on Multicores.
  Best Poster Award at ISSAC'09.
• On the Representation of Constructible Sets.
  MITACS 2008.
• The ConstructibleSetTools and ParametricSystemsTools modules of the RegularChains library in MAPLE.
  MITACS 2008.
• Triangular Decompositions for Solving Parametric Polynomial Systems.
  MITACS 2008.
• On the Verification of Polynomial System Solvers.
  ISSAC 2007.
• Implementation Techniques For Fast Polynomial Arithmetic In A High-level Programming Environment.
  MITACS 2006.
• Bounds and Algebraic Algorithms for Ordinary Differential Characteristic Sets.
  ISSAC 2006.
• Change of Order for Regular Chains in Positive Dimension.
  ISSAC 2006.
• 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.