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
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2014-01-01
Proyectos interesantes
PID2020-116641GB-I00
METODOS HOMOLOGICOS EN ALGEBRA COMPUTACIONAL: GENERALIZACION...
33K€
Cerrado
MTM2017-88796-P
COMPUTACION SIMBOLICA: NUEVOS RETOS EN ALGEBRA Y GEOMETRIA Y...
74K€
Cerrado
PID2019-108991GB-I00
MATEMATICAS PARA EL DESARROLLO DE SISTEMAS INTELIGENTES
76K€
Cerrado
TIN2009-14562-C05-04
FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET...
141K€
Cerrado
ANT
Automata in Number Theory
1M€
Cerrado
LASD
Logic and Automata over Sequences with Data
2M€
Cerrado