• SINGULAR

  • Referenced in 1362 articles [sw00866]
  • ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including ... SINGULAR programming language. A general and efficient implementation of communication links allows SINGULAR to make...
  • LAPACK

  • Referenced in 1617 articles [sw00503]
  • provide a transportable way to achieve high efficiency on diverse modern machines ... highly optimized block matrix operations be already implemented on each machine. LAPACK routines are written ... promotes high efficiency on many high-performance computers, particularly if specially coded implementations ... provided by the manufacturer. Highly efficient machine-specific implementations of the BLAS are available...
  • Chaff

  • Referenced in 564 articles [sw06916]
  • search - especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel...
  • FGb

  • Referenced in 240 articles [sw00286]
  • bases, implement ”standard” algoritms. FGb (206 052 lines of C) ia an efficient program written ... main goal is to provide efficient implementations of state-of-the-art algorithms for computing ... have such an implementation to demonstrate the practical efficiency of new algorithms. Secondly, in conjunction...
  • SATO

  • Referenced in 195 articles [sw04451]
  • last decade, we developed a very efficient implementation of the Davis-Putnam method called SATO...
  • Tabu search

  • Referenced in 1038 articles [sw08556]
  • guiding a user to understand basic implementation principles for solving combinatorial or nonlinear problems ... extensions that have contributed to increasing the efficiency of the method. One of the useful ... ability to adapt a rudimentary prototype implementation to encompass additional model elements, such...
  • igraph

  • Referenced in 149 articles [sw07066]
  • methods, like community structure search. The efficient implementation of igraph allows it to handle graphs...
  • UNLocBoX

  • Referenced in 273 articles [sw07521]
  • available in order to implement problems very efficiently...
  • Adam

  • Referenced in 260 articles [sw22205]
  • method is straightforward to implement, is computationally efficient, has little memory requirements, is invariant...
  • cdd

  • Referenced in 110 articles [sw00114]
  • respectively) is a C++ (ANSI C) implementation of the Double Description Method [MRTT53] for generating ... dimensional vector. See, [FP96] for an efficient implementation of the double description method which...
  • MSLiP

  • Referenced in 109 articles [sw01410]
  • programming problem This paper describes an efficient implementation of a nested decomposition algorithm...
  • word2vec

  • Referenced in 94 articles [sw14978]
  • This tool provides an efficient implementation of the continuous bag-of-words and skip-gram...
  • VAMPIRE

  • Referenced in 234 articles [sw02918]
  • CASC. A number of efficient indexing techniques are used to implement all major operations...
  • SVMlight

  • Referenced in 260 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik’s Support Vector Machine [Vapnik ... problems with many thousands of support vectors efficiently. The software also provides methods for assessing ... generalization performance efficiently. It includes two efficient estimation methods for both error rate and precision/recall ... implementation makes use of this property which leads to a very compact and efficient representation...
  • FeynRules

  • Referenced in 72 articles [sw06468]
  • satellite programs allowing for a straightforward implementation of any beyond the standard model theory ... quark. We show how to efficiently implement these theories in the {sc Mathematica} package...
  • GHC

  • Referenced in 43 articles [sw23765]
  • been paid to the possibility of efficient implementation during the design stage ... expected to be heavily used can be implemented with the same time-complexity ... Furthermore, we made available an efficient compiler-based implementation of a subset ... Nevertheless, it can be used for efficient implementation of exhaustive solution search for Horn- clause...
  • Intel TBB

  • Referenced in 60 articles [sw15025]
  • parallelism. Rich set of components to efficiently implement higher-level, task-based parallelism. Compatible with...
  • LMI toolbox

  • Referenced in 1417 articles [sw06383]
  • structural design. The LMI Control Toolbox implements state-of-the-art interior-point LMI solvers ... expected in the future. Thanks to its efficient “structured” representation of LMIs, the LMI Control...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • Petri net based modeling techniques. It implements efficient analysis algorithms to allow...
  • bayesm

  • Referenced in 51 articles [sw06787]
  • package, bayesm, which provides efficient implementation of advanced methods and models...