RYC-2008-03287
Financiado
Presupuesto del proyecto
192K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Science Applied Mathematics
Data Science Applied Mathematics
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#quantifier elimination
#solvers
#mathematical logic
#computational methods
Lider