Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Alejandro Gómez Londoño
Universidad Politécnica de Chalmers
Perfil externo:
Citaciones:
0
Productos:
1
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
1 Producto
Más citado
CSV
API
Proof Reconstruction: Parsing Proofs
Acceso Cerrado
WP-WP
ID Minciencias: WP-0001637508-1
Alejandro Gómez Londoño
Diego Montoya Zapata
Temas:
Mathematical proof
Automated proof checking
Programming language
Computer science
Proof assistant
Automated theorem proving
Proof of concept
Structural proof theory
Proof complexity
Parsing
Proof theory
Computer-assisted proof
Automated reasoning
Bridge (graph theory)
Mathematics
Medicine
Geometry
Internal medicine
Operating system
Publicado: 2015
Citaciones:
0
Documento de trabajo
1
NaN
