Results 1 to 20 of 28
Sort by:

  • 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...