Books and Papers
On the Factor Refinement Principle and its Implementation on Multicore Architectures.
On Fulton's Algorithm for Computing Intersection Multiplicities.
Quantifier Elimination via Triangular Decomposition.
From Multicore to Manycore Architectures: The Reduction of Parallelization Overheads and its Impact on Implementing Polynomial Arithmetic.
Generating Loop Invariants via Polynomial Interpolation.
Curriculum Initiative on Parallel and Distributed Computing at the University of Western Ontario.
Presented at EduPar-12, 2012 workshop of the
NSF/IEEE-TCPP Curriculum Initiative on on Parallel and Distributed Computing.
Solving Bivariate Polynomial Systems on a GPU.
Almost-linear time algorithms for triangular sets.
Cache Friendly Sparse Matrix-vector Multiplication.
Cache Complexity and Multicore Implementation for Univariate Real Root Isolation.
Complexity and Performance Results for Non FFT-Based Univariate Polynomial Multiplication.
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition.
Balanced Dense Polynomial Multiplication on Multicores.
Best Poster Award at ISSAC'09.
On the Representation of Constructible Sets.
modules of the
library in M
Triangular Decompositions for Solving Parametric Polynomial Systems.
On the Verification of Polynomial System Solvers.
Implementation Techniques For Fast Polynomial Arithmetic In A High-level Programming Environment.
Bounds and Algebraic Algorithms for Ordinary Differential Characteristic Sets.
Change of Order for Regular Chains in Positive Dimension.
On the Complexity of the D5 Principle.
Best Poster Award at ISSAC'05.
Equiprojectable Decomposition of Zero-dimensional Varieties.
The RegularChains library in Maple 10.