• Sage-Combinat

  • Referenced in 93 articles [sw16448]
  • words: just install Sage, and you will benefit from all the Sage-combinat development, except...
  • Iptables Semantics

  • Referenced in 1 article [sw28802]
  • tool does not require any input —except for the iptables-save dump of the analyzed ... results about the user’s ruleset. Real-Word firewall errors have been uncovered...
  • DBlock

  • Referenced in 1 article [sw13576]
  • employs different linear transforms operating on various word-sizes, which efficiently improve the diffusion effect ... employs the same module used in encryption, except the choice of different byte permutations, which...
  • TextBoxes

  • Referenced in 1 article [sw28346]
  • network forward pass, involving no post-process except for a standard non-maximum suppression. TextBoxes ... outperforms state-of-the-art approaches on word spotting and end-to-end text recognition...
  • Coq

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

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

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

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

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

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

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARI/GP

  • Referenced in 564 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • R

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

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

  • Referenced in 122 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...
  • LiE

  • Referenced in 145 articles [sw01075]
  • LiE is the name of a software package...
  • ALGOL 68

  • Referenced in 282 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • UCI-ml

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

  • Referenced in 210 articles [sw04235]
  • CHEVIE is a computer algebra project for symbolic...