Search results
Results from the WOW.Com Content Network
Landau's fourth problem asked whether there are infinitely many primes which are of the form = + for integer n. (The list of known primes of this form is A002496 .) The existence of infinitely many such primes would follow as a consequence of other number-theoretic conjectures such as the Bunyakovsky conjecture and Bateman–Horn conjecture .
TPTP (Thousands of Problems for Theorem Provers) [1] is a freely available collection of problems for automated theorem proving. It is used to evaluate the efficacy of automated reasoning algorithms. [2] [3] [4] Problems are expressed in a simple text-based format for first order logic or higher-order logic. [5]
Many mathematical problems have been stated but not yet solved. These problems come from many areas of mathematics, such as theoretical physics, computer science, algebra, analysis, combinatorics, algebraic, differential, discrete and Euclidean geometries, graph theory, group theory, model theory, number theory, set theory, Ramsey theory, dynamical systems, and partial differential equations.
The problem remains NP-complete even if a prime factorization of is provided. Serializability of database histories [3]: SR33 Set cover (also called "minimum cover" problem). This is equivalent, by transposing the incidence matrix, to the hitting set problem. [2] [3]: SP5, SP8 Set packing [2] [3]: SP3
Mark as non-prime the positions in the array corresponding to the multiples of each prime p ≤ √ m found so far, by enumerating its multiples in steps of p starting from the lowest multiple of p between m - Δ and m. The remaining non-marked positions in the array correspond to the primes in the segment.
A decision problem is a question which, for every input in some infinite set of inputs, answers "yes" or "no". [2] Those inputs can be numbers (for example, the decision problem "is the input a prime number?") or values of some other kind, such as strings of a formal language.
For functions in certain classes, the problem of determining: whether two functions are equal, known as the zero-equivalence problem (see Richardson's theorem); [4] the zeroes of a function; whether the indefinite integral of a function is also in the class. [5] Of course, some subclasses of these problems are decidable.
Pages in category "Unsolved problems in number theory" The following 106 pages are in this category, out of 106 total. This list may not reflect recent changes .