GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES EN TOPOLOGIA ALGEBR...
GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES EN TOPOLOGIA ALGEBRAICA Y EN LOGICA.
ESTE PROYECTO NACE DE LA CONFLUENCIA DE DOS LINEAS DE INVESTIGACION DESARROLLADAS A LO LARGO DE LOS AÑOS POR DOS EQUIPOS DISTINTOS, UNO DE LA RIOJA Y OTRO DE SEVILLA, EL EQUIPO DE LA RIOJA HA TRABAJADO EN LOS ASPECTOS COMPUTACIONA...
ver más
UNIVERSIDAD DE LA RIOJA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores312
Fecha límite participación
Sin fecha límite de participación.
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2009-01-01
No tenemos la información de la convocatoria
0%
100%
Características del participante
Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Información proyecto MTM2009-13842-C02-01
Líder del proyecto
UNIVERSIDAD DE LA RIOJA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores312
Presupuesto del proyecto
52K€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
ESTE PROYECTO NACE DE LA CONFLUENCIA DE DOS LINEAS DE INVESTIGACION DESARROLLADAS A LO LARGO DE LOS AÑOS POR DOS EQUIPOS DISTINTOS, UNO DE LA RIOJA Y OTRO DE SEVILLA, EL EQUIPO DE LA RIOJA HA TRABAJADO EN LOS ASPECTOS COMPUTACIONALES DE LA TOPOLOGIA ALGEBRAICA, Y EL DE SEVILLA EN LOGICA, ESTE PROYECTO SERVIRA PARA UNIFICAR ESTAS LINEAS DENTRO DEL AREA CONOCIDA COMO GESTION DEL CONOCIMIENTO MATEMATICO (MKM, SEGUN SUS SIGLAS EN INGLES), DICHA AREA PRETENDE INTEGRAR TODOS LOS ASPECTOS DE LA MECANIZACION DE LAS MATEMATICAS, INCLUYENDO EL CALCULO (ALGEBRA COMPUTACIONAL), LA DEDUCCION (RAZONAMIENTO Y VERIFICACION) Y LA COMUNICACION (VIA LENGUAJES BASADOS EN XML), TODOS ESTOS ASPECTOS SERAN TRATADOS PARA ALGUNAS PARTES DE LA TOPOLOGIA ALGEBRAICA, LOS RELATIVOS A LA DEDUCCION Y LA COMUNICACION SERAN TAMBIEN ABORDADOS PARA LA LOGICA, ADEMAS, TECNICAS DE LA LOGICA COMPUTACIONAL (COMO LOS SISTEMAS DE RESCRITURA) SERAN EMPLEADAS PARA LA FORMALIZACION EN TOPOLOGIA SIMPLICIAL, MAS CONCRETAMENTE, TRABAJOS REALIZADOS POR EL GRUPO DE SEVILLA CON EL DEMOSTRADOR MECANIZADO ACL2 SERAN APLICADOS A LA FORMALIZACION Y VERIFICACION DE ALGORITMOS QUE APARECEN EN LOS SISTEMAS DE CALCULO SIMBOLICO EN TOPOLOGIA DESARROLLADOS POR EL GRUPO DE LA RIOJA, GESTION DEL CONOCIMIENTO MATEMATICO\RAZONAMIENTO MECANIZADO\TOPOLOGIA ALGEBRAICA COMPUTACIONAL\LOGICA COMPUTACIONAL