Bukatutako proiektuak

2024

  1. Aspectos matemáticos del procesamiento de imágenes Biomédicas, métodos topológicos y de ciencia de datos

    César Domínguez Pérez, María Vico Pascual Martínez-Losa

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

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

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

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

2017

  1. Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.

    Gadea Mata Martínez

  2. Métodos formales y procedencia en el procesamiento de imágenes digitales

    Carlos Sáenz Adán

2016

  1. 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

  2. Procesamiento de imágenes biomédicas para el estudio de tratamientos en enfermedades neurodegenerativas.

    Gadea Mata Martínez

  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

2012

  1. Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847

    Julio Rubio García

2011

  1. Convenio de colaboración conjunto con la Universidad de Cantabria para la realizaciónd el Proeycto I+D titulado "Proyecto Mateslab: Desarrollo de Tutormates".

    Julio Rubio García

  2. Mathematics, Algorithms, proofs

    Julio Rubio García

  3. Mateslab: Desarrollo de la capa intermedia y validación de contenido

    Julio Rubio García

  4. CONVENIO ADDLINK RESEARCH, UR Y U. CANTABRIA (complementa proyecto Mateslab: Desarrollo de la capa intermedia y validación de contenido)

    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

2008

  1. Sistemas de Cálculo Simbólico: nuevos desarrollos en Topología Algebraica y fiabilidad

    Julio Rubio García

2007

  1. Mathematics, algorithms, proofs (MAP2006)

    Julio Rubio García

  2. 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

2004

  1. Entornos de especificación y programación para sistemas de cálculo simbólico.

    Julio Rubio García

2002

  1. CÁLCULO SIMBÓLICO EN TOPOLOGÍA ALGEBRÁICA Y ALGEBRA HOMOLÓGICA: FUNDAMENTOS INFORMÁTICOS

    Julio Rubio García