Proyectos finalizados

2024

  1. Métodos homológicos en Algebra computacional: generalizaciones, nuevos enfoques y aplicaciones

    Ana Romero Ibáñez, Eduardo Sáenz de Cabezón Irigaray

2023

  1. Sucesiones espectrales generalizadas: estudio computacional y nuevos algoritmos

    Daniel Miguel Treviño

2020

  1. Álgebra computacional: formalización y aplicaciones a la fiabilidad de redes y al prcesamiento de imágenes biomédicas.

    María Vico Pascual Martínez-Losa, Eduardo Sáenz de Cabezón Irigaray

  2. Sistema digital de previsión mejora cultivo champiñón

    Eloy Javier Mata Sotés

2018

  1. EICOD18/08 ESTANCIA UNIVERSIDAD DE TURIN (ITALIA)

    Ana Romero Ibáñez

2013

  1. Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.

    Julio Rubio García

2009

  1. Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad

    Julio Rubio García

2007

  1. Programación con componentes fiables para el cálculo simbólico.

    Julio Rubio García

2005

  1. ENTORNOS DE ESPECIFICACIÓN Y PROGRAMACIÓN PARA SISTEMAS DE CÁLCULO SIMBÓLICO

    Julio Rubio García