ADG Madrid-Vigo

Hola, esta wiki está creada para compartir las ideas y trabajos del más importante grupo de Deducción Automática en Geometria del estado español, es decir, Paco, Miki y Jesús.

$$\int f dx $$

La idea es que este sea un panel para compartir la ideas de forma inmediata.