cdlibre.org

Catálogo de Software Libre

La tabla siguiente indica los programas de la categoría "Matemáticas" incluidos en cdlibre.org. Consulta estas páginas de instrucciones para saber qué información hay en la tabla y para saber cómo instalar los programas.

Nuevos programas incluidos desde el 5 de julio de 2010: Ninguno

Programas actualizados desde el 5 de julio de 2010: LPSolve IDE 5.5.2.0 -

Programas incluidos: Coq 8.2.pl2 - FANN 2.1 - Gambit 0.2007.12.04 - gretl 1.9.1 - LPSolve IDE 5.5.2.0 - Matrex 2.01 -

Catálogo > Matemáticas
Coq 8.2.pl2 Coq 8.2.pl2 Windows y Linux Inglés Consulta la licencia 135.2 MB 29/06/10 Incluido en DVD-Educación Homepage Descargar de Internet
Coq es un sistema de demostración automática de teoremas.
FANN 2.1 FANN 2.1 Windows y Linux Inglés Consulta la licencia 1.4 MB 05/01/07 Incluido en DVD-Educación Homepage Descargar de Internet
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). También incluye un entorno gráfico para desarrollar, entrenar y probar redes neuronales al que se accede a través del navegaodr web (requiere Flash 7 o posterior).
El programa no necesita instalación: hay que descomprimir el archivo zip en una carpeta, ejecutar el programa fannSoap\fannKernel\Release\fannKernel.exe y abrir en el navegador web la dirección local que nos muestra el programa.
Gambit 0.2007.12.04 Gambit 0.2007.12.04 Windows y Linux Inglés Consulta la licencia 12.0 MB 04/12/07 Incluido en DVD-Educación Homepage Descargar de Internet
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.
gretl 1.9.1 gretl 1.9.1 Windows y Linux Castellano Consulta la licencia 11.5 MB 24/06/10 Incluido en DVD-Educación Homepage Descargar de Internet
gretl (Gnu Regression, Econometrics and Time-series Library) es un completo paquete de análisis econométrico.
LPSolve IDE 5.5.2.0 LPSolve IDE 5.5.2.0 Windows y Linux Inglés Consulta la licencia 2.0 MB 12/08/10 Incluido en DVD-Educación Homepage Descargar de Internet
LPSolve IDE es un interfaz gráfico para utilizar lp_solve, una biblioteca de resolución de problemas de programación lineal.
Matrex 2.01 Matrex 2.01 Java Inglés Consulta la licencia 11.4 MB 29/04/10 Incluido en DVD-Educación Homepage Descargar de Internet
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 1.6 (o posterior).
Autor: Bartolomé Sintes Marco - cdlibre.org
Última actualización: 29 de agosto de 2010