• R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • ROBETH

  • Referenced in 43 articles [sw00811]
  • ROBETH is the program library for robust statistical...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SymPy

  • Referenced in 164 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • Theorema

  • Referenced in 150 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • TISEAN

  • Referenced in 173 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • AUTO

  • Referenced in 958 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • CoFI

  • Referenced in 42 articles [sw01631]
  • CoFI: The common framework initiative for algebraic specification...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • LOGIDATA+

  • Referenced in 5 articles [sw02123]
  • LOGIDATA+ is part of the subproject Advanced Database...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • VAMPIRE

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • NEURON

  • Referenced in 189 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...