*Automatic Parallelization of Computer Programs: From C to CUDA.*

TRICS Seminar, University of Western Ontario, March 2nd, 2016.*MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators and Its Application to the Generation of Parametric CUDA Kernels.*

CASCON 2015, Markham ON. November 2nd, 2015.*Symbolic-Numeric Integration of Rational Functions with the BPAS Library.*

Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, ChongQing, Ocotober 10, 2015.*Quantifier Elimination, Polyhedral Computations and their Applications to the Parallelization of Computer Programs.*

East Coast Computer Algebra Day, The Fields Institute, October 3rd, 2015.*Regular Chains under Linear Changes of Coordinates and Applications.*

CASC, Aachen. September 17, 2015.*A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve.*

CASC, Aachen. September 16, 2015.*Simplification of Cylindrical Algebraic Formulas.*

CASC, Aachen. September 15, 2015.*Solving Parametric Polynomial Optimization via Triangular Decomposition*

ICIAM 2015, Beijing, August 10, 2015.*Optimizing Computer Programs: A Killer App for Scientific Computing?*

Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing, July 9, 2015.*A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads.*

CASCON 2014, 9th Workshop on Challenges for Parallel Computing, November 4th.*Cylindrical Algebraic Decomposition in the RegularChains Library.*

August 9, 2014. ICMS 2014, Seoul, Korea.*Doing Algebraic Geometry with the RegularChains Library.*

August 9, 2014. ICMS 2014, Seoul, Korea.*The Basic Polynomial Algebra Subprograms.*

August 8, 2014. ICMS 2014, Seoul, Korea.*Dense Arithmetic over Finite Fields with CUMODP.*

August 8, 2014. ICMS 2014, Seoul, Korea.*Solving Parametric Polynomial Systems by RealComprehensiveTriangularize.*

August 8, 2014. ICMS 2014, Seoul, Korea.*Real Quantifier Elimination in the RegularChains Library.*

August 5, 2014. ICMS 2014, Seoul, Korea.*Doing Algebraic Geometry with the RegularChains Library.*

July 9, 2014. ACA 2014, Fordham University, NY, USA.*Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains.*

July 23, 2014. ISSAC 2014, Kobe, Japan.*The Basic Linear Algebra Subprograms.*

July 23, 2014. ISSAC 2014, Kobe, Japan.*Tutorial on the theorey and practice of regular chains.*

IPM, Teheran, Iran, 21 - 25 June 2014.*Triangular decomposition of semi-algebraic systems.*

IPM, Teheran, Iran, 24 June 2014.*Computing the real solutions of polynomial systems with the RegularChains library in Maple.*

Graduate Computational Algebraic Geometry Seminar, University of Illinois at Chicago, Ocotober 2, 2013. Maple worksheet:*Real solving commands of the RegularChains library and their applications.*

*MetaFork: A Metalanguage for Concurrency Platforms Targeting Multicores.*

WG14 C Standards Committee Meeting, Chicago, October 1st, 2013*Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One.*

CASC 2013, ZIB, Berlin, September 9, 2013.*An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination.*

SIAM Algebraic Geometry, Fort Collins, Colorado, Aug. 2, 2013.*A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads.*

HPCS 2013, University of Ottawa, June 6, 2013.*On the Parallelization of Subproduct Tree Techniques Targeting Many-core Architectures.*

HPCS 2013, University of Ottawa, June 6, 2013.*Optimizing Algorithms and Code for Data Locality and Parallelism Targeting Multicore Architectures Using Cilk.*

University Wilfrid Laurier, Waterloo, March 25, 2013.*Generating Loop Invariants via Polynomial Interpolation*

ASCM 2012 - Beijing Key Laboratory of Mathematics Mechanization October 27, 2012.*An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions*

ASCM 2012 - Beijing Key Laboratory of Mathematics Mechanization October 27, 2012.*Parallelization Overheads: A SHARCNET Tutorial.*

SHARCNET Summer Seminar, London, Ontario, July 12, 2012.*Optimizing Algorithms and Code for Data Locality and Parallelism: A SHARCNET Tutorial.*

SHARCNET Summer Seminar, London, Ontario, August 3, 2011, July 5, 2012 and June 17, 2013.*Parallel Generation of Transversal Hypergraphs.*

SIAM Discrete Maths, Halifax, 21 June 2012, 2012.*What computer algebra systems can offer to tackle realizability problems of matroids?*

SIAM Discrete Maths, Halifax, 21 June 2012, 2012.*Generating Loop Invariants via Polynomial Interpolation*

East China Normal University May 24, 2012.*On Fulton's Algorithm for Computing Intersection Multiplicities.*

Michigan Computational Algebraic Geometry, March 9, 2012.*On parametric polynomial system solving.*

MACIS 2011, Beijing, October 2011.*Optimizing FFT-based Polynomial Arithmetic for Data Locality and Parallelism.*

MaGiX@LIX Workshop, Ecole Polytechnique, Palaiseau, France, September 20, 2011.*Semi-algebraic description of the equilibria of dynamical systems.*

CASC 2011, Kassel Germany, September 7, 2011.*Exact Computation of the Real Solutions of Arbitrary Polynomial Systems.*

ICIAM 2011, Computer Algebra Mini-symposium, Vancouver BC, July 18, 2011.*Parallel Univariate Real Root Isolation on Multicores.*

