2
z3
Z3 je dokázateľ vety z programu Microsoft Research.
- Bezplatná
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 je dokázateľ vety z programu Microsoft Research
z3
WebSite:
https://github.com/Z3Prover/z3Vlastnosti
Kategórie
Alternatívy z3 pre všetky platformy s akoukoľvek licenciou
180
172
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.
165
R (programming language)
R je slobodné softvérové prostredie pre štatistické výpočty a grafiku.
140
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.
41
8
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á
0
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