Proyectos vigentes

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

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

Proyectos finalizados

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. IRIS 4.0: Intelligent Recycling System

    Jesús María Aransay Azofra, Emma Juaneda Ayensa

2018

  1. Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional. Formalization of mathematics. applications to symbolic computation and computer algebra.

    Julio Rubio García

2016

  1. Smart Data Project - Modelización y Seguridad de Aplicaciones

    Jesús María Aransay Azofra

  2. Formalización de topología algebraica en lógica de orden superior. Representación y ejecución de algoritmos, estructuras y operaciones.

    Jose Divasón Mallagaray

  3. Formalización de las matemáticas: aplicaciones en cálculo simbólico y álgebra computacional.

    Julio Rubio García

2013

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

    Julio Rubio García

  2. Formalization of Mathematics (FORMATH)

    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