Omitir los comandos de cinta
Saltar al contenido principal
Inicio de sesión
Universidad EAFIT
Carrera 49 # 7 sur -50 Medellín Antioquia Colombia
Carrera 12 # 96-23, oficina 304 Bogotá Cundinamarca Colombia
(57)(4) 2619500 contacto@eafit.edu.co

Infraestructura

​​​​

Software​​​

​​

Agda

​​Proof assistant/Dependently typed functional programming language.

Crystal

​​A computational tool for solid state chemistry and physics.

Gmsh

​​​​A three-dimensional finite element mesh generator.​

Logic Coach10

​​Computer environment for practicing and learning skills taught in an undergraduate level course in logic.​

Mathematica

​Computational program for technical computing.​

Medea

​A software package that predicts materials properties using simulations based on quantum mechanics, statistical thermodynamics, classical mechanics and electrodynamics as well as correlation methods involving empirical data.​

ParaView

​Data analysis and visualization application.​

Semilleros asociados

​Semillero de Sistemas de Control​

Wien2k

​Program to perform electronic structure calculations of solids using density functional theory (DFT).​
Última modificación: 18/03/2016 11:10