CONSTRUMATH
Financiado
Presupuesto del proyecto
58K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Software
Mathematics Computer Science Algorithms Formal Methods
Mathematics Computer Science Algorithms Formal Methods
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#constructive mathematics
#constructive analysis
#algebra
#topology
#formal proofs
#constructive reverse mathematics
#computer science
#program extraction
Lider