• Abella

  • Referenced in 52 articles [sw09461]
  • syntactic structure. Abella utilizes a two-level logic approach to specification and reasoning. One level...
  • ESPRESSO

  • Referenced in 6 articles [sw08227]
  • logic minimalization. (?? Espresso is a two-level (PLA) logic minimizer developed at the University...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying ... embeddng of Nielson and Nielson’s two-level functional language in our functional language Mini...
  • Delphin

  • Referenced in 18 articles [sw21365]
  • novel and distinctive features include a two-level design that distinguishes cleanly between the tasks ... programming with data. One level is the logical framework LF [5], serving as Delphin...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • 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...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • AMPL

  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...