Envíos recientes

  • Reconstructing propositional proofs in type theory 

    Prieto Cubides, Jonathan Steven; Magíster en Matemáticas Aplicadas; jprieto9@eafit.edu.co (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)
    We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference ...
  • Una formalización del sistema de los números reales 

    Acevedo Acosta, Jorge Ohel; Echeverri Jurado, José Luis; Magíster en Matemáticas Aplicadas; jorgeacevedo28@hotmail.com; echeverrijurado@gmail.com (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)
  • Método de descomposición de Adomian 

    Ballén López, Juan Pablo; León Velasco, Pablo Alberto; Magíster en Matemáticas Aplicadas; juanpablo59@gmail.com; paleonv@gmail.com (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)
  • Integración entre pedagogía y tecnología en la enseñanza del cálculo de varias variables 

    Rojas Flórez, Luis Carlos; Magíster en Matemáticas Aplicadas; lrojasfl@eafit.edu.co (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2011)
  • Correlación serial con Wavelets 

    Villa Valencia, Alberto Antonio; Martínez Plazas, Javier; Magíster en Matemáticas Aplicadas (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2007)

Más