
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, opensource 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...

Silhouettes
 Referenced in 215 articles
[sw03705]
 Silhouettes: a graphical aid to the interpretation and...

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