123
Mathematica

Mathematica

Système informatique technique définitif couvrant l'apprentissage automatique et les réseaux de neurones, la science des données, les visualisations et bien plus encore.
Mathematica est un logiciel informatique largement utilisé dans les domaines scientifiques, techniques et mathématiques et dans d'autres domaines de l'informatique technique.

Site Internet:

traits

Les catégories

Alternatives à Mathematica pour OCaml

z3

z3

Z3 est un prouveur de théorème de Microsoft Research.