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