Theorem Filter Theorem topics

Share This
table started by mt for the mt's Base
There is no user-contributed description yet.
+

x

   
x name x image x article
+

Do you know something that's missing from this view? Add it!

If you have a list you can use our wizard to match it with topics that may already be in Freebase.
Go to the import tool »
x Ramsey's theorem A 2-colouring of K5 with no monochromatic K3
In combinatorics, Ramsey's theorem states that in any colouring of the edges of a sufficiently large complete graph (that is, a simple graph in which an edge connects every pair of vertices), one will find monochromatic complete subgraphs. For 2...
x Cook's theorem  
In computational complexity theory, the Cook–Levin theorem, also known as Cook's theorem, states that the Boolean satisfiability problem is NP-complete. That is, any problem in NP can be reduced in polynomial time by a deterministic Turing machine...
x Fermat's Last Theorem Pierre de Fermat
In number theory, Fermat's Last Theorem states that no three positive integers a, b, and c can satisfy the equation a + b = c for any integer value of n greater than two. This theorem was first conjectured by Pierre de Fermat in 1637, but was not...
Edit Collection Schema
All topics in this collection are typed as Theorem
Use Data from this Collection
Choose a format:

Images and articles are not included in export files, which are limited to 1000 items. Complete data dumps are also available here.

Flag this Collection
Why do you want to flag this collection?