Alternatywy dla z3'a dla wszystkich platform z dowolną licencją

• Wszystkie platformy
  Wszystkie platformy Windows Mac Linux Android iPhone iPad Web BSD
• Każda licencja
  Każda licencja Darmowa licencja Licencja Open Source Licencja komercyjna

180

MATLAB

Środowisko obliczeniowe klasy korporacyjnej i język programowania do obliczeń numerycznych.

• Płatna
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

GNU Octave

Octave to program komputerowy do wykonywania obliczeń numerycznych, który jest w większości kompatybilny z MATLAB.Jest częścią Projektu GNU.

• Darmowa
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R jest wolnym środowiskiem oprogramowania do obliczeń statystycznych i grafiki.

• Darmowa
• Windows
• Mac
• Linux
• BSD

140

Mathematica

Ostateczny techniczny system komputerowy obejmujący uczenie maszynowe i sieci neuronowe, analizę danych, wizualizacje i wiele innych.

• Płatna
• Web
• Windows
• Mac
• Linux

41

fxSolver

Solver matematyki online, edytor równań i baza danych, kalkulator graficzny i pomocnik w nauce / inżynierii.

• Darmowa
• Web

8

Cymath

Wprowadź swój problem matematyczny i pozwól Cymath rozwiązać go krok po kroku! Dla uczniów szkół średnich Cymath obejmuje takie tematy algebry, jak: - rozwiązywanie równań - faktoring

• Darmowa

0

Solve My Math

Uzyskaj pomoc matematyczną szybko i online dzięki ponad stu natychmiastowym, a nawet krok po kroku rozwiązaniom matematycznym i kalkulatorom zaprojektowanym, aby pomóc Ci rozwiązać problemy matematyczne i zrozumieć związane z nimi pojęcia!

• Darmowa
• Web