Herhangi bir lisansa sahip tüm platformlar için z3'a alternatifler

• Tüm platformlar
  Tüm platformlar Windows Mac Linux Android iPhone iPad Web BSD
• Herhangi bir lisans
  Herhangi bir lisans Ücretsiz lisans Açık Kaynak lisansı Ticari lisans

180

MATLAB

Sayısal hesaplama için kurumsal sınıf bilgi işlem ortamı ve programlama dili.

• Ücretli
• Windows
• Mac
• Linux
• Android
• iPhone
• iPad
• Web

172

GNU Octave

Octave, çoğunlukla MATLAB ile uyumlu olan sayısal hesaplamaları gerçekleştirmek için kullanılan bir bilgisayar programıdır.GNU Projesi'nin bir parçasıdır.

• Ücretsiz
• Windows
• Mac
• Linux
• BSD

165

R (programming language)

R, istatistiksel hesaplama ve grafikler için ücretsiz bir yazılım ortamıdır.

• Ücretsiz
• Windows
• Mac
• Linux
• BSD

140

Mathematica

Makine öğrenimi ve sinir ağları, veri bilimi, görselleştirmeler ve çok daha fazlasını kapsayan kesin teknik bilgi işlem sistemi.

• Ücretli
• Web
• Windows
• Mac
• Linux

41

fxSolver

Çevrimiçi matematik çözücü, denklem editörü ve veritabanı, grafik hesap makinesi ve bilim / mühendislik problem yardımcısı.

• Ücretsiz
• Web

8

Cymath

Matematik probleminizi girin ve Cymath'ın sizin için adım adım çözmesine izin verin! Lise öğrencileri için Cymath cebirdeki konuları kapsar: - denklem çözme-çarpanlarına ayırma

• Ücretsiz

0

Solve My Math

Matematik problemlerinizi çözmenize ve arkasındaki kavramları anlamanıza yardımcı olmak için tasarlanmış yüzden fazla anında ve hatta adım adım matematik çözücü ve hesap makinesi ile matematik hızlı ve çevrimiçi yardım alın !.

• Ücretsiz
• Web