Similar to WIRIS
TQBF問題
True quantified Boolean formula
Xorshift
Xorshift
アフィン演算
Affine arithmetic
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▲1 trends
1048576
1048576
12345679
数式処理システム
Computer algebra system
数式処理システムの一覧
List of computer algebra systems
Template:Computer algebra systems
Template:Computer algebra systemsFORMAC
FORMACGeneral Algebraic Modeling System
General algebraic modeling system
Julia (プログラミング言語)
Julia (programming language)
TI-Nspireシリーズ
TI-Nspire seriesTI-92シリーズ
TI-92 seriesGAP (数式処理システム)
GAP (computer algebra system)Desmos
Desmos
日本Mathematicaユーザー会
Macsyma
Macsyma:max_bytes(150000):strip_icc()/sugar-maple-trees-in-fall-1037004188-a7a5ad50aa6449f199700a9d57cd2d80.jpg)
Maple
Maple (software)