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 2001–2100 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KK08PCCF0Y | KK08PCCF0Y | problem | 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.18600#MDK5 |
| KK0PJ2H4NQ | KK0PJ2H4NQ | statement | open | napkin tex/linalg/inner-form.tex#lemma-1 |
| KK1R3B2P2X | KK1R3B2P2X | 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 2204.04820#7KDT |
| KK1SBMC132 | KK1SBMC132 | 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#XQ3K |
| KK1W3PDZWT | KK1W3PDZWT | 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.37520#51GM |
| KK2NYRC000 | KK2NYRC000 | 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 2208.06310#24N6 |
| KK2QHJQTZE | KK2QHJQTZE | 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.35920#XZ88 |
| KK2WE47H9N | KK2WE47H9N | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-19 |
| KK39YYWHN7 | KK39YYWHN7 | 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 2212.01916#WFWW |
| KK3W9AJV08 | KK3W9AJV08 | 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.27484#HX15 |
| KK497GW95B | KK497GW95B | 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.21960#F59V |
| KK49E7PJ83 | KK49E7PJ83 | 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.05514#0F3N |
| KK4EH6ZFZT | KK4EH6ZFZT | 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.19669#22JM |
| KK4MF8EW0C | KK4MF8EW0C | 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.32233#R1WJ |
| KK4QDR0RW4 | KK4QDR0RW4 | example | open | open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-2 |
| KK4S7XE8B0 | KK4S7XE8B0 | 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.10658#CUVP |
| KK50CRAX7D | KK50CRAX7D | 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.39505#2OO4 |
| KK53HE05PP | KK53HE05PP | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-8 |
| KK56C8R4TC | KK56C8R4TC | 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/9902147#NV5W |
| KK5DV9EBWF | KK5DV9EBWF | 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.04993#4MBP |
| KK5PA2RDJD | KK5PA2RDJD | 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.19283#4RAA |
| KK5ZCG5SBW | KK5ZCG5SBW | 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.15974#65S7 |
| KK6KEV07ED | KK6KEV07ED | 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 2205.09049#MLNC |
| KK6RYZN5VZ | KK6RYZN5VZ | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-20 |
| KK7JVBDXYG | KK7JVBDXYG | 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.16022#5YUL |
| KK7R33Q6BC | KK7R33Q6BC | proof | open | hott_book setmath.tex#proof-16 |
| KK7WS1BSNE | KK7WS1BSNE | 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.08935#Q9XG |
| KK83KEB63W | KK83KEB63W | exercise | open | lebl_ra ch-multivar-int.tex#exercise-18 |
| KK83QRA6HF | KK83QRA6HF | 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.19273#5B3V |
| KK8424YAJY | KK8424YAJY | 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.26896#GZ6M |
| KK88W23FC6 | KK88W23FC6 | 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.20910#K7FC |
| KK9EBXQ7FZ | KK9EBXQ7FZ | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-8 |
| KK9RN0HX81 | KK9RN0HX81 | 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.28297#28WE |
| KK9SRDHHAN | KK9SRDHHAN | 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 2410.14097#RE5A |
| KKB3FSB2D4 | KKB3FSB2D4 | 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 2202.03009#QLU6 |
| KKC0T50GNS | KKC0T50GNS | 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.20944#P89S |
| KKC8VC0PFF | KKC8VC0PFF | 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 2502.08738#GMR2 |
| KKC98SKACK | KKC98SKACK | 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.33590#BVV9 |
| KKCAQ7633S | KKCAQ7633S | 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.07695#2KXG |
| KKCDPG4DYJ | KKCDPG4DYJ | 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.01247#QSH8 |
| KKCJ13DF1C | KKCJ13DF1C | 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.34020#XO9Y |
| KKCS08BATR | KKCS08BATR | 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.36045#E8P0 |
| KKD81QH8V9 | KKD81QH8V9 | exercise | open | lebl_ra ch-metric.tex#exercise-62 |
| KKDZF3M8PE | KKDZF3M8PE | 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 2504.00596#9UVR |
| KKE537YTE5 | KKE537YTE5 | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise:rankmatrix |
| KKEAZQN796 | KKEAZQN796 | 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.04161#8OH4 |
| KKEBXCQQP5 | KKEBXCQQP5 | 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.20663#NOHS |
| KKEGM74YCC | KKEGM74YCC | 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.29574#DG39 |
| KKERX32K5K | KKERX32K5K | 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.14582#JJHO |
| KKEWN0A2XJ | KKEWN0A2XJ | 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.28540#8YBE |
| KKF47PHRCD | KKF47PHRCD | 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.27518#K614 |
| KKF8DCPK7C | KKF8DCPK7C | 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.13429#JW5P |
| KKF9ZZEPAV | KKF9ZZEPAV | exercise | open | napkin tex/diffgeo/stokes.tex#exercise-1 |
| KKHMKZRBFF | KKHMKZRBFF | 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.18562#CZW0 |
| KKHW8YWQ5Z | KKHW8YWQ5Z | 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 2409.03423#HDCK |
| KKJ2DQDCPV | KKJ2DQDCPV | 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.30637#DYJO |
| KKJ2QX54RM | KKJ2QX54RM | 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 2504.00596#26WB |
| KKJAKHVHNC | KKJAKHVHNC | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-1 |
| KKJJTC3EV3 | KKJJTC3EV3 | 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.04046#HDAX |
| KKJZZDRG0N | KKJZZDRG0N | 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 2507.05417#9N6J |
| KKK4DW7TPG | KKK4DW7TPG | statement | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#cor:NegateImplication |
| KKL synchronization map | C13MJTM6GY | 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.08987#STAM |
| KKNFF0KWBN | KKNFF0KWBN | 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.05784#H1TG |
| KKNNNQB517 | KKNNNQB517 | 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.12169#Y5SZ |
| KKNR2Z057D | KKNR2Z057D | 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 1512.06981#T902 |
| KKNWFJYHTC | KKNWFJYHTC | 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.25431#HRFJ |
| KKP6WH13CC | KKP6WH13CC | 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.13782#WLXL |
| KKQ5FPJZ98 | KKQ5FPJZ98 | 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 2512.07470#PXE1 |
| KKQA4PS5KG | KKQA4PS5KG | statement | open | napkin tex/alg-NT/galois.tex#lem:root_shuffle |
| KKQEY0KXNX | KKQEY0KXNX | statement | open | open_logic content/second-order-logic/metatheory/loewenheim-skolem.tex#thm-1 |
| KKQGVCMBWQ | KKQGVCMBWQ | 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.07122#AHAR |
| KKQKDT2C4R | KKQKDT2C4R | 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.09483#T1E0 |
| KKR7RV8H6N | KKR7RV8H6N | exercise | open | napkin tex/alg-NT/numfield.tex#exercise-2 |
| KKRKKV8WER | KKRKKV8WER | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-50 |
| KKRTBJ3BPN | KKRTBJ3BPN | 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.08638#3F6G |
| KKSBCBW00C | KKSBCBW00C | 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.28411#CHMX |
| KKSF2K7HBR | KKSF2K7HBR | 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.29489#989F |
| KKSKACXSTQ | KKSKACXSTQ | 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 2504.00596#DCFU |
| KKT estimates at a non-update iteration | RMVAXVMQDA | 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.39736#IUY6 |
| KKW9VZD1AZ | KKW9VZD1AZ | 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.26450#2J8B |
| KKWSRJ0ZAY | KKWSRJ0ZAY | 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.33050#LUI7 |
| KKWV6FW4XZ | KKWV6FW4XZ | 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.38567#PLNK |
| KKX5EDZ4QB | KKX5EDZ4QB | statement | open | lebl_ra ch-riemann.tex#thm:FTCv1 |
| KKX5X8QDWE | KKX5X8QDWE | 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.20558#37WZ |
| KKX920SHHQ | KKX920SHHQ | 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.26479#5SP5 |
| KKXADGDXNN | KKXADGDXNN | 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.07508#HCNL |
| KKXC4GA8VM | KKXC4GA8VM | exercise | open | lebl_ra ch-metric.tex#exercise-36 |
| KKY38KTTMB | KKY38KTTMB | 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.32174#085R |
| KKYBW7H578 | KKYBW7H578 | 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.26386#TCIX |
| KKYC93F125 | KKYC93F125 | 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.39218#NBJT |
| KKYWAHDBKW | KKYWAHDBKW | 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 2607.00146#1J6T |
| KL approximation error | R0HM64R89X | 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.12544#HW8F |
| KL chain rule for Markov chains | PJAPMF5176 | 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.14615#YIWW |
| KL chain rule; Theorem 2.5.3 | 8DM9DDTGKY | 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.14615#0JVY |
| KL decomposition | GTW2PW4Z8A | 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.15006#QXB9 |
| KL divergence | Z033PYTD27 | 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.14615#3T7Y |
| KL Function | 792K6XH1DB | 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.37489#BRLD |
| KL perturbation of the first argument | MYPAV16RG5 | 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.13773#TXEA |
| KL-hardness for conditional sampling | KKF6WWDHRH | 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.14615#YBF1 |
| Klartag--AGZ estimate with weights given by orbit size | N5460D3JNJ | 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.12619#EDTU |