
FIAT
 Referenced in 44 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MetaNet
 Referenced in 2 articles
[sw01779]
 MetaNet: A distributed network management system for information...

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

RENAISSANCE
 Referenced in 5 articles
[sw03022]
 Realtime motorway network traffic surveillance tool RENAISSANCE...

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

HyTech
 Referenced in 333 articles
[sw04125]
 HyTech is an automatic tool for the analysis...

NuSMV
 Referenced in 314 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

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

CVX
 Referenced in 855 articles
[sw04594]
 CVX is a modeling system for constructing and...

Ipopt
 Referenced in 787 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

Jason
 Referenced in 65 articles
[sw06187]
 Programming multiagent systems in AgentSpeak using Jason...

LMI toolbox
 Referenced in 1468 articles
[sw06383]
 Linear Matrix Inequalities (LMIs) and LMI techniques have...

Chemotaxis
 Referenced in 207 articles
[sw07009]
 Chemotaxis: approximation of PDEs models (parabolic, hyperbolic and...

Flyspeck
 Referenced in 124 articles
[sw10277]
 Communicating formal proofs: the case of flyspeck. We...

GitHub
 Referenced in 2760 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...