RYC-2008-03287
Financiado
Development of practically applicable quantifier elimination-based solvers
01/01/2008
UNICAN
192K€
Presupuesto del proyecto: 192K€
Líder del proyecto
UNIVERSIDAD DE CANTABRIA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
471
Total investigadores
471
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2008-01-01
No tenemos la información de la convocatoria
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
Proyectos interesantes
BES-2013-063633
MODELOS Y METODOS DE PROGRAMACION MATEMATICA Y SUS APLICACIO...
84K€
Cerrado
MTM2012-34787
METODOS NUMERICOS Y ASINTOTICOS PARA LA EVALUACION DE FUNCIO...
26K€
Cerrado
BES-2011-050356
METODOS EFECTIVOS EN ALGEBRA: D-MODULOS Y REPRESENTACIONES
43K€
Cerrado
BES-2013-064743
METODOS NUMERICOS Y ASINTOTICOS PARA LA EVALUACION DE FUNCIO...
84K€
Cerrado
MTM2010-16051
FUNDAMENTOS DE MATEMATICAS COMPUTACIONALES: ADAPTABILIDAD, C...
59K€
Cerrado
MTM2015-67142-P
METODOS NUMERICOS Y ASINTOTICOS PARA LA EVALUACION DE FUNCIO...
18K€
Cerrado