¿Hay alguna herramienta que admita matemáticas discretas?

Question

Discrete mathematics (also finite mathematics) trata de temas tales como lógica, teoría de conjuntos, teoría de la información, conjuntos parcialmente ordenados, pruebas, relaciones y una cantidad de otros temas.

Para otras ramas de las matemáticas, hay herramientas que admiten la programación. Para las estadísticas, hay R y S que tienen muchas funciones de estadísticas útiles integradas. Para el análisis numérico, Octave se puede usar como lenguaje o integrar en C++.

No conozco ningún idioma o paquete que se ocupe específicamente de las matemáticas discretas (aunque casi todos los idiomas se pueden usar para implementar algoritmos utilizados en matemáticas discretas, debe haber bibliotecas o entornos diseñados específicamente para estas aplicaciones)

Answer 1

La versión actual de Mathematica es 7. Los costes de licencia:

1. Home Edition: $ 295.
2. estándar: $ 2,495 Win Mac Mac PC// ($ 3.120 para Solaris)
3. Gobierno: $ 1,996 ($ 2.496 para Solaris)
4. educativo: $ 1,095 ($ 1.370 Solaris)
5. Estudiante: $ 139.95 (sin Solaris)

arriba, el enlace Home Edition dice:

Mathematica Home Edition es una versión totalmente funcional de Mathematica profesional con las mismas características.

La versión actual de Maple es 12. Costes de licencias:

1. Estudiantes: $ 99
2. Comercial: $ 1,895
3. Académico: $ 995
4. Gobierno: $ 1.795

y sí , echa un vistazo a Sage, mencionado anteriormente por Thomas Owens.

Answer 2

Mathematica

Answer 3

diría que Mathematica es la mejor opción .. incluso si no viene con algunas funciones fuera de la caja, que tiene muy bien diseñado paquetes suplementarios disponibles para ello en la red
cheque http://www.wolfram.com/products/mathematica/analysis/ cabo
que podría estar interesado en los enlaces para teoría de números, gráficas visualizaciones

Answer 4

también encontré Sage. Parece ser lo más parecido a Mathematica que es de código abierto, pero no estoy seguro de qué tan bien maneja las matemáticas discretas.

Answer 5

Maple y Matlab serían un par de paquetes de software de Matemáticas que pueden cubrir parte de lo que desea.

Answer 6

Stanford GraphBase, escrito principalmente por Donald Knuth es un gran paquete para la informática combinatoria.No lo llamaría una base de código extensa, pero tiene un gran soporte para los gráficos y una gran cantidad de matemáticas discretas se pueden formular en términos de teoría de grafos. Está escrito en CWEB, que es (IMO) una versión más legible de C.

EDITAR: Es gratis.

Answer 7

Mathematica tiene un paquete Combinatorica, que aunque bastante venerable en este punto, proporciona una gran cantidad de soporte para la combinatoria y los gráficos. Los comandos como este están disponibles: NecklacePolynomial [8, m, Cyclic]; GrayCodeSubsets [{1, 2, 3, 4}]; IntegerPartitions [6]

Answer 8

Me encanta Mathematica y lo utilicé como prototipo de ideas durante mi doctorado en física computacional. Sin embargo, Mathematica intenta ser todo para todas las personas y hay algunas desventajas:

• ser una empresa con fines de lucro, correcciones de errores a veces vienen en la próxima versión importante: usted paga.
• Al ser un producto propietario, compartir código con personas que no son de Mathematica (el mundo) es problemático.
• Las nuevas funciones a menudo están medio cocidas y se rompen cuando intenta llevarlo más allá del ejemplo incrustado.
• Su base de usuarios (tutoriales, consejos, bibliotecas externas) es menos activa que por ejemplo python,
• Las figuras de Mulitpanel son difíciles de generar; ver la biblioteca SciDraw.

Dicho esto, la funcionalidad principal de Mathematica es sorprendente por las siguientes razones:

• Su funcionalidad matemáticas por defecto es bastante robusta que permite soluciones rápidas.
• Permite la programación funcional y de procedimiento.
• Uno puede codificar rápidamente & publicar en una variedad de formatos: pdf, sitio web interactivo.
• Aparece un nuevo Discreto Book.

En pocas palabras

• usuarios de Apple esperan facilidad de uso, le gustaría Mathematica para su Apple-como, get-up-and-go sentir.
• Los usuarios de Linux que quieran la extensibilidad encontrarán frustrante a Mathematica por tener su diseño similar al de Apple, con caja soldada.