Presentations

Research Presentations

CASC 2005 Poster [abstract, pdf] Computing Determinants of Symbolic Matrices using a Straight Line Program Interpolator , Kalamata, Greece
ISSAC 2004 [abstract, pdf]
ACA 2004 [abstract, pdf] Elimination by Matrix. Beumont, Texas
ECCAD 2004 Poster [abstract, pdf]
ISSAC 2003, (poster) [abstract, pdf] Support Hull Of A Polynomial System and Dixon-based Resultant Construction, Philadelphia, Pennsylvania
ACA 2003, [abstract, html, pdf], Sylvester type matrices via Dixon/Bézout resultant formulation and their optimizations, Raleigh North Carolina
UNM 2003, [abstract, html, pdf] Geometric Theorem Proving, University of New Mexico, Department of Computer Science Colloquia, Albuquerque, New Mexico
ISSAC 2002, [pdf, html], Lille France
RWCA 2002, [pdf, html], Mannheim, Germany
ECCAD 2002, (poster) [abstract, pdf], Sylvester-type resultant matrices using Dixon/Bézout Formulation, New York, New York
ISSAC 2000, [html, pdf], Conditions for exact resultants using the Dixon-formulation, St. Andrews, Scotland
ISSAC 2000, (poster) [pdf], St. Andrews, Scotland
RWCA 2000, [pdf] Extracting Sparse Resultant Matrices from Dixon Resultant Formulation, Bregenz, Austria