MTM2014-54151-P
Financiado
FORMALIZACION DE LAS MATEMATICAS: APLICACIONES EN CALCULO SIMBOLICO Y ALGEBRA CO...
FORMALIZACION DE LAS MATEMATICAS: APLICACIONES EN CALCULO SIMBOLICO Y ALGEBRA COMPUTACIONAL
LA FORMALIZACION DE LAS MATEMATICAS POR MEDIO DE ASISTENTES PARA EL RAZONAMIENTO MECANIZADO (COMO COQ, ISABELLE O ACL2) HA ALCANZADO UN GRADO DE MADUREZ QUE PERMITE ABORDAR PROBLEMAS REPUTADOS COMO DIFICILES, TANTO EN MATEMATICAS...
ver más
01/01/2014
UR
22K€
Presupuesto del proyecto: 22K€
Líder del proyecto
UNIVERSIDAD DE LA RIOJA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
311
Total investigadores
311
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 2014-01-01
No tenemos la información de la convocatoria
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
Proyectos interesantes
PID2020-116641GB-I00
33K€
Cerrado
Software
Data Science
FRESCO
2M€
Cerrado
Software
Data Science
FORMATH
2M€
Cerrado
Software
Data Science
MTM2016-81030-P
11K€
Cerrado
Software
Applied Physics
TIN2015-70266-C2-1-P
56K€
Cerrado
Software
Data Science
LLAMA
176K€
Cerrado
Software
Data Science
Conecta tu I+D
¿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
