• Flamingo

  • Referenced in 2 articles [sw18861]
  • FLAMINGO Package (Approximate String Matching). This release (in C++) includes the source code of several ... algorithms for approximate string matching developed at UC Irvine. It includes algorithms for approximate selection...
  • Agrep

  • Referenced in 12 articles [sw15546]
  • searched for a string or regular expression, with approximate matching capabilities and user-definable records...
  • MoTeX

  • Referenced in 3 articles [sw34563]
  • algorithms for solving the fixed-length approximate string matching problem. It produces similar and partially...
  • stringdist

  • Referenced in 1 article [sw34013]
  • package stringdist: Approximate String Matching, Fuzzy Text Search, and String Distance Functions. Implements an approximate...
  • SecondString

  • Referenced in 1 article [sw27620]
  • open-source Java-based package of approximate string-matching techniques. This code was developed...
  • Malwise

  • Referenced in 1 article [sw20838]
  • classification. An exact flowgraph matching algorithm is employed that uses string-based signatures ... time performance. Additionally, a more effective approximate flowgraph matching algorithm is proposed that uses ... decompilation technique of structuring to generate string-based signatures amenable to the string edit distance...
  • TRE

  • Referenced in 2 articles [sw30071]
  • some exciting features such as approximate (fuzzy) matching. The matching algorithm used in TRE uses ... does not depend on the searched string. This quadratic behaviour occurs only on pathological cases...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...