
2
z3
Z3 je věta z Microsoft Research.
Alternativy z3 pro všechny platformy s jakoukoli licencí

180

172
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.

165
R (programming language)
R je svobodné softwarové prostředí pro statistické výpočty a grafiku.

140
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.

41

8
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

0
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 !.
- Zdarma
- Web