• SINGULAR

  • Referenced in 1522 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 1713 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 591 articles [sw06916]
  • search - especially a particularly efficient implementation of Boolean constraint propagation (BCP) and a novel...
  • Adam

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

  • Referenced in 247 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 197 articles [sw04451]
  • last decade, we developed a very efficient implementation of the Davis-Putnam method called SATO...
  • word2vec

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

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

  • Referenced in 340 articles [sw07521]
  • available in order to implement problems very efficiently...
  • cdd

  • Referenced in 119 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 111 articles [sw01410]
  • programming problem. This paper describes an efficient implementation of a nested decomposition algorithm...
  • FeynRules

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

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

  • Referenced in 85 articles [sw41041]
  • code is Python with numerical calculations implemented efficiently in Python-wrapped modern Fortran...
  • SVMlight

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

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

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

  • Referenced in 185 articles [sw04185]
  • components. All of the efficiencies described in this paper are implemented in the Tensor Toolbox...
  • 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...
  • LMI toolbox

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