z3

z3

Z3 je dokázateľ vety z programu Microsoft Research.
Z3 je dokázateľ vety z programu Microsoft Research
z3

Alternatívy z3 pre všetky platformy s akoukoľvek licenciou

MATLAB

MATLAB

Počítačové prostredie podnikovej triedy a programovací jazyk pre numerické výpočty.
GNU Octave

GNU Octave

Octave je počítačový program na vykonávanie numerických výpočtov, ktorý je väčšinou kompatibilný s MATLABom.Je súčasťou projektu GNU.
R (programming language)

R (programming language)

R je slobodné softvérové ​​prostredie pre štatistické výpočty a grafiku.
Mathematica

Mathematica

Definitívny technický výpočtový systém zahŕňajúci strojové učenie a neurónové siete, vedu o údajoch, vizualizácie a oveľa viac.
fxSolver

fxSolver

Online matematický riešiteľ, editor rovníc a databáza, grafická kalkulačka a pomocník v oblasti vedy a techniky.
  • Bezplatná
  • Web
Cymath

Cymath

Zadajte matematický problém a nechajte ho vyriešiť Cymath krok za krokom! Pre študentov stredných škôl pokrýva Cymath témy v algebre, ako napríklad: - riešenie rovníc - faktoring
  • Bezplatná
Solve My Math

Solve My Math

Získajte matematickú pomoc rýchlo a online s viac ako stovkou okamžitých a dokonca krok za krokom riešiteľmi matematiky a kalkulačkami navrhnutými tak, aby vám pomohli vyriešiť vaše matematické problémy a porozumieť konceptom, ktoré sú za nimi !.
  • Bezplatná
  • Web