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

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1522 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

ESIGN
 Referenced in 23 articles
[sw02120]
 ESIGN is an efficient digital signature algorithm [OkS...

mctoolbox
 Referenced in 1521 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

HOL
 Referenced in 594 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

SLEEF
 Referenced in 41 articles
[sw05889]
 SLEEF  SIMD Library for Evaluating Elementary Functions Most...

CeTA
 Referenced in 47 articles
[sw06584]
 Certification of termination proofs using CeTA. There are...

OEIS
 Referenced in 4285 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

CAS
 Referenced in 22 articles
[sw07634]
 CAS; Design and use of a system for...

Traces
 Referenced in 189 articles
[sw07823]
 Search Space Contraction in Canonical Labeling of Graphs...

BKZ
 Referenced in 66 articles
[sw10242]
 BKZ 2.0: Better lattice security estimates. The best...

NTRU
 Referenced in 185 articles
[sw11761]
 NTRU: A ringbased public key cryptosystem. We...

NTRUSign
 Referenced in 43 articles
[sw11764]
 NTRUSign: Digital signatures using the NTRU lattice. We...

Locales
 Referenced in 41 articles
[sw12448]
 Locales: a module system for mathematical theories. Locales...

Python
 Referenced in 2164 articles
[sw14460]
 Python is a widely used highlevel, general...

GitHub
 Referenced in 2760 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

fhe
 Referenced in 40 articles
[sw23227]
 fhe: An implementation of the DGHV fully homomorphic...

Jordan
 Referenced in 63 articles
[sw23624]
 A formal proof of the Jordan curve theorem...