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.
Mathematica, bilimsel, mühendislik ve matematiksel alanlarda ve diğer teknik hesaplama alanlarında yaygın olarak kullanılan bir bilgisayar yazılımıdır.
mathematica

İnternet sitesi:

Özellikleri

Kategoriler

OCaml için Mathematica'a alternatifler

z3

z3

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