Diophantine equations
Equations over integers and rational numbers, from elliptic curves to the limits of decision algorithms.
7 problemsCollections
Selected problems that share a subject or a research tradition. Each leads to its own overview and sources.
Within Logic and computation · All collections
Proofs and certificates
Which statements have short proofs, and how do proof methods compare?
3 problemsLinear recurrences
Two different decisions about recurrence sequences: whether a zero occurs and whether all terms are nonnegative.
2 problems