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 2301–2400 of 3381.

NameIdKindOutcomeSources
Knot congruenceJZ2E9CCD15statementrecord (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.18618#IJ3H
knot groupKJWK68R937unknownopenWikidata Q1777486, MathWorld KnotGroup, nLab knot group
knot invariantXRSE497TQ4unknownopenWikidata Q1862434, MathWorld KnotInvariant, nLab knot invariant
knot polynomialXKFBDRV55HunknownopenWikidata Q2228072, MathWorld KnotPolynomial
knot sum494Z52NXR3unknownopenWikidata Q91779227, MathWorld KnotSum
knot theory9YP24HXQKFtopicopenWikidata Q849798, MathWorld KnotTheory, ProofWiki Definition:Knot_Theory
knots, } for linksYFWD7XEE3Kstatementrecord (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.10206#8MTJ
Knowledge6QKXGHQ8DPunknownout_of_scope (a book, not an item of mathematics)Wikidata Q96721696, ProofWiki Book:Journal/Knowledge
Knowledge errorF1Z2ENJ810statementrecord (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.26258#A92T
Known characteristicAN5C43YSRFstatementrecord (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 1308.2487#WI6I
Known characteristicB8F5R9147Hstatementrecord (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 1308.2487#G3GY
Known characteristicM3BR9TKGPPstatementrecord (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 1308.2487#YIZK
Known factsMBHSB2GPPMstatementrecord (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.37479#05PP
Known finiteness theoremNCDCM9VXB7statementrecord (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.15369#KWLH
Known slice-torus link invariants3RE84X7W0Fexamplerecord (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.10206#7MPC
Known-spectrum optimumVH97DAHWS9statementrecord (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.35986#7MUW
Known-structure instanceCE0MH41MSPdefinitionrecord (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.26258#1UKP
KNP6ZH9TFQKNP6ZH9TFQstatementrecord (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.32174#DL1T
KNPEC165SCKNPEC165SCstatementrecord (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.02893#9SQN
KNPJE0QHNYKNPJE0QHNYstatementrecord (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 2009.11127#SHJU
KNPSRWBC47KNPSRWBC47statementrecord (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.05391#649X
KNQC84V15KKNQC84V15Kstatementrecord (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.16404#2T3B
KNQCX4QJZAKNQCX4QJZAstatementopenopen_logic content/first-order-logic/sequent-calculus/soundness.tex#cor:weak-soundness
KNQSDJ6QASKNQSDJ6QASstatementopenernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#theorem-1
KNQVMXDEEGKNQVMXDEEGstatementrecord (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.05953#J07M
KNRDXHXCJEKNRDXHXCJEstatementrecord (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.39246#IL4W
KNRJEAKNHWKNRJEAKNHWstatementrecord (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.32829#DQSS
KNRP8TG3CQKNRP8TG3CQstatementrecord (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.21298#DSJU
KNS36ES54MKNS36ES54Mstatementrecord (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.31242#GPZ5
KNT0K7M6CTKNT0K7M6CTstatementopenapplied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#prop_graphalgorithms_spanforest
KNTCWTJVXNKNTCWTJVXNstatementrecord (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 2208.07401#L9WI
Knuth's up-arrow notation8B31VA6FHZunknownopenWikidata Q908427, MathWorld KnuthUp-ArrowNotation
Knuth–Bendix completion algorithmS08GEE803DunknownopenWikidata Q2835803, MathWorld Knuth-BendixCompletionAlgorithm
KNV1GD4A0CKNV1GD4A0Cstatementrecord (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.26600#C0C0
KNV5Y7DGGSKNV5Y7DGGSstatementrecord (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.01329#AH3E
KNVJ2385B9KNVJ2385B9statementrecord (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.31757#TIKE
KNVTCT57TVKNVTCT57TVexerciseopenernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-1
KNWRDT6463KNWRDT6463examplerecord (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 2605.24355#X5RO
KNXC6S2ND5KNXC6S2ND5statementrecord (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.08487#RYZS
KNXDDF88S8KNXDDF88S8statementrecord (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.01899#RGOR
KNYE4K58EGKNYE4K58EGdefinitionopenopen_logic content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex#defn-1
KNYX8A3050KNYX8A3050statementrecord (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.31335#IDKY
KNZ8RMWJYGKNZ8RMWJYGstatementrecord (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.10505#IOFK
KNZPVK1Y21KNZPVK1Y21definitionrecord (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.22288#WPQ9
Knödel numberFVY7EY45RBunknownopenWikidata Q4346700, MathWorld KnoedelNumbers
Ko SandersQFY38DEFMHunknownout_of_scope (a person, not an item of mathematics)Wikidata Q57954021, nLab Ko Sanders
Ko--ParkH9G4KNYBGAstatementrecord (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.04305#N70B
Kobayashi--Hitchin correspondenceX33S19PE1Vstatementrecord (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.16814#01B6
Kobayashi–Hitchin correspondenceF8HQP33F4KunknownopenWikidata Q6424285, nLab Kobayashi-Hitchin correspondence
kobon triangle problemH71SCXM6GPproblemopenWikidata Q1269124, MathWorld KobonTriangle
Koch snowflakeB717QDCGT1unknownopenWikidata Q223137, MathWorld KochSnowflake
Kochański's approximationRTQ4WN5TGFunknownopenWikidata Q2006381, MathWorld KochanskisApproximation
Kochen–Specker theoremAS7FYH20VDstatementopenmathlib_1000 Q528955, Wikidata Q528955, thousand_plus Q528955, Wikipedia Kochen–Specker theorem, nLab Kochen-Specker theorem
Kock, Z\"oberleinXT095ZTYJ1definitionrecord (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.01474#XK1C
Kodaira embedding theoremJJ6WC8TQZPstatementopenmathlib_1000 Q6425088, Wikidata Q6425088, thousand_plus Q6425088, Wikipedia Kodaira embedding theorem, MathWorld KodairaEmbeddingTheorem, nLab Kodaira embedding theorem
Kodaira vanishing theoremF2XCJMXY07statementopenmathlib_1000 Q2518048, Wikidata Q2518048, thousand_plus Q2518048, Wikipedia Kodaira vanishing theorem, nLab Kodaira vanishing theorem
Koebe $\frac14$-theoremWD38QTTWWSconceptopenlebl_scv index/B/koebe-frac14-theorem
Koebe 1/4 theorem54A9K08ESXstatementopenmathlib_1000 Q588218, Wikidata Q588218, thousand_plus Q588218, Wikipedia Koebe 1/4 theorem
Koebe quarter theorem7D9B4KK9RCstatementopenlebl_scv scv.tex#thm-41
Koebe quarter theoremE1AKBM7S43conceptopenlebl_scv index/B/koebe-quarter-theorem
KOH identityVHPD7D9D04statementrecord (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.18377#1PFX
Koksma's Inequality2QC9QMF4Z0statementrecord (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.17139#P2ND
Kolakoski sequenceWP4G7A16HPobjectopenWikidata Q6427013, MathWorld KolakoskiSequence, OEIS A000002
Koll\'ar-PardonD10YRQKSMPconjecturerecord (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#W9IW
Kolmogorov complexityM5M6MN6956conceptopenWikidata Q1456811, nLab Kolmogorov complexity
Kolmogorov continuity criterion1ZRXM1RSX2statementrecord (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.10080#K7DJ
Kolmogorov criterionS35NNG1RDWstatementrecord (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.13532#J6O8
Kolmogorov discrepancy of the cosine gridENCC6R4SEAstatementrecord (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.16351#EEYY
Kolmogorov dualityJ64VFAAXFVunknownopenWikidata Q4155849, EoM Kolmogorov_duality
Kolmogorov extension theoremH004AG93D6statementopenmathlib_1000 Q3526996, Wikidata Q3526996, thousand_plus Q3526996, Wikipedia Kolmogorov extension theorem
Kolmogorov spaceDR1JW8MVXTdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q1148924, ProofWiki Definition:Kolmogorov_Space
Kolmogorov zero--one law120XY4YYVCstatementrecord (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 1912.02769#1E8D
Kolmogorov's $0$-$1$ law6483SERS74unknownopenmathlib_overview Probability Theory > Random variables and their laws > Kolmogorov's $0$-$1$ law, Mathlib ProbabilityTheory.measure_zero_or_one_of_measurableSet_limsup_atTop, mathlib_undergrad Probability Theory > Definitions of a probability space > $0$-$1$ law
Kolmogorov's inequality6PYF7G6EYXstatementopennapkin tex/measure/large-laws.tex#theorem-3
Kolmogorov's maximal inequalityV2KXX06QY8statementrecord (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.27765#VULO
Kolmogorov's three-series theoremC3BN06GD22statementopenmathlib_1000 Q3527233, Wikidata Q3527233, thousand_plus Q3527233, Wikipedia Kolmogorov's three-series theorem
Kolmogorov--Arnold structure of the delay-to-jet mapEXNDTZW5C5statementrecord (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.02637#YZZ3
Kolmogorov--Smirnov and Cram\'er--von Mises statisticsQK82C8QP7Sstatementrecord (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.14616#4O1Q
Kolmogorov–Arnold representation theoremESTMTTKZ1Bstatementopenmathlib_1000 Q25099402, Wikidata Q25099402, thousand_plus Q25099402, Wikipedia Kolmogorov–Arnold representation theorem
Kolmogorov–Arnold–Moser theoremEXRRKQGDZKstatementopenmathlib_1000 Q587081, Wikidata Q587081, thousand_plus Q587081, Wikipedia Kolmogorov–Arnold–Moser theorem, MathWorld Kolmogorov-Arnold-MoserTheorem
Koml\'os selectionBMM25V583Estatementrecord (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.30895#XPUY
Komornik–Loreti constant7VZAVJATWYobjectopenWikidata Q6428513, OEIS A055060
Kondor's limitNKB53CBW5Sstatementrecord (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.06480#X5EC
Konrad OsterwalderKK23J3XGDJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q125728, nLab Konrad Osterwalder
Konrad ZuseBNH7N7KFD9unknownout_of_scope (a person, not an item of mathematics)Wikidata Q60093, nLab Konrad Zuse
Konstantinos Carathéodory645MQGDQJXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q65332, nLab Constantin Carathéodory, ProofWiki Mathematician:Constantin_Carathéodory
Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!first version}\index{continuity principle!first version}, first version\footnote{ Sometimes this (or similar) theorem is called Behnke--Sommer, although the first version of it (where the discs are complex lines) were proved by Hartogs.}3XDGAEXA7Ystatementopenlebl_scv scv.tex#thm:contprinciple1
Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!second version}\index{continuity principle!second version}, second version3JKH24Z9E4statementopenlebl_scv scv.tex#thm:contprinciple2
Kontinuit\atssatz, first version7QB1EY2WG9conceptopenlebl_scv index/2.1/kontinuit-atssatz-first-version
Kontinuit\atssatz, second version2BKC5Y3ST2conceptopenlebl_scv index/2.5/kontinuit-atssatz-second-version
Koopman candidate residual bound193MCT6ZF0statementrecord (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#2JFX
Korselt's criterion81WC3FPN67statementrecord (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.02550#RARN
Korteweg–De Vries equation5S101A4MBXconceptopenWikidata Q601796, EoM Korteweg-de_Vries_equation, MathWorld Korteweg-deVriesEquation
Korzhenkova--Sep\'ulveda1MN7CWCP0Pstatementrecord (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.30330#WCA2
Koskivirta--Wedhorn, Theorem 5.1.4HBTJ3EXDRYstatementrecord (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.33808#MY1P
Kosnita Point6KNKRHEA7DunknownopenWikidata Q1785070, MathWorld KosnitaPoint
Kosnita's theoremFS5PQAXC9QstatementopenWikidata Q18207105, MathWorld KosnitaTheorem
Kostas Skenderis1NTPMGDEV6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q91825807, nLab Kostas Skenderis
Kosters--ZhuS07A9SNTWCproblemrecord (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.05652#XCOA
Kosters--Zhu degree-gap criterionNREF3FH4ZQstatementrecord (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.05652#UVYT