Estos son los programas de la categoría "Matemáticas" incluidos en cdlibre.org. Consulta estas páginas de instrucciones para saber qué información se ofrece y para saber cómo instalar los programas.
Nuevos programas incluidos desde el 6 de junio de 2022: Ninguno
Programas actualizados desde el 6 de junio de 2022: Coq Platform 2022.04.1 -
Programas incluidos: Coq Platform 2022.04.1 - FANN 2.2.0 - FreeFEM++ 4.11 - Gambit 16.0.2 - Golly 4.1 - gretl 2022.a - LPSolve IDE 5.5.2.11 - Matrex 2.2 -
Catálogo > Matemáticas
Coq es un sistema de demostración automática de teoremas.
FANN (Fast Artificial Neural Network) es una biblioteca de redes neuronales multicapa escrita en C (aunque también incluye versiones para C++, PHP, PERL, Python, Delphi, .NET o Mathematica).
FreeFem++ es un solucionador de ecuaciones diferenciales parciales que se deben expresar con su propio lenguaje de script, similar a C++.
Gambit es una colección de herramientas y programas dirigidos a la construcción y análisis de juegos finitos extensivos y de forma normal.
Golly es un simulador del Juego de la vida de J.H. Conway y otros autómatas celulares.
El programa no necesita instalación: hay que descomprimir el archivo zip en una carpeta y ejecutar el programa Golly.exe.
gretl (Gnu Regression, Econometrics and Time-series Library) es un completo paquete de análisis econométrico.
LPSolve IDE es un interfaz gráfico para utilizar lp_solve, una biblioteca de resolución de problemas de programación lineal.
Matrex es una hoja de cálculo vectorial, en la que las funciones se aplican a matrices de datos en vez de a celdas individuales.
Es un programa Java, por lo que se necesita tener instalado Java Runtime Environment.
Última modificación: 26 de junio de 2022