• SageMath

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

• HOL Light

• Referenced in 308 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 165 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 71 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 46 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 34 articles [sw14837]
• equation for multidimensional dynamical systems consisting of distinguishable particles. MCTDH can thus determine the quantal...

• ARMC

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

• BLOOMP

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

• OpenSMT

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

• OpenLB

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

• SHOP2

• Referenced in 28 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...

• MAD

• Referenced in 26 articles [sw12534]
• variables of the class fmad. The main distinguishing feature of this MATLAB implementation...