AMMCS 2011, Waterloo, June 29, 2011.*Computing the real solutions of polynomial systems with the RegularChains library in Maple.*

Here's the*worksheet**(with output) and the**ISSAC 2011 Distinguished Software Presentation Award.*

*Algorithms for Computing Triangular Decompositions of Polynomial Systems.*

ISSAC 2011, San Jose CA, June 11, 2011.*Computing with Semi-Algebraic Sets Represented by Triangular Decomposition.*

ISSAC 2011, San Jose CA, June 11, 2011.*Calcul parallele exacte des solutions reelles des systemes algrebriquese.*

LIFL, Universite de Lille 1, 19 Mai 2011.*Triangular decomposition of semi-algebraic systems.*

Algebra Seminar, University of Western Ontario, February 4, 2011.*Determinant Computation on the GPU.*

AMMCS 2011, Waterloo, July 25, 2011.*Around Montgomery's trick.*

Various places in 2009 and 2010, including the Supertech group at CSIL, MIT.*Efficient Evaluation of Large Polynomials.*

International Congress of Mathematical Software (ICMS), Kobe, Japan, September 17, 2010.*Cache Friendly Sparse Matrix Vector Multilication.*

Parallel Symbolic Computation (PASCO), Grenoble, France, July 22, 2010.*Intersection Formulas and Algorithms for Computing Triangular Decompositions.*

MACIS 2009, Fukuoka, Japan, December, 2009.*Real Root Isolation of Regular Chains.*

ASCM 2009, Fukuoka, Japan, December, 2009.*Fundamental Algorithms and Implementation Techniques for Computing with Regular Chains.*

Summer School of Symbolic Computation, Chengdu, China, August 12, 2009.*Computations Modulo Regular Chains*

ISSAC'09, Seoul, Korea, July 29, 2009.*Computing Cylindrical Algebraic Decomposition via Triangular Decomposition.*

ISSAC'09, Seoul, Korea, July 29, 2009.*FFT-based Dense Polynomial Arithmetic on Multi-cores.*

ACA'09, Montréal, June 26, 2009.*Balanced Dense Polynomial Multiplication on Multicores.*

ACA'09, Montréal, June 26, 2009.*Solving Parametric Polynomial Systems with the RegularChains Library in Maple.*

ACA'09, Montréal, June 25, 2009.*Differential Algebra, Regular Chains and Modeling.*ACA'09, Montréal, June 25, 2009.*Triangular Decomposition of Polynomial Systems: Algorithmic Advances and Remaining Challenges.*

*International Conference on Mathematics Mechanization'09*

In honor of Prof. Wu Wen-Tsün, Beijing, China, May 13, 2009.*Computing with Constructible Sets.*

MOCAA M3 Workshop, Lodon, Ontario, May 9, 2008.*When does 〈T〉 Equal sat(T)?*

MOCAA M3 Workshop, Lodon, Ontario, May 9, 2008.*Component-level Parallelization of Triangular Decompositions.*

Interactive Parallel Computation in Support of Research in Algebra, Geometry and Number Theory

MSRI Workshop 2007, Berkeley, February 1, 2007.*Parallelization of Triangular Decompositions.*

SHARCNET Fall Workshop 2006, Waterloo, Canada, November, 2006.*AXIOM: Generic, Open, Powerful*

International Congress on Mathematical Software, Castro Urdiales, Spain, 2006.*Change of order for regular chains in positive dimension.*

AGGM'06, Barcelona, Spain, 2006.*Triangular Decompositions of Polynomial Systems: From Theory to Practice.*

Tutorial at ISSAC'06, Genoa, Italy, 9 July 2006.*Bounds and Algorithms in Differential Alegbra:the Ordinary Case.*

Dagstuhl Seminar,Dagstuhl, Germany, July, 2006.*Solving Polynomial Systems Symbolically and in Parallel.*

MITACS - CAIMS Meeting, Toronto, Canada, June 18, 2006.*Some Recipes for Handling Large Expressions in Polynomial System Solving.*

ACA'05.*On the Complexity of the D5 Principle.*

CMS Meeting 2005.*Lifting Techniques for Triangular Decompositions.*

MOCCA'05.*On Polynomial Gcds over Direct Products of Fields Given by Towers of Simple Extensions.*

MOCCA'04.*Generic Modular Computations in Aldor.*

CATLAN'04.*Solving Systems of Algebraic Equations with AXIOM.*

ACA'04.*Dr Modular or How I Learned to Stop Worrying and Love Symbolics.*

ACA'03.*Recent Advances on Regular Chains.*

SCA'02.*Computation of Canonical Forms for Ternary Cubics.*

ISSAC'02.*Around the*`StandardMath`Library.

CATLAN'01.*Integrable (systems of) PDEs and Solitons.*

ISSAC'01.*PARDI !.*

ISSAC'01 and talk at INRIA Sophia-Antipolos (25/04/2001).*On Triangular Decompositions of Algebraic Varieties.*

MEGA 2000.*Design of Nonseparable Bidimensional Wavelets and Filter Banks using Gröbner Bases and Triangualr Systems.*

FRISCO'97.*On the Theories of Triangular Sets.*

Seminar talk at the University of Santander, 1998.*PhD Defence.*

University Paris 6, June 1997.

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*

*
*