123
Mathematica

Mathematica

Definitivt teknisk computersystem, der spænder over maskinlæring og neurale netværk, datavidenskab, visualiseringer og meget mere.
Mathematica er et beregningssoftwareprogram, der bruges vidt i videnskabelige, ingeniørmæssige og matematiske felter og andre områder af teknisk databehandling.

Internet side:

Funktioner

Kategorier

Alternativer til Mathematica til C (programming language)

z3

z3

Z3 er en teorem-prover fra Microsoft Research.