123
Mathematica

Mathematica

Definitivní technický výpočetní systém zahrnující strojové učení a neuronové sítě, věda o datech, vizualizace a mnoho dalšího.
Mathematica je výpočetní softwarový program, který se široce používá ve vědeckých, inženýrských a matematických oborech a dalších oblastech technických výpočtů.

Webová stránka:

Funkce

Kategorie

Alternativy Mathematica pro OCaml

z3

z3

Z3 je věta z Microsoft Research.