• Nuprl-Light

  • Referenced in 1 article [sw31982]
  • programming language modules. Like the Isabelle [9] generic theorem prover, Nuprl-Light uses generalized Horn ... Light meta-logic also relies on the judgments--as-- types principle (an extension of propositions...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • HYBRID

  • Referenced in 19 articles [sw00421]
  • Hybrid: a package for higher-order syntax in...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • CPLEX

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

  • Referenced in 740 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • Bedwyr

  • Referenced in 23 articles [sw09460]
  • The Bedwyr System for Model Checking over Syntactic...
  • Abella

  • Referenced in 52 articles [sw09461]
  • The Abella Interactive Theorem Prover (System Description). Abella...
  • Teyjus

  • Referenced in 17 articles [sw21364]
  • System description: Teyjus—a compiler and abstract machine...
  • Delphin

  • Referenced in 18 articles [sw21365]
  • Delphin: Functional programming with deductive systems. We present...
  • Centaur

  • Referenced in 19 articles [sw29541]
  • Centaur: the system. This paper describes the organization...