Mathematica

Mathematica

Dokončni tehnični računalniški sistem, ki sega v strojno učenje in nevronske mreže, podatkovne znanosti, vizualizacije in še veliko več.
Mathematica je računalniški program, ki se široko uporablja na znanstvenem, inženirskem in matematičnem področju ter na drugih področjih tehničnega računalništva.
mathematica

Alternativa Mathematicau za C (programming language)

z3

z3

Z3 je dokaz teorema podjetja Microsoft Research.