Similar to 数式処理システムの一覧
Axiom (数式処理システム)
Axiom (computer algebra system)
Fast Library for Number Theory
Fast Library for Number Theory
GeoGebra
GeoGebra
Geometry Expressions
GiNaC
GiNaCMagma (数式処理システム)
Magma (computer algebra system)
Mathematica
Wolfram MathematicaPARI/GP
PARI/GPRisa/Asir
SINGULAR (数式処理システム)
Singular (software)
SymPy
SymPyWIRIS
WIRISZindaiji
Maxima
Maxima (software)
MuPAD
MuPADYacas
Yacas
ISO 80000-2
ISO 80000-2
ZFCから独立な命題の一覧
List of statements independent of ZFC
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▼-1 trends