• CodingTheory.m2

  • Referenced in 3 articles [sw34838]
  • linear code, such as generator and parity check matrices, the dual code, length, dimension...
  • LinearCode

  • Referenced in 2 articles [sw42043]
  • linear code, such as generator and parity check matrices, the dual code, length, dimension...
  • EvaluationCode

  • Referenced in 2 articles [sw42044]
  • linear code, such as generator and parity check matrices, the dual code, length, dimension...
  • Coq

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

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

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

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

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

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

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

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • McEliece

  • Referenced in 264 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • QC-LDPC

  • Referenced in 10 articles [sw03246]
  • A new analysis of the McEliece cryptosystem based...
  • LDPC

  • Referenced in 84 articles [sw03321]
  • Software for Low Density Parity Check Codes This...
  • SVMlight

  • Referenced in 268 articles [sw04076]
  • Description (homepage): SVMlight is an implementation of Vapnik...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • FFTW

  • Referenced in 553 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Ipopt

  • Referenced in 787 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...