• 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 high-level 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 large-scale constrained...
  • RENAISSANCE

  • Referenced in 5 articles [sw03022]
  • Real-time 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 eye-pea-Opt...
  • Jason

  • Referenced in 65 articles [sw06187]
  • Programming multi-agent 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...