Alternatives à z3 pour Windows

• Windows
  Toutes les plateformes Windows Mac Linux Android iPhone iPad Web BSD
• Toute licence
  Toute licence License gratuite Licence Open Source Licence commerciale

180

MATLAB

Environnement informatique de classe entreprise et langage de programmation pour le calcul numérique.

• Payante
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

GNU Octave

Octave est un programme informatique pour effectuer des calculs numériques qui est principalement compatible avec MATLAB.Cela fait partie du projet GNU.

• Gratuite
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R est un environnement logiciel gratuit pour le calcul statistique et les graphiques.

• Gratuite
• Windows
• Mac
• Linux
• BSD

140

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.

• Payante
• Web
• Windows
• Mac
• Linux