
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 theoremproving 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 highlevel language and interactive...

SETHEO
 Referenced in 120 articles
[sw00707]
 SETHEO: A highperformance 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 opensource 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...