Alternatives à z3 pour toutes les plateformes avec n'importe quelle licence

• Toutes les plateformes
  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

41

fxSolver

Solveur de mathématiques en ligne, éditeur d'équations et base de données, calculatrice graphique et assistant de problèmes en science / ingénierie.

• Gratuite
• Web

8

Cymath

Entrez votre problème de mathématiques et laissez Cymath le résoudre étape par étape! Pour les lycéens, Cymath couvre des sujets en algèbre tels que: - résolution d'équations - factorisation

• Gratuite

0

Solve My Math

Obtenez une aide mathématique rapidement et en ligne avec plus d'une centaine de solveurs et calculateurs mathématiques instantanés et même pas à pas conçus pour vous aider à résoudre vos problèmes mathématiques et à comprendre les concepts qui les sous-tendent!.

• Gratuite
• Web