• Antic

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

  • Referenced in 94 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...
  • Maude-NPA

  • Referenced in 29 articles [sw12159]
  • unbounded number of sessions and the support for different equational theories, it is necessary...
  • 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]
  • 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...
  • Juno-2

  • 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 ADI-based 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...
  • Falcon

  • Referenced in 3 articles [sw31410]
  • digitial signature algorithms based on number theory (RSA, DSA, Diffie-Hellman, ElGamal, and their elliptic...
  • 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 Fermi-Dirac and Bose...
  • ETPS

  • Referenced in 158 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 open-source ... 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 high-precision GnuMP routines...