
180
MATLAB est un environnement informatique numérique et un langage de programmation.Géré par The MathWorks, MATLAB permet une manipulation aisée de la matrice, le traçage des fonctions et des données, la mise en œuvre d'algorithmes, la création d'interfaces utilisateur et l'interfaçage avec des programmes dans d'autres langues.Bien qu'il soit uniquement numérique, une boîte à outils en option utilise le moteur symbolique MuPAD, permettant l'accès aux capacités d'algèbre informatique.Un package supplémentaire, Simulink, ajoute la simulation graphique multidomaine et la conception basée sur modèle pour les systèmes dynamiques et embarqués ....
Site Internet:
http://www.mathworks.com/products/matlab/Les catégories
Alternatives à MATLAB pour Python

81
SciPy & Numpy
SciPy (prononcé "Sigh Pie") est un logiciel open source pour les mathématiques, les sciences et l'ingénierie.

31

2
z3
Z3 est un prouveur de théorème de Microsoft Research.
- Gratuite
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++