• 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, open-source 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 On-Line 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 ring-based 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 high-level, 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...