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 1401–1500 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| KECVH8NBS4 | KECVH8NBS4 | 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 0903.1569#UWVZ |
| KECX2G99H4 | KECX2G99H4 | 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.22986#OQCI |
| KEDDP85C7B | KEDDP85C7B | definition | open | open_logic content/model-theory/basics/isomorphism.tex#defn:isomorphism |
| KEE0GMM809 | KEE0GMM809 | 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.24902#M8JZ |
| KEE1765527 | KEE1765527 | 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 1009.3308#FPTG |
| KEERY2EWNN | KEERY2EWNN | 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.29477#1DH8 |
| Keevash--Mubayi | ZJE9GK8PXN | 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 2610.08567#DKTJ |
| KEF7RZRNHD | KEF7RZRNHD | 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.10078#KNEO |
| Kefeng Liu | RXYVMQE9T0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6383408, nLab Kefeng Liu |
| KEFFMY003H | KEFFMY003H | statement | open | lebl_ra ch-contfunc.tex#lemma-1 |
| KEFK95KV3V | KEFK95KV3V | 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#SUXT |
| KEFN0R98NV | KEFN0R98NV | 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.18152#2NQG |
| Kegel-Wielandt conjecture | PKM3SB289R | 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 2210.02261#NR6S |
| Kegel-Wielandt for nilpotent subgroups | 7K4481DT62 | 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 2210.02261#5EU7 |
| KEGPE5YFXC | KEGPE5YFXC | 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.38453#1RGV |
| KEH1MBM018 | KEH1MBM018 | definition | open | napkin tex/homology/excision.tex#definition-5 |
| KEH6YAZB3B | KEH6YAZB3B | 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.35858#0T2Y |
| KEHTSYHNTG | KEHTSYHNTG | 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.03612#BL69 |
| KEHY3XJSM0 | KEHY3XJSM0 | 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.16060#OWCL |
| Keisler--Morley | V1ZPYM9T3G | 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#U9T8 |
| Keith Conrad | G538MF46AJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6384220, nLab Keith Conrad |
| Keith Dienes | FJT2DV1BB1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q105604472, nLab Keith Dienes |
| Keith mirror | G5ZGE7T39Y | 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.10557#O86F |
| Keith number | 26DKHZHD0Q | unknown | open | Wikidata Q378067, MathWorld KeithNumber, OEIS A007629 |
| KEJ49EHZ00 | KEJ49EHZ00 | 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.36622#QLED |
| KEJACD9XWF | KEJACD9XWF | 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.15736#JXP4 |
| KEJDJFV6J3 | KEJDJFV6J3 | 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.38650#IOFP |
| KEJDK85MGB | KEJDK85MGB | statement | open | open_logic content/set-theory/choice/vitali.tex#rotationsgroupabelian |
| KEJHQK931W | KEJHQK931W | proof | open | hott_book reals.tex#proof-6 |
| KEJWEPJWJJ | KEJWEPJWJJ | 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.05354#RBMV |
| KEK3BP0283 | KEK3BP0283 | 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.34845#HFQ8 |
| KEK6CJRWTJ | KEK6CJRWTJ | statement | open | lebl_scv scv.tex#lemma-3 |
| KEK8QPZF09 | KEK8QPZF09 | 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.04809#X8HL |
| KEKB4SBG1G | KEKB4SBG1G | 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.04063#1I48 |
| KEKFEWPW4C | KEKFEWPW4C | 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 2205.06433#3DTU |
| Keldysh | MC9NCE6EJZ | 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.24943#K6KC |
| Keller | TASX6NNAMJ | 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.01473#3INW |
| Keller's conjecture | 97TE3M6AQ5 | conjecture | open | Wikidata Q4802474, MathWorld KellersConjecture |
| Keller's theorem for weak tiling | 5N3MJ3M11K | 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.34852#VOHX |
| Kellerer duality | AQB7JMX8S9 | 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.17129#6YHJ |
| Kellerer's duality theorem | QY44J9KH2X | 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.16203#KV2O |
| kelvin | BVCMRZX2Q7 | definition | open | Wikidata Q11579, ProofWiki Definition:Kelvin |
| Kelvin conjecture | RJ9F3YS3G1 | conjecture | open | Wikidata Q2993320, MathWorld KelvinsConjecture |
| Kelvin functions | YSFVEMJHYE | unknown | open | Wikidata Q4493413, MathWorld KelvinFunctions |
| Kelvin's circulation theorem | S5TAFZ65MJ | statement | open | mathlib_1000 Q3661294, Wikidata Q3661294, thousand_plus Q3661294, Wikipedia Kelvin's circulation theorem |
| KEM8J3P1CC | KEM8J3P1CC | 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.11388#SBGZ |
| Kemeny's constant for semi-Markov networks | YNW5ZGMDYE | 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.13505#V3UX |
| Kemer | NEXX64KJZ7 | 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.17408#048E |
| KEMHD12PMK | KEMHD12PMK | 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.00379#SFJV |
| KEMNE9A175 | KEMNE9A175 | exercise | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prob-2 |
| Kemp--Ramgoolam determinant formula | AD6M77KFQ5 | 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.20368#XP08 |
| Kempe chain | PHD8NM80N6 | concept | open | Wikidata Q6387048, MathWorld KempeChain |
| Kempf–Ness theorem | 4TTDB6KA9X | statement | open | mathlib_1000 Q6387087, Wikidata Q6387087, thousand_plus Q6387087, Wikipedia Kempf–Ness theorem |
| Kempner function | 3D1RJNG34D | unknown | open | Wikidata Q1414564, MathWorld SmarandacheFunction, OEIS A002034 |
| Kempner number | 35ZH6J26D3 | object | open | Wikidata Q138028016, OEIS A007404 |
| Kempner series | 1G1MJZYJ6S | unknown | open | Wikidata Q928481, MathWorld KempnerSeries |
| Ken Ono | SKSMEPMD27 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1738659, nLab Ken Ono |
| KEN4C0T7FA | KEN4C0T7FA | 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.15593#FTCW |
| KEN6KVT7KN | KEN6KVT7KN | 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.24545#HLK4 |
| KENEAV295C | KENEAV295C | 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.04063#JL0J |
| Kenji Fukaya | QV1RRYC1DT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3182153, nLab Kenji Fukaya |
| Kenji Ueno | AB54QNG2YF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4121026, nLab Kenji Ueno |
| Kenkichi Iwasawa | ESSXEVMNF8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q933692, nLab Kenkichi Iwasawa |
| Kenmotu point | 862XKVH0F6 | unknown | open | Wikidata Q130214553, MathWorld KenmotuPoint |
| Kenneth Arthur Intriligator | FCBVV4WYFN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102436557, nLab Kenneth Intriligator |
| Kenneth Brown | X2AYTAEK4V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15994957, nLab Kenneth Brown |
| Kenneth E. Iverson | 1Z2P3PNJSS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92629, ProofWiki Mathematician:Kenneth_Eugene_Iverson |
| Kenneth Kunen | 1Q0Y3NPQ8T | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q782431, nLab Kenneth Kunen |
| Kenneth Ribet | FS7Z0NWSES | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q535655, nLab Ken Ribet |
| KENT9F23W5 | KENT9F23W5 | 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 1610.01054#FFVZ |
| Kentarō Hori | 5T0D3KADKE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q18603796, nLab Kentaro Hori |
| KEPDSKT6CR | KEPDSKT6CR | 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.21572#N5GU |
| Kepler conjecture | Q6CAT961AA | problem | open | Wikidata Q966873, MathWorld KeplerConjecture |
| Kepler triangle | 7HMHR09Z7Q | unknown | open | Wikidata Q2222878, MathWorld KeplerTriangle |
| Kepler's equation | GV1R03RRX3 | unknown | open | Wikidata Q932001, MathWorld KeplersEquation |
| Kepler's first law | JR042DWVKK | statement | open | Wikidata Q122928282, ProofWiki Kepler's_Laws_of_Planetary_Motion/First_Law |
| Kepler's laws of planetary motion | 9PT6P1TYB6 | statement | open | Wikidata Q83219, ProofWiki Kepler's_Laws_of_Planetary_Motion |
| Kepler's second law | GP7JSSS6E8 | statement | open | Wikidata Q122928303, ProofWiki Kepler's_Laws_of_Planetary_Motion/Second_Law |
| Kepler's third law | CAVWC5A5BZ | statement | open | Wikidata Q122928319, ProofWiki Kepler's_Laws_of_Planetary_Motion/Third_Law |
| Kepler–Bouwkamp constant | F0KZ62KWN0 | object | open | Wikidata Q6393212, MathWorld PolygonInscribing, OEIS A085365 |
| Kepler–Poinsot polyhedron | 10A6A3ZQB1 | concept | open | Wikidata Q1023978, MathWorld Kepler-PoinsotPolyhedron |
| KEPMG8WED0 | KEPMG8WED0 | 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.11596#5NBD |
| KEPNAM2PBH | KEPNAM2PBH | 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 2111.01197#VF6K |
| kept block | RFVSJDVX26 | 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.26134#MBWN |
| KEPVR88CQZ | KEPVR88CQZ | 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.07280#7IYX |
| KEPW656GCX | KEPW656GCX | 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#H6N7 |
| KEQZXH21QX | KEQZXH21QX | 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.03499#FCYK |
| KER4ZPVQHG | KER4ZPVQHG | 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.01737#BWY3 |
| KERF6X9P6E | KERF6X9P6E | statement | open | napkin tex/calculus/p-adic.tex#proposition-1 |
| Kerin | 9HZ4QD34ZN | 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 2511.17751#RMWZ |
| Kerin | C22X1VNJN0 | 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 2511.17751#CZHF |
| kernel | 1RGXAB8ZJN | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2914509, MathWorld Kernel, Wikidata Q574844, EoM Kernel_of_a_matrix |
| Kernel | 4X0P2TJTZ9 | 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.37479#HT5U |
| kernel | RPSV5P9ME9 | unknown | open | Wikidata Q2920416, nLab kernel |
| Kernel and gain exist, and the transformation is invertible | E4V86NHGVP | 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#7O5J |
| Kernel and image are subrepresentations | HRFA334W2C | exercise | open | napkin tex/rep-theory/rep-alg.tex#exercise-2 |
| Kernel approximation to Riesz representer | 1KYVS1BMS2 | 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 2102.11076#RG4D |
| Kernel asymptotics | CATTAZJ89X | 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.00295#HDLE |
| Kernel bounds | JB0YFCM5HQ | 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.08074#DEM4 |
| Kernel composition | V0RFH6HRKY | 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.14318#409J |