Existe-t-il un outil prenant en charge les mathématiques discrètes?

Question

Mathématiques discrètes (également mathématiques finies) traite de sujets tels que la logique, la théorie des ensembles, théorie de l'information, ensembles partiellement ordonnés, preuves, relations et plusieurs autres sujets.

Pour les autres branches des mathématiques, il existe des outils d'aide à la programmation. Pour les statistiques, il existe R et S qui intègre de nombreuses fonctions de statistiques utiles. Pour l'analyse numérique, Octave peut être utilisé en tant que langage ou intégré au C ++.

Je ne connais aucun langage ou package traitant spécifiquement des mathématiques discrètes (bien que pratiquement tous les langages puissent être utilisés pour implémenter des algorithmes utilisés en mathématiques discrètes, il devrait exister des bibliothèques ou des environnements spécialement conçus pour ces applications). .

Answer 1

La version actuelle de Mathematica est 7. Coûts de licence:

1. Édition familiale : 295 $.
2. Standard: 2 495 USD sous Windows / Mac / Linux (3 120 USD pour Solaris)
3. Gouvernement: 1 996 USD (2 496 USD pour Solaris)
4. Éducation: 1 095 USD (1 370 USD pour Solaris)
5. Étudiant: 139,95 $ (pas de Solaris)

Ci-dessus, le lien Édition Familiale indique:

Mathematica Home Edition est une version entièrement fonctionnelle de Mathematica Professional, dotée des mêmes fonctionnalités.

La version actuelle de Maple est la 12ème. Coût de la licence:

1. Étudiant: 99 $
2. Commercial: 1 895 $
3. Universitaire: 995 $
4. Gouvernement: 1 795 USD

Et oui, consultez Sage, mentionné ci-dessus par Thomas Owens.

Answer 2

Mathematica

Answer 3

Mathematica propose un package Combinatorica qui, bien qu’il soit assez vénérable à ce stade, fournit une bonne part de support pour la combinatoire et les graphiques. Des commandes comme celle-ci sont disponibles:     CollierPolynomial [8, m, cyclique];     GrayCodeSubsets [{1, 2, 3, 4}];     IntegerPartitions [6]

Answer 4

Je dirais que Mathematica est votre meilleur pari. Même s'il ne contient pas certaines fonctionnalités prêtes à l'emploi, il propose des packages complémentaires très bien conçus et disponibles sur le net

consultez http://www.wolfram.com/products/mathematica/analysis/
les liens pour la théorie des nombres, visualisations graphiques

peuvent vous intéresser

Answer 5

J'ai également trouvé Sage . Cela semble être la source ouverte la plus proche de Mathematica, mais je ne sais pas si elle gère bien les mathématiques discrètes.

Answer 6

Maple et Matlab serait un ensemble de progiciels mathématiques pouvant couvrir une partie de ce que vous voulez.

Answer 7

Stanford GraphBase , écrit principalement par Donald Knuth est un excellent package pour l'informatique combinatoire. Je n'appellerais pas cela une base de code étendue, mais elle prend en charge les graphes et une grande quantité de mathématiques discrètes peuvent être formulées en termes de théorie des graphes. Il est écrit en CWEB, qui est (IMO) une version plus lisible de C.

EDIT: c'est gratuit.

Answer 8

J'adore Mathematica et je l'ai utilisé pour créer un prototype d'idées lors de mon doctorat en physique informatique. Cependant, Mathematica tente de plaire à tout le monde et présente quelques inconvénients:

• En tant que société à but lucratif, les corrections de bogues arrivent parfois dans la prochaine version majeure: vous payez.
• En tant que produit propriétaire, le partage de code avec des personnes autres que Mathematica (le monde) pose problème.
• Les nouvelles fonctionnalités sont souvent à moitié cuites et s’arrêtent lorsque vous essayez de les dépasser.
• Sa base d'utilisateurs (tutoriels, conseils, bibliothèques externes) est moins active que celle de python,
• Les chiffres multitpanels sont difficiles à générer; Voir la bibliothèque SciDraw .

Cela étant dit, les principales fonctionnalités de Mathematica sont étonnantes pour les raisons suivantes:

• Sa fonctionnalité mathématique par défaut est assez robuste, permettant des solutions rapides.
• Il permet la programmation à la fois fonctionnelle et procédurale.
• On peut rapidement coder & amp; publier dans différents formats: pdf, site Web interactif.
• Un nouveau livre discret est sorti.

Résultat inférieur

• Les utilisateurs d’Apple s’attendant à une facilité d’utilisation, apprécieront Mathematica pour sa convivialité.
• Les utilisateurs de Linux qui recherchent une extensibilité trouveront frustrant Mathematica d’avoir une conception semblable à celle de Apple, comme celle de type «Box-Welded-Close».