
PVS
 Referenced in 626 articles
[sw03484]
 PVS is a verification system: that is, a...

Gurobi
 Referenced in 577 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

TPTP
 Referenced in 383 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

Mosek
 Referenced in 420 articles
[sw04618]
 MOSEK is a tool for solving mathematical optimization...

Uppaal
 Referenced in 640 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

z3
 Referenced in 515 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

Prover9
 Referenced in 183 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

CohnKanade
 Referenced in 57 articles
[sw04974]
 The CohnKanade AUCoded Facial Expression Database...

qpOASES
 Referenced in 67 articles
[sw05107]
 qpOASES – Online Active Set Strategy. qpOASES is an...

ParaView
 Referenced in 182 articles
[sw06128]
 ParaView is an opensource, multiplatform data...

Maude
 Referenced in 677 articles
[sw06233]
 Maude is a highperformance reflective language and...

SciPy
 Referenced in 605 articles
[sw06293]
 SciPy (pronounced ”Sigh Pie”) is opensource software...

NumPy
 Referenced in 445 articles
[sw06294]
 NumPy is the fundamental package for scientific computing...

calib
 Referenced in 59 articles
[sw06524]
 Camera calibration toolbox for Matlab...

Matplotlib
 Referenced in 316 articles
[sw06590]
 matplotlib is a python 2D plotting library which...

OpenGL
 Referenced in 131 articles
[sw06740]
 OpenGL (Open Graphics Library) is a crosslanguage...

Nuprl
 Referenced in 390 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

Excel
 Referenced in 779 articles
[sw06848]
 Microsoft Excel is a powerful spreadsheet application that...

JavaScript
 Referenced in 161 articles
[sw06868]
 JavaScript is a scripting language for computers. It...