• 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...