| Kolmogorov–Arnold representation theorem | ESTMTTKZ1B | statement | open | mathlib_1000 Q25099402, Wikidata Q25099402, thousand_plus Q25099402, Wikipedia Kolmogorov–Arnold representation theorem |
| Kolmogorov–Arnold representation theorem | Z25WMVV0ZZ | statement | open | Wikipedia List of theorems#OC5Q |
| Kolmogorov–Arnold–Moser theorem | D2AW0F1EYR | statement | open | Wikipedia List of mathematical topics in classical mechanics#KRDW |
| Kolmogorov–Arnold–Moser theorem | EXRRKQGDZK | statement | open | mathlib_1000 Q587081, Wikidata Q587081, thousand_plus Q587081, Wikipedia Kolmogorov–Arnold–Moser theorem, MathWorld Kolmogorov-Arnold-MoserTheorem |
| Kolmogorov–Arnold–Moser theorem | EYW76HJF4D | statement | open | Wikipedia List of theorems#SDRH |
| Kolmogorov–Petrovsky–Piskunov equation | 26VG5MZZR2 | definition | open | Wikipedia List of named differential equations#SE1K |
| Kolmogorov–Smirnov criterion | DBW8RFK661 | statement | open | Wikipedia Minimum-distance estimation#20DS |
| Kolmogorov–Smirnov test | G2Y01EC187 | definition | open | Wikipedia List of statistics articles#1WBW |
| Kolmogorov–Smirnov test | R6GWRPFTCN | definition | open | Wikipedia Kolmogorov–Smirnov test, Wikidata Q575766 |
| Kolmogorov–Zurbenko filter | NHST6GTEDY | definition | open | Wikipedia Kolmogorov–Zurbenko filter, Wikidata Q6427429 |
| Komar mass | WXHYMXHC5A | definition | open | Wikipedia Komar mass, Wikidata Q6428138 |
| Komei Fukuda | 4HATSNAPPT | topic | open | Wikipedia Komei Fukuda, Wikidata Q98644582 |
| Komjáth, Péter | V2EV6FN55V | unknown | open | Wikipedia List of Hungarian mathematicians#I0A7 |
| Koml\'os conjecture | XRVFFQ3VM8 | 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.20979#CH0Q |
| Koml\'os selection | BMM25V583E | 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.30895#XPUY |
| Komlós' theorem | 54DGDT9N53 | statement | open | Wikipedia Komlós' theorem, Wikidata Q114741715 |
| Komlós' theorem | JVKV80SZ2R | statement | open | Wikipedia Komlós' theorem#94RO |
| Komlós, János | GJD4527J03 | unknown | open | Wikipedia List of Hungarian mathematicians#RPQM |
| Komlós–Major–Tusnády approximation | ZBAT2QY2ZF | definition | open | Wikipedia Komlós–Major–Tusnády approximation, Wikidata Q6428375 |
| Komornik–Loreti constant | 7VZAVJATWY | object | open | Wikidata Q6428513, OEIS A055060, Wikipedia Komornik–Loreti constant |
| Kompaneyets equation | JY8P7JD9Q5 | definition | open | Wikipedia Kompaneyets equation, Wikidata Q126975065 |
| Konane | 519QGVQ78A | unknown | open | Wikipedia List of PSPACE-complete problems#7RKN |
| Kondo model | YCDBG9BF2Z | definition | open | Wikipedia Kondo model, Wikidata Q1781236 |
| Kondor's limit | NKB53CBW5S | 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.06480#X5EC |
| Kondrachov embedding theorem | 4QRVG84W9P | statement | open | Wikipedia Sobolev inequality#BUOB |
| Kondrachov embedding theorem | P34XSQYDS4 | statement | open | Wikipedia Rellich–Kondrachov theorem#QM09 |
| Kondratiev, Yuri | Q8B2JMMQ6C | topic | open | Wikipedia List of Ukrainian mathematicians#DE1Y |
| Konrad Jörgens | G4NYFDPGG9 | topic | open | Wikipedia Konrad Jörgens, Wikidata Q91374 |
| Konrad Knopp | ERDBWVS21W | topic | open | Wikipedia List of people by Erdős number#XFGR |
| Konrad Knopp | G9C6R719XT | topic | open | Wikipedia Konrad Knopp, Wikidata Q72982 |
| Konrad Osterwalder | KK23J3XGDJ | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q125728, nLab Konrad Osterwalder, Wikipedia Konrad Osterwalder |
| Konrad Osterwalder | ZFST16RWDP | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#48KO, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E5C3 |
| Konrad Voss | JTNEQDH7SF | topic | open | Wikipedia Konrad Voss, Wikidata Q102169385 |
| Konrad Zuse | BNH7N7KFD9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60093, nLab Konrad Zuse |
| Konstantin Andreev | CZ8CZ6RJXA | topic | open | Wikipedia Konstantin Andreev, Wikidata Q1992801 |
| Konstantin Ardakov | 84ZAJKSS1X | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D4DZ |
| Konstantin Khanin | 6RBJCYRN88 | topic | open | Wikipedia Konstantin Khanin, Wikidata Q30525230 |
| Konstantin Khanin | Z7C1R6BXNC | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4CPU |
| Konstantin Lerner | 4165QYEXSD | unknown | open | Wikipedia List of Ukrainian Jews#6O4S |
| Konstantin Posse | BMTP4CTB3H | topic | open | Wikipedia Konstantin Posse, Wikidata Q4374163 |
| Konstantin Semendyayev | JYYD90N7SW | topic | open | Wikipedia Konstantin Semendyayev, Wikidata Q24939727 |
| Konstantin Tikhomirov | X368JTRXBB | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UB0L |
| Konstantina Trivisa | MRW13ZAJT5 | topic | open | Wikipedia Konstantina Trivisa, Wikidata Q79176770 |
| Konstantinos Carathéodory | 645MQGDQJX | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q65332, nLab Constantin Carathéodory, ProofWiki Mathematician:Constantin_Carathéodory, Wikipedia Constantin Carathéodory |
| Konstantinos Negris | 1PV7TREWMW | topic | open | Wikipedia Konstantinos Negris, Wikidata Q15980982 |
| Konstantinos Papaioannou | 72W8WY7CD4 | topic | open | Wikipedia Konstantinos Papaioannou, Wikidata Q12879694 |
| Konstantinos Tzechanis | 7X4CC64WZ0 | topic | open | Wikipedia Konstantinos Tzechanis, Wikidata Q6430199 |
| Konstanze Rietsch | DYA94CK2DM | topic | open | Wikipedia Konstanze Rietsch, Wikidata Q102192502 |
| 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.} | 3XDGAEXA7Y | statement | open | lebl_scv scv.tex#thm:contprinciple1 |
| Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!second version}\index{continuity principle!second version}, second version | 3JKH24Z9E4 | statement | open | lebl_scv scv.tex#thm:contprinciple2 |
| Kontinuit\atssatz, first version | 7QB1EY2WG9 | concept | open | lebl_scv index/2.1/kontinuit-atssatz-first-version |
| Kontinuit\atssatz, second version | 2BKC5Y3ST2 | concept | open | lebl_scv index/2.5/kontinuit-atssatz-second-version |
| Kontorovich–Lebedev transform | NSN6XR4Y1G | definition | open | Wikipedia Kontorovich–Lebedev transform, Wikidata Q6430373 |
| Kontsevich formality theorem | JP3DDYYSG3 | definition | open | Wikipedia Glossary of symplectic geometry#D5K5 |
| Kontsevich invariant | DJV562FHGT | definition | open | Wikipedia List of knot theory topics#QG7D |
| Kontsevich invariant | ZC75DWNCCX | definition | open | Wikipedia Kontsevich invariant, Wikidata Q623129 |
| Kontsevich quantization formula | KTMZCGWH21 | statement | open | Wikipedia Kontsevich quantization formula, Wikidata Q6430406 |
| Koopman candidate residual bound | 193MCT6ZF0 | 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.32652#2JFX |
| Koopman, Bernard | KS42YJFP67 | unknown | open | Wikipedia List of statisticians#1LTF |
| Koopman-Pitman-Darmois theorem | 5M6Y43DXXV | unknown | open | Wikipedia Exponential family#6S42 |
| Koopman–von Neumann classical mechanics | Y535J07H47 | definition | open | Wikipedia Koopman–von Neumann classical mechanics, Wikidata Q4455091 |
| Koornwinder polynomials | NCF52V5HYF | definition | open | Wikipedia Koornwinder polynomials, Wikidata Q6430769 |
| Koornwinder polynomials | YQQY9QDG44 | definition | open | Wikipedia List of polynomial topics#3U1T |
| Koras–Russell cubic threefold | W1R69YMNRG | definition | open | Wikipedia Koras–Russell cubic threefold, Wikidata Q6431431 |
| Korea Institute for Advanced Study | BSNXRNTGJS | definition | open | Wikipedia Korea Institute for Advanced Study, Wikidata Q623968 |
| Korean Mathematical Olympiad | 68MJZAHPDN | definition | open | Wikipedia Korean Mathematical Olympiad, Wikidata Q12623327 |
| Korean Mathematical Society | QQN1RFY5AR | unknown | open | Wikipedia List of mathematical societies#U0JU |
| Korean numerals | F1Y0AKS2J3 | definition | open | Wikipedia Korean numerals, Wikidata Q182017 |
| Kori Inkpen | RH6HNKB4RR | unknown | open | Wikipedia List of people by Erdős number#ZKZI |
| Korn's inequality | BJHQZ06744 | statement | open | Wikipedia Korn's inequality, Wikidata Q3154002 |
| Korn's inequality | SNG74V67YX | statement | open | Wikipedia List of inequalities#Y6FI |
| Korolyuk, Volodymyr Semenovych | 344TZQ4937 | topic | open | Wikipedia List of Ukrainian mathematicians#SWHM |
| Korovkin approximation | E176YEF6TB | definition | open | Wikipedia Korovkin approximation, Wikidata Q1784675 |
| Korselt's criterion | 81WC3FPN67 | 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.02550#RARN |
| Korselt's criterion | GM067A0N5E | statement | open | Wikipedia Carmichael number#3PP3 |
| Korteweg-de Vries Institute for Mathematics | 3037X6QM25 | definition | open | Wikipedia Korteweg-de Vries Institute for Mathematics, Wikidata Q14635323 |
| Korteweg-de Vries-Burgers-Fisher equation | 1V3ZGD2Y9W | definition | open | Wikipedia Korteweg-de Vries-Burgers-Fisher equation, Wikidata Q141284716 |
| Korteweg–de Vries equation | 29QZEXJ5NQ | definition | open | Wikipedia List of partial differential equation topics#8JEG |
| Korteweg–De Vries equation | 5S101A4MBX | concept | open | Wikidata Q601796, EoM Korteweg-de_Vries_equation, MathWorld Korteweg-deVriesEquation, Wikipedia Korteweg–De Vries equation |
| Korteweg–De Vries hierarchy | Y5MVR69M1V | definition | open | Wikipedia Korteweg–De Vries hierarchy, Wikidata Q6382014 |
| Korteweg–de Vries–Burgers equation | Z5QRBNTRSA | definition | open | Wikipedia Korteweg–de Vries–Burgers equation, Wikidata Q15838210 |
| Korzhenkova--Sep\'ulveda | 1MN7CWCP0P | 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.30330#WCA2 |
| Kosaku Yosida | 4RASRE8AXZ | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#92EV |
| Kosambi–Karhunen–Loève theorem | XR17TN54GB | statement | open | mathlib_1000 Q2046647, Wikidata Q2046647, thousand_plus Q2046647, Wikipedia Karhunen–Loève theorem, Wikipedia Kosambi–Karhunen–Loève theorem |
| Kosaraju's algorithm | DWTYCJA45B | definition | open | Wikipedia Kosaraju's algorithm, Wikidata Q2655281 |
| Koshmanenko, Volodymyr Dmytrovych | 5T7D0WZ70Z | topic | open | Wikipedia List of Ukrainian mathematicians#EXF8 |
| Koskela--Lehrb\"ack | ASC11CBXXY | 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.22407#ZRBH |
| Koskivirta--Wedhorn, Theorem 5.1.4 | HBTJ3EXDRY | 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.33808#MY1P |
| Kosmann lift | N0G888N0XE | definition | open | Wikipedia Kosmann lift, Wikidata Q6433243 |
| Kosmas Balanos | KMY9BTZDTE | topic | open | Wikipedia Kosmas Balanos, Wikidata Q6433245 |
| Kosnita Point | 6KNKRHEA7D | statement | open | Wikidata Q1785070, MathWorld KosnitaPoint, Wikipedia Kosnita's theorem |
| Kosnita's theorem | FS5PQAXC9Q | statement | open | Wikidata Q18207105, MathWorld KosnitaTheorem |
| Kosnita's theorem | X0KX08HZT2 | statement | open | Wikipedia List of triangle topics#U5J2 |
| Kosovar Mathematical Society | M76B6Q29AN | definition | open | Wikipedia Kosovar Mathematical Society, Wikidata Q108936705 |
| Kosovar Mathematical Society | VWBHFTAKMY | definition | open | Wikipedia List of mathematical societies#HYS9 |
| Kosovo Agency of Statistics | GTN8ZNRG0X | definition | open | Wikipedia Kosovo Agency of Statistics, Wikidata Q16353956 |
| Kostant multiplicity formula | BSWZ7EZ11V | statement | open | Wikipedia Weyl character formula#TRY6 |
| Kostant partition function | CX36SDTASD | definition | open | Wikipedia Kostant partition function, Wikidata Q6433478 |
| Kostant polynomial | E4K4NF2JH2 | definition | open | Wikipedia Kostant polynomial, Wikidata Q6433479 |
| Kostant's convexity theorem | W9BRP42D8Y | statement | open | Wikipedia Kostant's convexity theorem, Wikidata Q6433477 |