• Magma

  • Referenced in 1591 articles [sw00540]
  • package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... many others. Magma also supports a number of databases designed to aid computational research...
  • SageMath

  • Referenced in 705 articles [sw00825]
  • research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both...
  • PARI/GP

  • Referenced in 297 articles [sw00680]
  • designed for fast computations in number theory, but also contains a large number of other...
  • LiDIA

  • Referenced in 19 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA is a C++ library for number theory...
  • FLINT

  • Referenced in 16 articles [sw00297]
  • Fast library for number theory: an introduction. We discuss FLINT (Fast Library for Number Theory ... library to support computations in number theory, including highly optimised routines for polynomial arithmetic...
  • LBNL

  • Referenced in 24 articles [sw04883]
  • number generator based on provably normal number theory...
  • GloptiPoly

  • Referenced in 181 articles [sw04343]
  • algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... short formulation, the GPM has a large number of important applications in various fields such...
  • GiANT

  • Referenced in 9 articles [sw00348]
  • GiANT: graphical algebraic number theory. While most algebra is done by writing text and formulas ... facto interface for computational algebraic number theory, but they are incapable of presenting structural information ... newly developed graphical interface for working with number fields. GiANT offers interactive diagrams, drag...
  • LMFDB

  • Referenced in 9 articles [sw07249]
  • sources. L-functions are ubiquitous in number theory and have applications to mathematical physics ... arise from and encode information about a number of mathematical objects. It is necessary...
  • MaLARea

  • Referenced in 27 articles [sw10278]
  • large theories, i.e. on a large number of problems which in a consistent fashion...
  • ARIBAS

  • Referenced in 7 articles [sw07341]
  • several builtin functions for algorithmic number theory like gcd, Jacobi symbol, Rabin probabilistic prime test ... ARIBAS is used for the examples of number theoretic algorithms in the book Algorithmische Zahlentheorie...
  • Z

  • Referenced in 270 articles [sw10291]
  • primarily directed to the user; the background theory is -- with the exception of the natural ... possible. However, there are quite a number of minor unclarities, inconsistencies and errors (both...
  • NZMATH

  • Referenced in 6 articles [sw09085]
  • system oriented to calculations of number theory, based on Python. Currently, it has several basic ... data types and several modules for number theoretic computations. NZMATH has two key visions...
  • Fluid flow phenomena

  • Referenced in 23 articles [sw15481]
  • describes concrete links between theory and practice, offering a large number of codes which allow ... dynamics.par A well-balanced mix between the theory and the wide range of applications makes...
  • CVC4

  • Referenced in 15 articles [sw09485]
  • source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... formulas in a large number of built-in logical theories and their combination. CVC4...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • sophisticated numerical solver for the theory of the real numbers to produce a powerful constraint...
  • Zeta

  • Referenced in 3 articles [sw13746]
  • Experimental Methods in Algebra, Geometry and Number Theory...
  • REACH

  • Referenced in 3 articles [sw07733]
  • problems are decidable by manipulations in number theory, real root isolation, and quantifier elimination. Finally...
  • FOCI

  • Referenced in 42 articles [sw12868]
  • first-order formulas. It supports certain interpreted theories, such as equality, uninterpreted functions, linear arithmetic ... generally, sequences) of formulas. This has a number of applications in infinite-state verification...
  • GQRAT

  • Referenced in 30 articles [sw00373]
  • present in the integrand. The underlying theory is presented as well as methods for constructing ... routines are provided and applied to a number of examples, including Fermi-Dirac and Bose...