z3

z3

Z3 je věta z Microsoft Research.
Z3 je věta z Microsoft Research
z3

Webová stránka:

Alternativy z3 pro všechny platformy s jakoukoli licencí

MATLAB

MATLAB

Počítačové prostředí podnikové třídy a programovací jazyk pro numerické výpočty.
GNU Octave

GNU Octave

Octave je počítačový program pro provádění numerických výpočtů, který je většinou kompatibilní s MATLABem.Je součástí projektu GNU.
R (programming language)

R (programming language)

R je svobodné softwarové prostředí pro statistické výpočty a grafiku.
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.
fxSolver

fxSolver

Online matematický řešitel, editor rovnic a databáze, grafická kalkulačka a pomocník v oblasti vědy a techniky.
Cymath

Cymath

Zadejte svůj matematický problém a nechte ho vyřešit Cymath krok za krokem! Pro studenty středních škol pokrývá Cymath témata v algebře, jako například: - řešení rovnic - faktoring
  • Zdarma
Solve My Math

Solve My Math

Získejte matematickou pomoc rychle a online s více než stovkou okamžitých a dokonce krok za krokem matematických řešení a kalkulaček navržených tak, aby vám pomohly vyřešit vaše matematické problémy a porozumět konceptům za nimi !.