Inventory: K

The rows of the inventory whose names start with K. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 1001–1100 of 3381.

Name	Id	Kind	Outcome	Sources
kaon	VJG231YHJT	unknown	open	Wikidata Q843503, nLab kaon
KAP1F8MJRF	KAP1F8MJRF	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2502.08738#9W8E
KAP2FEN34Y	KAP2FEN34Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.07259#6V0F
Kaplansky density theorem	8M26GBHQVN	statement	open	mathlib_1000 Q1209546, Wikidata Q1209546, thousand_plus Q1209546, Wikipedia Kaplansky density theorem
Kaplansky's theorem on quadratic forms	QZWXECPQN5	statement	open	mathlib_1000 Q17098379, Wikidata Q17098379, thousand_plus Q17098379, Wikipedia Kaplansky's theorem on quadratic forms
Kaplansky's trick	KBK2S7C8K4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09544#NA0N
Kaplansky's trick	SR1QD2T1K3	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32651#3ZXL
Kaplansky, 1958	T36TZBHVB4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35682#35EF
Kaplan–Yorke conjecture	VDQHDBFCAS	concept	open	Wikidata Q25303693, MathWorld Kaplan-YorkeConjecture
Kaplan–Yorke map	HAA6RAPGW8	unknown	open	Wikidata Q6366845, MathWorld Kaplan-YorkeMap
Kapovitch--Wilking generalized Margulis lemma	NFFBXG7PJ9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.18530#AG02
kappa	VA0GEBZ34Y	unknown	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))	Wikidata Q14401, ProofWiki Symbols:Greek/Kappa
Kappa curve	NZ9SMD3KGV	unknown	open	Wikidata Q2252430, MathWorld KappaCurve
Kaprekar algorithm	J5YNW07BDR	unknown	open	Wikidata Q18413622, MathWorld KaprekarRoutine
Kaprekar number	PDM92SGSX2	concept	open	Wikidata Q1478274, MathWorld KaprekarNumber
Kaprekar's constant	GB2882TD1J	unknown	open	Wikidata Q854503, MathWorld KaprekarsConstant
Kapteyn series	9VECWVAPWM	concept	open	Wikidata Q105555735, MathWorld KapteynSeries
Karamata	210P7A6DYQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13505#YCQH
Karatsuba algorithm	F4DANA5A65	unknown	open	Wikidata Q629940, MathWorld KaratsubaMultiplication
Karel Lambert	BFAZ7SZRPX	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q6369330, nLab Karel Lambert
Karen Uhlenbeck	FTEHA40PAS	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q38636, nLab Karen Uhlenbeck
KARER3N9SN	KARER3N9SN	exercise	open	austin_ula src/exercises/exercises4-4.xml#exercise-6
Karger--Motwani--Sudan	8ZF23D2TJV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01071#C1C4
Karhunen–Loève theorem	XR17TN54GB	statement	open	mathlib_1000 Q2046647, Wikidata Q2046647, thousand_plus Q2046647, Wikipedia Karhunen–Loève theorem
Kari Vilonen	FBSCJEFRQ0	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q15454216, nLab Kari Vilonen
Karl Pearson	Q6ZAB22RSV	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q310794, EoM Pearson,_Karl
Karl Popper	DTWYB8FMVE	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q81244, nLab Karl Popper
Karl Rosenkranz	VXT4EN0VQR	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q62315, nLab Karl Rosenkranz
Karl Stein	A74H40CWYK	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q68536, nLab Karl Stein
Karl Weierstraß	XX1GCV17FW	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q57103, nLab Karl Weierstraß, ProofWiki Mathematician:Karl_Theodor_Wilhelm_Weierstrass
Karnaugh map	2GMAHPH43K	unknown	open	Wikidata Q461528, EoM Karnaugh_map, MathWorld KarnaughMap
Karol Borsuk	8G7EFC31VW	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q469088, nLab Karol Borsuk
Karoubi envelope	AQ4R12WE26	unknown	open	Wikidata Q3055409, nLab Karoubi envelope
Karpelevi\v{c}, in Ito form	9XABS6VVQR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.26058#DMUS
Karpenko--Merkurjev	MG790FREE6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.07508#28NL
Karp–Lipton theorem	YX8PQRRSQ0	statement	open	mathlib_1000 Q6373327, Wikidata Q6373327, thousand_plus Q6373327, Wikipedia Karp–Lipton theorem
Kashiwara's lemma	69Y1AKJYH0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20466#XPK3
Kasper Peeters	PWX2PM450C	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q62066525, nLab Kasper Peeters
KATAANTJE4	KATAANTJE4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2205.06433#20SI
Katarzyna Rejzner	MVHPV2P0GW	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q62066729, nLab Katarzyna Rejzner
KATFNSJES1	KATFNSJES1	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37897#2QF2
KATKQYYECQ	KATKQYYECQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14914#CFXN
Kato-Ponce estimates	ERE1JYYYZJ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2508.08809#Y5EM
Katok	M1P8QD6E51	conjecture	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.09949#UWQT
Katona and Tarj\'an	4RYX8V19XN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30336#Z4Y2
KATRHF2SBX	KATRHF2SBX	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.11823#S2NW
Katrin Wehrheim	YBDHZAY8F1	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q6377892, nLab Katrin Wehrheim
Katrin Wendland	N5S1CSK0H1	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1736765, nLab Katrin Wendland
Katsumi Nomizu	273HX721NC	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1995996, nLab Katsumi Nomizu
KATSXFQFB3	KATSXFQFB3	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.30675#ID11
Katth\"an, 2019	A111G4WAE4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.34020#IM2P
Katydid sequence	RFPMHZ4NE4	object	open	Wikidata Q6378559, OEIS A060031
Katz	8DMSS25ZF5	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08382#QRV0
Katz	GK51K2HWEX	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08382#WM6Y
Katz	HHN2JXVBD1	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20466#BRNT
Katz's moment principle, with proof	DCKK59Y246	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.04099#TQIY
Katz--Long--Moody representation	F11CMCGYSC	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25805#NCCF
Katz–Lang finiteness theorem	K2YCH1X1K7	statement	open	mathlib_1000 Q6378596, Wikidata Q6378596, thousand_plus Q6378596, Wikipedia Katz–Lang finiteness theorem
Kauffman polynomial	Q9ZHTVS374	unknown	open	Wikidata Q6378674, MathWorld KauffmanPolynomialF
Kaup–Kupershmidt equation	XYCQPCAWRY	concept	open	Wikidata Q6378865, MathWorld KupershmidtEquation
Kawamata[42	8BWR71ZDFV	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27800#I1HO
Kawamata–Viehweg vanishing theorem	Q4GFA4YAW5	statement	open	mathlib_1000 Q6379606, Wikidata Q6379606, thousand_plus Q6379606, Wikipedia Kawamata–Viehweg vanishing theorem
Kawarabayashi--Thorup--Yoneda	AZ96CAQHXR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01071#FVQM
Kawasaki's theorem	X76SY7A05Q	statement	open	mathlib_1000 Q6379715, Wikidata Q6379715, thousand_plus Q6379715, Wikipedia Kawasaki's theorem, MathWorld KawasakisTheorem
KAWM70BGDM	KAWM70BGDM	example	open	napkin tex/calculus/p-adic.tex#example-1
KAWT79QG4Y	KAWT79QG4Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2506.16491#HFDK
KAWVB1XRWR	KAWVB1XRWR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24739#LM5D
KAXKKDZ822	KAXKKDZ822	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21017#LBC5
KAY7B80ZK7	KAY7B80ZK7	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.10469#YVY7
KAZ3CZTQFC	KAZ3CZTQFC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.39905#OTNR
KAZ5FX7H81	KAZ5FX7H81	example	open	lebl_ra ch-real-nums.tex#example:complexfield
KAZHAB63GG	KAZHAB63GG	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.07293#YLM8
Kazimierz Kuratowski	2DH5M5RQFK	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q161846, nLab Kazimierz Kuratowski
KAZMX1P174	KAZMX1P174	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2502.16151#4JHI
Kazuya Kato	ZQMRWPJZS3	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q333000, nLab Kazuya Kato
KAZV52MEJD	KAZV52MEJD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33531#VV88
KB06Y7KW2X	KB06Y7KW2X	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32557#6XMB
KB0AR4GE5P	KB0AR4GE5P	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36922#PRIP
KB0RBPDC6R	KB0RBPDC6R	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27730#GAK5
KB10AFXNYW	KB10AFXNYW	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31327#BDGT
KB16Q4N16V	KB16Q4N16V	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.33900#5S32
KB1KWTC27Y	KB1KWTC27Y	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2504.07573#BVNU
KB22GK556S	KB22GK556S	example	open	napkin tex/measure/lebesgue-int.tex#example-1
KB2D0X7AK1	KB2D0X7AK1	example	open	lebl_diffyqs ch-systems.tex#example-18
KB2Q2SH9BM	KB2Q2SH9BM	problem	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24449#ZR0D
KB2YJ2CZSV	KB2YJ2CZSV	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2506.16491#S86M
KB399A5CST	KB399A5CST	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01924#J2DO
KB462Z7YQ2	KB462Z7YQ2	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1002.0879#BWWE
KB4QCM5GFB	KB4QCM5GFB	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.37337#1UU3
KB4W3H0SZV	KB4W3H0SZV	definition	open	active_calculus source/sec-1-4-derivative-fxn.xml#D-derivative-defn-x
KB4W8MXGGT	KB4W8MXGGT	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01946#9IWD
KB56GMTY0P	KB56GMTY0P	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14236#AOJE
KB6GAPR1MD	KB6GAPR1MD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.24353#OSIT
KB7CS9WN6Y	KB7CS9WN6Y	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.38436#L4LR
KB7JXXW6WY	KB7JXXW6WY	statement	open	napkin tex/set-theory/cardinal.tex#theorem-3
KB7KC0JJC6	KB7KC0JJC6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14555#JGKF
KB7QDT42AQ	KB7QDT42AQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20273#3UA2
KB8MH9V3RK	KB8MH9V3RK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03756#PO9T
KB90DB7WP0	KB90DB7WP0	exercise	open	lebl_ra ch-multivar-int.tex#exercise-1
KB9AEJW7G3	KB9AEJW7G3	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05299#IC5A