Catálogo de Software Libre

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 4 de septiembre de 2023: Ninguno

Programas actualizados desde el 4 de septiembre de 2023: Coq Platform 2023.03 -

Programas incluidos: Coq Platform 2023.03 - FreeFEM++ 4.13 - Gambit 16.0.2 - Golly 4.2 - gretl 2023.b - LPSolve IDE 5.5.2.11 -

Catálogo > Matemáticas

Coq Platform 2023.03

Coq Platform 2023.03 (64 bits) 18/09/23 513.6 MB

Homepage Descargar de Internet No incluido en ningún CD Windows y Linux Inglés Consulta la licencia

Coq es un sistema de demostración automática de teoremas.

FreeFEM++ 4.13

FreeFEM++ 4.13 (64 bits) 05/07/23 236.1 MB

Homepage Descargar de Internet No incluido en ningún CD Windows y Linux Inglés Consulta la licencia

FreeFem++ es un solucionador de ecuaciones diferenciales parciales que se deben expresar con su propio lenguaje de script, similar a C++.

Gambit 16.0.2

Gambit 16.0.2 28/01/22 80.1 MB

Homepage Descargar de Internet Incluido en DVD-Educación Windows y Linux Inglés Consulta la licencia

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

Golly 4.2 (64 bits) 22/08/22 15.1 MB

Homepage Descargar de Internet Incluido en DVD-Educación Windows y Linux Inglés Consulta la licencia

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 2023.b

gretl 2023.b (64 bits) 21/07/23 36.5 MB

Homepage Descargar de Internet Incluido en DVD-Educación Windows y Linux Castellano Consulta la licencia

gretl (Gnu Regression, Econometrics and Time-series Library) es un completo paquete de análisis econométrico.

LPSolve IDE 5.5.2.11

LPSolve IDE 5.5.2.11 31/12/20 3.3 MB

Homepage Descargar de Internet Incluido en DVD-Educación Windows y Linux Inglés Consulta la licencia

LPSolve IDE es un interfaz gráfico para utilizar lp_solve, una biblioteca de resolución de problemas de programación lineal.

Autor: Bartolomé Sintes Marco - cdlibre.org
Última modificación: 1 de octubre de 2023