Hola,
¿eres nuevo aquí?
Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.
Tengo cuenta
Regístrate
¿Te ayudamos?
Ejemplos de búsqueda
Vídeos Explicativos
FORMATH
Financiado
Áreas y Palabras clave
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
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
UGOT - GOETEBORGS UNIVERSITE...
Lider
INRIA
N.D. | Participante
STICHTING RADBOUD UNIVERSITE...
N.D. | Participante
UR
N.D. | Participante
Ver más
Últimas noticias
Ver más
Iniciar sesión en innovating.works
×
Conecta tu I+D
Entra hoy
Log in
Forgot your password?
Regístrate
Selecciona el tipo de búsqueda
×
Financiación
Empresas
CTIs/Universidades
Proyectos
Investigadores
×