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 2 de junio de 2025: Ninguno
Programas actualizados desde el 2 de junio de 2025: gretl 2025.b -
Programas incluidos: FreeFEM++ 4.15.b - Gambit 16.3.0 - Golly 4.3 - gretl 2025.b - LPSolve IDE 5.5.2.11 - Rocq Prover 2025.01 -
Catálogo > Matemáticas
FreeFEM++ 4.15.b (64 bits) 24/03/25 197.7 MB
FreeFem++ es un solucionador de ecuaciones diferenciales parciales que se deben expresar con su propio lenguaje de script, similar a C++.
Gambit 16.3.0 13/01/25 117.7 MB
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 4.3 (64 bits) 21/05/24 15.3 MB
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 2025.b (64 bits) 05/06/25 44.7 MB
gretl (Gnu Regression, Econometrics and Time-series Library) es un completo paquete de análisis econométrico.
LPSolve IDE 5.5.2.11 31/12/20 3.3 MB
LPSolve IDE es un interfaz gráfico para utilizar lp_solve, una biblioteca de resolución de problemas de programación lineal.
Rocq Prover 2025.01 (64 bits) 04/02/25 769.8 MB
Rocq Prover es un sistema de demostración automática de teoremas.
Antes de marzo de 2025 este programa se llamaba Coq Proof Assistant.
Última modificación: 13 de julio de 2025