• 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 symbolic-numerical-graphical...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • SNOPT

  • Referenced in 523 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • S-PLUS

  • Referenced in 602 articles [sw02892]
  • S-PLUS 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...
  • UCI-ml

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