-
polymake
- Referenced in 316 articles
[sw00724]
- polymake is open source software for research in...
-
PSPLIB
- Referenced in 269 articles
[sw00740]
- PSPLIB -- a project scheduling problem library. We present...
-
R
- Referenced in 9969 articles
[sw00771]
- R is a language and environment for statistical...
-
SageMath
- Referenced in 1994 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
Scilab
- Referenced in 173 articles
[sw00834]
- Scilab includes hundreds of mathematical functions. It has...
-
Sostools
- Referenced in 289 articles
[sw00891]
- We are pleased to introduce SOSTOOLS, a free...
-
SUNDIALS
- Referenced in 241 articles
[sw00927]
- SUNDIALS was implemented with the goal of providing...
-
TISEAN
- Referenced in 170 articles
[sw00967]
- Practical implementation of nonlinear time series methods: The...
-
TPS
- Referenced in 73 articles
[sw00973]
- TPS and ETPS are, respectively, the Theorem Proving...
-
TSPLIB
- Referenced in 698 articles
[sw00983]
- TSPLIB is a library of sample instances for...
-
SERBA
- Referenced in 156 articles
[sw01160]
- SERBA: a B.I.E. program with linear elements for...
-
APL
- Referenced in 79 articles
[sw01165]
- APL (named after the book A Programming Language...
-
ML
- Referenced in 522 articles
[sw01218]
- ML (’Meta Language’) is a general-purpose functional...
-
COBOL
- Referenced in 237 articles
[sw01228]
- COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
-
Graphviz
- Referenced in 90 articles
[sw01283]
- Graphviz is open source graph visualization software. Graph...
-
WordNet
- Referenced in 411 articles
[sw01777]
- WordNet® is a large lexical database of English...
-
McEliece
- Referenced in 251 articles
[sw02076]
- Practical power analysis attacks on software implementations of...
-
CASL
- Referenced in 174 articles
[sw02235]
- The specification language developed by CoFI is called...
-
SNOPT
- Referenced in 551 articles
[sw02300]
- SNOPT: An SQP algorithm for large-scale constrained...
-
P-FCM
- Referenced in 16 articles
[sw02421]
- P-FCM: A proximity-based fuzzy clustering for...