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 1501–1600 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Kernel convergence | H2MZAEXVEZ | 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.00453#T6A0 |
| Kernel converse | BM17KBX9KG | 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.40054#6XAH |
| Kernel decomposition | 2FP7EX5CQV | 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#F52R |
| Kernel descent to the local lattice | MN70WNDC4R | 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#4E4F |
| Kernel dimension and determinant valuation | 3CVNTM8BD4 | 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.32834#OZBD |
| Kernel dominance | QWXT61QCND | 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.34918#PYDC |
| Kernel equations map plant to target | XTJX4QDYJD | 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.08764#8A3X |
| Kernel gradient descent | WAFF798PWT | 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 2604.23212#149T |
| Kernel gradient flow | 5SHB1V98A4 | 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 2604.23212#2OWY |
| Kernel measure | B0SHAAJT33 | 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 2606.02312#W8XU |
| Kernel of a function-field derivation | JRBXQ1W3CC | 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.33327#HVHL |
| kernel of a linear map | 23SSF4JKJE | unknown | node (a node has the same name as the row) | mathlib_undergrad Linear algebra > Fundamentals > kernel of a linear map, Mathlib LinearMap.ker |
| kernel of integral operator | GVFJN93H09 | unknown | open | Wikidata Q4536341, MathWorld IntegralKernel |
| Kernel of Propagation Dissipator | 5EWB02QKMQ | 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.26769#5BBZ |
| Kernel of the linearised operator | 2CC4T940M5 | 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 2608.19483#1P6J |
| Kernel of the linearised operator | TQ29TH7P4N | 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 2608.19483#LQTY |
| Kernel of the pullback | WH8W40BMMF | 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.27966#C19T |
| Kernel of Unary Clock Dissipator | MA1MPX7JN2 | 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.26769#KTCK |
| Kernel profiles are an LCL specialization | TY0KMKTNA0 | 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#XF3V |
| Kernel recovery by VI | VNS22JVX3F | 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 2411.02694#PW40 |
| Kernel ridge regression | PGR3AX9GYZ | 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 2604.23212#FXVI |
| Kernel Smoothing | YR6N88XS6J | 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.10167#LVB5 |
| Kernel transport | 4YYJ7Y303K | 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.25762#FUV9 |
| Kernel transport and the enumerative identification | PCXHZTEN9Z | 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.03520#KEU9 |
| kernel, pair | 5MF6ZY2DVS | concept | open | hott_book index/B.3.2/kernel-pair |
| kernel, pair | HFNPXGEM1G | concept | open | hott_book index/C.1.3/kernel-pair |
| kernel, pair | PJPZDXZ6S6 | concept | open | hott_book index/7.7.2/kernel-pair |
| kernel, simplicial | YCC5PYX737 | concept | open | hott_book index/7.7.2/kernel-simplicial |
| Kernel--Hessian identity with correction | WMDE7NBJMQ | 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.27966#CHG7 |
| Kernel-cone lemma | VAX59TEYC1 | 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.03520#P5ZO |
| Kernel-profile mass identity | 87CFZARXPY | 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#JLCS |
| Kernel-profile quotient LCL equals contained profiles | V5YM96RCGX | 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#CI7L |
| Kernels | GQZM75E6F2 | example | open | napkin tex/linalg/vector-space.tex#example-12 |
| kernels lemma | 23Y0CPRM9Q | unknown | open | mathlib_undergrad Linear algebra > Structure theory of endomorphisms > kernels lemma |
| Kerov | DSZBY8WVSQ | 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.12326#I0J9 |
| Kerov moments | WDTDFP6TF0 | 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.12326#99IG |
| Kerr--Lewis | 8TKRV8GPX6 | 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 1805.04646#XME2 |
| Kervaire invariant | V1TPJV9AJW | unknown | open | Wikidata Q6394805, nLab Kervaire invariant |
| KESCW8HRZH | KESCW8HRZH | 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 2204.01073#ZH7T |
| KESRWQSXF2 | KESRWQSXF2 | 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.01919#QAUW |
| Kessar--Kunugi--Mitsuhashi | 2V5S61YPNK | 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.25967#FU6E |
| KESZ6G5FRK | KESZ6G5FRK | 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.14446#JDH3 |
| KETF6XA68M | KETF6XA68M | 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.13618#3JL8 |
| KETWA24A66 | KETWA24A66 | 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 2610.18929#HZKM |
| KETXJEDWFJ | KETXJEDWFJ | 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 2407.06927#NL5R |
| KEVC4AF7XP | KEVC4AF7XP | 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 2601.04559#JXBV |
| Kevin Buzzard | N4A4D9BWVD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1740098, nLab Kevin Buzzard |
| Kevin Costello | ZHTQ0JFMBA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q17198085, nLab Kevin Costello |
| Kevin Iga | PF4HHHAJFK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59753345, nLab Kevin Iga |
| KEVKMXCKRZ | KEVKMXCKRZ | 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.30999#934J |
| KEVKPNJSW8 | KEVKPNJSW8 | 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.15700#993P |
| KEVS2CCTQA | KEVS2CCTQA | 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.25390#N9II |
| KEW1BB9NG8 | KEW1BB9NG8 | 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.17737#UK5T |
| KEW8GB29HE | KEW8GB29HE | 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.06699#SCZV |
| KEWHMS31PB | KEWHMS31PB | 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.16069#QUH0 |
| KEWYP0C5G9 | KEWYP0C5G9 | definition | open | napkin tex/homology/cup-product.tex#def:graded_ring |
| KEXFHF1GY0 | KEXFHF1GY0 | 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.13898#DMBU |
| KEXJK5A1KP | KEXJK5A1KP | 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.08787#QQS8 |
| KEXT1TNXGH | KEXT1TNXGH | 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#1KUB |
| Key bundle | MRAGTA4H3X | 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.38668#K848 |
| Key generation $\Kgen$ | MFYTCM8JBD | 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.38668#PG44 |
| Key identity | QNNPBFY9BT | 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.01731#CJIV |
| Key induction lemma, $s < 1/2$ | KX87XMR9PF | 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.15805#JP0F |
| Key induction lemma, $s < 1/3$ | 5E98Q8DHTQ | 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.15805#X4DV |
| Key inequality | 5W988MT5SF | 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.33643#HVQF |
| Key inequality for $F_c$ | QP9C9QR8C3 | 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.33643#ASO1 |
| Key Lemma | GP7PZKD948 | 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 2310.11101#4A5M |
| Key lemma | M7MK0GCYAT | 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.15869#1BLN |
| Key lemma | VKEGDYB793 | 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.16877#YTFZ |
| Key Polynomial Stability | 1N8CHV7QZB | 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.08738#3E6V |
| key-value map | MEDGPB7T0Z | unknown | open | mathlib_overview Data structures > Maps > key-value map, Mathlib AList |
| KEY0S389JT | KEY0S389JT | 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.09596#EKKJ |
| KEY1D7VM8H | KEY1D7VM8H | 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 math/0406514#FAEA |
| Keyl upper bound | STJFB8C0TM | 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.40271#3RZ7 |
| Keyl's rate function | XXBSQWFNX0 | 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.40271#8FEQ |
| KEYZ9118XQ | KEYZ9118XQ | 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.36818#U9WA |
| KEZBGY0Q9S | KEZBGY0Q9S | 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.16510#6CSA |
| KEZHD6HR9E | KEZHD6HR9E | unknown | open | arXiv 2106.06387#IRIP |
| KEZQ3NG3DW | KEZQ3NG3DW | 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.28650#1CJL |
| KEZYBPFH91 | KEZYBPFH91 | 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.07401#DHCS |
| KF014QM53P | KF014QM53P | 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.03138#HBBZ |
| KF1FNDJM8R | KF1FNDJM8R | 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.04069#EJIX |
| KF213HGHS9 | KF213HGHS9 | 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.21963#EVTP |
| KF25EEH7XJ | KF25EEH7XJ | 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.07040#G01T |
| KF2RH018G0 | KF2RH018G0 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-30 |
| KF39M6S5GK | KF39M6S5GK | proof | open | hott_book hlevels.tex#proof-35 |
| KF3EH23J4H | KF3EH23J4H | 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.10230#WYJB |
| KF3FDKVZ58 | KF3FDKVZ58 | proof | open | napkin tex/alg-geom/spec-zariski.tex#proof-4 |
| KF3G8XPZ7D | KF3G8XPZ7D | 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.18530#S0FF |
| KF489HCSDC | KF489HCSDC | proof | open | open_logic content/model-theory/basics/dlo.tex#proof-1 |
| KF4TT0MMJH | KF4TT0MMJH | 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 2011.06637#P3UM |
| KF4X4TN749 | KF4X4TN749 | 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.08658#SA25 |
| KF5116G8XK | KF5116G8XK | 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 2605.00407#GGLJ |
| KF55H4GYHJ | KF55H4GYHJ | 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.32088#W4KP |
| KF5M5D5C9D | KF5M5D5C9D | 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.38436#Y1J0 |
| KF61ZH0PCZ | KF61ZH0PCZ | 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.21945#9OZY |
| KF7C8KE1YK | KF7C8KE1YK | 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.00247#O7XO |
| KF7PEGHHCE | KF7PEGHHCE | 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.02558#KQBR |
| KF7ZHXZPWF | KF7ZHXZPWF | 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.37973#KH3N |
| KF8010EKXE | KF8010EKXE | 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.16886#K65J |