• Desarrollo e implementación óptica y computacional para la generación de hologramas sintéticos de imágenes 3D reales 

  Madrid Sánchez, Alejandro; Magíster en Física Aplicada; amadrid@eafit.edu.co (Universidad EAFIT; Maestría en Física Aplicada; Escuela de Ciencias. Departamento de Ciencias Básicas, 2018)

• 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 ...

• Diseño e implementación de un microscopio de luz polarizada para la medición cuantitativa de propiedades polarimétricas en muestras biológicas 

  Cano Barrera, Camilo Antonio; Magíster en Física Aplicada; ccanoba@eafit.edu.co (Universidad EAFIT; Maestría en Física Aplicada; Escuela de Ciencias. Departamento de Ciencias Básicas, 2018)

• 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)

Más