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 1 de diciembre de 2008: Coq 8.1 pl4 -
Programas actualizados desde el 1 de diciembre de 2008: Ninguno
Programas incluidos: Coq 8.1 pl4 - FANN 2.1 - Gambit 0.2007.12.04 - gnuplot 4.2.4 - gretl 1.7.9 - LPSolve IDE 5.5.0.13 -
| Catálogo > Matemáticas | |||||||||
 |
Coq 8.1 pl4 |  |
 |
 |
83.7 MB | 09/10/08 |  |
 |
 |
| Coq es un sistema de demostración automática de teoremas. | |||||||||
 |
FANN 2.1 | |
|
|
1.4 MB | 05/01/07 | |
|
|
| 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 | |
|
|
12.0 MB | 04/12/07 | |
|
|
| 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. | |||||||||
 |
gnuplot 4.2.4 | |
|
|
3.7 MB | 23/09/08 | |
|
|
| Gnuplot es un generador de gráficos 2D y 3D. El programa se controla a través de los menús o mediante línea de comandos y es capaz de generar gráficos en varios formatos (LaTeX, metafont, pdf, svg o png). El programa no necesita instalación: hay que descomprimir el archivo zip en una carpeta y ejecutar el programa bin/wgnuplot.exe. Nota: La licencia de gnuplot obliga a que las modificaciones del código fuente se realicen en forma de parches que se añadan al código original. Esta obligación no impide que las distribuciones GNU/Linux incluyan el programa, también está incluido en cdlibre.org. |
|||||||||
 |
gretl 1.7.9 | |
 |
|
9.9 MB | 29/09/08 | |
|
|
| gretl (Gnu Regression, Econometrics and Time-series Library) es un completo paquete de análisis econométrico. | |||||||||
 |
LPSolve IDE 5.5.0.13 | |
|
|
2.8 MB | 03/08/08 | |
|
|
| LPSolve IDE es un interfaz gráfico para utilizar lp_solve, una biblioteca de resolución de problemas de programación lineal. La página web del proyecto es un grupo de Yahoo! groups, por lo que habrá que estar inscrito es Yahoo! groups para poder acceder a ella (la inscripción es gratuita). Para descargar el programa no es necesario estar inscrito. | |||||||||
Esta obra está bajo
una licencia de
Creative Commons.