123
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

İnternet sitesi:

Özellikleri

Kategoriler

Linux 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.