The Virtual Computer Algebra Library

Real Solutions of Polynomial Systems: Research Teams

• INRIA Lorraine
  Euréca Project: "Preuves, Calcul Symbolique et Logique"
  Fabrice Rouillier

• IRMAR
  Team "Algèbre , logique et géométrie réelle" in the Department of Mathematics of the University of Rennes(IRMAR)
  Marie-Francoise Coste-Roy

• LITP, Paris VI
  Computer Algebra Team in the University of Paris VI, France
  Daniel Lazard, Renaud Rioboo, Jean-Charles Faugère

• Santander
  Team "Computational Algebra and Geometry" in the University of Cantabria, Santander, Spain
  Tomas Recio, Laureano Gonzalez-Vega, Joost Heintz, Guadalupe Trujillo

• Toulouse
  University of Toulouse, France
  Jean-Pierre Dedieu, Jean-Paul Cardinal

  ---

  Go to:
  Real Solutions
  Computer Algebra Library
  CAIN Home page

  webmaster@can.nl
  Last Update: June 9, 1997