Inventory rows KM
The cards of the rows of the inventory whose ids start with KM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Price of adaptation KM0549MTGB
| URI | m2://inv/KM0549MTGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38267#5EQF, Price of adaptation (statement). In 518V871EKW/e1, theorem 3.14
History
- 2026-10-30: add by m2/v0.4.12
Order through chaos and the second law of thermodynamics KM0B30TVZ5
| URI | m2://inv/KM0B30TVZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy (statistical thermodynamics)#FODH, Order through chaos and the second law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Nightingale, Florence KM0C2XM352
| URI | m2://inv/KM0C2XM352 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QD6U, Nightingale, Florence (topic)
History
- 2026-11-02: add by m2/dev
KM0DV0MZ2N KM0DV0MZ2N
| URI | m2://inv/KM0DV0MZ2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05288#5CIY (definition). In RTW3GDYPND/e1, definition 3.17
History
- 2026-10-27: add by m2/v0.4.0
Prescott Currier KM0G8GRMTV
| URI | m2://inv/KM0G8GRMTV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prescott Currier, Prescott Currier (topic). Also Wikidata Q6085438
History
- 2026-11-02: add by m2/dev
Concentration parameter KM104W9EPJ
| URI | m2://inv/KM104W9EPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration parameter, Concentration parameter (definition). Also Wikidata Q5158330
History
- 2026-11-02: add by m2/dev
Local standard basis KM11NFJHJD
| URI | m2://inv/KM11NFJHJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#KHJ8, Local standard basis (statement). In 1KRZ5ACTKE/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
KM13X2Z67G KM13X2Z67G
| URI | m2://inv/KM13X2Z67G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08007#0BT2 (definition). In MBFRRC83TH/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
KM15808D0H KM15808D0H
| URI | m2://inv/KM15808D0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#5XBD (definition). In MEF2VCAYXS/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Krein's condition KM15DTGH2M
| URI | m2://inv/KM15DTGH2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#SCVD, Krein's condition (definition)
History
- 2026-11-02: add by m2/dev
Goldberg KM1BAWG2DB
| URI | m2://inv/KM1BAWG2DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#EVQ8, Goldberg (statement). In E8FP48FJMZ/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Nevanlinna invariant KM1J93W32W
| URI | m2://inv/KM1J93W32W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#JSHQ, Nevanlinna invariant (definition)
History
- 2026-11-02: add by m2/dev
phantom map KM1YSEGFTZ
| URI | m2://inv/KM1YSEGFTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#NXDR, phantom map (definition)
History
- 2026-11-02: add by m2/dev
KM26BSFE7J KM26BSFE7J
| URI | m2://inv/KM26BSFE7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02550#XGUK (statement). In H154EDZR62/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
KM2MCYVTY9 KM2MCYVTY9
| URI | m2://inv/KM2MCYVTY9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#3MPO (definition). In G02N9D40B9/e1, definition 2.1.1
History
- 2026-10-29: add by m2/v0.4.10
KM39A4Y7JN KM39A4Y7JN
| URI | m2://inv/KM39A4Y7JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#4A04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KM3D2Y0J2T KM3D2Y0J2T
| URI | m2://inv/KM3D2Y0J2T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#H7LR (definition). In G02N9D40B9/e1, definition 2.3.7
History
- 2026-10-29: add by m2/v0.4.10
KM3FR4BC89 KM3FR4BC89
| URI | m2://inv/KM3FR4BC89 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
KM3FRZD5QJ KM3FRZD5QJ
| URI | m2://inv/KM3FRZD5QJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-66 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Guaranteed goal-oriented bound KM42GF7MPW
| URI | m2://inv/KM42GF7MPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12088#4G34, Guaranteed goal-oriented bound (statement). In 5A39XSJ04W/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.3
Definitions KM47PBJ2XW
| URI | m2://inv/KM47PBJ2XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization of a topological space#HOU9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Stationary sequence KM4BWAEGX8
| URI | m2://inv/KM4BWAEGX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary sequence, Stationary sequence (definition). Also Wikidata Q7604346
History
- 2026-11-02: add by m2/dev
Jacob ben Nissim KM4N5RES81
| URI | m2://inv/KM4N5RES81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RLY1, Jacob ben Nissim (unknown)
History
- 2026-11-02: add by m2/dev
KM58F3R54M KM58F3R54M
| URI | m2://inv/KM58F3R54M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_intro.ptx#prop_tree-leaves (statement). In QKM9DD2H56, proposition, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Statement KM59WR7M7H
| URI | m2://inv/KM59WR7M7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ville's inequality#L9OV, Statement (statement)
History
- 2026-11-02: add by m2/dev
KM5H10D4M1 KM5H10D4M1
| URI | m2://inv/KM5H10D4M1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#9FD3 (problem)
History
- 2026-11-02: add by m2/v0.6.17
Implementations KM5M3WYXH8
| URI | m2://inv/KM5M3WYXH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence distribution#XGCY, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Tony Lévy KM5MPVKM6R
| URI | m2://inv/KM5MPVKM6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#C482, Tony Lévy (topic)
History
- 2026-11-02: add by m2/dev
KM5PP9SPNV KM5PP9SPNV
| URI | m2://inv/KM5PP9SPNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#QP62 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Information set KM5WB3NXE2
| URI | m2://inv/KM5WB3NXE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information set (game theory), Information set (definition). Also Wikidata Q1541531
History
- 2026-11-02: add by m2/dev
KM5WDWBVHN KM5WDWBVHN
| URI | m2://inv/KM5WDWBVHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#WCX2 (statement). In B4RHB3CF12/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
KM5Z7W716Q KM5Z7W716Q
| URI | m2://inv/KM5Z7W716Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.06336#39E5 (statement). In CCRSWBXWXW/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
KM61ZCENV5 KM61ZCENV5
| URI | m2://inv/KM61ZCENV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19528#KCA5 (statement). In EM5955MDHN/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Whitfield Diffie KM625T1HNN
| URI | m2://inv/KM625T1HNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitfield Diffie, Whitfield Diffie (topic). Also Wikidata Q462089
History
- 2026-11-02: add by m2/dev
Examples KM634WNRXM
| URI | m2://inv/KM634WNRXM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root of unity modulo n#KWP9, Examples (example)
History
- 2026-11-02: add by m2/dev
Numerology KM680CB4CK
| URI | m2://inv/KM680CB4CK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#Y01T, Numerology (definition)
History
- 2026-11-02: add by m2/dev
Definition KM68VY03NE
| URI | m2://inv/KM68VY03NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stopping time#YW3B, Definition (definition)
History
- 2026-11-02: add by m2/dev
KM6V2A638H KM6V2A638H
| URI | m2://inv/KM6V2A638H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.3429#78IA (statement). In 6S4BVGS1VP/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Action of $q^n$ on Substitution Indices KM6WNZVYY1
| URI | m2://inv/KM6WNZVYY1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#S6DH, Action of $q^n$ on Substitution Indices (statement). In CPYWHRTPKC/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.4.2
KM6X3GAQV4 KM6X3GAQV4
| URI | m2://inv/KM6X3GAQV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#RXUG (statement). In RGXQ50RWXV/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
The (1,1)-entry of the vector v[n]=Mv[n-1], where M is the 3 x 3 matrix [[0,-1/r,r],[ -1/r,-2/r,1],[r,1,2+2/r]], r being the gol KM6Z31GKJT
| URI | m2://inv/KM6Z31GKJT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193872, The (1,1)-entry of the vector v[n]=Mv[n-1], where M is the 3 x 3 matrix [[0,-1/r,r],[ -1/r,-2/r,1],[r,1,2+2/r]], r being the gol (object). Also OEIS A117110
History
- 2026-10-26: add by m2/dev
KM7AR938G4 KM7AR938G4
| URI | m2://inv/KM7AR938G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#YMDJ (statement). In KJY735KSMF/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
KM7CTNAW49 KM7CTNAW49
| URI | m2://inv/KM7CTNAW49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#6B94 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algebraic fraction KM7DQK4MCM
| URI | m2://inv/KM7DQK4MCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic fraction, Algebraic fraction (definition). Also Wikidata Q3080284
History
- 2026-11-02: add by m2/dev
Zariski tangent space KM7KQBZGS8
| URI | m2://inv/KM7KQBZGS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#BNT5, Zariski tangent space (definition)
History
- 2026-11-02: add by m2/dev
KM7P9PBXVF KM7P9PBXVF
| URI | m2://inv/KM7P9PBXVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#FTU5 (statement). In R9BC934K3E/e1, theorem A.5
History
- 2026-10-28: add by m2/v0.4.2
KM7SPDTB3Y KM7SPDTB3Y
| URI | m2://inv/KM7SPDTB3Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20911#P4AC (definition). In FF3MV70E7Z/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Large value estimate KM7TEZBWXN
| URI | m2://inv/KM7TEZBWXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01035#UA77, Large value estimate (statement). In MVQWXFXWM7/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
KM7Y7NPW45 KM7Y7NPW45
| URI | m2://inv/KM7Y7NPW45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#ZM56 (statement). In D4B23ER9QD/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
homotopy, induction KM83Z15503
| URI | m2://inv/KM83Z15503 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/homotopy-induction, homotopy, induction (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
A priori bounds on $t$ KM84GE63GJ
| URI | m2://inv/KM84GE63GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#HGWU, A priori bounds on $t$ (statement). In HT5MC1SPD9/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Ring wave guide KM85H1HHA4
| URI | m2://inv/KM85H1HHA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#EJ0L, Ring wave guide (unknown)
History
- 2026-11-02: add by m2/dev
Definitions KM87JKN2RR
| URI | m2://inv/KM87JKN2RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urysohn and completely Hausdorff spaces#R2X5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Pythagoras KM87VGJ71S
| URI | m2://inv/KM87VGJ71S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#8TN2, Pythagoras (topic)
History
- 2026-11-02: add by m2/dev
KM8A8ATYGX KM8A8ATYGX
| URI | m2://inv/KM8A8ATYGX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#PKOH (definition). In FSD8NE3XSR/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.0
Dirichlet ring KM8B8NYPHF
| URI | m2://inv/KM8B8NYPHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#PB0O, Dirichlet ring (definition)
History
- 2026-11-02: add by m2/dev
Quasi-locality of the heat-bath sampler KM8EAMMGBG
| URI | m2://inv/KM8EAMMGBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#RL75, Quasi-locality of the heat-bath sampler (statement). In 14AMXF6X2V/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.12
type, unit KM8VMY1VWX
| URI | m2://inv/KM8VMY1VWX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/type-unit, type, unit (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Statement KM8ZJ2GSMC
| URI | m2://inv/KM8ZJ2GSMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric function theory#RGRH, Statement (statement)
History
- 2026-11-02: add by m2/dev
KM955NK0AM KM955NK0AM
| URI | m2://inv/KM955NK0AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15489#1PVE (statement). In 5BCTP0B6Q1/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Equivalent definitions KM984CTG1G
| URI | m2://inv/KM984CTG1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulant graph#85QE, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples KM984ECSF6
| URI | m2://inv/KM984ECSF6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler brick#CB1X, Examples (example)
History
- 2026-11-02: add by m2/dev
KM9C4VEWFE KM9C4VEWFE
| URI | m2://inv/KM9C4VEWFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#Q46K (statement). In F3BKXXPR3K/e1, proposition 3.25
History
- 2026-10-27: add by m2/v0.4.2
the supertrace is a determinant KM9QG39PQ1
| URI | m2://inv/KM9QG39PQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#KEJG, the supertrace is a determinant (statement). In VG8AF124T3/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Self-propelled particles KMA0WHJV8Q
| URI | m2://inv/KMA0WHJV8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#9Y2E, Self-propelled particles (unknown)
History
- 2026-11-02: add by m2/dev
Hash function KMA5Q3TFFR
| URI | m2://inv/KMA5Q3TFFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#2DH4, Hash function (unknown)
History
- 2026-11-02: add by m2/dev
Hölder space KMA7GB5D8Q
| URI | m2://inv/KMA7GB5D8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#BD1W, Hölder space (definition)
History
- 2026-11-02: add by m2/dev
Ultraparallel theorem KMA9K2S5PT
| URI | m2://inv/KMA9K2S5PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultraparallel theorem, Ultraparallel theorem (statement). Also Wikidata Q7880612
History
- 2026-11-02: add by m2/dev
Covariance and correlation KMA9ZSKASC
| URI | m2://inv/KMA9ZSKASC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance and correlation, Covariance and correlation (definition). Also Wikidata Q5178895
History
- 2026-11-02: add by m2/dev
Identity Weakening KMAAEGAVH9
| URI | m2://inv/KMAAEGAVH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#1MEJ, Identity Weakening (statement). In CPYWHRTPKC/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
KMACS15CEZ KMACS15CEZ
| URI | m2://inv/KMACS15CEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#2G6H (statement). In Q4R7J8JE3F/e1, proposition 2.24
History
- 2026-10-27: add by m2/v0.4.2
KMAEF1Q8M4 KMAEF1Q8M4
| URI | m2://inv/KMAEF1Q8M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28350#HEVG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 2 KMAKZNQ5MD
| URI | m2://inv/KMAKZNQ5MD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#4N82, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
covariant derivative KMAQ0XARVT
| URI | m2://inv/KMAQ0XARVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Covariant derivative 5FZDQQHQKM |
Mentions
- wikidata: Wikidata Q2287715, covariant derivative (unknown). Also EoM Covariant_differentiation, MathWorld CovariantDerivative, nLab covariant derivative
- wikipedia: Wikipedia Covariant derivative, Covariant derivative (definition). Also Wikidata Q2287715
History
- 2026-10-26: add by m2/dev
James O. Berger KMARGE9FPW
| URI | m2://inv/KMARGE9FPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#W40U, James O. Berger (topic)
History
- 2026-11-02: add by m2/dev
KMAV67Z6Y1 KMAV67Z6Y1
| URI | m2://inv/KMAV67Z6Y1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#BLBV (definition). In ZH0PFTZ12Y/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
KMAVAXRY94 KMAVAXRY94
| URI | m2://inv/KMAVAXRY94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.09062#G9ZM (statement). In 8HAH8QVKDF/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Alexander Efimov KMAVT9VWBF
| URI | m2://inv/KMAVT9VWBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E6P9, Alexander Efimov (unknown)
History
- 2026-11-02: add by m2/dev
KMB41AYW30 KMB41AYW30
| URI | m2://inv/KMB41AYW30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#XAXS (statement). In NRF7379N9J/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.0
KMBA0EG3ZM KMBA0EG3ZM
| URI | m2://inv/KMBA0EG3ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#FUMX (statement). In HH35K7S17H/e1, lemma A.9
History
- 2026-10-29: add by m2/v0.4.10
KMBAXZ0R67 KMBAXZ0R67
| URI | m2://inv/KMBAXZ0R67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#FHIX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stein's lemma KMBBGC5NDY
| URI | m2://inv/KMBBGC5NDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's lemma, Stein's lemma (statement). Also Wikidata Q7606741
History
- 2026-11-02: add by m2/dev
Range normalization KMBC4JBKJV
| URI | m2://inv/KMBC4JBKJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00099#8AN4, Range normalization (statement). In NNBY2AEHP4/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Hansraj Gupta KMBJ2GG77K
| URI | m2://inv/KMBJ2GG77K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hansraj Gupta, Hansraj Gupta (topic). Also Wikidata Q5651268
History
- 2026-11-02: add by m2/dev
The Tweedie hypothesis KMBM5448B7
| URI | m2://inv/KMBM5448B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's law#PVW1, The Tweedie hypothesis (statement)
History
- 2026-11-02: add by m2/dev
KMBNWV28S7 KMBNWV28S7
| URI | m2://inv/KMBNWV28S7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#X0BJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Varieties as universal targets KMBZ7QHM68
| URI | m2://inv/KMBZ7QHM68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#577I, Varieties as universal targets (statement). In TC5QA4AB4Z/e1, theorem 3.22
History
- 2026-10-30: add by m2/v0.4.12
KMC5CP7C2W KMC5CP7C2W
| URI | m2://inv/KMC5CP7C2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#2I3T (statement). In VVQ1FMTHXB/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
KMCAYSR8MB KMCAYSR8MB
| URI | m2://inv/KMCAYSR8MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#WN4D (statement). In NS3RZ26JC7/e1, corollary 5
History
- 2026-10-31: add by m2/v0.5.6
Børge Jessen KMCC30RP0M
| URI | m2://inv/KMCC30RP0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#87FR, Børge Jessen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G5EC, Børge Jessen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IZ31, Børge Jessen (topic)
History
- 2026-11-02: add by m2/dev
Heronian mean KMCF7AH7X1
| URI | m2://inv/KMCF7AH7X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heronian mean, Heronian mean (definition). Also Wikidata Q1187265
History
- 2026-11-02: add by m2/dev
Noncentral beta distribution KMCMBY18B5
| URI | m2://inv/KMCMBY18B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral beta distribution, Noncentral beta distribution (definition). Also Wikidata Q3258268
History
- 2026-11-02: add by m2/dev
KMD3S101HG KMD3S101HG
| URI | m2://inv/KMD3S101HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#KYLV (statement). In B8MJT0GGW8/e1, corollary 4.26
History
- 2026-10-27: add by m2/v0.4.0
KMD4HWAS2Q KMD4HWAS2Q
| URI | m2://inv/KMD4HWAS2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#521Q (statement). In RTE2C0PH4S/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
KMDW2ZX0YM KMDW2ZX0YM
| URI | m2://inv/KMDW2ZX0YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#YAMC (statement). In 1463YCCRP5/e1, theorem 6.10
History
- 2026-10-27: add by m2/v0.4.0
KMDWH3FE1V KMDWH3FE1V
| URI | m2://inv/KMDWH3FE1V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#ALAF (definition)
History
- 2026-11-02: add by m2/v0.6.18
Method KME18H6JYC
| URI | m2://inv/KME18H6JYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function field sieve#K9WC, Method (definition)
History
- 2026-11-02: add by m2/dev
KME7CKCCAZ KME7CKCCAZ
| URI | m2://inv/KME7CKCCAZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 12.3.3
History
- 2026-11-01: add by m2/v0.6.13
William Sanders KMEB22PBNN
| URI | m2://inv/KMEB22PBNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Sanders (statistician), William Sanders (topic). Also Wikidata Q8018102
History
- 2026-11-02: add by m2/dev
*{Ex. 4.19 KMEJNMEWW7
| URI | m2://inv/KMEJNMEWW7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#ZPTH, *{Ex. 4.19 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Independence of root monomials KMF5QAZKQ8
| URI | m2://inv/KMF5QAZKQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#IHCJ, Independence of root monomials (statement). In 1KRZ5ACTKE/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
internal KMFEQCCKBX
| URI | m2://inv/KMFEQCCKBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#1P2J, internal (definition)
History
- 2026-11-02: add by m2/dev
KMFK9JKV9W KMFK9JKV9W
| URI | m2://inv/KMFK9JKV9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#Y00O (statement). In FT53PMB1TE/e1, lemma 2.3.13
History
- 2026-10-29: add by m2/v0.4.10
KMFN26FYSS KMFN26FYSS
| URI | m2://inv/KMFN26FYSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.08186#3PE0 (statement). In X6VGVPQH8V/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
KMFSF88H9N KMFSF88H9N
| URI | m2://inv/KMFSF88H9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#7VYH (statement). In 80YMRN5KS9/e1, proposition 20
History
- 2026-10-27: add by m2/v0.3.5
Nernst equation KMFT141ZJ1
| URI | m2://inv/KMFT141ZJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nernst equation, Nernst equation (definition). Also Wikidata Q751124
History
- 2026-11-02: add by m2/dev
Mathematical Optimization Society KMFXYE63N5
| URI | m2://inv/KMFXYE63N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#QOMG, Mathematical Optimization Society (definition)
- wikipedia: Wikipedia List of numerical analysis topics#53WK, Mathematical Optimization Society (definition)
History
- 2026-11-02: add by m2/dev
Universalizability KMG0RDHTVJ
| URI | m2://inv/KMG0RDHTVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universalizability, Universalizability (definition). Also Wikidata Q7894189
History
- 2026-11-02: add by m2/dev
Riemann integral KMG2P6TPG3
| URI | m2://inv/KMG2P6TPG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#4GWJ, Riemann integral (definition)
- wikipedia: Wikipedia List of mathematical proofs#KFOB, Riemann integral (definition)
History
- 2026-11-02: add by m2/dev
KMG6TFWWRM KMG6TFWWRM
| URI | m2://inv/KMG6TFWWRM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
KMGDG8DAM1 KMGDG8DAM1
| URI | m2://inv/KMGDG8DAM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#W0K0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
formation rule KMGJ11D9EG
| URI | m2://inv/KMGJ11D9EG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/formation-rule, formation rule (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
The reference inverse at a constant ellipse KMGNCBESJJ
| URI | m2://inv/KMGNCBESJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#PHT7, The reference inverse at a constant ellipse (statement)
History
- 2026-11-01: add by m2/v0.6.15
KMGQNHVSTC KMGQNHVSTC
| URI | m2://inv/KMGQNHVSTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36811#ENF7 (statement). In ZQDX8E43SQ/e1, proposition 4.10
History
- 2026-10-30: add by m2/v0.4.12
Formal definitions KMH0C5N8P5
| URI | m2://inv/KMH0C5N8P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive dimension#KE9V, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Series-parallel partial order KMH6GGB7QZ
| URI | m2://inv/KMH6GGB7QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series-parallel partial order, Series-parallel partial order (definition). Also Wikidata Q7454786
History
- 2026-11-02: add by m2/dev
Gyula Kőnig KMH76Y2E8F
| URI | m2://inv/KMH76Y2E8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VF14, Gyula Kőnig (unknown)
History
- 2026-11-02: add by m2/dev
Vladimir Markovic KMHA7BBW45
| URI | m2://inv/KMHA7BBW45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JNQ5, Vladimir Markovic (unknown)
History
- 2026-11-02: add by m2/dev
KMHER62M13 KMHER62M13
| URI | m2://inv/KMHER62M13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#4VQM (statement). In 459W0NBS5Q/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
KMHGQCZ6KB KMHGQCZ6KB
| URI | m2://inv/KMHGQCZ6KB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.05577#EANH (conjecture). In EFWBREMZAP/e1, conjecture 0.9
History
- 2026-10-27: add by m2/v0.3.5
Acceleration by a polynomial filter KMHK7MZPGQ
| URI | m2://inv/KMHK7MZPGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#N7O8, Acceleration by a polynomial filter (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulations KMHN29C90Z
| URI | m2://inv/KMHN29C90Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkie's theorem#HBBQ, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Lawrence A. Mysak KMHRFWGJX2
| URI | m2://inv/KMHRFWGJX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FTH4, Lawrence A. Mysak (unknown)
History
- 2026-11-02: add by m2/dev
KMJBY4RPP0 KMJBY4RPP0
| URI | m2://inv/KMJBY4RPP0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#0WDR (definition). In VN084GGZGK/e1, definition 4.28
History
- 2026-10-28: add by m2/v0.4.3
KMJFC4JDNR KMJFC4JDNR
| URI | m2://inv/KMJFC4JDNR |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#0FZF (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Polar point group KMJJTKMH0C
| URI | m2://inv/KMJJTKMH0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar point group, Polar point group (definition). Also Wikidata Q17099606
History
- 2026-11-02: add by m2/dev
KMJPWJCT37 KMJPWJCT37
| URI | m2://inv/KMJPWJCT37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#X3GW (statement). In QDRYC6WJJ7/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Kitchen sink regression KMJQ4P5QAP
| URI | m2://inv/KMJQ4P5QAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kitchen sink regression, Kitchen sink regression (definition). Also Wikidata Q6418014
History
- 2026-11-02: add by m2/dev
Basic properties KMK30ZEXPP
| URI | m2://inv/KMK30ZEXPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#X7QD, Basic properties (statement). In KM3Q791JY0/e1, proposition 2.27
History
- 2026-10-27: add by m2/v0.4.2
Correlation KMK4HYW45J
| URI | m2://inv/KMK4HYW45J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#VO46, Correlation (definition)
History
- 2026-11-02: add by m2/dev
KMKAXE84B1 KMKAXE84B1
| URI | m2://inv/KMKAXE84B1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_dilworth.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
direct sum KMKHQPJET0
| URI | m2://inv/KMKHQPJET0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13582243, direct sum (unknown). Also MathWorld DirectSum
- wikipedia: Wikipedia Direct sum, Direct sum (definition). Also Wikidata Q13582243
History
- 2026-10-26: add by m2/dev
Cofibration KMKKF48WA9
| URI | m2://inv/KMKKF48WA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#3ZIE, Cofibration (definition)
History
- 2026-11-02: add by m2/dev
Li--Shi KMKPARABJR
| URI | m2://inv/KMKPARABJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19958#9WL7, Li--Shi (statement)
History
- 2026-11-02: add by m2/v0.6.18
KMKQE7ABRM KMKQE7ABRM
| URI | m2://inv/KMKQE7ABRM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#V2TQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications KMM9YQPWQ7
| URI | m2://inv/KMM9YQPWQ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric hypergraph theorem#59W8, Applications (example)
History
- 2026-11-02: add by m2/dev
centered pentagonal number KMMENBTAW0
| URI | m2://inv/KMMENBTAW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190891, centered pentagonal number (unknown). Also MathWorld CenteredPentagonalNumber, OEIS A005891
History
- 2026-10-26: add by m2/dev
Methods KMMGB45S47
| URI | m2://inv/KMMGB45S47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biomedical cybernetics#VA8K, Methods (definition)
History
- 2026-11-02: add by m2/dev
Haboush's theorem KMMH163CZJ
| URI | m2://inv/KMMH163CZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BA5C, Haboush's theorem (statement)
History
- 2026-11-02: add by m2/dev
KMMJBQKZ4F KMMJBQKZ4F
| URI | m2://inv/KMMJBQKZ4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#HIAX (statement). In 8YWBGQQGA3/e1, proposition 15
History
- 2026-10-27: add by m2/v0.3.5
Pan African Mathematics Olympiads KMMMTEX6KX
| URI | m2://inv/KMMMTEX6KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#418Y, Pan African Mathematics Olympiads (definition)
History
- 2026-11-02: add by m2/dev
KMMV0WAJF1 KMMV0WAJF1
| URI | m2://inv/KMMV0WAJF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#MZV0 (statement). In N6GB5J5BAY/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.10
KMMYHH279D KMMYHH279D
| URI | m2://inv/KMMYHH279D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#XX4N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tetrahedral prism KMN3VT89ST
| URI | m2://inv/KMN3VT89ST |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral prism, Tetrahedral prism (object). Also Wikidata Q7706523
History
- 2026-11-02: add by m2/dev
Angle KMN4XBYYZP
| URI | m2://inv/KMN4XBYYZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#FBXQ, Angle (definition)
History
- 2026-11-02: add by m2/dev
KMN6WS9HAB KMN6WS9HAB
| URI | m2://inv/KMN6WS9HAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-8 (definition). In RZP28ERRZV, definition, section 25.5
History
- 2026-11-01: add by m2/v0.6.13
KMNCKTH4QQ KMNCKTH4QQ
| URI | m2://inv/KMNCKTH4QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00775#FGR0 (statement). In WVHA7H05QC/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
KMNH3RW8BM KMNH3RW8BM
| URI | m2://inv/KMNH3RW8BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18070#KPW6 (statement). In RASQS0FG8A/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
KMNSTCE86G KMNSTCE86G
| URI | m2://inv/KMNSTCE86G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#0HI1 (statement). In YVGRZK1HRS/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
KMP1H0VTBD KMP1H0VTBD
| URI | m2://inv/KMP1H0VTBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#9MCS (statement). In ZJQB9W60T6/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
KMP3XRC1YC KMP3XRC1YC
| URI | m2://inv/KMP3XRC1YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#RP4V (statement). In BR2E3CXQE0/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
Deligne's conjecture on 1-motives KMP8S8SKM6
| URI | m2://inv/KMP8S8SKM6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#S4TF, Deligne's conjecture on 1-motives (unknown)
History
- 2026-11-02: add by m2/dev
Quadric surface KMPFH4Z5KQ
| URI | m2://inv/KMPFH4Z5KQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#6BQP, Quadric surface (example). In Q1XJ5VWE1N/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.10
KMPG8YG54C KMPG8YG54C
| URI | m2://inv/KMPG8YG54C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#IXY5 (statement). In 6NVP3YRWVA/e1, lemma 2.20
History
- 2026-10-29: add by m2/v0.4.10
regularity recovery KMPSD2HNEF
| URI | m2://inv/KMPSD2HNEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#IU8V, regularity recovery (statement). In YR3CSTYEJW/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Open mapping theorem KMPVP41FQC
| URI | m2://inv/KMPVP41FQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#5B7B, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Hecke operator KMPW4QPZQ2
| URI | m2://inv/KMPW4QPZQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#DDHD, Hecke operator (definition)
- wikipedia: Wikipedia List of things named after Erich Hecke#IXNO, Hecke operator (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#ZMPL, Hecke operator (definition)
History
- 2026-11-02: add by m2/dev
Inductive logic programming KMQ0JMBEW0
| URI | m2://inv/KMQ0JMBEW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive logic programming, Inductive logic programming (definition). Also Wikidata Q1464197
History
- 2026-11-02: add by m2/dev
List of hypergeometric identities KMQ2EASXE2
| URI | m2://inv/KMQ2EASXE2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of hypergeometric identities, List of hypergeometric identities (topic). Also Wikidata Q6623841
History
- 2026-11-02: add by m2/dev
Generalizations KMQ358XH4D
| URI | m2://inv/KMQ358XH4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational rotation#XH7E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
2e Exloërmond KMQ63V97T1
| URI | m2://inv/KMQ63V97T1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FXZP, 2e Exloërmond (unknown)
History
- 2026-11-02: add by m2/dev
Hatcher \S2.1 exercise 18 KMQ9GDAVEM
| URI | m2://inv/KMQ9GDAVEM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#problem-2, Hatcher \S2.1 exercise 18 (exercise). In RZP28ERRZV, problem, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
KMQBF9X8JW KMQBF9X8JW
| URI | m2://inv/KMQBF9X8JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#4F5O (statement). In JS5FKV1S9T/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
KMQC200TQX KMQC200TQX
| URI | m2://inv/KMQC200TQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35095#NA9W (statement). In MM3XTWS35F/e1, fact 4.2
History
- 2026-10-30: add by m2/v0.4.12
Littlewood's law KMQF99ZXEM
| URI | m2://inv/KMQF99ZXEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood's law, Littlewood's law (statement). Also Wikidata Q2917177
History
- 2026-11-02: add by m2/dev
KMQFPR1H9X KMQFPR1H9X
| URI | m2://inv/KMQFPR1H9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13030#W4Y5 (statement). In 6NZ0YS5MJ7/e1, proposition IV.1
History
- 2026-10-28: add by m2/v0.4.2
KMQH8381Y4 KMQH8381Y4
| URI | m2://inv/KMQH8381Y4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#2J69 (example). In 78X5SKJX8J/e1, example 7.14
History
- 2026-10-27: add by m2/v0.3.5
Henry Daniels KMQJGBP0BN
| URI | m2://inv/KMQJGBP0BN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WI5K, Henry Daniels (unknown)
History
- 2026-11-02: add by m2/dev
KMQPJDCVC3 KMQPJDCVC3
| URI | m2://inv/KMQPJDCVC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.07434#N7RS (statement). In 7XZHQ2H5ZD/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
Definition KMQXXDDGF9
| URI | m2://inv/KMQXXDDGF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allegory (mathematics)#N1A5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Killing algebra KMQZK6Z2K2
| URI | m2://inv/KMQZK6Z2K2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective vector field#7U0O, Killing algebra (unknown)
History
- 2026-11-02: add by m2/dev
Steve Carlip KMR0ZDRG4Z
| URI | m2://inv/KMR0ZDRG4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7612157, Steve Carlip (unknown). Also nLab Steve Carlip
History
- 2026-10-26: add by m2/dev
P(V) KMR5WJMG19
| URI | m2://inv/KMR5WJMG19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#CYDJ, P(V) (definition)
History
- 2026-11-02: add by m2/dev
KMR69RDF2Q KMR69RDF2Q
| URI | m2://inv/KMR69RDF2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#DJ7C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem KMRE3NQ81J
| URI | m2://inv/KMRE3NQ81J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#JNW5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
KMRE65JYBW KMRE65JYBW
| URI | m2://inv/KMRE65JYBW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#W50G (definition). In FK89DQ9J4S/e1, definition 2.8
History
- 2026-10-30: add by m2/v0.4.12
KMRFMZXHHE KMRFMZXHHE
| URI | m2://inv/KMRFMZXHHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18033#RL7K (statement). In 59VRB6Y27N/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
KMRJKS137F KMRJKS137F
| URI | m2://inv/KMRJKS137F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36090#C000 (statement). In N025M6VQRY/e1, lemma 14
History
- 2026-10-27: add by m2/v0.4.0
Babington Plot KMRP82ASMP
| URI | m2://inv/KMRP82ASMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babington Plot, Babington Plot (definition). Also Wikidata Q787963
History
- 2026-11-02: add by m2/dev
KMRRCBQBMP KMRRCBQBMP
| URI | m2://inv/KMRRCBQBMP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29022#WKU6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hoare logic KMRYRXZV8Y
| URI | m2://inv/KMRYRXZV8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoare logic, Hoare logic (definition). Also Wikidata Q1375924
History
- 2026-11-02: add by m2/dev
KMS0NACJR2 KMS0NACJR2
| URI | m2://inv/KMS0NACJR2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_online.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
KMS3S3SN0H KMS3S3SN0H
| URI | m2://inv/KMS3S3SN0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-9 (example). In RZP28ERRZV, example, section 22.6
History
- 2026-11-01: add by m2/v0.6.13
Order-reflecting KMS614DH3N
| URI | m2://inv/KMS614DH3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order theory#0S96, Order-reflecting (unknown)
History
- 2026-11-02: add by m2/dev
Statement KMS6JCN808
| URI | m2://inv/KMS6JCN808 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfeucht–Mostowski theorem#I32W, Statement (statement)
History
- 2026-11-02: add by m2/dev
KMS6R9Q2KT KMS6R9Q2KT
| URI | m2://inv/KMS6R9Q2KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#6Q5P (statement). In V97F4YZ8B0/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Jonathan David Victor KMS8V9F94V
| URI | m2://inv/KMS8V9F94V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MLY4, Jonathan David Victor (unknown)
History
- 2026-11-02: add by m2/dev
KMSC2R6R7R KMSC2R6R7R
| URI | m2://inv/KMSC2R6R7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#2HLS (statement). In 9ZD87293QS/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.0
The Hessian of the Gaussian field KMSGWMJWWV
| URI | m2://inv/KMSGWMJWWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#YFQX, The Hessian of the Gaussian field (statement). In NKXTXH59P1/e1, lemma D.3
History
- 2026-10-29: add by m2/v0.4.10
Prefix and suffix evaluation matrices KMT0MPTTPN
| URI | m2://inv/KMT0MPTTPN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#620V, Prefix and suffix evaluation matrices (definition). In TJT32RQ9GC/e1, definition 5.9
History
- 2026-10-29: add by m2/v0.4.10
initial condition for a system KMT73DNA01
| URI | m2://inv/KMT73DNA01 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.1.1/initial-condition-for-a-system, initial condition for a system (concept). In E9HS8K3A52, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Hyperbolic sector KMT81R3HPA
| URI | m2://inv/KMT81R3HPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#JZMM, Hyperbolic sector (definition)
History
- 2026-11-02: add by m2/dev
KMTAZSGR4D KMTAZSGR4D
| URI | m2://inv/KMTAZSGR4D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#KKAM (definition). In Q70CTMCJTP/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
KMTC8X6SN7 KMTC8X6SN7
| URI | m2://inv/KMTC8X6SN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#6EML (definition). In 99CQPHSSYF/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
additive function KMTJ91VQX2
| URI | m2://inv/KMTJ91VQX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q95745348, additive function (unknown). Also MathWorld AdditiveFunction
- wikipedia: Wikipedia Additive function, Additive function (definition). Also Wikidata Q95745348
History
- 2026-10-26: add by m2/dev
Extension Lemma KMTJKJ2PAQ
| URI | m2://inv/KMTJKJ2PAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#F76V, Extension Lemma (statement). In PF5JJ9DS8Q/e1, lemma 4.2.3
History
- 2026-10-28: add by m2/v0.4.2
Definition KMTXKE1HEF
| URI | m2://inv/KMTXKE1HEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect digit-to-digit invariant#9LNJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Thanh ; De Bonis and Katona KMV5HQZW68
| URI | m2://inv/KMV5HQZW68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30336#T2ON, Thanh ; De Bonis and Katona (statement). In CCWHTB3911/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Axel Sophus Guldberg KMV90F75X8
| URI | m2://inv/KMV90F75X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axel Sophus Guldberg, Axel Sophus Guldberg (topic). Also Wikidata Q5776171
History
- 2026-11-02: add by m2/dev
classical field theory KMVDE7RHYZ
| URI | m2://inv/KMVDE7RHYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2603912, classical field theory (unknown). Also nLab classical field theory
- wikipedia: Wikipedia Classical field theory, Classical field theory (definition). Also Wikidata Q2603912
History
- 2026-10-26: add by m2/dev
KMVFR9W309 KMVFR9W309
| URI | m2://inv/KMVFR9W309 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#UZEQ (definition). In N0JJM098W2/e1, definition 27
History
- 2026-10-27: add by m2/v0.4.0
Strange Estimate KMVH36T6MD
| URI | m2://inv/KMVH36T6MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21545#75MO, Strange Estimate (statement). In 1Q3H75330M/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Formal definition KMVTM3ZR2D
| URI | m2://inv/KMVTM3ZR2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia set#JXN7, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
BATCO KMW0ZJSC9A
| URI | m2://inv/KMW0ZJSC9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BATCO, BATCO (definition). Also Wikidata Q4834680
History
- 2026-11-02: add by m2/dev
KMW1D76KVM KMW1D76KVM
| URI | m2://inv/KMW1D76KVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#C5O4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
KMW3NYSGY0 KMW3NYSGY0
| URI | m2://inv/KMW3NYSGY0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#ISWO (definition). In 9S7HGSEX6Q/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Definition KMW5GNW7VT
| URI | m2://inv/KMW5GNW7VT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boustrophedon transform#4BWI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Barry M. McCoy KMWAEBWS33
| URI | m2://inv/KMWAEBWS33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VZ3O, Barry M. McCoy (unknown)
History
- 2026-11-02: add by m2/dev
KMWCRTY7R0 KMWCRTY7R0
| URI | m2://inv/KMWCRTY7R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#MJOH (statement). In W88890HB4Z/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
KMWCW8CJJG KMWCW8CJJG
| URI | m2://inv/KMWCW8CJJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#QC57 (statement). In 49V3ANDZTY/e1, proposition 6.14
History
- 2026-10-27: add by m2/v0.3.5
Application KMWVNP88XX
| URI | m2://inv/KMWVNP88XX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involute#456K, Application (example)
History
- 2026-11-02: add by m2/dev
Dvigrad KMWX9DM0AK
| URI | m2://inv/KMWX9DM0AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M7VF, Dvigrad (unknown)
History
- 2026-11-02: add by m2/dev
KMX0A6X7QZ KMX0A6X7QZ
| URI | m2://inv/KMX0A6X7QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#GC80 (statement). In SXTX59QBVT/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
Finsler manifold KMX7VRDDHA
| URI | m2://inv/KMX7VRDDHA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Finsler manifold 5R6QZ388BB |
Mentions
- wikidata: Wikidata Q2498782, Finsler manifold (concept). Also EoM Finsler_space, MathWorld FinslerSpace
- wikipedia: Wikipedia Finsler manifold, Finsler manifold (definition). Also Wikidata Q2498782
History
- 2026-10-26: add by m2/dev
Alexander Oppenheim KMXV6K5B0V
| URI | m2://inv/KMXV6K5B0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NEE2, Alexander Oppenheim (unknown)
History
- 2026-11-02: add by m2/dev
KMY4YZ31W8 KMY4YZ31W8
| URI | m2://inv/KMY4YZ31W8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 33.3
History
- 2026-11-01: add by m2/v0.6.13
Kosmas Balanos KMY9BTZDTE
| URI | m2://inv/KMY9BTZDTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosmas Balanos, Kosmas Balanos (topic). Also Wikidata Q6433245
History
- 2026-11-02: add by m2/dev
New Elements of Mathematics KMYCRQB1D3
| URI | m2://inv/KMYCRQB1D3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Sanders Peirce bibliography#3FZG, New Elements of Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Florence Nightingale David KMYVXWWS12
| URI | m2://inv/KMYVXWWS12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florence Nightingale David, Florence Nightingale David (topic). Also Wikidata Q5460735
History
- 2026-11-02: add by m2/dev
KMYWN96S2F KMYWN96S2F
| URI | m2://inv/KMYWN96S2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14445#PO2K (statement). In V56MKF0KW2/e1, corollary B.2
History
- 2026-10-27: add by m2/v0.3.5
Sipser–Lautemann theorem KMZ3BYXXJJ
| URI | m2://inv/KMZ3BYXXJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7525845, Sipser–Lautemann theorem (statement). Also Wikidata Q7525845
- thousand_plus: thousand_plus Q7525845, Sipser–Lautemann theorem (statement). Also Wikidata Q7525845, Wikipedia Sipser–Lautemann theorem
- wikipedia: Wikipedia Sipser–Lautemann theorem, Sipser–Lautemann theorem (statement). Also Wikidata Q7525845
History
- 2026-10-26: add by m2/dev
Émile Schwoerer KMZ7H08G0W
| URI | m2://inv/KMZ7H08G0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TX4Z, Émile Schwoerer (unknown)
History
- 2026-11-02: add by m2/dev
KMZ8E0BB3V KMZ8E0BB3V
| URI | m2://inv/KMZ8E0BB3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22090#B0LV (statement). In NKJWGF050C/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.4.0
KMZHR9Z9CV KMZHR9Z9CV
| URI | m2://inv/KMZHR9Z9CV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#8YEN (definition). In ESDKTYDHC8/e1, definition 26
History
- 2026-10-29: add by m2/v0.4.12
Surjectivity in nonzero degree KMZMZ7D4WN
| URI | m2://inv/KMZMZ7D4WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#20HL, Surjectivity in nonzero degree (statement). In CSRZ9CWK69/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.12
KMZYNRQH4X KMZYNRQH4X
| URI | m2://inv/KMZYNRQH4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#90VO (statement). In 8A0VZV8PBN/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2