MATHFOR
Financiado
Presupuesto del proyecto
2M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Software
Mathematics Computer Science Logic Theoretical Computer Science
Mathematics Computer Science Logic Theoretical Computer Science
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#constructive mathematics
#Hilbert's program
#formal topology
#commutative algebra
#type theory
#Curry-Howard correspondence
#proof systems
#mathematical proofs
Lider