EACA Tapas Seminar on Computer Algebra

Invited speakers

Young speakers

• Tomás Recio
  Universidad de Nebrija, Spain
  Demostración automática de teoremas geométricos con GeoGebra

• Pablo González-Mazón
  Inria, France
  Criterios efectivos y clasificación de transformaciones bilineales y trilineales birracionales
• Daniel Sebastián San Martín
  Universidad de Cantabria, Spain
  Conjuntos Cuestores I: grado de conjuntos constructibles, desigualdad de Bézout y densidad