statedIn

241 triples

GPTKB property

statedAs • statedBy • statedFor • statedThat

Subject	Object
gptkb:de_Moivre's_formula	(cos x + i sin x)^n = cos(nx) + i sin(nx)
gptkb:Cauchy's_differentiation_formula	f^{(n)}(a) = n!/(2πi) ∮_C f(z)/(z-a)^{n+1} dz
gptkb:Schur_orthogonality_relations	gptkb:Schur's_lemma
gptkb:Yau's_conjecture	1982
gptkb:lattice_isomorphism_theorem	group theory textbooks
gptkb:Balfour_Report_(1926)	No dominion is subordinate to another
gptkb:Lindelöf_hypothesis	for any ε > 0, ζ(1/2 + it) = O(t^ε) as t → ∞
gptkb:Jensen's_inequality	f(E[X]) ≤ E[f(X)] for convex f
gptkb:no-cloning_theorem	gptkb:Zurek
gptkb:no-cloning_theorem	gptkb:Dieks
gptkb:Euler's_polyhedron_formula	V - E + F = 2
gptkb:Devissage_Theorem	gptkb:Higher_Algebraic_K-Theory_I
gptkb:axiom_of_union	gptkb:Zermelo_set_theory
gptkb:Rolle's_theorem	real analysis
gptkb:Wirth's_law	gptkb:Niklaus_Wirth
gptkb:Peabody's_dictum	Not what we have but what we use; not what we see but what we choose; these are the things that mar or bless the human happiness.
gptkb:Gauss's_Eureka_theorem	gptkb:Carl_Friedrich_Gauss
gptkb:Sperner's_lemma	1928
gptkb:Strong_perfect_graph_theorem	gptkb:László_Lovász
gptkb:axiom_of_countable_choice	For any countable collection of non-empty sets, there exists a choice function selecting one element from each set.