• PTTP+GLiDeS

  • Referenced in 2 articles [sw30126]
  • work done in the area of semantic guidance, in a variety of first order theorem ... SGLD need to be supplied with semantics by the user. SCOTT uses FINDER...
  • onlinePCA

  • Referenced in 3 articles [sw21315]
  • astronomy, and latent semantic indexing, among others. This work provides guidance for selecting an online...
  • GROVER

  • Referenced in 2 articles [sw09968]
  • practical semantics of mathematical diagrams. This chapter describes the authors’ research into ... existing theorem-proving systems operating without such guidance. In the process, we have discovered some...
  • Maple

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

  • Referenced in 120 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • OTTER

  • Referenced in 316 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...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • Using the SPARK toolset for showing the absence...
  • SPIN

  • Referenced in 715 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SDPT3

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

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

  • Referenced in 178 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • HyTech

  • Referenced in 328 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • NuSMV

  • Referenced in 299 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Darwin

  • Referenced in 25 articles [sw04175]
  • Darwin is an automated theorem prover for first...
  • ARPACK

  • Referenced in 798 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • Simulink

  • Referenced in 768 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • YALMIP

  • Referenced in 963 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • SIMPLIFY

  • Referenced in 140 articles [sw04976]
  • Extended static checking. This paper provides an overview...