• 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 3-Manifolds. Snap is a computer program for studying arithmetic invariants of hyperbolic ... hyperbolic 3-manifolds, 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 3-manifold...
  • 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 infinite-state 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 Fermi-Dirac 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. 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 ... since typically we need these objects to compute L-functions. 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 Python-package 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 well-balanced 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...