The Theorem Proving System is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS.
In mathematics, George Glauberman's ZJ theorem states that if a finite group G is p-constrained and p-stable and has a normal p-subgroup for some odd prime p, then Op′Z] is...
The transport theorem is a vector equation that relates the time derivative of a Euclidean vector as evaluated in a non-rotating coordinate system to its time derivative in a rotating...
The butterfly theorem is a classical result in Euclidean geometry, which can be stated as follows: Let M be the midpoint of a chord PQ of a circle, through which...
The fold-and-cut theorem states that any shape with straight sides can be cut from a single sheet of paper by folding it flat and making a single straight complete cut....
In the mathematical field of real analysis, the Steinhaus theorem states that the difference set of a set of positive measure contains an open neighbourhood of zero. It was first...
In mathematics, the Kuratowski–Ryll-Nardzewski measurable selection theorem is a result from measure theory that gives a sufficient condition for a multifunction to have a measurable selection function. It is named...
In mathematics, the fundamental theorem of Galois theory is a result that describes the structure of certain types of field extensions in relation to groups. It was proved by Évariste...
In complex analysis, Picard's great theorem and Picard's little theorem are related theorems about the range of an analytic function. They are named after Émile Picard.