z3

z3

Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır.
Z3, Microsoft Research'ten bir teorem kanıtlayıcısıdır
z3

İnternet sitesi:

Özellikleri

Kategoriler

Windows için z3'a alternatifler

MATLAB

MATLAB

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

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.
R (programming language)

R (programming language)

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

Mathematica

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