Results 21 to 40 of 147
Sort by:

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