MTM2014-54151-P
Financiado
Presupuesto del proyecto
22K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Science
Artificial Intelligence Computer Science Mathematics Medical Technology
Artificial Intelligence Computer Science Mathematics Medical Technology
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#formalization of mathematics
#symbolic computation
#computational algebra
#mechanized reasoning
#theorem proving
#software verification
#digital image processing
#reliability
Lider