
SageCombinat
 Referenced in 93 articles
[sw16448]
 words: just install Sage, and you will benefit from all the Sagecombinat development, except...

Iptables Semantics
 Referenced in 1 article
[sw28802]
 tool does not require any input —except for the iptablessave dump of the analyzed ... results about the user’s ruleset. RealWord firewall errors have been uncovered...

DBlock
 Referenced in 1 article
[sw13576]
 employs different linear transforms operating on various wordsizes, 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 postprocess except for a standard nonmaximum suppression. TextBoxes ... outperforms stateoftheart approaches on word spotting and endtoend 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 highlevel 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...

Regexpcount
 Referenced in 6 articles
[sw00792]
 Regexpcount, a symbolic package for counting problems on...

SageMath
 Referenced in 1505 articles
[sw00825]
 Sage (SageMath) is free, opensource 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...

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