
Magma
 Referenced in 3052 articles
[sw00540]
 supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics ... Magma also supports a number of databases designed to aid computational research in those areas...

SageMath
 Referenced in 1743 articles
[sw00825]
 teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both the Sage...

PARI/GP
 Referenced in 604 articles
[sw00680]
 System (CAS) designed for fast computations in number theory, but also contains a large number...

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA is a C++ library for number theory ... software packages Pari, Maple and Mathematica. Computer algebra system...

FLINT
 Referenced in 55 articles
[sw00297]
 Theory), a library to support computations in number theory, including highly optimised routines for polynomial...

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

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

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

Snap
 Referenced in 30 articles
[sw20131]
 Snap for 3Manifolds. Snap is a computer program for studying arithmetic invariants of hyperbolic ... hyperbolic 3manifolds, and on the number theory package Pari. Snap uses Pari’s high ... precision arithmetic and number theoretic functions to compute invariant trace fields and related 3manifold...

Wirtinger Flow
 Referenced in 83 articles
[sw34175]
 Phase Retrieval via Wirtinger Flow: Theory and Algorithms. We study the problem of recovering ... applying novel update rules, which have low computational complexity, much like in a gradient descent ... phase information from a nearly minimal number of random measurements. Indeed, the sequence of successive ... both in terms of computational and data resources. In theory, a variation on this scheme...

FOCI
 Referenced in 58 articles
[sw12868]
 theories, such as equality, uninterpreted functions, linear arithmetic, and arrays. Most importantly, it can compute ... generally, sequences) of formulas. This has a number of applications in infinitestate verification...

GQRAT
 Referenced in 35 articles
[sw00373]
 theory is presented as well as methods for constructing such rational Gauss formulae. Relevant computer ... routines are provided and applied to a number of examples, including FermiDirac and Bose...

ETPS
 Referenced in 157 articles
[sw06302]
 various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... logic courses at Carnegie Mellon for a number of years. Students generally learn ... inference in specified ways, and the computer handles the details of writing the appropriate lines ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...

LMFDB
 Referenced in 132 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 ... since typically we need these objects to compute Lfunctions. In these pages you will...

ProbView
 Referenced in 27 articles
[sw09438]
 ProbView: a flexible probabilistic database system. Probability theory is mathematically the best understood paradigm ... computed from those of basic events on which they depend, using any of a number ... negation, meaningful from the viewpoint of probability theory. (1) We propose a probabilistic relational data ... long as the chosen strategies can be computed in polynomial time, queries in the positive...

Zeta
 Referenced in 9 articles
[sw13746]
 distributed as a Pythonpackage for the computer algebra system Sage. This work is supported ... Experimental Methods in Algebra, Geometry and Number Theory...

Fluid flow phenomena
 Referenced in 64 articles
[sw15481]
 between theory and practice, offering a large number of codes which allow to handle ... dynamics.par A wellbalanced mix between the theory and the wide range of applications makes ... great interest to all practitioners of computational fluid dynamics: engineers, researches, teachers and graduate students...

IFStile
 Referenced in 4 articles
[sw32508]
 discrete geometry, algebraic number theory, dynamical systems, and theoretical computer science. The package considers self...

MadFKS
 Referenced in 20 articles
[sw10256]
 parallel computation, and it can deal with any physical process resulting from a theory implemented ... well as Beyond the Standard Model theories. We give results for some sample processes that ... implementation, and show in particular how the number of subtraction terms has an extremely mild...