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 901–1000 of 3381.

Name	Id	Kind	Outcome	Sources
K9Z4Y8QZR9	K9Z4Y8QZR9	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 2505.05539#46RP
K9ZNM1A3A7	K9ZNM1A3A7	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.31604#0RIH
K9ZR34REWQ	K9ZR34REWQ	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.06466#OE5H
K\"orner's graph entropy	X79627TKVW	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.08202#E46V
K\'{a}tai	718EE2SMCP	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.08424#QMQ7
K\H{o}nig's lemma	GCSPM0MR5P	statement	open	open_logic content/sets-functions-relations/relations/trees.tex#prop-2
KA0664KMT9	KA0664KMT9	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.14803#JFEH
KA07QESPX7	KA07QESPX7	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.21445#XITC
KA0DSE8V5C	KA0DSE8V5C	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.17518#5F42
KA0RYG3GXS	KA0RYG3GXS	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.14236#FTQD
KA0ZB51DCE	KA0ZB51DCE	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.24206#IIH1
KA10JBR6G5	KA10JBR6G5	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.16518#I4LU
KA1K6S1RRA	KA1K6S1RRA	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.19260#TJJQ
KA1SKCK4T1	KA1SKCK4T1	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.07812#4JYV
KA1VDRQCJ0	KA1VDRQCJ0	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 2502.09442#N8AH
KA2V2RDTJV	KA2V2RDTJV	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.15013#UX62
KA37NDCZKC	KA37NDCZKC	exercise	open	napkin tex/set-theory/models.tex#sproblem-1
KA4FMAWWYK	KA4FMAWWYK	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.24675#A0Y0
KA4GQA75VM	KA4GQA75VM	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.29784#VOXY
KA4HE3AGTY	KA4HE3AGTY	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 2310.15716#GKX3
KA4R21S7SX	KA4R21S7SX	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 2609.29158#4T01
KA4R996V29	KA4R996V29	definition	open	napkin tex/set-theory/cardinal.tex#definition-10
KA5RFJB07S	KA5RFJB07S	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 2512.07470#M1ZP
KA5RNTTXS3	KA5RNTTXS3	example	open	lebl_diffyqs ch-fourier-and-pde.tex#example-1
KA5T97PPJA	KA5T97PPJA	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.36321#B0GS
KA5YCY8VY9	KA5YCY8VY9	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.10078#MUOY
KA6AA6DEYT	KA6AA6DEYT	statement	open	hott_book hlevels.tex#prop:nconn_fiber_to_total
KA6R32QYYS	KA6R32QYYS	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.10930#J2ZV
KA7EM56PG2	KA7EM56PG2	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.14068#9O3S
KA7FTSHCQ6	KA7FTSHCQ6	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.00267#HRKC
KA90M5WH5V	KA90M5WH5V	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.21675#H4B8
KA9VY2374E	KA9VY2374E	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.38243#4ZUK
KAA2663JDN	KAA2663JDN	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.02681#UCYQ
KAA7QH0RT7	KAA7QH0RT7	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.02174#AQAB
KAAAC84FHQ	KAAAC84FHQ	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.21866#J3R5
KAAACYMB6V	KAAACYMB6V	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.13884#KPX0
KAASD4CXFH	KAASD4CXFH	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 1903.07030#0BGN
KAAV6DSN0Z	KAAV6DSN0Z	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 2607.00146#NFV9
KAB53Q9MXP	KAB53Q9MXP	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.08776#8NPC
KABBG7P2NC	KABBG7P2NC	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.24845#VYAA
KABCH6T0CQ	KABCH6T0CQ	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.32338#38HV
Kac Matrix	PQM3J4JH73	concept	open	Wikidata Q105332766, MathWorld KacMatrix
KAC5XFRZGQ	KAC5XFRZGQ	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 2305.13184#ZD45
KAC6840KYD	KAC6840KYD	exercise	open	applied_combinatorics source/s_recurrence_exercises.ptx#exercise-16
KACCGBEPK6	KACCGBEPK6	exercise	open	active_calculus source/activities/act-5-4-1.xml#act-5-4-1
Kachurovskii's theorem	S3GCBN99R6	statement	open	mathlib_1000 Q6344729, Wikidata Q6344729, thousand_plus Q6344729, Wikipedia Kachurovskii's theorem
KACT31EKF9	KACT31EKF9	statement	open	hott_book induction.tex#thm:identity-systems
Kac–Moody algebra	M9RY7F41DZ	unknown	open	Wikidata Q856666, EoM Kac-Moody_algebra, nLab Kac-Moody algebra
Kadomtsev–Petviashvili equation	3BCANXERSY	unknown	open	Wikidata Q6345653, MathWorld Kadomtsev-PetviashviliEquation
KAENXSZHJN	KAENXSZHJN	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.00105#O6IA
KAEWFFDMFY	KAEWFFDMFY	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.15088#AIL5
KAEX71R7M6	KAEX71R7M6	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.24185#83RP
KAEYYR1PRQ	KAEYYR1PRQ	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 2204.04317#I42F
KAFB99E3N1	KAFB99E3N1	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.40252#E1KB
KAFRAV0DKP	KAFRAV0DKP	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.33953#VKGZ
KAH1C4ENX3	KAH1C4ENX3	exercise	open	lebl_diffyqs ch-nonlin-systems.tex#exercise-16
Kahane's contraction principle	KGPA14Y1TS	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.00271#AKPD
Kahane's convexity inequality	PNA1MTP5TZ	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 2502.09121#3R3T
KAHM reconstruction score	T75PPRVSSW	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.32652#24XK
Kahn	42ENF9A802	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.10973#87FW
Kahn's Conjecture 10.11 , Winkler; see Pemantle , Grimmett--Winkler , Stark	80XYCDG9H5	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 2609.26134#UOO3
Kai Behrend	H59P6MZRQA	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q2815216, nLab Kai Behrend
KAJ672V0X2	KAJ672V0X2	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.06785#LFXW
KAJGKYNJA4	KAJGKYNJA4	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.36622#9Q9I
KAKDHNX19N	KAKDHNX19N	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.22218#VOQR
Kakeya Conjecture	WNTP1K3333	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 2609.40161#0BRH
Kakeya needle problem	P08QJMKG3P	problem	open	Wikidata Q3406254, MathWorld KakeyaNeedleProblem, MathWorld KakeyaSet
KAKNJ6X8QP	KAKNJ6X8QP	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 2111.00832#VQC0
Kakutani - von Neumann dichotomy	MH6RRZRX7P	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.37375#LSXT
Kakutani Fixed Point Theorem	K1936VEMDJ	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.28742#3QQO
Kalai	2DQ1YAY6MC	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 2609.24790#M9TO
Kalai	YQ7QQQH993	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.06340#CY7Q
Kalb–Ramond field	NHNGSFZ3E9	unknown	open	Wikidata Q2268203, nLab Kalb-Ramond field
Kalman filter	AXBCY1XYP9	unknown	open	Wikidata Q846780, MathWorld KalmanFilter
Kaluza–Klein theory	3EM60DQX3Y	unknown	open	Wikidata Q944095, nLab Kaluza-Klein mechanism
Kameko	XM9M4Z5GM1	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.32475#EGQV
Kamp\'e de F\'eriet form of the \(B\)-components	MYZSPV7027	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.26110#IDG0
Kampyle of Eudoxus	Y8N796K2QS	unknown	open	Wikidata Q1151489, MathWorld KampyleofEudoxus
Kampé de Fériet function	KSM9XR2PRG	concept	open	Wikidata Q6359557, MathWorld KampedeFerietFunction
KAMS3EPGC4	KAMS3EPGC4	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.07092#LVT1
Kan complex	BMKDF7SBRE	concept	open	hott_book index/7/kan-complex
Kan complex	CHTA16QEN8	concept	open	hott_book index/4.4/kan-complex
Kan complex	DW4VWKRSBV	concept	open	hott_book index/u1.u7/kan-complex
Kan complex	KYBG8C12GM	unknown	open	Wikidata Q109012778, nLab Kan complex
Kan complex	ZPMW6AFR7C	concept	open	hott_book index/u1.u2/kan-complex
Kan extension	TZ6HJT4WPZ	unknown	open	Wikidata Q1723418, nLab Kan extension
Kan fibration	BECDC4WBGP	unknown	open	Wikidata Q3915873, nLab Kan fibration
Kan replacement does not add all descent objects	51SGHVDK31	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 2609.28220#ZV1Q
KAN59Z6BGP	KAN59Z6BGP	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 2505.05539#CI0E
KAN67AVB9J	KAN67AVB9J	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 1904.08413#HFIZ
Kanamori–McAloon theorem	3TXWRD82DZ	statement	open	mathlib_1000 Q6360586, Wikidata Q6360586, thousand_plus Q6360586, Wikipedia Kanamori–McAloon theorem
Kaneko, Zagier	WFJYCZ0SQP	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 2609.37450#PIMW
Kang and Park	D0FQMNWN5V	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.09565#98WJ
Kanizsa triangle	ZCW3XWQR1S	unknown	open	Wikidata Q3325180, MathWorld KanizsaTriangle
Kantaro Ohmori	D2CAJ67CX2	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q60168178, nLab Kantaro Ohmori
Kantorovich duality with steep functions	W9QWEJZM90	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.21775#JHLZ
Kantorovich inequality	P6YDNWB7F1	statement	open	Wikidata Q3154001, MathWorld KantorovichInequality
Kantorovich theorem	SZTRPYA4B8	statement	open	mathlib_1000 Q2226698, Wikidata Q2226698, thousand_plus Q2226698, Wikipedia Kantorovich theorem
Kantor–Koecher–Tits construction	3WVVJB4Q9B	unknown	open	Wikidata Q6365576, nLab Kantor-Koecher-Tits construction
Kan–Thurston theorem	SYGGRR3TA1	statement	open	Wikidata Q96385278, nLab Kan-Thurston theorem