Math 2.0

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.

Rows 1801–1900 of 3381.

NameIdKindOutcomeSources
KHGFM25XSKKHGFM25XSKdefinitionopenopen_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#thm:oconsis-q
KHGRQ8269WKHGRQ8269Wstatementrecord (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.00241#C3CJ
KHGWNK1SBWKHGWNK1SBWstatementrecord (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.34845#5BSR
KHH1C9E6E5KHH1C9E6E5proofopenopen_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-3
KHH582NRBNKHH582NRBNstatementrecord (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.21622#IX8R
KHH8XZ7A27KHH8XZ7A27definitionrecord (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 2207.12181#9TPH
KHHVQ2GFVJKHHVQ2GFVJdefinitionrecord (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.16060#PRMJ
KHHZAGPEK0KHHZAGPEK0statementrecord (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 2006.05158#PQ4Z
Khinchin's constant3Z215HY82JobjectopenWikidata Q2718188, MathWorld KhinchinsConstant, OEIS A002210
Khinchin's theorem on Diophantine approximations1NW75PJJP5statementopenmathlib_1000 Q1227061, Wikidata Q1227061, thousand_plus Q1227061, Wikipedia Khinchin's theorem on Diophantine approximations
Khinchin's theorem on the factorization of distributions3P572VJ534statementopenWikidata Q28403771, EoM Khinchin_theorem
Khintchine inequalityDV1KND9YFGstatementrecord (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.11145#XXFF
KHJN42Z7KQKHJN42Z7KQstatementrecord (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.05142#YX10
KHK7E4ERF8KHK7E4ERF8statementopenlebl_diffyqs ch-fourier-and-pde.tex#theorem-1
KHK7JR221NKHK7JR221Nstatementrecord (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.14985#YMWT
KHN5CT3RYBKHN5CT3RYBstatementrecord (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.10338#GRI6
KHNXEG2VQ6KHNXEG2VQ6problemrecord (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 2311.00585#KUFW
Khovanov homology1DPXX57TREunknownopenWikidata Q6402652, nLab Khovanov homology
KHPQ08C6GXKHPQ08C6GXstatementrecord (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 2412.12141#B54H
KHQ3WCJ48RKHQ3WCJ48Rexampleopenlebl_ra ch-seq-ser.tex#example-8
KHQF6Q8GDDKHQF6Q8GDDstatementrecord (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 0902.4479#S03K
KHQM01X37RKHQM01X37Rstatementrecord (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.13850#KLHB
KHR41A3Z5RKHR41A3Z5Rdefinitionrecord (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.26276#7V4A
KHR4YE4DXRKHR4YE4DXRexerciseopenernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-12
KHR8C3QAS8KHR8C3QAS8statementrecord (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.02407#WC35
KHR8MXC3XKKHR8MXC3XKstatementrecord (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.10477#1JM9
KHRFX5Q0JMKHRFX5Q0JMstatementrecord (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.11210#YJZF
KHRNAMRRP4KHRNAMRRP4statementrecord (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.15434#U7DX
KhrushchevFTPFC9M2ACstatementrecord (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.24307#8TPS
Khrushchev's Lemma4ENBEWRHMHstatementrecord (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 2403.08723#EXK4
Khrushchev--PellerXT8N0Q7M53statementrecord (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.24307#IBQ2
KHRY44YN7DKHRY44YN7Ddefinitionrecord (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 2401.07983#18PG
KHS8KDFE53KHS8KDFE53statementrecord (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.36423#6K38
KHT1PZB8WFKHT1PZB8WFproofopenopen_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#proof-1
KHTKMP7ZJFKHTKMP7ZJFstatementrecord (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.25762#WN6Y
Khurana, LamPATSB0JB0Nstatementrecord (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.20760#HYXJ
KHV0JM1A0CKHV0JM1A0Cstatementrecord (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.09567#YUT9
KHVZ7Y8J8MKHVZ7Y8J8Mstatementrecord (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.10928#17WJ
KHWXKQ45F9KHWXKQ45F9exerciseopenlebl_ra ch-several-vars-ders.tex#exercise-55
KHX1YKFQQRKHX1YKFQQRstatementrecord (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 1503.05744#1OPR
KHXCVAZWE9KHXCVAZWE9problemrecord (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.11596#JXHB
KHYGKRMXR5KHYGKRMXR5proofopennapkin tex/alg-geom/quasi-proj.tex#proof-1
KHYJ29S3R5KHYJ29S3R5statementrecord (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 2309.08900#NGFG
KHYZY8AQ8CKHYZY8AQ8Cexerciseopenlevin_dmoi ptx/exercises/gt-intro.ptx#exr-degree1handshake
KHZR194ZHWKHZR194ZHWstatementrecord (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 2004.02766#LZ8M
kibibyte2HD2Z9D251unknownopenWikidata Q79756, MathWorld Kibibyte
Kida2PAZYE44GVstatementrecord (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.12054#DXJ8
Kida6FFGA6ZJ60statementrecord (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.12054#WM1R
Kida78VJZPTH5Wstatementrecord (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.12054#WJHH
KidaTAMFH7Y33Sstatementrecord (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.12054#8FCO
Kiepert conicsMEB8VWS97EunknownopenWikidata Q111165553, MathWorld KiepertParabola
Kiepert hyperbola45FJ5QEAE0unknownopenWikidata Q113502, MathWorld KiepertHyperbola
Kiiti MoritaMZ2BVQHDPYunknownout_of_scope (a person, not an item of mathematics)Wikidata Q454583, nLab Kiiti Morita
Killed Poisson-binomial walksWD7ZQVT1BQstatementrecord (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.08568#LLZG
Killed-pair spectral limitVEBGRQ1T65statementrecord (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.00137#8ODT
Killing diffusion4RW0YATKMFexamplerecord (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.03264#R7P7
Killing form9BV2K1KE61unknownopenWikidata Q634557, MathWorld KillingForm, nLab Killing form
killing homotopy groups6VRG3HZGN7statementrecord (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.03497#H3S0
Killing ringAHFWEP95ZSstatementrecord (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.08787#LMWQ
Killing spinorFE0KZNDRFXunknownopenWikidata Q6407805, nLab Killing spinor
Killing tensorEEFH10V0WNunknownopenWikidata Q6407804, nLab Killing tensor
Killing vector fieldAKHQVRNC1QdefinitionopenWikidata Q1200279, MathWorld KillingVectors, nLab Killing vector field, ProofWiki Definition:Killing_Vector_Field
Killing–Hopf theoremYGQY0BQNDXstatementopenmathlib_1000 Q6407842, Wikidata Q6407842, thousand_plus Q6407842, Wikipedia Killing–Hopf theorem
kiloBD2NFKBYZ0definitionopenWikidata Q107428, ProofWiki Definition:Metric_System/Scaling_Prefixes/kilo-
kilobyteV0HMPKEJH1unknownopenWikidata Q79726, MathWorld Kilobyte
kilogramGC4M1PJFDHdefinitionopenWikidata Q11570, nLab kilogram, ProofWiki Definition:Metric_System/Mass/Kilogram
kilogram-forceWP8VKZJGN0definitionopenWikidata Q216880, ProofWiki Definition:SI/Force/Kilogram_Force
kilogram-force per square centimetre5F3AJ3QMH9definitionopenWikidata Q13582667, ProofWiki Definition:Kilogram_Force_per_Square_Centimetre
kilojouleTCNW4FFHKBdefinitionopenWikidata Q4989854, ProofWiki Definition:SI/Energy/Kilojoule
kilometre9YH67X4S7DdefinitionopenWikidata Q828224, ProofWiki Definition:Metric_System/Length/Kilometre
kilowatt3VRBTQ0RTAdefinitionopenWikidata Q3320608, ProofWiki Definition:SI/Power/Kilowatt
kilowatt-hour1990TMVB0RdefinitionopenWikidata Q182098, ProofWiki Definition:SI/Energy/Kilowatt-Hour
Kim and PillayXVM63AZD3Sstatementrecord (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.22205#BJZ7
Kim--Liao9TSTF2A5M5statementrecord (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.36412#B54R
KimberlingCXNQW8H3BCconjecturerecord (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.05776#75SX
KimberlingHC8EDH1GB0conjecturerecord (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.05776#V0SU
Kimberling, stronger formFZJYBZCS5Gconjecturerecord (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.05776#2834
kinematicsM0C57E6MF0topicopenWikidata Q11476
Kinetic Aleksandrov estimateNBTAP9TDZMconjecturerecord (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.03083#LNXE
kinetic energyJS15HN9QGSdefinitionopenWikidata Q46276, ProofWiki Definition:Kinetic_Energy
kinetic theoryRJTWYG1YKRtopicopenWikidata Q200286
kingMBTPM67ZPRdefinitionopenWikidata Q138, ProofWiki Definition:Chess/Piece/King
king's graphARWJ8WSRSZunknownopenWikidata Q6411145, MathWorld KingGraph
King, Tollu, Toumazet; Chindris2RP907SCBJconjecturerecord (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.21921#AWNL
Kinoshita–Lee–Nauenberg theoremGCKT69FMEFstatementopenmathlib_1000 Q6414200, Wikidata Q6414200, thousand_plus Q6414200, Wikipedia Kinoshita–Lee–Nauenberg theorem
Kinoshita–Terasaka knot5NTB9B3G8YunknownopenWikidata Q94827585, MathWorld Kinoshita-TerasakaKnot
Kinser rigidity for vanishing defect curvature9H419RRQG1statementrecord (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.06739#LA3R
Kip S. Thorne41NTSGQZKTunknownout_of_scope (a person, not an item of mathematics)Wikidata Q323320, nLab Kip Thorne
Kirby calculusQMMCVJ6RT6unknownopenWikidata Q5956316, nLab Kirby calculus
Kirchberg's epsilon testZ33BVB3J83statementrecord (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.09390#2VPO
Kirchberger's theoremVT8H01G6QQstatementopenmathlib_1000 Q31838822, Wikidata Q31838822, thousand_plus Q31838822, Wikipedia Kirchberger's theorem
Kirchhoff's circuit laws9MWJKX7TQMunknownopenWikidata Q187672, nLab Kirchhoff's laws
Kirchhoff's theoremXGYMF3GBA3statementopenmathlib_1000 Q2226691, Wikidata Q2226691, thousand_plus Q2226691, Wikipedia Kirchhoff's theorem
Kirkman's schoolgirl problemZWYA9XJVQ0problemopenWikidata Q966333, MathWorld KirkmansSchoolgirlProblem
Kirszbraun theoremAH7E8B64A0statementopenmathlib_1000 Q4454954, Wikidata Q4454954, thousand_plus Q4454954, Wikipedia Kirszbraun theorem
Kishi et al.K6813XJGSQstatementrecord (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.10950#T2M1
KisinGPA71VJ6J1statementrecord (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.25703#RFW8
Kissing number from exact locally dense lattice16BHSHNG66statementrecord (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.14380#FXJP
kissing number problemAC3TKGFPT0problemopenWikidata Q1371530, MathWorld KissingNumber
Kit YatesDBRFVZ3YQJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q112547007, ProofWiki Mathematician:Christian_Yates