Research

I am currently a PhD student. My supervisors are Vincent Cossart (University of Versailles) and Mohab Safey El Din (PolSys Team (formerly SALSA team), INRIA/LIP6/University of Paris 6). I work on solving the global optimization problem for polynomials. To this end, I use several approaches, including both numerical methods and computer algebra.

Journal Papers

• Global Optimization of Polynomials Restricted to a Smooth Variety Using Sums of Squares
  A. Greuet, F. Guo, M. Safey El Din, L. Zhi
  Journal of Symbolic Computation, to appear.
  Preliminary version [pdf]

Articles in conference proceedings

• Deciding reachability of the infimum of a multivariate polynomial
  Aurélien Greuet, Mohab Safey El Din.
  Proceedings of the International Symposium on Symbolic and Algebraic Computation 2011 (ISSAC 2011).
  Preliminary version [pdf]

Communications in international conferences

• Deciding reachability of the infimum of a multivariate polynomial
  Aurélien Greuet, Mohab Safey El Din.
  International Symposium on Symbolic and Algebraic Computation 2011
  San Jose, California. 06/11, 2011
  

Short-term visits

• December 2010:
  Mathematics Mechanization Research Center, Institute of Systems Science
  Chinese Academy of Sciences, Beijing, China.
  Supported by ANR/NSFC EXACTA Project.

Talks in workshops

• Polar Varieties and Global Optimisation Problem
  Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation (Website)
  Invited as young researcher
  Waterloo, Canada, 11/19, 2011.
  

Talks in seminars

• Constrained optimization of polynomials using polar varieties and sums of squares
  Seminar of the Academy of Mathematics and Systems Science (Chinese Academy of Sciences)
  Beijing 12/23, 2010.
  
• Polar varieties and optimization
  Séminaire Algorithm
  INRIA Paris/Rocquencourt 01/31, 2011.
• Deciding the reachability of an infimum of a multivariate polynomial
  Séminaire SALSA
  LIP6/UPMC/INRIA 02/11, 2011.
• Solving optimisation problems using polar varieties
  Séminaire Algebra and Geometry
  University of Versailles 04/05, 2011.

Teaching

I am teaching assistant ("moniteur") at the University of Versailles.

• Fall 2010: Elementary Mathematics (Undergraduate);
• Fall 2011: Elementary Mathematics (Undergraduate);
• Fall 2011: Effective Algebra (M.Sc).

Resume

A short resume.