-
AXIOM
- Referenced in 173 articles
[sw00063]
- Axiom is a general purpose Computer Algebra system...
-
CGAL
- Referenced in 394 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
GAP
- Referenced in 3189 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
Macaulay2
- Referenced in 1923 articles
[sw00537]
- Macaulay2 is a software system devoted to supporting...
-
Magma
- Referenced in 3315 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 5373 articles
[sw00545]
- The result of over 30 years of cutting...
-
MBL
- Referenced in 8 articles
[sw00561]
- Parallel programming is essential for large-scale scientific...
-
PLUMP
- Referenced in 14 articles
[sw00718]
- The joint CSCS-ETH/NEC collaboration in parallel...
-
SINGULAR
- Referenced in 1508 articles
[sw00866]
- SINGULAR is a Computer Algebra system (CAS) for...
-
Haskell
- Referenced in 880 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
-
Eigtool
- Referenced in 536 articles
[sw07020]
- EigTool is a free MATLAB package for computing...
-
Automath
- Referenced in 410 articles
[sw07127]
- Automath is a language designed by N.G. the...
-
Freshml
- Referenced in 50 articles
[sw08992]
- FreshML: programming with binders made simple. FreshML extends...
-
GitHub
- Referenced in 2766 articles
[sw23170]
- GitHub (originally known as Logical Awesome LLC)[3...