-
polymake
- Referenced in 292 articles
[sw00724]
- polymake is open source software for research in...
-
R
- Referenced in 8359 articles
[sw00771]
- R is a language and environment for statistical...
-
SageMath
- Referenced in 1620 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
SINGULAR
- Referenced in 1373 articles
[sw00866]
- SINGULAR is a Computer Algebra system (CAS) for...
-
Sostools
- Referenced in 270 articles
[sw00891]
- We are pleased to introduce SOSTOOLS, a free...
-
SymPy
- Referenced in 104 articles
[sw00940]
- SymPy is a Python library for symbolic mathematics...
-
TSPLIB
- Referenced in 661 articles
[sw00983]
- TSPLIB is a library of sample instances for...
-
PRISM
- Referenced in 406 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
MACSYMA
- Referenced in 716 articles
[sw01209]
- Macsyma is a general purpose symbolic-numerical-graphical...
-
GraphBase
- Referenced in 122 articles
[sw01555]
- The Stanford GraphBase is a freely available collection...
-
WordNet
- Referenced in 392 articles
[sw01777]
- WordNet® is a large lexical database of English...
-
SNOPT
- Referenced in 507 articles
[sw02300]
- SNOPT: An SQP algorithm for large-scale constrained...
-
CUDA
- Referenced in 1185 articles
[sw03258]
- The NVIDIA® CUDA® Toolkit provides a comprehensive development...
-
Pajek
- Referenced in 133 articles
[sw03707]
- Pajek -- analysis and visualization of large networks. Pajek...
-
AMPL
- Referenced in 583 articles
[sw04001]
- AMPL is a comprehensive and powerful algebraic modeling...
-
SeDuMi
- Referenced in 1175 articles
[sw04002]
- SeDuMi is a Matlab toolbox for solving optimization...
-
SDPT3
- Referenced in 609 articles
[sw04009]
- This software is designed to solve conic programming...
-
PETSc
- Referenced in 1148 articles
[sw04012]
- The Portable, Extensible Toolkit for Scientific Computation (PETSc...
-
JDQR
- Referenced in 482 articles
[sw04021]
- From this page you can get a Matlab...
