Research project
Mathematics, algorithms, proofs (MAP2006)
Duration: from 31 December 2005 to 31 December 2007
Researchers
Julio
Rubio García
Leader