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

Sostools
 Referenced in 276 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

TISEAN
 Referenced in 161 articles
[sw00967]
 Practical implementation of nonlinear time series methods: The...

PRISM
 Referenced in 417 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

SNOPT
 Referenced in 523 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

SPLUS
 Referenced in 602 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

OTTER
 Referenced in 315 articles
[sw02904]
 Our current automated deduction system Otter is designed...

VAMPIRE
 Referenced in 239 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

PEPS
 Referenced in 34 articles
[sw03186]
 Performance Evaluation for Parallel Systems(PEPS). PEPS is...

CUDA
 Referenced in 1212 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SeDuMi
 Referenced in 1206 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 644 articles
[sw04009]
 This software is designed to solve conic programming...

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

SVMlight
 Referenced in 261 articles
[sw04076]
 Description (homepage): SVMlight is an implementation of Vapnik...

CPLEX
 Referenced in 2602 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 533 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

LINPACK
 Referenced in 514 articles
[sw04209]
 LINPACK is a collection of Fortran subroutines that...