
Antic
 Referenced in 4 articles
[sw15201]
 ANTIC: Algebraic number theory in C. Antic is an algebraic number theory library...

MaudeNPA
 Referenced in 29 articles
[sw12159]
 unbounded number of sessions and the support for different equational theories, it is necessary...

Wirtinger Flow
 Referenced in 81 articles
[sw34175]
 Phase Retrieval via Wirtinger Flow: Theory and Algorithms. We study the problem of recovering ... phase information from a nearly minimal number of random measurements. Indeed, the sequence of successive ... terms of computational and data resources. In theory, a variation on this scheme leads...

tuftests
 Referenced in 4 articles
[sw26318]
 important applications, notably in cryptography and number theory for example, establishing probable primes, complexity...

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

NFLlib
 Referenced in 4 articles
[sw14675]
 lattice cryptography implementations (namely the generic number theory libraries NTL and flint implementing polynomial arithmetic...

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

FOCI
 Referenced in 58 articles
[sw12868]
 firstorder formulas. It supports certain interpreted theories, such as equality, uninterpreted functions, linear arithmetic ... generally, sequences) of formulas. This has a number of applications in infinitestate verification...

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

LYAPACK
 Referenced in 61 articles
[sw12624]
 many types of dense problems in control theory have become available in software packages, such ... last few years, quite a number of approaches for several types of large control problems ... class of large problems in control theory. An efficient ADIbased solver for large Lyapunov...

BraMBLe
 Referenced in 27 articles
[sw36453]
 directly comparable likelihoods to hypotheses containing different numbers of objects. This likelihood function ... mathematical basis: it is adapted from the theory of Bayesian correlation, but uses the assumption ... filter for tracking multiple objects when the number of objects present is unknown and varies...

DeepLLL
 Referenced in 3 articles
[sw10240]
 reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis...

PotLLL
 Referenced in 3 articles
[sw10241]
 reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis...

JUNG
 Referenced in 11 articles
[sw12112]
 includes implementations of a number of algorithms from graph theory, data mining, and social network...

GQRAT
 Referenced in 35 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 FermiDirac and Bose...

ETPS
 Referenced in 156 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 ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...

veriT
 Referenced in 30 articles
[sw07281]
 first public version of the satisfiability modulo theory (SMT) solver veriT. It is opensource ... uninterpreted functions and difference logic on real numbers and integers...

TLPVS
 Referenced in 10 articles
[sw10024]
 includes a set of theories defining a temporal logic, a number of proof rules...

Anant
 Referenced in 1 article
[sw36549]
 Anant  Algorithmic ’n Analytic Number Theory. Analytic Number Theory highprecision GnuMP routines...

Verified LLL
 Referenced in 2 articles
[sw28661]
 computer science, from cryptanalysis to number theory, but it is specially wellknown since...