FORMATH
Financiado
Presupuesto del proyecto
2M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Science
Mathematics Software Development Algorithms Artificial Intelligence
Mathematics Software Development Algorithms Artificial Intelligence
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#formalized mathematics
#linear algebra
#real number computation
#algebraic topology
#formal proof
#algorithms
#ordinary differential equations
#computer-based calculations
4 Participantes
Lider
N.D. |
Participante
N.D. |
Participante
N.D. |
Participante