• NFLlib

  • Referenced in 4 articles [sw14675]
  • library combines algorithmic optimizations (chinese remainder theorem, optimized number theoretic transform) together with programming optimization...
  • Group-Ring-Module

  • Referenced in 2 articles [sw32227]
  • includes ideals, quotient rings and the Chinese remainder theorem. The module development includes the Nakayama...
  • cuHE

  • Referenced in 1 article [sw14879]
  • using number-theoretic transform (NTT) and Chinese remainder theorem (CRT) based methods are then extended...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

  • Referenced in 61 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • gmp

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

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LinBox

  • Referenced in 41 articles [sw00522]
  • LinBox: A Generic Library for Exact Linear Algebra...
  • Magma

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

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • NTL

  • Referenced in 222 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • PARI/GP

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

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

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

  • Referenced in 48 articles [sw00903]
  • The SPIRAL system (www.spiral.net) is a tool for...