
Magma
 Referenced in 3296 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 1970 articles
[sw00825]
 research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both...

PARI/GP
 Referenced in 636 articles
[sw00680]
 designed for fast computations in number theory, but also contains a large number of other...

LMFDB
 Referenced in 158 articles
[sw07249]
 sources. Lfunctions 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...

FLINT
 Referenced in 58 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...

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

LBNL
 Referenced in 44 articles
[sw04883]
 number generator based on provably normal number theory...

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

Snap
 Referenced in 30 articles
[sw20131]
 hyperbolic 3manifolds, and on the number theory package Pari. Snap uses Pari’s high...

Nemo
 Referenced in 19 articles
[sw20280]
 Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. We introduce ... programming language for computer algebra and number theory. We demonstrate that high performance generic algorithms...

GloptiPoly
 Referenced in 322 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...

Hecke
 Referenced in 16 articles
[sw20279]
 Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. We introduce ... programming language for computer algebra and number theory. We demonstrate that high performance generic algorithms...

Fluid flow phenomena
 Referenced in 66 articles
[sw15481]
 describes concrete links between theory and practice, offering a large number of codes which allow ... dynamics.par A wellbalanced mix between the theory and the wide range of applications makes...

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

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

MathCheck
 Referenced in 12 articles
[sw13642]
 mathematical topic (e.g., graph and number theory, algebra, geometry, etc.) supported by the underlying...

ARIBAS
 Referenced in 10 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...

Zeta
 Referenced in 9 articles
[sw13746]
 Experimental Methods in Algebra, Geometry and Number Theory...

CALC
 Referenced in 6 articles
[sw41182]
 CALC is a number theory calculator program which uses arbitrary precision integer arithmetic. It would ... useful in a first course in number theory. It is written in ANSI...

Z
 Referenced in 282 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...