• BFComp

  • Referenced in 3 articles [sw18654]
  • computing BFs that appeal to a small-gain theorem, the BFComp framework can be used...
  • MaGIC

  • Referenced in 17 articles [sw11872]
  • also be used to generate all the small algebras modelling some chosen logic. These ... many purposes including those of refuting non-theorems. They can also be presented ... imaginative logician or just to gain a “feel” for this or that system. MaGIC...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • bisimulation). We present an automation of coinductive theorem proving. This automation is based ... proof critic exploits the information gained from the failed proof attempt. Our approach ... prove the equivalence of programs in a small lazy functional language which is similar ... been successfully tested on a number of theorems...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

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

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

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • FreeFem++

  • Referenced in 1369 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • EnKF

  • Referenced in 408 articles [sw02066]
  • EnKF-The Ensemble Kalman Filter The EnKF is...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • The last decade has seen the advent of...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • MUMPS

  • Referenced in 504 articles [sw04013]
  • Solution of large linear systems with symmetric positive...
  • UCI-ml

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

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