| Kronecker delta | QTZ5ANYQQ7 | definition | open | Wikipedia Glossary of tensor theory#OYUF |
| Kronecker delta | TGXYDT8QWE | concept | open | Wikidata Q192826, MathWorld KroneckerDelta, nLab Kronecker delta, Wikipedia Kronecker delta |
| Kronecker delta function | TK4X7MNQJA | definition | open | Wikipedia List of mathematical functions#MRPB |
| Kronecker foliation | FHR8EB0QS7 | unknown | open | Wikipedia Foliation#1SW0 |
| Kronecker index | F3GJ4PRB3C | definition | open | Wikipedia Glossary of classical algebraic geometry#BWVV |
| Kronecker limit formula | 2YQ76V4YB5 | statement | open | Wikipedia Kronecker limit formula, Wikidata Q3077651 |
| Kronecker product | V4R9DR3R6F | concept | node (a node has the same name as the row) | Wikidata Q1238125, MathWorld KroneckerProduct, Wikipedia Kronecker product |
| Kronecker substitution | JER9BVRD12 | definition | open | Wikipedia Kronecker substitution, Wikidata Q6438897 |
| Kronecker sum of discrete Laplacians | DA6ABWDZHR | definition | open | Wikipedia Kronecker sum of discrete Laplacians, Wikidata Q6438899 |
| Kronecker symbol | HQ496ARRNB | concept | open | Wikidata Q1789847, MathWorld KroneckerSymbol, Wikipedia Kronecker symbol |
| Kronecker symbol (-1, n) except a(0) = 0. | TGHG724TQ7 | object | open | Wikidata Q100193944, OEIS A112347 |
| Kronecker's congruence | VR8WB0B9RZ | definition | open | Wikipedia Kronecker's congruence, Wikidata Q6438890 |
| Kronecker's lemma | DT7AYFRPRG | statement | open | Wikipedia List of lemmas#671K |
| Kronecker's lemma | HJW1RTCESD | statement | open | Wikipedia Kronecker's lemma, Wikidata Q911141 |
| Kronecker's Limit Formula | HCN3TFK6GH | 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.10365#68LO |
| Kronecker's method | 3ACHBGTEGX | unknown | open | Wikipedia Factorization of polynomials#U85L |
| Kronecker's method | Z94MBE47NY | concept | open | Wikidata Q20877540, EoM Kronecker_method, MathWorld KroneckersAlgorithm |
| Kronecker's theorem | 6G3SRNYHBV | exercise | open | napkin tex/alg-NT/numfield.tex#problem-4 |
| Kronecker's theorem | FYHWJC78GX | statement | open | Wikipedia List of number theory topics#ULVX |
| Kronecker's theorem | JW274BEM3B | statement | open | Wikipedia List of theorems#QVBV |
| Kronecker's theorem | MTXV4BGC31 | statement | open | mathlib_1000 Q848810, Wikidata Q848810, thousand_plus Q848810, Wikipedia Kronecker's theorem |
| Kronecker's theorem on diophantine approximation | RPZQAZJC5N | statement | open | Wikipedia List of harmonic analysis topics#O3I4 |
| Kronecker-type sequence | QHHJB1T9HK | 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.12691#GG2W |
| Kroneckerian field | RFHV86H8G0 | definition | open | Wikipedia Glossary of field theory#83O3 |
| Kronecker–Weber theorem | 8SA6Y3SW54 | statement | open | Wikipedia List of theorems#4K3E |
| Kronecker–Weber theorem | 9Q68BNDW02 | statement | open | mathlib_1000 Q1369453, Wikidata Q1369453, thousand_plus Q1369453, Wikipedia Kronecker–Weber theorem, nLab Kronecker-Weber theorem |
| Kronecker–Weber theorem | ESJMZWEJ25 | statement | open | Wikipedia List of incomplete proofs#C17R |
| Kronecker–Weber theorem | JF35CQW6BX | statement | open | Wikipedia List of algebraic number theory topics#BE8K |
| Kronheimer–Mrowka basic class | P6520WHHKA | definition | open | Wikipedia Kronheimer–Mrowka basic class, Wikidata Q6438928 |
| Kronig penney model | MYQX0GFDJD | unknown | open | Wikipedia Particle in a one-dimensional lattice#HLAK |
| KRPRWX12F4 | KRPRWX12F4 | 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.08484#F58A |
| KRQ2K5BCG1 | KRQ2K5BCG1 | 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.34551#TP6Q |
| KRQ5B2GJBC | KRQ5B2GJBC | 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.10736#XZ9Z |
| KRQAPNNJAN | KRQAPNNJAN | 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.27301#NK3R |
| KRQB8KK4HP | KRQB8KK4HP | 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 2509.20257#Y3A2 |
| KRRKYW4BDQ | KRRKYW4BDQ | exercise | open | lebl_diffyqs ch-systems.tex#exercise-38 |
| KRRTJVJRPC | KRRTJVJRPC | 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.08912#DIQ6 |
| KRS overapproximation | 89YF1WJM5T | 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 2601.01076#M6JZ |
| KRS overapproximation | FM875HKR3Q | 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 2601.01076#LB4Z |
| KRT5ZTG83Z | KRT5ZTG83Z | 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.02993#MHZ8 |
| KRTYF45TYB | KRTYF45TYB | 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.24307#DW2Z |
| Kruithof curve | TRGEFTM6D3 | unknown | open | Wikipedia List of curves#0VFX |
| Krull dimension | 85YCMNGG67 | definition | open | Wikidata Q1225713, MathWorld KrullDimension, ProofWiki Definition:Krull_Dimension, Wikipedia Krull dimension |
| Krull dimension | D7N9E36RCG | definition | open | Wikipedia Glossary of commutative algebra#KNKY |
| Krull dimension | YFPERJ2090 | definition | open | Wikipedia List of algebraic geometry topics#61GC, Wikipedia List of abstract algebra topics#DQYY, Wikipedia List of commutative algebra topics#PVDQ |
| Krull intersection theorem | 44KSHDS4ZE | unknown | open | Wikipedia Local ring#4MQ4 |
| Krull ring | 9DZBAPVB27 | definition | open | Wikipedia Glossary of commutative algebra#2B6E |
| Krull ring | P3NMCQSVKD | concept | open | Wikidata Q623257, EoM Krull_ring, Wikipedia Krull ring |
| Krull's intersection theorem | 2PJTRYW81N | statement | open | Wikipedia Artin–Rees lemma#YK7T |
| Krull's principal ideal theorem | KKVQYV7SGR | statement | open | mathlib_1000 Q3527241, Mathlib Ideal.height_le_one_of_isPrincipal_of_mem_minimalPrimes, Wikidata Q3527241, thousand_plus Q3527241, Wikipedia Krull's principal ideal theorem |
| Krull's principal ideal theorem | Q8N9C1225C | statement | open | Wikipedia List of theorems#SVPH |
| Krull's principal ideal theorem | XT6N1Y3F77 | statement | open | Wikipedia List of abstract algebra topics#TZ4N, Wikipedia List of commutative algebra topics#BCHO |
| Krull's Principal Ideal Theorem for $Z$-Noetherian Rings | 4ZNJPSMTYP | 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.16178#BKSM |
| Krull's separation lemma | 24M2YGDE3J | statement | open | Wikipedia Krull's separation lemma, Wikidata Q97359791 |
| Krull's separation lemma | J1AFVBYNBD | statement | open | Wikipedia List of lemmas#GVXT |
| Krull's theorem | FDA2ENTBK7 | statement | open | Wikipedia Krull's theorem, Wikidata Q2397775 |
| Krull--Remak--Schmidt | 7NAT5TVM2W | 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 1303.4328#UXPK |
| Krull–Akizuki theorem | WBEC4J4PZX | statement | open | Wikipedia Krull–Akizuki theorem, Wikidata Q6439289 |
| Krull–Schmidt | N3MN5VPNN2 | definition | open | Wikipedia Glossary of module theory#J01J |
| Krull–Schmidt category | MHDFQYQPBN | definition | open | Wikipedia Krull–Schmidt category, Wikidata Q6439290 |
| Krull–Schmidt theorem | 6TH6K0PG29 | statement | open | Wikipedia List of theorems#DILE |
| Krull–Schmidt theorem | HF7RV134BG | statement | open | mathlib_1000 Q2226709, Wikidata Q2226709, thousand_plus Q2226709, Wikipedia Krull–Schmidt theorem |
| Krull–Schmidt theorem | PE2CZK9JTA | statement | open | Wikipedia List of abstract algebra topics#1Z2Z |
| Krull–Schmidt theorem for modules | TV17TF132T | statement | open | Wikipedia Krull–Schmidt theorem#LC4G |
| Krumbein, William C. | 8MGBZ1136Z | unknown | open | Wikipedia List of statisticians#H2VO |
| Kruskal | 9HS1SQC61Z | 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 2606.20229#T644 |
| Kruskal count | MZJ682PKS8 | definition | open | Wikipedia Kruskal count, Wikidata Q121833185 |
| Kruskal's Algorithm | QFNX9D0DJ9 | example | open | applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#example-1 |
| Kruskal's algorithm | QS61BYVDP6 | definition | open | Wikipedia List of mathematical proofs#KRSQ |
| Kruskal's algorithm | TPJKBX6RWD | concept | open | applied_combinatorics index/12.1.2/kruskal-s-algorithm |
| Kruskal's algorithm | YHDSV12E5B | definition | open | Wikipedia Kruskal's algorithm, Wikidata Q797860 |
| Kruskal's tree theorem | S7SYQ11ZWB | statement | open | mathlib_1000 Q3527100, Wikidata Q3527100, thousand_plus Q3527100, Wikipedia Kruskal's tree theorem, MathWorld KruskalsTreeTheorem |
| Kruskal's tree theorem | VTN7S62G80 | statement | open | Wikipedia List of theorems#X6LP |
| Kruskal, Joseph | DQ40VG18R5 | unknown | open | Wikipedia List of statisticians#O3KN |
| Kruskal, William | 9SZR72835H | topic | open | Wikipedia List of statisticians#5LG6 |
| Kruskal-Katona Theorem | 7T8751XXX3 | statement | open | Wikipedia Homomorphism density#PKUA |
| Kruskal–Katona theorem | 52DNPE6AVX | statement | open | Wikipedia List of theorems#ZDIC |
| Kruskal–Katona theorem | RABH7P0RZ3 | statement | open | mathlib_1000 Q3527102, Mathlib Finset.kruskal_katona, Wikidata Q3527102, mathlib_overview Combinatorics > Set families > Kruskal-Katona theorem, thousand_plus Q3527102, Wikipedia Kruskal–Katona theorem |
| Kruskal–Szekeres coordinates | 1M0ZZ4B4ZF | definition | open | Wikidata Q1478885, nLab Kruskal–Szekeres coordinates, Wikipedia Kruskal–Szekeres coordinates |
| Kruskal–Wallis one-way analysis of variance | 1W816YHNYJ | definition | open | Wikipedia List of statistics articles#8WJ3 |
| Kruskal–Wallis test | 471E8Y5J79 | definition | open | Wikipedia Kruskal–Wallis test, Wikidata Q1790302 |
| KRV1JRGT1F | KRV1JRGT1F | 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.28898#7E5Y |
| KRVPGJB1QV | KRVPGJB1QV | 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 2112.05010#V83G |
| KRWH3Z7FGM | KRWH3Z7FGM | 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 2408.01345#DBP3 |
| KRWPM9HBYN | KRWPM9HBYN | 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.18620#SY4D |
| KRWSDW5KMK | KRWSDW5KMK | 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.30544#GMHR |
| KRXAW7XHZH | KRXAW7XHZH | 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.16563#L4YE |
| Kryha | 71TF1FT97G | definition | open | Wikipedia Kryha, Wikidata Q734597 |
| Krylov dimension and monomial eigenvalues | J3WQHJ4JT4 | 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.04189#XEN4 |
| Krylov subspace | 6SAAPCYTXJ | definition | open | Wikipedia List of numerical analysis topics#WS87 |
| Krylov subspace | 7ATS4J5J9J | definition | open | Wikipedia Krylov subspace, Wikidata Q1757151 |
| Krylov, Mykola Mytrofanovych | 3C2REBQQ5V | unknown | open | Wikipedia List of Ukrainian mathematicians#OC8U |
| Krylov-Bogoliubov averaging method | ZG62Z6956V | definition | open | Wikipedia List of dynamical systems and differential equations topics#OKBT |
| Krylov–Bogoliubov averaging method | G8A9V8044F | definition | open | Wikipedia Krylov–Bogoliubov averaging method, Wikidata Q6439640 |
| Krylov–Bogolyubov theorem | A80FJE8WNB | statement | open | mathlib_1000 Q1121027, Wikidata Q1121027, thousand_plus Q1121027, Wikipedia Krylov–Bogolyubov theorem |
| Krylov–Bogolyubov theorem | CJ08EH7SGS | statement | open | Wikipedia List of dynamical systems and differential equations topics#8AJ2 |
| Krylov–Bogolyubov theorem | Q0YSCAZMPS | statement | open | Wikipedia List of theorems#HGW3 |
| Kryptographik | 8CVNKNXEP6 | definition | open | Wikipedia Kryptographik, Wikidata Q104858487 |
| krypton | 1EDB31BFGY | definition | open | Wikidata Q888, ProofWiki Definition:Krypton |
| krypton-82 | S20KRS3KJG | definition | open | Wikidata Q2558547, ProofWiki Definition:Krypton/82 |