• LZ-ABT

  • Referenced in 2 articles [sw25806]
  • practical algorithm for α-balanced grammar compression. We propose a new LZ78-style grammar compression ... alphabet of size σ, an α-balanced grammar in O(NlogNlogσ) time ... input string, where n is the grammar size to output. LZ-ABT can avoid ... first practical implementation of α-balanced grammar compression to the best of our knowledge...
  • RNACompress

  • Referenced in 2 articles [sw35325]
  • RNACompress: Grammar-based compression and informational complexity measurement of RNA secondary structure. Results: RNACompress employs ... efficient grammar-based model to compress RNA sequences and their secondary structures. The main goals...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6075 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12557 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 546 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NTL

  • Referenced in 207 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • SageMath

  • Referenced in 1741 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • METAFONT

  • Referenced in 37 articles [sw01163]
  • METAFONT ist eine abstrakte Beschreibungssprache zur Definition von...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • FreeFem++

  • Referenced in 1134 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • GC 2: a generational conservative garbage collector for...
  • CUDA

  • Referenced in 1220 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 715 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 856 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • Referenced in 3127 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • METIS

  • Referenced in 450 articles [sw04089]
  • METIS is a set of serial programs for...