Inventory rows 2Z
The cards of the rows of the inventory whose ids start with 2Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Right ascension 2Z02NC942A
| URI | m2://inv/2Z02NC942A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right ascension, Right ascension (definition). Also Wikidata Q13442
History
- 2026-11-02: add by m2/dev
Remark 2Z06GRC4Y5
| URI | m2://inv/2Z06GRC4Y5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (Lie theory)#PRJK, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Ono's inequality 2Z0CJR3HHT
| URI | m2://inv/2Z0CJR3HHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#74H5, Ono's inequality (statement)
History
- 2026-11-02: add by m2/dev
Examples 2Z0CPJH8BH
| URI | m2://inv/2Z0CPJH8BH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Escaping set#H7VC, Examples (example)
History
- 2026-11-02: add by m2/dev
Hilbert basis theorem 2Z0EF2YABJ
| URI | m2://inv/2Z0EF2YABJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:hilbertbasis, Hilbert basis theorem (statement). In VNMV985MXX, thm, section D
History
- 2026-11-01: add by m2/v0.6.13
Alphabet and strings 2Z0EFA1CS6
| URI | m2://inv/2Z0EFA1CS6 |
|---|---|
| Kind | definition |
| 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.21985#VFRV, Alphabet and strings (definition)
History
- 2026-11-02: add by m2/v0.6.17
2Z0HP3HHWF 2Z0HP3HHWF
| URI | m2://inv/2Z0HP3HHWF |
|---|---|
| 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.09672#V17U (statement). In TXBXCPP0QH/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
Formal definition 2Z0S8PYQ26
| URI | m2://inv/2Z0S8PYQ26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominating set#CCLK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Anisotropic covering numbers 2Z0VW399DH
| URI | m2://inv/2Z0VW399DH |
|---|---|
| Kind | definition |
| 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 2609.22485#PGNN, Anisotropic covering numbers (definition)
History
- 2026-11-02: add by m2/v0.6.17
2Z0WVZWPT7 2Z0WVZWPT7
| URI | m2://inv/2Z0WVZWPT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-4.xml#thm-pivot-inconsistency (statement). In 649HGZKE96, proposition, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Linear bound for vanishing order 2Z0ZNAZX29
| URI | m2://inv/2Z0ZNAZX29 |
|---|---|
| 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.09295#HFUO, Linear bound for vanishing order (statement). In 29X0B511NF/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Extensions 2Z15ZRYYF6
| URI | m2://inv/2Z15ZRYYF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of polynomial equations#TVZ9, Extensions (statement)
History
- 2026-11-02: add by m2/dev
2Z17DFHZWG 2Z17DFHZWG
| URI | m2://inv/2Z17DFHZWG |
|---|---|
| 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.08226#CXPI (statement). In V6EPE8XHAD/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Peter A. Lachenbruch 2Z1912ZVP7
| URI | m2://inv/2Z1912ZVP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter A. Lachenbruch, Peter A. Lachenbruch (topic). Also Wikidata Q102173958
History
- 2026-11-02: add by m2/dev
2Z1KT6K16S 2Z1KT6K16S
| URI | m2://inv/2Z1KT6K16S |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#F6B8 (unknown). In 4YJH4FPWDA/e1, unknown 3.3
History
- 2026-10-30: add by m2/v0.4.12
Row echelon form 2Z1NSHGM37
| URI | m2://inv/2Z1NSHGM37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#Q1L3, Row echelon form (definition)
History
- 2026-11-02: add by m2/dev
2Z1R9DYP0H 2Z1R9DYP0H
| URI | m2://inv/2Z1R9DYP0H |
|---|---|
| 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.03555#G7LY (statement). In 9JZJTRRVR1/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.12
2Z1VJB6DKG 2Z1VJB6DKG
| URI | m2://inv/2Z1VJB6DKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.22394#8BK4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Constant worst-case error under bounded variance 2Z1ZRNWFWN
| URI | m2://inv/2Z1ZRNWFWN |
|---|---|
| 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.32729#FSUQ, Constant worst-case error under bounded variance (statement). In PGJ37WRB1K/e1, theorem 3.8
History
- 2026-10-31: add by m2/v0.5.6
2Z20RRG550 2Z20RRG550
| URI | m2://inv/2Z20RRG550 |
|---|---|
| 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.12633#2T6B (statement). In NGZ5AZ70NN/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
2Z252GVDNH 2Z252GVDNH
| URI | m2://inv/2Z252GVDNH |
|---|---|
| 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.25291#QKG8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sampling design 2Z255JY8YP
| URI | m2://inv/2Z255JY8YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7DNL, Sampling design (definition)
History
- 2026-11-02: add by m2/dev
Elizabeth H. Slate 2Z26HXA0MP
| URI | m2://inv/2Z26HXA0MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GFZC, Elizabeth H. Slate (topic)
History
- 2026-11-02: add by m2/dev
2Z2841S5TV 2Z2841S5TV
| URI | m2://inv/2Z2841S5TV |
|---|---|
| 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 2011.06637#QR5U (example). In KFCJ5CFP3G/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
2Z2B8VJAMB 2Z2B8VJAMB
| URI | m2://inv/2Z2B8VJAMB |
|---|---|
| Kind | definition |
| 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.28808#TPFC (definition)
History
- 2026-11-01: add by m2/v0.6.15
2Z2E6RVPQB 2Z2E6RVPQB
| URI | m2://inv/2Z2E6RVPQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-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.05403#HB6V (statement). In PQGGCD09KP/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Mode certificate and deterministic cap 2Z2MQFH0RK
| URI | m2://inv/2Z2MQFH0RK |
|---|---|
| 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 2610.16248#F6JM, Mode certificate and deterministic cap (statement). In TP61DYMBMK/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
Lorentz symmetry 2Z2N50VZ3Y
| URI | m2://inv/2Z2N50VZ3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#CEWN, Lorentz symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Samuel, Herbert 2Z2PQ6Z550
| URI | m2://inv/2Z2PQ6Z550 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XAVP, Samuel, Herbert (unknown)
History
- 2026-11-02: add by m2/dev
2Z32CB59MP 2Z32CB59MP
| URI | m2://inv/2Z32CB59MP |
|---|---|
| Kind | definition |
| 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.06764#YGY9 (definition). In MSWV3MJ5CE/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.10
2Z32ZGCW2E 2Z32ZGCW2E
| URI | m2://inv/2Z32ZGCW2E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-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 2605.02634#818F (example). In EZ6PAF0MXH/e1, example 7.1.2
History
- 2026-10-27: add by m2/v0.3.5
2Z33AJ7A6A 2Z33AJ7A6A
| URI | m2://inv/2Z33AJ7A6A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2609.21052#EX9X (example)
History
- 2026-11-02: add by m2/v0.6.18
2Z38T60VPC 2Z38T60VPC
| URI | m2://inv/2Z38T60VPC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
2Z3EZ9CTEK 2Z3EZ9CTEK
| URI | m2://inv/2Z3EZ9CTEK |
|---|---|
| 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.19288#RS0F (statement). In 1EA6AM9V01/e1, theorem C.4
History
- 2026-10-28: add by m2/v0.4.2
2Z3FJVWE4S 2Z3FJVWE4S
| URI | m2://inv/2Z3FJVWE4S |
|---|---|
| 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 2609.21359#TVUA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stand and Deliver 2Z3KTK1FDH
| URI | m2://inv/2Z3KTK1FDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#D47I, Stand and Deliver (unknown)
History
- 2026-11-02: add by m2/dev
2Z3NS579KC 2Z3NS579KC
| URI | m2://inv/2Z3NS579KC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.15926#A42J (definition). In G0J92BSX4A/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Regulus 2Z3PB5711N
| URI | m2://inv/2Z3PB5711N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28457674, Regulus (unknown). Also MathWorld Regulus
- wikipedia: Wikipedia Regulus (geometry), Regulus (definition). Also Wikidata Q28457674
History
- 2026-10-26: add by m2/dev
Hendrik Kloosterman 2Z3Q06H5TX
| URI | m2://inv/2Z3Q06H5TX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hendrik Kloosterman, Hendrik Kloosterman (topic). Also Wikidata Q943672
History
- 2026-11-02: add by m2/dev
Definitions 2Z3R14PJC2
| URI | m2://inv/2Z3R14PJC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of analytic tableaux#0Z0S, Definitions (definition)
History
- 2026-11-02: add by m2/dev
First integrals 2Z3V6S4MPE
| URI | m2://inv/2Z3V6S4MPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 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.22058#D8YV, First integrals (statement)
History
- 2026-11-02: add by m2/v0.6.17
Discrete valuation ring 2Z3Z2HJMTN
| URI | m2://inv/2Z3Z2HJMTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#92X1, Discrete valuation ring (definition)
History
- 2026-11-02: add by m2/dev
2Z3Z2ZEEWJ 2Z3Z2ZEEWJ
| URI | m2://inv/2Z3Z2ZEEWJ |
|---|---|
| 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 2609.29723#DEBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grothendieck 2Z4030KFNE
| URI | m2://inv/2Z4030KFNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#WPIK, Grothendieck (definition)
History
- 2026-11-02: add by m2/dev
2Z424J79SF 2Z424J79SF
| URI | m2://inv/2Z424J79SF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-2.xml#activity-2 (exercise). In 649HGZKE96, activity, section 5.2.3
History
- 2026-11-01: add by m2/v0.6.13
Solinas prime 2Z48NNAQ10
| URI | m2://inv/2Z48NNAQ10 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solinas prime, Solinas prime (object). Also Wikidata Q10747707
History
- 2026-11-02: add by m2/dev
The Hessian bulk at localized points 2Z4KT15YQN
| URI | m2://inv/2Z4KT15YQN |
|---|---|
| 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#Y21P, The Hessian bulk at localized points (statement). In NKXTXH59P1/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
2Z4R2669W5 2Z4R2669W5
| URI | m2://inv/2Z4R2669W5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01717#1E1H (statement). In KSK8SVD27S/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Susan Halabi 2Z4R95C6EC
| URI | m2://inv/2Z4R95C6EC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5IFJ, Susan Halabi (unknown)
History
- 2026-11-02: add by m2/dev
A solved family of reconstruction examples 2Z4SBV53V7
| URI | m2://inv/2Z4SBV53V7 |
|---|---|
| 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.14373#844H, A solved family of reconstruction examples (statement). In 77TK7M3B9Y/e1, corollary 7
History
- 2026-10-28: add by m2/v0.4.2
2Z4WJ0CQKY 2Z4WJ0CQKY
| URI | m2://inv/2Z4WJ0CQKY |
|---|---|
| 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 1806.05002#G9UN (statement). In JBAQ7DTW7B/e1, lemma A.5
History
- 2026-10-27: add by m2/v0.3.5
2Z512SA8NE 2Z512SA8NE
| URI | m2://inv/2Z512SA8NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-6-second-d.xml#D-1-6-incr-decr (definition). In 907G4C4EJ1, definition, section 1.6.2
History
- 2026-11-01: add by m2/v0.6.13
2Z5F91F3Q1 2Z5F91F3Q1
| URI | m2://inv/2Z5F91F3Q1 |
|---|---|
| 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.30067#UMOW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Krishnaswami Alladi 2Z5JAJBAHR
| URI | m2://inv/2Z5JAJBAHR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HAQL, Krishnaswami Alladi (topic)
History
- 2026-11-02: add by m2/dev
2Z5Q8WHSJF 2Z5Q8WHSJF
| URI | m2://inv/2Z5Q8WHSJF |
|---|---|
| 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 2103.08272#TTCC (statement). In H72E12TYHA/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.4.0
2Z5SRBHTRG 2Z5SRBHTRG
| URI | m2://inv/2Z5SRBHTRG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16359#PS10 (unknown). In NY1DBAW7CG/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
Whitney expansion 2Z5X0CEAMV
| URI | m2://inv/2Z5X0CEAMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.04325#SEBR, Whitney expansion (statement). In 42XHT97E64/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
2Z5ZD2V7B4 2Z5ZD2V7B4
| URI | m2://inv/2Z5ZD2V7B4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-3 (proof). In E59CDZA4DP, proof, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
2Z5ZF1TQ25 2Z5ZF1TQ25
| URI | m2://inv/2Z5ZF1TQ25 |
|---|---|
| Kind | conjecture |
| 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.06340#47WE (conjecture). In PKNZPECH82/e1, conjecture 11.1
History
- 2026-10-29: add by m2/v0.4.10
Lipman Bers 2Z61HKKZKD
| URI | m2://inv/2Z61HKKZKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215986, Lipman Bers (unknown). Also nLab Lipman Bers
- wikipedia: Wikipedia Lipman Bers, Lipman Bers (topic). Also Wikidata Q215986
History
- 2026-10-26: add by m2/dev
2Z664XVMT6 2Z664XVMT6
| URI | m2://inv/2Z664XVMT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2308.08081#ZGFV (statement). In FJ8XVQ6F0T/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
2Z6GFB4E4T 2Z6GFB4E4T
| URI | m2://inv/2Z6GFB4E4T |
|---|---|
| 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.02216#REQ0 (statement). In 34JGRZ2M5F/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
2Z6M2PKXTA 2Z6M2PKXTA
| URI | m2://inv/2Z6M2PKXTA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.32174#DDZ3 (definition). In GHKR740SG3/e1, definition 19.4
History
- 2026-10-31: add by m2/v0.5.6
TSP via covering numbers 2Z6PDDQFS3
| URI | m2://inv/2Z6PDDQFS3 |
|---|---|
| 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 2204.09167#T5DF, TSP via covering numbers (statement). In S1MENYEAG5/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.3.5
Pappus chain 2Z6RERJ76D
| URI | m2://inv/2Z6RERJ76D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q511431, Pappus chain (concept). Also MathWorld PappusChain
- wikipedia: Wikipedia Pappus chain, Pappus chain (definition). Also Wikidata Q511431
History
- 2026-10-26: add by m2/dev
2Z6SH9DYCW 2Z6SH9DYCW
| URI | m2://inv/2Z6SH9DYCW |
|---|---|
| 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.07927#9O1C (statement). In GKM19DHQTM/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.10
2Z6STBDSDB 2Z6STBDSDB
| URI | m2://inv/2Z6STBDSDB |
|---|---|
| Kind | definition |
| 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.35597#KHOC (definition). In K424GCJ50P/e1, definition 9.1
History
- 2026-10-30: add by m2/v0.4.12
F-related 2Z6WVK9MSJ
| URI | m2://inv/2Z6WVK9MSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#1JV5, F-related (unknown)
History
- 2026-11-02: add by m2/dev
Degree-Dependent Optimal Basis 2Z6XF0Q5KV
| URI | m2://inv/2Z6XF0Q5KV |
|---|---|
| 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.20364#RCS4, Degree-Dependent Optimal Basis (statement). In 433NXYKPG3/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
2Z6YQG5SWR 2Z6YQG5SWR
| URI | m2://inv/2Z6YQG5SWR |
|---|---|
| Kind | conjecture |
| 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.13295#IW0D (conjecture). In 8Q7QXTWD0S/e1, conjecture 4.7
History
- 2026-10-28: add by m2/v0.4.2
2Z70REAEWN 2Z70REAEWN
| URI | m2://inv/2Z70REAEWN |
|---|---|
| Kind | example |
| 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 2310.14879#8IPQ (example). In 3VZ55B2N0D/e1, example 5.3
History
- 2026-10-27: add by m2/v0.4.0
Rosser's theorem 2Z71MDDRVF
| URI | m2://inv/2Z71MDDRVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosser's trick#IL12, Rosser's theorem (statement)
History
- 2026-11-02: add by m2/dev
2Z756EVD9T 2Z756EVD9T
| URI | m2://inv/2Z756EVD9T |
|---|---|
| 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.06899#NIXS (statement). In 5Z2K9JGFSS/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Johannes Boersma 2Z77HW645F
| URI | m2://inv/2Z77HW645F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Boersma, Johannes Boersma (topic). Also Wikidata Q4244119
History
- 2026-11-02: add by m2/dev
Diffusion-weighted magnetic resonance imaging 2Z7DRNWVCG
| URI | m2://inv/2Z7DRNWVCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion-weighted magnetic resonance imaging, Diffusion-weighted magnetic resonance imaging (definition). Also Wikidata Q899360
History
- 2026-11-02: add by m2/dev
Essential biorthogonality 2Z7HPSKBAJ
| URI | m2://inv/2Z7HPSKBAJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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.20643#D6B7, Essential biorthogonality (definition)
History
- 2026-11-02: add by m2/v0.6.18
2Z7K4Y0ZQ8 2Z7K4Y0ZQ8
| URI | m2://inv/2Z7K4Y0ZQ8 |
|---|---|
| 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.27908#B0XQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eli Biham 2Z7TMBY0SH
| URI | m2://inv/2Z7TMBY0SH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#1FNX, Eli Biham (topic)
History
- 2026-11-02: add by m2/dev
2Z8163PZWR 2Z8163PZWR
| URI | m2://inv/2Z8163PZWR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 1603.00857#5PN4 (statement). In XT50B5RJF5/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
2Z81W59N15 2Z81W59N15
| URI | m2://inv/2Z81W59N15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22514#GPVO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Andrzej Nowak 2Z8303MS05
| URI | m2://inv/2Z8303MS05 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Nowak (mathematician), Andrzej Nowak (topic). Also Wikidata Q102247991
History
- 2026-11-02: add by m2/dev
2Z83C9DHC6 2Z83C9DHC6
| URI | m2://inv/2Z83C9DHC6 |
|---|---|
| Kind | definition |
| 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 2212.06621#CGFD (definition). In DB223AABTH/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.3.5
2Z84S3M7TE 2Z84S3M7TE
| URI | m2://inv/2Z84S3M7TE |
|---|---|
| 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.28669#HX2P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Linear inequality 2Z89M5015B
| URI | m2://inv/2Z89M5015B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear inequality, Linear inequality (statement). Also Wikidata Q3154022
History
- 2026-11-02: add by m2/dev
2Z8F3AD951 2Z8F3AD951
| URI | m2://inv/2Z8F3AD951 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 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.21009#EZSO (problem). In 23G8VNDWDM/e1, problem 1.3
History
- 2026-10-27: add by m2/v0.4.2
2Z8FH7S6X0 2Z8FH7S6X0
| URI | m2://inv/2Z8FH7S6X0 |
|---|---|
| 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 2610.01599#GQ8O (statement). In K2KYNCWER3/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Theorem (Grothendieck) 2Z8JNCTAWC
| URI | m2://inv/2Z8JNCTAWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective tensor product#XH7E, Theorem (Grothendieck) (statement)
History
- 2026-11-02: add by m2/dev
positive-definite matrix 2Z8JQJ3GJZ
| URI | m2://inv/2Z8JQJ3GJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Positive definite matrix 0KX66CZMBB |
Mentions
- wikidata: Wikidata Q1052034, positive-definite matrix (unknown). Also EoM Positive-definite_form, MathWorld PositiveDefiniteMatrix
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Algorithms 2Z8N1Z022H
| URI | m2://inv/2Z8N1Z022H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid intersection#24L4, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Lattice of topologies 2Z8S6WMRXG
| URI | m2://inv/2Z8S6WMRXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of topologies#PR9C, Lattice of topologies (unknown)
History
- 2026-11-02: add by m2/dev
Kemeny's constant 2Z8TBRR7M4
| URI | m2://inv/2Z8TBRR7M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kemeny's constant, Kemeny's constant (definition). Also Wikidata Q6386913
History
- 2026-11-02: add by m2/dev
2Z8THPPHFY 2Z8THPPHFY
| URI | m2://inv/2Z8THPPHFY |
|---|---|
| Kind | statement |
| 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 2609.38206#MXHX (statement). In F71MS1F637/e1, theorem E
History
- 2026-10-30: add by m2/v0.4.12
Khintchine inequality 2Z8WJQANAR
| URI | m2://inv/2Z8WJQANAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#84VT, Khintchine inequality (statement)
- wikipedia: Wikipedia List of probability topics#WUJT, Khintchine inequality (statement)
- wikipedia: Wikipedia List of inequalities#SGLM, Khintchine inequality (statement)
History
- 2026-11-02: add by m2/dev
2Z91PQPXV5 2Z91PQPXV5
| URI | m2://inv/2Z91PQPXV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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 2609.36022#78R4 (statement). In ENH5XNBQWH/e1, proposition 3.41
History
- 2026-10-30: add by m2/v0.4.12
entailment 2Z9BAB2V6P
| URI | m2://inv/2Z9BAB2V6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#J322, entailment (definition)
History
- 2026-11-02: add by m2/dev
Examples 2Z9DA2EHT6
| URI | m2://inv/2Z9DA2EHT6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nef line bundle#6M8Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Exact top-$K$ recovery 2Z9EWCXR7Q
| URI | m2://inv/2Z9EWCXR7Q |
|---|---|
| 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 2610.09030#62T4, Exact top-$K$ recovery (statement). In BYN44C0X0C/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
2Z9HPFCDR8 2Z9HPFCDR8
| URI | m2://inv/2Z9HPFCDR8 |
|---|---|
| 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 2506.16491#ME47 (definition). In P9J6P06Y40/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
2Z9JKWRFET 2Z9JKWRFET
| URI | m2://inv/2Z9JKWRFET |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 50.6
History
- 2026-11-01: add by m2/v0.6.13
Katsumi Nomizu 2Z9TT3CJXM
| URI | m2://inv/2Z9TT3CJXM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#EE4F, Katsumi Nomizu (topic)
History
- 2026-11-02: add by m2/dev
2Z9Z4AECM9 2Z9Z4AECM9
| URI | m2://inv/2Z9Z4AECM9 |
|---|---|
| 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.08261#DH71 (statement). In QD68GYRWNS/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
2ZA07GV1MA 2ZA07GV1MA
| URI | m2://inv/2ZA07GV1MA |
|---|---|
| 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.28594#QJ1O (statement)
History
- 2026-11-01: add by m2/v0.6.15
2ZABEARHP9 2ZABEARHP9
| URI | m2://inv/2ZABEARHP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#LX7M (statement). In 8SVVEVGMNE/e1, corollary 4.19
History
- 2026-10-27: add by m2/v0.3.5
Examples 2ZAGWRSEPT
| URI | m2://inv/2ZAGWRSEPT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hook length formula#YO6O, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 2ZAXW8RJMZ
| URI | m2://inv/2ZAXW8RJMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative method#V6D0, Definition (definition)
History
- 2026-11-02: add by m2/dev
2ZB1EK08JA 2ZB1EK08JA
| URI | m2://inv/2ZB1EK08JA |
|---|---|
| Kind | definition |
| 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 2609.22708#UAVQ (definition)
History
- 2026-11-02: add by m2/v0.6.17
2ZBD4ZRM70 2ZBD4ZRM70
| URI | m2://inv/2ZBD4ZRM70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-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.02961#BXY3 (statement). In 986DENWM1D/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
minimal elements 2ZBF49E8X8
| URI | m2://inv/2ZBF49E8X8 |
|---|---|
| Kind | example |
| 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#BV8N, minimal elements (example). In PF5JJ9DS8Q/e1, example 2.4.6
History
- 2026-10-28: add by m2/v0.4.2
2ZBGDRCFNK 2ZBGDRCFNK
| URI | m2://inv/2ZBGDRCFNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.20385#LT81 (statement). In 54HS9AHWPE/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Example 2ZBHQYZ6SH
| URI | m2://inv/2ZBHQYZ6SH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condorcet winner#2GCA, Example (example)
History
- 2026-11-02: add by m2/dev
Lev Kaluznin 2ZBK1R19TT
| URI | m2://inv/2ZBK1R19TT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lev Kaluznin, Lev Kaluznin (topic). Also Wikidata Q18585920
History
- 2026-11-02: add by m2/dev
$x$-Variant 2ZBS968Y16
| URI | m2://inv/2ZBS968Y16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn-3, $x$-Variant (definition). In PKGMM3P5QY, defn, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
2ZBVC8F6DE 2ZBVC8F6DE
| URI | m2://inv/2ZBVC8F6DE |
|---|---|
| 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#02FN (statement). In PF5JJ9DS8Q/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
Erdős squarefree conjecture 2ZBX01GJ78
| URI | m2://inv/2ZBX01GJ78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free integer#JIID, Erdős squarefree conjecture (statement)
History
- 2026-11-02: add by m2/dev
2ZBZDWFJ10 2ZBZDWFJ10
| URI | m2://inv/2ZBZDWFJ10 |
|---|---|
| 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 2204.01073#3IM9 (statement). In W4TYN4PGE8/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Chiara Saffirio 2ZBZKS7P3Y
| URI | m2://inv/2ZBZKS7P3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiara Saffirio, Chiara Saffirio (topic). Also Wikidata Q71976008
History
- 2026-11-02: add by m2/dev
2ZC81RCG0V 2ZC81RCG0V
| URI | m2://inv/2ZC81RCG0V |
|---|---|
| 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.01783#QYEL (statement). In 8BKC3PVX9G/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.12
Andrew Gelman 2ZC8WR8983
| URI | m2://inv/2ZC8WR8983 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HWYL, Andrew Gelman (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O969, Andrew Gelman (topic)
History
- 2026-11-02: add by m2/dev
Andrey Todorov 2ZCG2NXTF9
| URI | m2://inv/2ZCG2NXTF9 |
|---|---|
| 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 Q2652642, Andrey Todorov (unknown). Also nLab Andrey Todorov
History
- 2026-10-26: add by m2/dev
2ZCMGKFBJF 2ZCMGKFBJF
| URI | m2://inv/2ZCMGKFBJF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 23.2
History
- 2026-11-01: add by m2/v0.6.13
2ZCS4ST4GH 2ZCS4ST4GH
| URI | m2://inv/2ZCS4ST4GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.20956#S7A1 (statement). In X9WFC1D9ZS/e1, proposition 25
History
- 2026-10-27: add by m2/v0.4.2
Wrapped Lévy distribution 2ZCSGQ4K7B
| URI | m2://inv/2ZCSGQ4K7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#F1FE, Wrapped Lévy distribution (definition)
History
- 2026-11-02: add by m2/dev
Exponential mixing for Ising 2ZD4GNXT4C
| URI | m2://inv/2ZD4GNXT4C |
|---|---|
| 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.20583#667Q, Exponential mixing for Ising (statement). In 5YEEPDPAQE/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.4.2
2ZD4J482SH 2ZD4J482SH
| URI | m2://inv/2ZD4J482SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.34289#4Z2X (statement). In 9RBATD2Z1F/e1, corollary 3.24
History
- 2026-10-30: add by m2/v0.4.12
Chu--Vandermonde identity 2ZDNEJ8JHV
| URI | m2://inv/2ZDNEJ8JHV |
|---|---|
| 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.36389#OQUD, Chu--Vandermonde identity (statement). In N1S169J2MV/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
2ZDXPE6C4B 2ZDXPE6C4B
| URI | m2://inv/2ZDXPE6C4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-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.10581#OLCG (statement). In 6V42A71SPC/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Kempf–Ness theorem 2ZE5RZGDY1
| URI | m2://inv/2ZE5RZGDY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D105, Kempf–Ness theorem (statement)
History
- 2026-11-02: add by m2/dev
2ZEDEYFQ5V 2ZEDEYFQ5V
| URI | m2://inv/2ZEDEYFQ5V |
|---|---|
| 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.20588#GB1T (definition)
History
- 2026-11-02: add by m2/v0.6.18
Applications 2ZEJDTJ2R3
| URI | m2://inv/2ZEJDTJ2R3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell state#OFHO, Applications (example)
History
- 2026-11-02: add by m2/dev
Harris's inequality 2ZEK01SBCQ
| URI | m2://inv/2ZEK01SBCQ |
|---|---|
| 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.38772#AJCA, Harris's inequality (statement). In 1C3R5NAQAP/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
A monotone glued coefficient gains nothing 2ZEKAXT5AF
| URI | m2://inv/2ZEKAXT5AF |
|---|---|
| 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#MR7V, A monotone glued coefficient gains nothing (statement). In NKXTXH59P1/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Maximal existence time 2ZEN2X8ACS
| URI | m2://inv/2ZEN2X8ACS |
|---|---|
| Kind | definition |
| 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.14555#DUK0, Maximal existence time (definition). In NHW0VEJ09F/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
AREMOS 2ZEVPYZGH9
| URI | m2://inv/2ZEVPYZGH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AREMOS, AREMOS (definition). Also Wikidata Q4653654
History
- 2026-11-02: add by m2/dev
Reduction strategy (code optimization) 2ZEW974HWT
| URI | m2://inv/2ZEW974HWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction strategy#BQ69, Reduction strategy (code optimization) (unknown)
History
- 2026-11-02: add by m2/dev
2ZEWF1XSBW 2ZEWF1XSBW
| URI | m2://inv/2ZEWF1XSBW |
|---|---|
| Kind | example |
| 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.07445#AGKS (example). In F1BM3Q8125/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
2ZEWHTG6AD 2ZEWHTG6AD
| URI | m2://inv/2ZEWHTG6AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RD-inverse-apart-0 (statement). In N54F33XE07, thm, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Normalized response geometry 2ZF55JPAWE
| URI | m2://inv/2ZF55JPAWE |
|---|---|
| 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.21301#2WPK, Normalized response geometry (statement). In W7GCDXAK1K/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.2
Biased vector energy and inner products 2ZF6YSX58K
| URI | m2://inv/2ZF6YSX58K |
|---|---|
| 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 2610.15202#XU00, Biased vector energy and inner products (statement). In X1FPG0KYBM/e1, lemma M.3
History
- 2026-10-28: add by m2/v0.4.2
2ZFFHWK2H5 2ZFFHWK2H5
| URI | m2://inv/2ZFFHWK2H5 |
|---|---|
| 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.18744#2GOK (statement). In AE07JDH5D3/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Uniqueness of type I blow-ups 2ZFR3GQ2Y3
| URI | m2://inv/2ZFR3GQ2Y3 |
|---|---|
| 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.18270#P51Q, Uniqueness of type I blow-ups (statement). In CPDMYJ0NJV/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Matrix calculus 2ZFRK7VXDB
| URI | m2://inv/2ZFRK7VXDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#1QHU, Matrix calculus (definition)
History
- 2026-11-02: add by m2/dev
Ree extension: reduction to socle orbits 2ZFWNWBCB4
| URI | m2://inv/2ZFWNWBCB4 |
|---|---|
| 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.15340#F63O, Ree extension: reduction to socle orbits (statement). In 9NVKKW8HDH/e1, theorem 2.80
History
- 2026-10-28: add by m2/v0.4.2
2ZFX86HF7C 2ZFX86HF7C
| URI | m2://inv/2ZFX86HF7C |
|---|---|
| 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.14450#Y0LG (statement). In ZHTGQT07PE/e1, lemma 4.14
History
- 2026-10-28: add by m2/v0.4.2
Three point lemma/Bregman proximal inequality 2ZFYH9Q5Y4
| URI | m2://inv/2ZFYH9Q5Y4 |
|---|---|
| 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.35466#DED6, Three point lemma/Bregman proximal inequality (statement). In MVR35ZJPCC/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
primes in arithmetic progression 2ZG586E8C5
| URI | m2://inv/2ZG586E8C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1043113, primes in arithmetic progression (unknown). Also MathWorld PrimeArithmeticProgression
- wikipedia: Wikipedia Primes in arithmetic progression, Primes in arithmetic progression (definition). Also Wikidata Q1043113
History
- 2026-10-26: add by m2/dev
Reliability modeling 2ZG7WGPM19
| URI | m2://inv/2ZG7WGPM19 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability engineering#BEUF, Reliability modeling (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm 2ZG8B0Z0PJ
| URI | m2://inv/2ZG8B0Z0PJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral convolution#WJJH, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
General PGM exponent 2ZGCNA955T
| URI | m2://inv/2ZGCNA955T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 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 2609.40271#RBGA, General PGM exponent (statement). In 9MXMRKFKDW/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
2ZGHN3KTGV 2ZGHN3KTGV
| URI | m2://inv/2ZGHN3KTGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00798#CF82 (statement). In FANG3A8NZ9/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Plan for Establishing Uniformity in the Coinage, Weights, and Measures of the United States 2ZH1XZBGYW
| URI | m2://inv/2ZH1XZBGYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plan for Establishing Uniformity in the Coinage, Weights, and Measures of the United States, Plan for Establishing Uniformity in the Coinage, Weights, and Measures of the United States (definition). Also Wikidata Q16932934
History
- 2026-11-02: add by m2/dev
2ZHG467KZW 2ZHG467KZW
| URI | m2://inv/2ZHG467KZW |
|---|---|
| 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 2609.31604#BG4T (example). In GSN5YTQS2K/e1, example 1.8
History
- 2026-10-31: add by m2/v0.5.6
Information supplied by a self-delimiting prefix 2ZHKMZT5KY
| URI | m2://inv/2ZHKMZT5KY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 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 2609.34458#0IGY, Information supplied by a self-delimiting prefix (statement). In 2KQ85H6MS4/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
2ZHQKZ8HQD 2ZHQKZ8HQD
| URI | m2://inv/2ZHQKZ8HQD |
|---|---|
| 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.19707#RDAK (statement). In R6SEBXARYC/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Definition 2ZHX75R6DS
| URI | m2://inv/2ZHX75R6DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrhart polynomial#BZ3P, Definition (definition)
History
- 2026-11-02: add by m2/dev
2ZJ1383P29 2ZJ1383P29
| URI | m2://inv/2ZJ1383P29 |
|---|---|
| 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.30097#0M1R (statement)
History
- 2026-11-01: add by m2/v0.6.15
2ZJ8DPFBNC 2ZJ8DPFBNC
| URI | m2://inv/2ZJ8DPFBNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#YZ7H (statement). In WNDHZVY4WK/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Least upper bound 2ZJ8TNXHGS
| URI | m2://inv/2ZJ8TNXHGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#QANY, Least upper bound (definition)
History
- 2026-11-02: add by m2/dev
Eckmann–Hilton argument 2ZJDQAJ37W
| URI | m2://inv/2ZJDQAJ37W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Eckmann–Hilton argument EJJYCPWHPA |
Mentions
- wikidata: Wikidata Q5332932, Eckmann–Hilton argument (statement). Also nLab Eckmann-Hilton argument
- wikipedia: Wikipedia Eckmann–Hilton argument, Eckmann–Hilton argument (definition). Also Wikidata Q5332932
History
- 2026-10-26: add by m2/dev
2ZJECD3DZK 2ZJECD3DZK
| URI | m2://inv/2ZJECD3DZK |
|---|---|
| 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 2609.34852#WC0A (statement). In TZXEMCBK5V/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Khinchin integral 2ZJQRP7FGW
| URI | m2://inv/2ZJQRP7FGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khinchin integral, Khinchin integral (definition). Also Wikidata Q6401692
History
- 2026-11-02: add by m2/dev
2ZJSZY3MFA 2ZJSZY3MFA
| URI | m2://inv/2ZJSZY3MFA |
|---|---|
| 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 2609.37739#CSBX (statement). In F5XF5VXTXY/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
2ZJTGVSAPR 2ZJTGVSAPR
| URI | m2://inv/2ZJTGVSAPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-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.21960#48FQ (definition). In QX77AN49J0/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.4.2
2ZJW16C0YZ 2ZJW16C0YZ
| URI | m2://inv/2ZJW16C0YZ |
|---|---|
| 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#P1M5 (statement). In 5BCTP0B6Q1/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
2ZKDJWW261 2ZKDJWW261
| URI | m2://inv/2ZKDJWW261 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.18101#77PM (statement). In XXN6KKXPYF/e1, lemma 7.11
History
- 2026-10-28: add by m2/v0.4.2
Definition 2ZKFH4RC2Z
| URI | m2://inv/2ZKFH4RC2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin boundary condition#G8NO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Open Graph Theorem 2ZKK27Y099
| URI | m2://inv/2ZKK27Y099 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#55I5, Open Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 2ZKKR2DT1T
| URI | m2://inv/2ZKKR2DT1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type and cotype of a Banach space#0GVS, Definition (definition)
History
- 2026-11-02: add by m2/dev
2ZKP3YFPEC 2ZKP3YFPEC
| URI | m2://inv/2ZKP3YFPEC |
|---|---|
| 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 2609.35678#NE8J (statement). In 4X4ZS7CEKD/e1, proposition 20
History
- 2026-10-30: add by m2/v0.4.12
quotient set 2ZKR7AM3JN
| URI | m2://inv/2ZKR7AM3JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Quotient set 0011MTQMR6 |
Mentions
- wikidata: Wikidata Q3966112, quotient set (definition). Also MathWorld QuotientSet, nLab quotient set, ProofWiki Definition:Quotient_Set
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
height 2ZKYYSMKNV
| URI | m2://inv/2ZKYYSMKNV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/height, height (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
2ZKZKS4D4T 2ZKZKS4D4T
| URI | m2://inv/2ZKZKS4D4T |
|---|---|
| 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.04252#SEG0 (statement). In ZF0Z61VQ96/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.12
Quantum Markov chain 2ZM3YZ8104
| URI | m2://inv/2ZM3YZ8104 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Markov chain, Quantum Markov chain (definition). Also Wikidata Q7268996
History
- 2026-11-02: add by m2/dev
Gram-Schmidt process 2ZMHXQSFDN
| URI | m2://inv/2ZMHXQSFDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Gram–Schmidt process 0VT6P0GNQR |
Mentions
- wikidata: Wikidata Q475239, Gram-Schmidt process (statement). Also EoM Orthogonalization, MathWorld Gram-SchmidtOrthonormalization, nLab Gram-Schmidt process, ProofWiki Gram-Schmidt_Orthogonalization
- wikipedia: Wikipedia Gram–Schmidt process, Gram–Schmidt process (definition). Also Wikidata Q475239
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
tungsten-180 2ZMK6JKSKW
| URI | m2://inv/2ZMK6JKSKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18882857, tungsten-180 (definition). Also ProofWiki Definition:Tungsten/180
History
- 2026-10-26: add by m2/dev
Algorithms 2ZMNT9NGJ1
| URI | m2://inv/2ZMNT9NGJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex hull algorithms#CNTM, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Martin J. Newell 2ZN0TVJ0SA
| URI | m2://inv/2ZN0TVJ0SA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin J. Newell, Martin J. Newell (topic). Also Wikidata Q6775775
History
- 2026-11-02: add by m2/dev
2ZN7BFHWQR 2ZN7BFHWQR
| URI | m2://inv/2ZN7BFHWQR |
|---|---|
| Kind | definition |
| 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.23834#188D (definition)
History
- 2026-11-02: add by m2/v0.6.17
2ZNAJQDR98 2ZNAJQDR98
| URI | m2://inv/2ZNAJQDR98 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 42.3
History
- 2026-11-01: add by m2/v0.6.13
Henkin sentence 2ZNFRDAF8J
| URI | m2://inv/2ZNFRDAF8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D9RC, Henkin sentence (definition)
History
- 2026-11-02: add by m2/dev
Definition 2ZP49K104X
| URI | m2://inv/2ZP49K104X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean space#54ZF, Definition (definition)
History
- 2026-11-02: add by m2/dev
2ZP95EAABV 2ZP95EAABV
| URI | m2://inv/2ZP95EAABV |
|---|---|
| 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.15169#TAHF (statement). In V7SN19J84T/e1, corollary E
History
- 2026-10-28: add by m2/v0.4.2
2ZPNX9PE7E 2ZPNX9PE7E
| URI | m2://inv/2ZPNX9PE7E |
|---|---|
| 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 2610.07299#SFAJ (statement). In M70KP0BZ99/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
2ZPRSEE8YP 2ZPRSEE8YP
| URI | m2://inv/2ZPRSEE8YP |
|---|---|
| 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.06466#JR09 (statement). In 6W451V3N75/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Algorithm 2ZPY119ZMN
| URI | m2://inv/2ZPY119ZMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKT algorithm#336U, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
p-value 2ZPZ4DXQ18
| URI | m2://inv/2ZPZ4DXQ18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#ZXFR, p-value (definition)
History
- 2026-11-02: add by m2/dev
2ZQEMPXM90 2ZQEMPXM90
| URI | m2://inv/2ZQEMPXM90 |
|---|---|
| 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.03555#5YGX (statement). In 9JZJTRRVR1/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.12
Examples 2ZQFD94PNK
| URI | m2://inv/2ZQFD94PNK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Case–control study#IAQW, Examples (example)
History
- 2026-11-02: add by m2/dev
2ZQHJX2T3Q 2ZQHJX2T3Q
| URI | m2://inv/2ZQHJX2T3Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
Matsumoto--Amano count 2ZQYHJ2YT4
| URI | m2://inv/2ZQYHJ2YT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2609.37368#6PNY, Matsumoto--Amano count (statement). In FRMCKEGVJZ/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Local contractibility 2ZR13TZC7J
| URI | m2://inv/2ZR13TZC7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contractible space#K6X1, Local contractibility (unknown)
History
- 2026-11-02: add by m2/dev
V. I. Ponomarev 2ZR2VN9WQ1
| URI | m2://inv/2ZR2VN9WQ1 |
|---|---|
| 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#REY9, V. I. Ponomarev (unknown)
History
- 2026-11-02: add by m2/dev
Construction 2ZR70Y7BWN
| URI | m2://inv/2ZR70Y7BWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bankoff circle#MT42, Construction (definition)
History
- 2026-11-02: add by m2/dev
2ZRCY7JQJV 2ZRCY7JQJV
| URI | m2://inv/2ZRCY7JQJV |
|---|---|
| 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.04809#CE5U (statement). In 2VHV0RNTNV/e1, theorem 7.24
History
- 2026-10-29: add by m2/v0.4.12
Huzurbazar, Aparna V. 2ZRDX2Y5RF
| URI | m2://inv/2ZRDX2Y5RF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WXJ4, Huzurbazar, Aparna V. (topic)
History
- 2026-11-02: add by m2/dev
Monotonicity under local operations on $B$ 2ZRENYA7W1
| URI | m2://inv/2ZRENYA7W1 |
|---|---|
| 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.00571#2M8Q, Monotonicity under local operations on $B$ (statement). In W50NNC2MJS/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
2ZRER4SH05 2ZRER4SH05
| URI | m2://inv/2ZRER4SH05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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 2609.31883#64ZY (statement). In XBHQRTBH62/e1, theorem 2.8
History
- 2026-10-31: add by m2/v0.5.6
A large cycle with three updated edges 2ZRMR5RHNN
| URI | m2://inv/2ZRMR5RHNN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.14310#85XQ, A large cycle with three updated edges (example). In 8GSG7024NW/e1, example 7.12
History
- 2026-10-28: add by m2/v0.4.2
Example 2ZRP3C3RXB
| URI | m2://inv/2ZRP3C3RXB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial approximation#6UC8, Example (example)
History
- 2026-11-02: add by m2/dev
General definition 2ZS0XFKHMZ
| URI | m2://inv/2ZS0XFKHMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear fractional transformation#586C, General definition (definition)
History
- 2026-11-02: add by m2/dev
Narutaka Ozawa 2ZS3FKGB18
| URI | m2://inv/2ZS3FKGB18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narutaka Ozawa, Narutaka Ozawa (topic). Also Wikidata Q11462400
History
- 2026-11-02: add by m2/dev
Modern logic 2ZS80292TQ
| URI | m2://inv/2ZS80292TQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of logic#HLF1, Modern logic (unknown)
History
- 2026-11-02: add by m2/dev
2ZSAB298EJ 2ZSAB298EJ
| URI | m2://inv/2ZSAB298EJ |
|---|---|
| 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 2610.07190#5U7Y (statement). In ZWS6Q4467X/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Constructible function 2ZSBWYKM29
| URI | m2://inv/2ZSBWYKM29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#6IZ4, Constructible function (definition)
History
- 2026-11-02: add by m2/dev
2ZSG3KVHMG 2ZSG3KVHMG
| URI | m2://inv/2ZSG3KVHMG |
|---|---|
| Kind | definition |
| 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.03497#3IL1 (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
2ZSGM6DB9M 2ZSGM6DB9M
| URI | m2://inv/2ZSGM6DB9M |
|---|---|
| Kind | definition |
| 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.23941#KJTW (definition)
History
- 2026-11-02: add by m2/v0.6.17
2ZSJJ7DC06 2ZSJJ7DC06
| URI | m2://inv/2ZSJJ7DC06 |
|---|---|
| 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#E3OR (statement). In ZJQB9W60T6/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
Hilbert's third problem 2ZSQ708XT3
| URI | m2://inv/2ZSQ708XT3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert's third problem 81035XQ5HE |
Mentions
- wikidata: Wikidata Q2667025, Hilbert's third problem (problem). Also MathWorld DehnInvariant
- wikipedia: Wikipedia Hilbert's third problem, Hilbert's third problem (problem). Also Wikidata Q2667025
History
- 2026-10-26: add by m2/dev
$\lambda$-abstraction 2ZSRW28FGQ
| URI | m2://inv/2ZSRW28FGQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/lambda-abstraction, $\lambda$-abstraction (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
2ZSVQSW29T 2ZSVQSW29T
| URI | m2://inv/2ZSVQSW29T |
|---|---|
| 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.21017#29C7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 2ZTQ066P25
| URI | m2://inv/2ZTQ066P25 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percentile#91AK, Applications (example)
History
- 2026-11-02: add by m2/dev
Hyperprism 2ZV2088H6F
| URI | m2://inv/2ZV2088H6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism (geometry)#6OOA, Hyperprism (unknown)
History
- 2026-11-02: add by m2/dev
2ZV2PXJC5Z 2ZV2PXJC5Z
| URI | m2://inv/2ZV2PXJC5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 1209.5343#H1FJ (definition). In 4SPYEGKZ8J/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
2ZV8F60866 2ZV8F60866
| URI | m2://inv/2ZV8F60866 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21260#O7FH (statement). In Z7WW536KA5/e1, theorem D
History
- 2026-10-27: add by m2/v0.4.2
Hodge 2ZVBCR1SM7
| URI | m2://inv/2ZVBCR1SM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OW0X, Hodge (definition)
History
- 2026-11-02: add by m2/dev
Theorem: Marked STC 2ZVC1QE47K
| URI | m2://inv/2ZVC1QE47K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson-type random measure#VKBR, Theorem: Marked STC (statement)
History
- 2026-11-02: add by m2/dev
even function 2ZVD2B97ZJ
| URI | m2://inv/2ZVD2B97ZJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.4.1/even-function, even function (concept). In E9HS8K3A52, index, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
Henrik Selberg 2ZVERTKV0B
| URI | m2://inv/2ZVERTKV0B |
|---|---|
| Kind | topic |
| 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#YXTR, Henrik Selberg (topic)
History
- 2026-11-02: add by m2/dev
power series coefficients 2ZVZ8ESDVJ
| URI | m2://inv/2ZVZ8ESDVJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.1/power-series-coefficients, power series coefficients (concept). In E9HS8K3A52, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Inscribed figure 2ZW0QTE9T1
| URI | m2://inv/2ZW0QTE9T1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed figure, Inscribed figure (definition). Also Wikidata Q1066790
History
- 2026-11-02: add by m2/dev
2ZW2HA61H5 2ZW2HA61H5
| URI | m2://inv/2ZW2HA61H5 |
|---|---|
| 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.30090#2XLS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shiraz Minwalla 2ZW5YTWA3Z
| URI | m2://inv/2ZW5YTWA3Z |
|---|---|
| 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 Q2279314, Shiraz Minwalla (unknown). Also nLab Shiraz Minwalla
History
- 2026-10-26: add by m2/dev
Lorenz system 2ZW7VRD8XH
| URI | m2://inv/2ZW7VRD8XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899844, Lorenz system (unknown). Also MathWorld LorenzAttractor
- wikipedia: Wikipedia Lorenz system, Lorenz system (definition). Also Wikidata Q899844
History
- 2026-10-26: add by m2/dev
differentiable functions on an open subset of $\R^n$ 2ZWN3BHY8D
| URI | m2://inv/2ZWN3BHY8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > differentiable functions on an open subset of $\R^n$, differentiable functions on an open subset of $\R^n$ (unknown). Also Mathlib DifferentiableOn
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > holomorphic functions, holomorphic functions (unknown). Also Mathlib DifferentiableOn
History
- 2026-10-26: add by m2/dev
2ZWPHXCNF3 2ZWPHXCNF3
| URI | m2://inv/2ZWPHXCNF3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
tetracontagon 2ZX03TVPBZ
| URI | m2://inv/2ZX03TVPBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16919645, tetracontagon (unknown). Also MathWorld Tetracontagon
History
- 2026-10-26: add by m2/dev
A canonical $\mathbb Z_2$-grading 2ZX16XG8YJ
| URI | m2://inv/2ZX16XG8YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.25353#BDOA, A canonical $\mathbb Z_2$-grading (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reed-Solomon list decoding 2ZX5ASGB12
| URI | m2://inv/2ZX5ASGB12 |
|---|---|
| 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.12357#ACI5, Reed-Solomon list decoding (statement). In 1F26AF81XP/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
2ZXSNFHMEW 2ZXSNFHMEW
| URI | m2://inv/2ZXSNFHMEW |
|---|---|
| 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.01737#FGT5 (statement). In M4JGP708F4/e1, lemma 4.22
History
- 2026-10-29: add by m2/v0.4.12
Claire McKay Bowen 2ZXSYGCXBH
| URI | m2://inv/2ZXSYGCXBH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claire McKay Bowen, Claire McKay Bowen (topic). Also Wikidata Q126223145
History
- 2026-11-02: add by m2/dev
Hotaru Beam 2ZXT6SY4TD
| URI | m2://inv/2ZXT6SY4TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hotaru Beam, Hotaru Beam (definition). Also Wikidata Q14405896
History
- 2026-11-02: add by m2/dev
2ZY1GDCAK8 2ZY1GDCAK8
| URI | m2://inv/2ZY1GDCAK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.10967#R0G5 (example). In J5B682ZHYV/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.3
2ZY2VBED91 2ZY2VBED91
| URI | m2://inv/2ZY2VBED91 |
|---|---|
| Kind | definition |
| 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.00144#AS0V (definition). In HAZGBX88B3/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Statement 2ZY6MBPDPZ
| URI | m2://inv/2ZY6MBPDPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell's informativeness theorem#1105, Statement (statement)
History
- 2026-11-02: add by m2/dev
A Generalization 2ZY6Z6YRBA
| URI | m2://inv/2ZY6Z6YRBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubinstein bargaining model#QN2D, A Generalization (statement)
History
- 2026-11-02: add by m2/dev
Rhombic dodecahedral honeycomb 2ZY8K3XG8K
| URI | m2://inv/2ZY8K3XG8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1IJL, Rhombic dodecahedral honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#W6SA, Rhombic dodecahedral honeycomb (definition)
History
- 2026-11-02: add by m2/dev
2ZY8T8YVVC 2ZY8T8YVVC
| URI | m2://inv/2ZY8T8YVVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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 2609.37520#FHJI (statement). In BDN507RN7J/e1, corollary 3.8.4
History
- 2026-10-30: add by m2/v0.4.12
2ZYCH0F69V 2ZYCH0F69V
| URI | m2://inv/2ZYCH0F69V |
|---|---|
| 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 2610.14318#WJWG (statement). In HA4SZZJ831/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Moment functionals of the matrix \(\mathscr H_{(a)}\ 2ZYHC5KA5Q
| URI | m2://inv/2ZYHC5KA5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-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.26066#ESGO, Moment functionals of the matrix \(\mathscr H_{(a)}\ (definition)
History
- 2026-11-01: add by m2/v0.6.15
basis 2ZYQWNC9NF
| URI | m2://inv/2ZYQWNC9NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#TTVT, basis (definition)
History
- 2026-11-02: add by m2/dev
Maximum power theorem 2ZYR7S75AT
| URI | m2://inv/2ZYR7S75AT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#A114, Maximum power theorem (statement)
History
- 2026-11-02: add by m2/dev
The /principle/theorem 2ZYVRYPSYK
| URI | m2://inv/2ZYVRYPSYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafilter on a set#0H3O, The /principle/theorem (statement)
History
- 2026-11-02: add by m2/dev
2ZZ2V5WMR2 2ZZ2V5WMR2
| URI | m2://inv/2ZZ2V5WMR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.18620#7VUL (statement). In 6WJ0R9YEBR/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
2ZZ3DZBTAY 2ZZ3DZBTAY
| URI | m2://inv/2ZZ3DZBTAY |
|---|---|
| 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.12683#JO4W (statement). In N5ZFFWV3RX/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
2ZZ4GSH9A0 2ZZ4GSH9A0
| URI | m2://inv/2ZZ4GSH9A0 |
|---|---|
| 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 2508.01642#K7AG (statement). In CD9T8ZFES1/e1, theorem 3.3.2
History
- 2026-10-27: add by m2/v0.3.6
Andrei Linde 2ZZAWV8ECA
| URI | m2://inv/2ZZAWV8ECA |
|---|---|
| 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 Q368087, Andrei Linde (unknown). Also nLab Andrei Linde
History
- 2026-10-26: add by m2/dev
Venn diagram 2ZZG6CAFCV
| URI | m2://inv/2ZZG6CAFCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#057K, Venn diagram (definition)
History
- 2026-11-02: add by m2/dev
2ZZYA9V8E8 2ZZYA9V8E8
| URI | m2://inv/2ZZYA9V8E8 |
|---|---|
| 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 1912.08672#4QC9 (statement). In 55X5V0M3K7/e1, lemma
History
- 2026-10-27: add by m2/v0.3.6