z3

z3

Z3 je dokaz teorema podjetja Microsoft Research.
Z3 je dokaz teorema podjetja Microsoft Research

Alternativa z3u za Web

MATLAB

MATLAB

Računalniško okolje podjetja in programski jezik za numerično računanje.
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č.
fxSolver

fxSolver

Spletni matematični reševalec, urejevalnik enačb in baze podatkov, grafični kalkulator in pomočnik pri znanosti / inženiringu.
  • Brezplačna
  • Web
Solve My Math

Solve My Math

Hitro in spletno pomoč pridobite pri matematiki z več kot sto takojšnjimi in enakomernimi matematičnimi rešitvami in kalkulatorji, ki vam bodo pomagali rešiti matematične težave in razumeti koncepte, ki stojijo za njimi !.
  • Brezplačna
  • Web