Alternatif untuk z3 untuk semua platform dengan sebarang lesen

• Semua platform
  Semua platform Windows Mac Linux Android iPhone iPad Web BSD
• Mana-mana lesen
  Mana-mana lesen Lesen percuma Lesen Open Source Lesen komersil

180

MATLAB

Persekitaran pengkomputeran kelas perusahaan dan bahasa pengaturcaraan untuk pengiraan berangka.

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

172

GNU Octave

Octave adalah program komputer untuk melakukan perhitungan berangka yang kebanyakannya serasi dengan MATLAB.Ia adalah sebahagian daripada Projek GNU.

• Percuma
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R adalah persekitaran perisian percuma untuk pengkomputeran dan grafik statistik.

• Percuma
• Windows
• Mac
• Linux
• BSD

140

Mathematica

Sistem pengkomputeran teknikal yang pasti merangkumi pembelajaran mesin dan rangkaian saraf, sains data, visualisasi dan banyak lagi.

• Berbayar
• Web
• Windows
• Mac
• Linux

41

fxSolver

Penyelesaian matematik dalam talian, editor persamaan dan pangkalan data, kalkulator grafik dan pembantu masalah sains / kejuruteraan.

• Percuma
• Web

8

Cymath

Masukkan masalah matematik anda, dan biarkan Cymath menyelesaikannya untuk anda langkah demi langkah! Bagi pelajar sekolah menengah, Cymath merangkumi topik-topik dalam algebra seperti: - penyelesaian persamaan-pemfaktoran

• Percuma

0

Solve My Math

Dapatkan bantuan matematik cepat dan dalam talian dengan lebih dari 100 pemecah dan kalkulator matematik langkah-demi-langkah segera demi langkah yang direka untuk membantu anda menyelesaikan masalah matematik anda dan memahami konsep-konsep di belakangnya !.

• Percuma
• Web