• SageMath

  • Referenced in 1859 articles [sw00825]
  • technology in Sage itself are distinguished by an extremely strong emphasis on openness, community, cooperation...
  • HOL Light

  • Referenced in 300 articles [sw06580]
  • from earlier HOL systems, HOL Light is distinguished by its clean and simple design...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • substantial departure from the original QEPCAD and distinguishing it from any development of the original...
  • LiE

  • Referenced in 160 articles [sw01075]
  • group orbits, reduced elements in Weyl groups, distinguished coset representatives and much more. These operations...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication results in a number of distinguishing properties of the new language, Linda, that...
  • Camellia

  • Referenced in 88 articles [sw09731]
  • optimized DES implementation. In addition, a distinguishing feature is its small hardware design. The hardware...
  • MRMC

  • Referenced in 70 articles [sw04129]
  • model checking, and their reward extensions. Distinguishing features of MRMC are its support for computing...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • retrieve similar regions from the database. A distinguishing aspect of this system is its incorporation...
  • MiBench

  • Referenced in 50 articles [sw04421]
  • next generation embedded processors. Several characteristics distinguish the representative embedded programs from the existing SPEC...
  • Voro++

  • Referenced in 43 articles [sw18065]
  • dimensional computations of the Voronoi tessellation. A distinguishing feature of the Voro++ library is that...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • evaluation. For reasons of efficient implementation, it distinguishes and separates and- parallel and or-parallel...
  • Mixmod

  • Referenced in 37 articles [sw06991]
  • fourteen different Gaussian models can be distinguished according to different assumptions regarding the component variance...
  • MCTDH

  • Referenced in 33 articles [sw14837]
  • equation for multidimensional dynamical systems consisting of distinguishable particles. MCTDH can thus determine the quantal...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • architecture and interface. We discuss its distinguishing features w.r.t. other state-of-the-art solvers...
  • ARMC

  • Referenced in 27 articles [sw04949]
  • approach to verify industrial software systems. Its distinguishing characteristics lie in the way it applies...
  • BLOOMP

  • Referenced in 27 articles [sw06454]
  • grid spacing. One of the most distinguishing attributes of BLOOMP is its capability of dealing...
  • SHOP2

  • Referenced in 27 articles [sw17940]
  • system received one of the awards for distinguished performance in the 2002 International Planning Competition...
  • BL data set

  • Referenced in 26 articles [sw08330]
  • differ. Within the cumulative scheduling class, we distinguish between “highly disjunctive” and “highly cumulative” problems...
  • OpenLB

  • Referenced in 26 articles [sw08549]
  • modi ed during program execution, to distinguish for example between bulk and boundary cells...
  • FASTA

  • Referenced in 25 articles [sw09655]
  • sequences with similarity scores, that cannot be distinguished from the bulk of the library...