Inventory rows 93
The cards of the rows of the inventory whose ids start with 93. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Mere addition paradox 9302HRPM7Z
| URI | m2://inv/9302HRPM7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mere addition paradox, Mere addition paradox (statement). Also Wikidata Q5620634
History
- 2026-11-02: add by m2/dev
Mixing-regularization objects 930EFSEHNE
| URI | m2://inv/930EFSEHNE |
|---|---|
| Kind | definition |
| 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.14988#CR19, Mixing-regularization objects (definition). In B29M4E6KGC/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Uniformly convex Gibbs laws 930FHS9S4D
| URI | m2://inv/930FHS9S4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#ZVDA, Uniformly convex Gibbs laws (statement). In MZ60NP20BH/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.4.0
930JRDC79A 930JRDC79A
| URI | m2://inv/930JRDC79A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2603.07541#8SVZ (example). In X3RFXWN6FW/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.6
930KXY1B4A 930KXY1B4A
| URI | m2://inv/930KXY1B4A |
|---|---|
| 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.06707#XO2A (statement). In 9TR5E527P5/e1, lemma 6.33
History
- 2026-10-29: add by m2/v0.4.10
Homological stability 930MCSXP1K
| URI | m2://inv/930MCSXP1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological stability, Homological stability (definition). Also Wikidata Q28455886
History
- 2026-11-02: add by m2/dev
Properties 930SR6N816
| URI | m2://inv/930SR6N816 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conley index theory#JY2Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
930V2H46TR 930V2H46TR
| URI | m2://inv/930V2H46TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#P6HD (statement). In YY4KFNMPC0/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
A theorem 930VS99HZJ
| URI | m2://inv/930VS99HZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberg–Hastings cellular automaton#BM9T, A theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 9313MPWHT8
| URI | m2://inv/9313MPWHT8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#U7GD, Example (example)
History
- 2026-11-02: add by m2/dev
93144KJNTV 93144KJNTV
| URI | m2://inv/93144KJNTV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.21703#CSKN (definition)
History
- 2026-11-02: add by m2/v0.6.18
Kill the Winner hypothesis 93181RVBZ6
| URI | m2://inv/93181RVBZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kill the Winner hypothesis, Kill the Winner hypothesis (statement). Also Wikidata Q28458087
History
- 2026-11-02: add by m2/dev
Gnomon 931A2CVV7F
| URI | m2://inv/931A2CVV7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#CDTI, Gnomon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6S2E, Gnomon (definition)
History
- 2026-11-02: add by m2/dev
931AXEM2DH 931AXEM2DH
| URI | m2://inv/931AXEM2DH |
|---|---|
| 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 2007.14459#K3JU (definition). In SGQ7VFEZ22/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
931B2T3S6N 931B2T3S6N
| URI | m2://inv/931B2T3S6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36877#QV4H (statement). In FYS6VV5M99/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
adding vectors 931KNN5VAX
| URI | m2://inv/931KNN5VAX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.1/adding-vectors, adding vectors (concept). In E9HS8K3A52, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
931MHVNTJD 931MHVNTJD
| URI | m2://inv/931MHVNTJD |
|---|---|
| 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.30933#WKKZ (statement). In KXWYE4SJY3/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
931NXX1CK7 931NXX1CK7
| URI | m2://inv/931NXX1CK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#A0SQ (statement). In 2W5Z97BBW4/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
931PCSVCSC 931PCSVCSC
| URI | m2://inv/931PCSVCSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 931RKQDPMT
| URI | m2://inv/931RKQDPMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meander (mathematics)#48ID, Examples (example)
History
- 2026-11-02: add by m2/dev
932440H5YP 932440H5YP
| URI | m2://inv/932440H5YP |
|---|---|
| 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.13513#BMXM (statement). In BAGX2TDXM4/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Inequality constraints 9325KBCWFY
| URI | m2://inv/9325KBCWFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constrained optimization#DXOW, Inequality constraints (statement)
History
- 2026-11-02: add by m2/dev
9325P96TRN 9325P96TRN
| URI | m2://inv/9325P96TRN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#ZFDQ (definition). In 6HP7BR9WZM/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Examples 9329NFPADK
| URI | m2://inv/9329NFPADK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global dimension#JHZB, Examples (example)
History
- 2026-11-02: add by m2/dev
Word problem for groups 932D2ZPET7
| URI | m2://inv/932D2ZPET7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word problem for groups, Word problem for groups (problem). Also Wikidata Q8034369
History
- 2026-11-02: add by m2/dev
932F1YHJ03 932F1YHJ03
| URI | m2://inv/932F1YHJ03 |
|---|---|
| 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 math/9802134#49EQ (statement). In 235B1J1ETB/e1, lemma 4.14
History
- 2026-10-27: add by m2/v0.3.5
932HFPT6EB 932HFPT6EB
| URI | m2://inv/932HFPT6EB |
|---|---|
| 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.00247#G91I (statement). In ZAM4S2XS9F/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Definition and examples 932JC66T81
| URI | m2://inv/932JC66T81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonal number#H1NL, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Sophia Foster Richardson 932KXA9VVB
| URI | m2://inv/932KXA9VVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophia Foster Richardson, Sophia Foster Richardson (topic). Also Wikidata Q18912086
History
- 2026-11-02: add by m2/dev
Statement 932WAPNHTG
| URI | m2://inv/932WAPNHTG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pickands–Balkema–De Haan theorem#9ILE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Australian Signals Directorate 932Z4ACGGD
| URI | m2://inv/932Z4ACGGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Australian Signals Directorate, Australian Signals Directorate (definition). Also Wikidata Q267707
History
- 2026-11-02: add by m2/dev
93317TTV52 93317TTV52
| URI | m2://inv/93317TTV52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#BHDC (statement). In 60CK7P5F36/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Evert Willem Beth 9334AJA6NP
| URI | m2://inv/9334AJA6NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#CX7I, Evert Willem Beth (topic)
History
- 2026-11-02: add by m2/dev
Cryptographic key 9334VBZ19D
| URI | m2://inv/9334VBZ19D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#Y6BW, Cryptographic key (definition)
History
- 2026-11-02: add by m2/dev
Molecule 9335ZVMJCK
| URI | m2://inv/9335ZVMJCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.38061#I7SE, Molecule (definition). In XFBW60M3AR/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Finite annotation representation 933CPB5A0D
| URI | m2://inv/933CPB5A0D |
|---|---|
| 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 2609.20789#PJV2, Finite annotation representation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Linda Gage 933DEYY4MM
| URI | m2://inv/933DEYY4MM |
|---|---|
| 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#NZS9, Linda Gage (unknown)
History
- 2026-11-02: add by m2/dev
933EHA1EPD 933EHA1EPD
| URI | m2://inv/933EHA1EPD |
|---|---|
| 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.00525#S7TP (statement). In JN34PDDXH8/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
Extension 933SJ11J1G
| URI | m2://inv/933SJ11J1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21662#328Z, Extension (statement). In 25B3WHEKH2/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.4.2
Examples 9344VMGEH2
| URI | m2://inv/9344VMGEH2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hilbert correspondence#Q42U, Examples (example)
History
- 2026-11-02: add by m2/dev
\textit{Torsion modules 9344Z3H1KJ
| URI | m2://inv/9344Z3H1KJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 0902.4012#CPQF, \textit{Torsion modules (example). In 6FH16YESRH/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Examples 93454NF1E6
| URI | m2://inv/93454NF1E6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor#WQKZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Category of co-cones 9346NFMD37
| URI | m2://inv/9346NFMD37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone (category theory)#UG67, Category of co-cones (unknown)
History
- 2026-11-02: add by m2/dev
93479WEBNW 93479WEBNW
| URI | m2://inv/93479WEBNW |
|---|---|
| Kind | statement |
| 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.22326#Y9HP (statement). In EAABRG99V8/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.4.0
Paint by number 934G63W7WB
| URI | m2://inv/934G63W7WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paint by number, Paint by number (definition). Also Wikidata Q1887135
History
- 2026-11-02: add by m2/dev
Higher spin alternating sign matrix 934HAXWWZD
| URI | m2://inv/934HAXWWZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher spin alternating sign matrix, Higher spin alternating sign matrix (definition). Also Wikidata Q5758413
History
- 2026-11-02: add by m2/dev
Kenneth A. Bollen 934J9JPS31
| URI | m2://inv/934J9JPS31 |
|---|---|
| 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#V1OS, Kenneth A. Bollen (topic)
History
- 2026-11-02: add by m2/dev
Unital Magma 934K71MRNN
| URI | m2://inv/934K71MRNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magma (algebra)#96IZ, Unital Magma (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet Process 934KFXPZG8
| URI | m2://inv/934KFXPZG8 |
|---|---|
| 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 2610.21340#CBOA, Dirichlet Process (definition). In AEYX7SEVBG/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
934KT5PAAB 934KT5PAAB
| URI | m2://inv/934KT5PAAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#HBAP (statement). In R0Q0RV8XCF/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.2
banner graph 934RJWVQHS
| URI | m2://inv/934RJWVQHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115457, banner graph (unknown). Also House of Graphs 206, MathWorld BannerGraph
History
- 2026-10-26: add by m2/dev
Giambelli formula 934Y1RKE0P
| URI | m2://inv/934Y1RKE0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schubert calculus#D9L8, Giambelli formula (statement)
History
- 2026-11-02: add by m2/dev
935J62E5HX 935J62E5HX
| URI | m2://inv/935J62E5HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13707#0JXW (statement). In 3564GWRNSF/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
935S7PKSZ5 935S7PKSZ5
| URI | m2://inv/935S7PKSZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#DQI8 (definition). In SVJYA0171G/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Herglotz-Riesz representation theorem for holomorphic functions 935S7XR4J3
| URI | m2://inv/935S7XR4J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive harmonic function#X48R, Herglotz-Riesz representation theorem for holomorphic functions (statement)
History
- 2026-11-02: add by m2/dev
Chases and Escapes 9369VDS3D2
| URI | m2://inv/9369VDS3D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chases and Escapes, Chases and Escapes (definition). Also Wikidata Q96374830
History
- 2026-11-02: add by m2/dev
936ASJPGKC 936ASJPGKC
| URI | m2://inv/936ASJPGKC |
|---|---|
| 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 2609.23528#GCE7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Charles C. Lindner 936DJF6FE7
| URI | m2://inv/936DJF6FE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles C. Lindner, Charles C. Lindner (topic). Also Wikidata Q55007012
History
- 2026-11-02: add by m2/dev
Metric triangular cycles 936H02RAKA
| URI | m2://inv/936H02RAKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2501.09848#G4JI, Metric triangular cycles (statement). In HF7YNMW39N/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.4.0
936KGACVZF 936KGACVZF
| URI | m2://inv/936KGACVZF |
|---|---|
| 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.20391#FUUH (statement). In CTAS41TRM2/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
Special cases 936VNQKWD5
| URI | m2://inv/936VNQKWD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelogram#2ZLM, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Severus Sebokht 936Y37M7SH
| URI | m2://inv/936Y37M7SH |
|---|---|
| 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 Q2275364, Severus Sebokht (unknown). Also ProofWiki Mathematician:Severus_Sebokht
History
- 2026-10-26: add by m2/dev
Theorems 936Y508G0Q
| URI | m2://inv/936Y508G0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intuitionistic logic#NI2B, Theorems (statement)
History
- 2026-11-02: add by m2/dev
9372AYFVM7 9372AYFVM7
| URI | m2://inv/9372AYFVM7 |
|---|---|
| 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.26401#27HJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
9372JDG08R 9372JDG08R
| URI | m2://inv/9372JDG08R |
|---|---|
| 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.20285#22WO (statement). In RQA728RB77/e1, proposition 10
History
- 2026-10-27: add by m2/v0.4.2
Donald Allan Darling 9372P79DMZ
| URI | m2://inv/9372P79DMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Allan Darling, Donald Allan Darling (topic). Also Wikidata Q1239679
History
- 2026-11-02: add by m2/dev
Iitaka conjecture 9378BXNBVN
| URI | m2://inv/9378BXNBVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iitaka dimension#ZHIQ, Iitaka conjecture (statement)
History
- 2026-11-02: add by m2/dev
937CJG0J7W 937CJG0J7W
| URI | m2://inv/937CJG0J7W |
|---|---|
| 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.29531#2A1H (statement)
History
- 2026-11-01: add by m2/v0.6.15
937F1Z9KPV 937F1Z9KPV
| URI | m2://inv/937F1Z9KPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#M8YG (statement). In ZBQX9341RV/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
inductive step 937GZ4J5AC
| URI | m2://inv/937GZ4J5AC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.8/inductive-step, inductive step (concept). In QKM9DD2H56, index, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
Construction 937H474HKX
| URI | m2://inv/937H474HKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill tetrahedron#H3E7, Construction (definition)
History
- 2026-11-02: add by m2/dev
James E. Humphreys 937MF24PTP
| URI | m2://inv/937MF24PTP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James E. Humphreys, James E. Humphreys (topic). Also Wikidata Q1680315
History
- 2026-11-02: add by m2/dev
Falconer's conjecture 937MFYTXEZ
| URI | m2://inv/937MFYTXEZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QN5O, Falconer's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Hyman Levy 937NH4R59S
| URI | m2://inv/937NH4R59S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyman Levy, Hyman Levy (topic). Also Wikidata Q5956382
History
- 2026-11-02: add by m2/dev
9386WJDWN9 9386WJDWN9
| URI | m2://inv/9386WJDWN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#KMCS (statement). In F1CYVYK7YB/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.10
Small barrier from an integer codeword 9387C4ECEM
| URI | m2://inv/9387C4ECEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2610.04834#J7KL, Small barrier from an integer codeword (statement). In YZNK67K060/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.12
Principle of Mathematical Induction 938CE51CY3
| URI | m2://inv/938CE51CY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#thm:PMI2, Principle of Mathematical Induction (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Definitions 938CF6TCDG
| URI | m2://inv/938CF6TCDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral chi-squared distribution#RG5A, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Fred S. Roberts 938FRVCZRR
| URI | m2://inv/938FRVCZRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3KG9, Fred S. Roberts (topic)
History
- 2026-11-02: add by m2/dev
Applications 938KM7XHEG
| URI | m2://inv/938KM7XHEG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#0YHL, Applications (example)
History
- 2026-11-02: add by m2/dev
Barnes G-function 938KX196HH
| URI | m2://inv/938KX196HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Barnes G-function 7E2JJWFF00 |
Mentions
- wikidata: Wikidata Q808463, Barnes G-function (unknown). Also MathWorld BarnesG-Function
- wikipedia: Wikipedia Barnes G-function, Barnes G-function (definition). Also Wikidata Q808463
History
- 2026-10-26: add by m2/dev
938NJFS5T5 938NJFS5T5
| URI | m2://inv/938NJFS5T5 |
|---|---|
| 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 2209.00108#HA44 (statement). In V2G422ZMPW/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Golden ellipse 938RDX9NPR
| URI | m2://inv/938RDX9NPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden ellipse, Golden ellipse (definition). Also Wikidata Q114324220
History
- 2026-11-02: add by m2/dev
core of a clone 9390AMRGAW
| URI | m2://inv/9390AMRGAW |
|---|---|
| Kind | definition |
| 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 2610.12484#S5B1, core of a clone (definition). In GW23NX78SB/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Interest 9394JJNPW4
| URI | m2://inv/9394JJNPW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#8HZ9, Interest (unknown)
History
- 2026-11-02: add by m2/dev
939AKD8A3V 939AKD8A3V
| URI | m2://inv/939AKD8A3V |
|---|---|
| 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.20775#YVQD (statement). In XG27B81T0G/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.2
Properties 939BA7X7Q2
| URI | m2://inv/939BA7X7Q2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabotinsky matrix#R921, Properties (statement)
History
- 2026-11-02: add by m2/dev
Student's t-distribution 939GRDJF95
| URI | m2://inv/939GRDJF95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Student's t-distribution 09RTQRK5PC |
Mentions
- wikidata: Wikidata Q576072, Student's t-distribution (unknown). Also MathWorld Studentst-Distribution
- wikipedia: Wikipedia Student's t-distribution, Student's t-distribution (definition). Also Wikidata Q576072
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
939JGCJN8G 939JGCJN8G
| URI | m2://inv/939JGCJN8G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
orthogonal factorization system 939XS65QQK
| URI | m2://inv/939XS65QQK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.2/orthogonal-factorization-system, orthogonal factorization system (concept). In N54F33XE07, index, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
Poincaré–Bendixson theorem 93A5EXJFXA
| URI | m2://inv/93A5EXJFXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#INGK, Poincaré–Bendixson theorem (statement)
- wikipedia: Wikipedia List of things named after Henri Poincaré#1HXF, Poincaré–Bendixson theorem (statement)
History
- 2026-11-02: add by m2/dev
Stochastic resonance 93A7E5X4HD
| URI | m2://inv/93A7E5X4HD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1999781, Stochastic resonance (concept). Also MathWorld StochasticResonance
- wikipedia: Wikipedia Stochastic resonance, Stochastic resonance (definition). Also Wikidata Q1999781
History
- 2026-10-26: add by m2/dev
Borel function 93AAHV1QP9
| URI | m2://inv/93AAHV1QP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15895745, Borel function (unknown). Also EoM Borel_function
History
- 2026-10-26: add by m2/dev
The unit class, impredicativity, and the vicious circle principle 93AC5SWEAD
| URI | m2://inv/93AC5SWEAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logicism#RTON, The unit class, impredicativity, and the vicious circle principle (statement)
History
- 2026-11-02: add by m2/dev
93ADQN2E92 93ADQN2E92
| URI | m2://inv/93ADQN2E92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#UOJE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Method 93AXTD1TB6
| URI | m2://inv/93AXTD1TB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet transform#79YZ, Method (definition)
History
- 2026-11-02: add by m2/dev
93AYJ3JF1V 93AYJ3JF1V
| URI | m2://inv/93AYJ3JF1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-1 (statement). In E59CDZA4DP, prop, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
93B5KGDR23 93B5KGDR23
| URI | m2://inv/93B5KGDR23 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:vksuspnopt (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
pullback surjects to basic forms 93BT1WSAAC
| URI | m2://inv/93BT1WSAAC |
|---|---|
| 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 1408.1555#QNRB, pullback surjects to basic forms (statement). In S1F2QW24YW/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.3.5
93C6TH7R6N 93C6TH7R6N
| URI | m2://inv/93C6TH7R6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39946#AJW5 (statement). In ZTREM09NFT/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Definition 93CH82WT2S
| URI | m2://inv/93CH82WT2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3x + 1 semigroup#TQ7B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Threshold model 93CNACABGY
| URI | m2://inv/93CNACABGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Threshold model, Threshold model (definition). Also Wikidata Q7798106
History
- 2026-11-02: add by m2/dev
93CNV8V9X4 93CNV8V9X4
| URI | m2://inv/93CNV8V9X4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
isobaric 93CRBEBWG4
| URI | m2://inv/93CRBEBWG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#6UP1, isobaric (definition)
History
- 2026-11-02: add by m2/dev
Formula 93CW6VEARS
| URI | m2://inv/93CW6VEARS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theil index#Y1P6, Formula (statement)
History
- 2026-11-02: add by m2/dev
MLR 93D9ZA0FM7
| URI | m2://inv/93D9ZA0FM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13585#OIPY, MLR (definition). In VM1H86JNN7/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
93DAS4V477 93DAS4V477
| URI | m2://inv/93DAS4V477 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10380#FVK8 (statement). In 3RZXEJ9V9S/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
completion, Rezk 93DJ9KB7RC
| URI | m2://inv/93DJ9KB7RC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/completion-rezk, completion, Rezk (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Joachem Zowe 93DMSVH4MZ
| URI | m2://inv/93DMSVH4MZ |
|---|---|
| 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#VNQT, Joachem Zowe (unknown)
History
- 2026-11-02: add by m2/dev
Universal differential equation 93DNNP9Z26
| URI | m2://inv/93DNNP9Z26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#OUT6, Universal differential equation (definition)
History
- 2026-11-02: add by m2/dev
93DQSWWV6B 93DQSWWV6B
| URI | m2://inv/93DQSWWV6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#659N (statement). In 160PQ7F1AS/e1, theorem 4.30
History
- 2026-10-29: add by m2/v0.4.12
Bin Dong 93E0WE90GN
| URI | m2://inv/93E0WE90GN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bin Dong (mathematician), Bin Dong (topic). Also Wikidata Q141253719
History
- 2026-11-02: add by m2/dev
93E1JMZST8 93E1JMZST8
| URI | m2://inv/93E1JMZST8 |
|---|---|
| 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 2411.01837#T6GG (problem). In 2XBYZ1QP22/e1, problem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Steven Gubser 93E1MRSJWF
| URI | m2://inv/93E1MRSJWF |
|---|---|
| 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 Q373924, Steven Gubser (unknown). Also nLab Steven Gubser
History
- 2026-10-26: add by m2/dev
Bochner-Minlos 93EGXSWGVB
| URI | m2://inv/93EGXSWGVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#3M7P, Bochner-Minlos (statement). In GB0V23Q6C5/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
M/D/c queue 93ETJ9NNF9
| URI | m2://inv/93ETJ9NNF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/D/c queue, M/D/c queue (definition). Also Wikidata Q17097304
History
- 2026-11-02: add by m2/dev
Wiener integral 93EWY2H9BJ
| URI | m2://inv/93EWY2H9BJ |
|---|---|
| Kind | statement |
| 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.25026#13RA, Wiener integral (statement)
History
- 2026-11-01: add by m2/v0.6.15
93F7E9Q0N7 93F7E9Q0N7
| URI | m2://inv/93F7E9Q0N7 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#HE0S (unknown)
History
- 2026-11-01: add by m2/v0.6.15
93FAN9JNKE 93FAN9JNKE
| URI | m2://inv/93FAN9JNKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2610.14837#MAZB (statement). In J4P6HXMJCH/e1, corollary 7.2
History
- 2026-10-28: add by m2/v0.4.2
93FFT628WY 93FFT628WY
| URI | m2://inv/93FFT628WY |
|---|---|
| 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 0904.2839#8JHG (statement). In 2P34N0GWS1/e1, proposition 2.6.4
History
- 2026-10-27: add by m2/v0.3.5
Fermat number 93FJJS9TTW
| URI | m2://inv/93FJJS9TTW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#T860, Fermat number (conjecture)
History
- 2026-11-02: add by m2/dev
93FMGJPE0B 93FMGJPE0B
| URI | m2://inv/93FMGJPE0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02379#FTO4 (statement). In W9E40AZJ03/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
93FSY180WD 93FSY180WD
| URI | m2://inv/93FSY180WD |
|---|---|
| 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 2108.03672#8NO8 (definition). In EZZSZ1F071/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.0
Eratosthenes 93FX626TS9
| URI | m2://inv/93FX626TS9 |
|---|---|
| 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 Q43182, Eratosthenes (unknown). Also ProofWiki Mathematician:Eratosthenes_of_Cyrene
- wikipedia: Wikipedia Eratosthenes, Eratosthenes (topic). Also Wikidata Q43182
History
- 2026-10-26: add by m2/dev
93FXSJ2GHM 93FXSJ2GHM
| URI | m2://inv/93FXSJ2GHM |
|---|---|
| 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#S0L1 (statement). In 986DENWM1D/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.12
Consensus forecast 93FXX1VGQY
| URI | m2://inv/93FXX1VGQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TOD6, Consensus forecast (definition)
History
- 2026-11-02: add by m2/dev
93G3CCVAJX 93G3CCVAJX
| URI | m2://inv/93G3CCVAJX |
|---|---|
| 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.16785#ID8Z (statement). In SXQQZ2MYKV/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
Anti-de Sitter space 93GCBW4QN2
| URI | m2://inv/93GCBW4QN2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#MZKA, Anti-de Sitter space (object)
History
- 2026-11-02: add by m2/dev
Clive Selwyn Davis 93GCK645RK
| URI | m2://inv/93GCK645RK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clive Selwyn Davis, Clive Selwyn Davis (topic). Also Wikidata Q22958923
History
- 2026-11-02: add by m2/dev
Rafael de la Llave 93GDS961YQ
| URI | m2://inv/93GDS961YQ |
|---|---|
| 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#RGKR, Rafael de la Llave (unknown)
History
- 2026-11-02: add by m2/dev
Strong discrete compactness 93GEX7YR9K
| URI | m2://inv/93GEX7YR9K |
|---|---|
| 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.01501#I0A5, Strong discrete compactness (statement). In 8Q2PXZDGB5/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
93GK5QG7P1 93GK5QG7P1
| URI | m2://inv/93GK5QG7P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#ADDI (statement). In X765ZXXVC3/e1, proposition 4.26
History
- 2026-10-29: add by m2/v0.4.12
K-theory 93GP8P4KEQ
| URI | m2://inv/93GP8P4KEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-theory (physics), K-theory (definition). Also Wikidata Q17098372
History
- 2026-11-02: add by m2/dev
Link adaptation 93GYF8M52M
| URI | m2://inv/93GYF8M52M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#11YT, Link adaptation (unknown)
History
- 2026-11-02: add by m2/dev
93H4V276PA 93H4V276PA
| URI | m2://inv/93H4V276PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#K98R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms 93H6XQJHT5
| URI | m2://inv/93H6XQJHT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalue algorithm#V3OJ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Asynchrony 93HA9Z8H0C
| URI | m2://inv/93HA9Z8H0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asynchrony (game theory), Asynchrony (definition). Also Wikidata Q85743469
History
- 2026-11-02: add by m2/dev
codomain, of a function 93HAH7TZBA
| URI | m2://inv/93HAH7TZBA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/codomain-of-a-function, codomain, of a function (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
93HCTBJDNZ 93HCTBJDNZ
| URI | m2://inv/93HCTBJDNZ |
|---|---|
| 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.38838#LG1U (statement). In 3EH8M9GWTX/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Zhu Shijie 93HR6R4N71
| URI | m2://inv/93HR6R4N71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#VWFH, Zhu Shijie (unknown)
History
- 2026-11-02: add by m2/dev
Functional decomposition 93HRDW37FF
| URI | m2://inv/93HRDW37FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional decomposition, Functional decomposition (definition). Also Wikidata Q5215396
History
- 2026-11-02: add by m2/dev
Combinatorial optimization 93HZEJFW6N
| URI | m2://inv/93HZEJFW6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#U6ZA, Combinatorial optimization (topic)
History
- 2026-11-02: add by m2/dev
Gaussian-binomial endpoint decomposition 93JE5GMZHK
| URI | m2://inv/93JE5GMZHK |
|---|---|
| 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.24541#3G6W, Gaussian-binomial endpoint decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Barnaba Tortolini 93JHDS8ERK
| URI | m2://inv/93JHDS8ERK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnaba Tortolini, Barnaba Tortolini (topic). Also Wikidata Q4861321
History
- 2026-11-02: add by m2/dev
93JKZCW2J8 93JKZCW2J8
| URI | m2://inv/93JKZCW2J8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#DIQE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hessian equation 93JN4CPZCS
| URI | m2://inv/93JN4CPZCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian equation, Hessian equation (definition). Also Wikidata Q17023339
History
- 2026-11-02: add by m2/dev
Properties 93JPW5ECBM
| URI | m2://inv/93JPW5ECBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feigenbaum constants#L163, Properties (statement)
History
- 2026-11-02: add by m2/dev
93K4V7T2H8 93K4V7T2H8
| URI | m2://inv/93K4V7T2H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#M3XW (statement). In 9H45HQE7AZ/e1, proposition 6.9
History
- 2026-10-27: add by m2/v0.3.5
Oded Schramm 93KAHMD35W
| URI | m2://inv/93KAHMD35W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oded Schramm, Oded Schramm (topic). Also Wikidata Q923813
History
- 2026-11-02: add by m2/dev
List of mathematical functions 93KANV5FRA
| URI | m2://inv/93KANV5FRA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions, List of mathematical functions (topic). Also Wikidata Q1991505
History
- 2026-11-02: add by m2/dev
Edge-colour Lee--Yang polydisc 93KMARXCKP
| URI | m2://inv/93KMARXCKP |
|---|---|
| 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.12456#Q4AB, Edge-colour Lee--Yang polydisc (statement). In 5XPM4E03W6/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
93KMX38QDH 93KMX38QDH
| URI | m2://inv/93KMX38QDH |
|---|---|
| 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 2303.10963#8AH8 (statement). In F32XWYWG8E/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
Construction 93KN5T2031
| URI | m2://inv/93KN5T2031 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interlocking interval topology#1QRT, Construction (definition)
History
- 2026-11-02: add by m2/dev
Joseph Alphonso Pierce 93KWDF8MD1
| URI | m2://inv/93KWDF8MD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Alphonso Pierce, Joseph Alphonso Pierce (topic). Also Wikidata Q12892121
History
- 2026-11-02: add by m2/dev
Example 93KZ6JCRCZ
| URI | m2://inv/93KZ6JCRCZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recommender system#LYHE, Example (example)
History
- 2026-11-02: add by m2/dev
Robert W. Thomason 93M1NV73M1
| URI | m2://inv/93M1NV73M1 |
|---|---|
| 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#UWU2, Robert W. Thomason (unknown)
History
- 2026-11-02: add by m2/dev
93M5AJHAZB 93M5AJHAZB
| URI | m2://inv/93M5AJHAZB |
|---|---|
| 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 2609.39491#7J87 (statement). In 9R00V9TGVT/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
93MFND5N9A 93MFND5N9A
| URI | m2://inv/93MFND5N9A |
|---|---|
| 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 2609.26001#OK9P (statement)
History
- 2026-11-01: add by m2/v0.6.15
António Cabreira 93MKCEYBKT
| URI | m2://inv/93MKCEYBKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia António Cabreira, António Cabreira (topic). Also Wikidata Q16491266
History
- 2026-11-02: add by m2/dev
93MKGWAHJ8 93MKGWAHJ8
| URI | m2://inv/93MKGWAHJ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9908107#IJBM (definition). In Z69NDB0XM9/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Jonathan Ogden 93MKJPD8P5
| URI | m2://inv/93MKJPD8P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7RS7, Jonathan Ogden (unknown)
History
- 2026-11-02: add by m2/dev
93MS8SDJCW 93MS8SDJCW
| URI | m2://inv/93MS8SDJCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#fact-2 (statement). In RZP28ERRZV, fact, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Xin Zhou 93MXHAE84C
| URI | m2://inv/93MXHAE84C |
|---|---|
| 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#KNGA, Xin Zhou (topic)
History
- 2026-11-02: add by m2/dev
Coordinate rounding 93MYWJWX2Z
| URI | m2://inv/93MYWJWX2Z |
|---|---|
| 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 2609.38228#VNOE, Coordinate rounding (statement). In 9YAE8FNQST/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 93N0TVY1ZK
| URI | m2://inv/93N0TVY1ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small boundary property#8EQ4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tarski 93N3FJZZXM
| URI | m2://inv/93N3FJZZXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#0VG3, Tarski (statement). In YCRZC9SDCE/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties 93N5Z5AAW0
| URI | m2://inv/93N5Z5AAW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box topology#DU0H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Grothendieck's existence theorem 93N6YNQRMR
| URI | m2://inv/93N6YNQRMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quot scheme#8NC7, Grothendieck's existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Émile Léonard Mathieu 93N7Q3E7VD
| URI | m2://inv/93N7Q3E7VD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#6YIC, Émile Léonard Mathieu (topic)
History
- 2026-11-02: add by m2/dev
SOSEMANUK 93NH6YE0J4
| URI | m2://inv/93NH6YE0J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SOSEMANUK, SOSEMANUK (definition). Also Wikidata Q3943814
History
- 2026-11-02: add by m2/dev
Blow-up data at every energy level 93NPTNT5J1
| URI | m2://inv/93NPTNT5J1 |
|---|---|
| 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.15528#GOFL, Blow-up data at every energy level (statement). In G9GEE64N32/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Graph realization problem 93P7F0HEZ9
| URI | m2://inv/93P7F0HEZ9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph realization problem, Graph realization problem (problem). Also Wikidata Q18207520
History
- 2026-11-02: add by m2/dev
Multiple indices in social identity indexicality 93P8MXYF4W
| URI | m2://inv/93P8MXYF4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indexicality#ML98, Multiple indices in social identity indexicality (statement)
History
- 2026-11-02: add by m2/dev
Bayesian inference using Gibbs sampling 93PDW1ZCXH
| URI | m2://inv/93PDW1ZCXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference using Gibbs sampling, Bayesian inference using Gibbs sampling (definition). Also Wikidata Q4874473
History
- 2026-11-02: add by m2/dev
Applications 93PF0YY9WJ
| URI | m2://inv/93PF0YY9WJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level-set method#UTM4, Applications (example)
History
- 2026-11-02: add by m2/dev
Ruzsa triangle inequality 93PWV3QZW1
| URI | m2://inv/93PWV3QZW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#26AM, Ruzsa triangle inequality (statement)
History
- 2026-11-02: add by m2/dev
93PYAPKXFM 93PYAPKXFM
| URI | m2://inv/93PYAPKXFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#FNAB (statement). In GVR218P3ZR/e1, proposition 8.1.2
History
- 2026-10-30: add by m2/v0.4.12
Fine-tuning input-to-representation classification 93PZ3MP4GK
| URI | m2://inv/93PZ3MP4GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39190#K5T3, Fine-tuning input-to-representation classification (statement). In J144J3ANFZ/e1, theorem 5.20
History
- 2026-10-30: add by m2/v0.4.12
nonlinear, with external time-dependent field 93Q5J2RTWC
| URI | m2://inv/93Q5J2RTWC |
|---|---|
| Kind | example |
| 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 2405.04958#GVEA, nonlinear, with external time-dependent field (example). In 5HQJSF6458/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
uncia 93QBYFCDW7
| URI | m2://inv/93QBYFCDW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1645564, uncia (unknown). Also MathWorld Uncia
History
- 2026-10-26: add by m2/dev
B. V. Rajarama Bhat 93QCEEMCSY
| URI | m2://inv/93QCEEMCSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B. V. Rajarama Bhat, B. V. Rajarama Bhat (topic). Also Wikidata Q16147625
History
- 2026-11-02: add by m2/dev
Twist invariance 93QDBHWZTV
| URI | m2://inv/93QDBHWZTV |
|---|---|
| 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.10583#4LOL, Twist invariance (statement). In 5BZQS1KY9A/e1, lemma 2.14
History
- 2026-10-29: add by m2/v0.4.10
93QDCM9932 93QDCM9932
| URI | m2://inv/93QDCM9932 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#G4PN (statement). In NRF7379N9J/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Royal Spanish Mathematical Society 93QH0R9E91
| URI | m2://inv/93QH0R9E91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#9E5H, Royal Spanish Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
93QHDBXZ1A 93QHDBXZ1A
| URI | m2://inv/93QHDBXZ1A |
|---|---|
| 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.20165#09UA (statement). In QTD3BP5GA0/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.2
Construction 93QRMNT932
| URI | m2://inv/93QRMNT932 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer group#JSGQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Martingale certificate 93QSFMQ2JV
| URI | m2://inv/93QSFMQ2JV |
|---|---|
| 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.37425#MXWO, Martingale certificate (statement). In E02TSC01RN/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Generalizations 93QTRVDR9J
| URI | m2://inv/93QTRVDR9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrica's conjecture#Z7QQ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
93QZA09NJX 93QZA09NJX
| URI | m2://inv/93QZA09NJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#4BKH (statement). In 9DQKY7KGE8/e1, corollary 3.23
History
- 2026-10-27: add by m2/v0.3.5
Closed point 93R0FYCV27
| URI | m2://inv/93R0FYCV27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#39PV, Closed point (definition)
History
- 2026-11-02: add by m2/dev
Gordon–Luecke theorem 93R2PM71AM
| URI | m2://inv/93R2PM71AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon–Luecke theorem, Gordon–Luecke theorem (statement). Also Wikidata Q5586065
History
- 2026-11-02: add by m2/dev
maximum likelihood estimator 93R2XQZ0RP
| URI | m2://inv/93R2XQZ0RP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112892882, maximum likelihood estimator (unknown). Also MathWorld MaximumLikelihoodEstimator
History
- 2026-10-26: add by m2/dev
Notations 93R7VP1YZ7
| URI | m2://inv/93R7VP1YZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsor (algebraic geometry)#D27R, Notations (definition)
History
- 2026-11-02: add by m2/dev
Moore matrix 93RB8HYPC3
| URI | m2://inv/93RB8HYPC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore matrix, Moore matrix (definition). Also Wikidata Q6908274
History
- 2026-11-02: add by m2/dev
Akiva Yaglom 93RK6HK56J
| URI | m2://inv/93RK6HK56J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8QZQ, Akiva Yaglom (topic)
History
- 2026-11-02: add by m2/dev
A necessary additional adaptation price 93SAGKANN6
| URI | m2://inv/93SAGKANN6 |
|---|---|
| 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#0HMJ, A necessary additional adaptation price (statement). In X1FPG0KYBM/e1, corollary S.6
History
- 2026-10-28: add by m2/v0.4.2
GGA functional 93SB6FJKJN
| URI | m2://inv/93SB6FJKJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density functional theory#CXTT, GGA functional (unknown)
History
- 2026-11-02: add by m2/dev
93SECE7QHW 93SECE7QHW
| URI | m2://inv/93SECE7QHW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15643#7BWZ (conjecture). In 7QFBJCRPW1/e1, conjecture 3.8
History
- 2026-10-28: add by m2/v0.4.2
Definition 93SEEV6H5C
| URI | m2://inv/93SEEV6H5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor rank decomposition#QDZ9, Definition (definition)
History
- 2026-11-02: add by m2/dev
End extension 93SM5E9R9G
| URI | m2://inv/93SM5E9R9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End extension, End extension (definition). Also Wikidata Q5375818
History
- 2026-11-02: add by m2/dev
One-fill chordal graph 93SM8JYS60
| URI | m2://inv/93SM8JYS60 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-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 2610.19669#2FL1, One-fill chordal graph (definition). In 1QPAA94Q76/e1, definition 17
History
- 2026-10-28: add by m2/v0.4.2
93SP9MGP6S 93SP9MGP6S
| URI | m2://inv/93SP9MGP6S |
|---|---|
| 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.30664#NIYA (statement). In ZZGDNKDVJW/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
Janina Hosiasson-Lindenbaum 93SRY69N86
| URI | m2://inv/93SRY69N86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janina Hosiasson-Lindenbaum, Janina Hosiasson-Lindenbaum (topic). Also Wikidata Q3161974
History
- 2026-11-02: add by m2/dev
Applications 93T1XP5EYF
| URI | m2://inv/93T1XP5EYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawvere's fixed-point theorem#VPDR, Applications (example)
History
- 2026-11-02: add by m2/dev
Heart rate variability 93T3AW9D9J
| URI | m2://inv/93T3AW9D9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heart rate variability, Heart rate variability (definition). Also Wikidata Q933954
History
- 2026-11-02: add by m2/dev
Deformation theory 93T5QZEKP7
| URI | m2://inv/93T5QZEKP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#U65J, Deformation theory (topic)
History
- 2026-11-02: add by m2/dev
93TBXVST24 93TBXVST24
| URI | m2://inv/93TBXVST24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.25762#PYAH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 93TC64DTWD
| URI | m2://inv/93TC64DTWD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Security parameter#MS93, Examples (example)
History
- 2026-11-02: add by m2/dev
93TE3DR3C9 93TE3DR3C9
| URI | m2://inv/93TE3DR3C9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-6-3.xml#act-5-6-3 (exercise). In 907G4C4EJ1, activity, section 5.6.5
History
- 2026-11-01: add by m2/v0.6.13
93THKH33CC 93THKH33CC
| URI | m2://inv/93THKH33CC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#LWZM (definition)
History
- 2026-11-01: add by m2/v0.6.15
93TYCZ6RKP 93TYCZ6RKP
| URI | m2://inv/93TYCZ6RKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 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 2610.14060#O1VT (statement). In X47RYAZF8P/e1, lemma 6.17
History
- 2026-10-28: add by m2/v0.4.2
93TYG7BFYE 93TYG7BFYE
| URI | m2://inv/93TYG7BFYE |
|---|---|
| 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 2206.05392#FYV1 (statement). In 58D1ZC82DW/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
Rogers–Ramanujan identities 93VG4DNXMY
| URI | m2://inv/93VG4DNXMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#70C3, Rogers–Ramanujan identities (definition)
History
- 2026-11-02: add by m2/dev
93VQ1MP8P5 93VQ1MP8P5
| URI | m2://inv/93VQ1MP8P5 |
|---|---|
| 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 2609.22667#CYA0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
93VRH598MH 93VRH598MH
| URI | m2://inv/93VRH598MH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-18 (example). In E59CDZA4DP, example, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
Serge Lang 93VX4YM5Y6
| URI | m2://inv/93VX4YM5Y6 |
|---|---|
| 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 Q371948, Serge Lang (unknown). Also nLab Serge Lang
- wikipedia: Wikipedia Serge Lang, Serge Lang (topic). Also Wikidata Q371948
History
- 2026-10-26: add by m2/dev
Yoneda product 93VXF5WZ2R
| URI | m2://inv/93VXF5WZ2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoneda product, Yoneda product (definition). Also Wikidata Q25098917
History
- 2026-11-02: add by m2/dev
93W0D83PN9 93W0D83PN9
| URI | m2://inv/93W0D83PN9 |
|---|---|
| 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 2406.19866#DHCN (definition). In 9F94CEQ1ZM/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Jacobian curve 93W6H39SJP
| URI | m2://inv/93W6H39SJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian curve, Jacobian curve (definition). Also Wikidata Q6119657
History
- 2026-11-02: add by m2/dev
93WN2GJS7X 93WN2GJS7X
| URI | m2://inv/93WN2GJS7X |
|---|---|
| Kind | problem |
| 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.12691#00O3 (problem). In YVQKT91MYN/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
93WPF88JYQ 93WPF88JYQ
| URI | m2://inv/93WPF88JYQ |
|---|---|
| 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.20008#LC21 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z-factor 93WQS2WA4V
| URI | m2://inv/93WQS2WA4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LV1J, Z-factor (definition)
History
- 2026-11-02: add by m2/dev
E2 93WWZD0Q91
| URI | m2://inv/93WWZD0Q91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E2 (cipher), E2 (definition). Also Wikidata Q3045761
History
- 2026-11-02: add by m2/dev
93WXBZ47SY 93WXBZ47SY
| URI | m2://inv/93WXBZ47SY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#BGVS (unknown). In QNBFHFZ3H0/e1, unknown 30
History
- 2026-10-28: add by m2/v0.4.2
93X0SGNAGQ 93X0SGNAGQ
| URI | m2://inv/93X0SGNAGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.08186#2JNP (statement). In X6VGVPQH8V/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
93X5BS0Z3Q 93X5BS0Z3Q
| URI | m2://inv/93X5BS0Z3Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-9 (example). In E9HS8K3A52, example, section 2.5.3
History
- 2026-11-01: add by m2/v0.6.13
T-coercivity of $\mathcal{A}$ 93X6QDMYCF
| URI | m2://inv/93X6QDMYCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20145#QBXA, T-coercivity of $\mathcal{A}$ (statement). In HXKJ4MT1CX/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
93X8Y705C7 93X8Y705C7
| URI | m2://inv/93X8Y705C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#1076 (statement). In 7VW8XD28G1/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
93XNQ1VQ1V 93XNQ1VQ1V
| URI | m2://inv/93XNQ1VQ1V |
|---|---|
| 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.14080#0VS5 (statement). In 1DRD5FAJ4C/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Boundary collapse under monoidal blow-down 93Y2ZGSNWW
| URI | m2://inv/93Y2ZGSNWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#QXEK, Boundary collapse under monoidal blow-down (statement)
History
- 2026-11-01: add by m2/v0.6.15
93Y3KYDPCY 93Y3KYDPCY
| URI | m2://inv/93Y3KYDPCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2605.10911#9H34 (statement). In Y23VR7N90M/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
Kannan Soundararajan 93Y7AS91H4
| URI | m2://inv/93Y7AS91H4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#QT98, Kannan Soundararajan (topic)
History
- 2026-11-02: add by m2/dev
Combinatorial game theory 93Y7F881GF
| URI | m2://inv/93Y7F881GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#RB7T, Combinatorial game theory (definition)
History
- 2026-11-02: add by m2/dev
93YD7P12W0 93YD7P12W0
| URI | m2://inv/93YD7P12W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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 1003.5948#0SSK (statement). In 63MZDG4R4Q/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
93YG7B7PPM 93YG7B7PPM
| URI | m2://inv/93YG7B7PPM |
|---|---|
| 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.18358#A09Y (statement). In SPZ446XNDW/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Compilation into residual transformer blocks 93YMMFSBQN
| URI | m2://inv/93YMMFSBQN |
|---|---|
| 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.31458#C4JC, Compilation into residual transformer blocks (statement). In SNWC76WKWT/e1, lemma H.3
History
- 2026-10-31: add by m2/v0.5.6
Dispersion 93YSPH501B
| URI | m2://inv/93YSPH501B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersion (water waves), Dispersion (definition). Also Wikidata Q1229165
History
- 2026-11-02: add by m2/dev
93YZWKTTJF 93YZWKTTJF
| URI | m2://inv/93YZWKTTJF |
|---|---|
| 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.14080#0NUZ (statement). In 1DRD5FAJ4C/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
93ZDMCBFKY 93ZDMCBFKY
| URI | m2://inv/93ZDMCBFKY |
|---|---|
| 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 2610.10365#33ME (definition). In PRVQPSBVHK/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Applications 93ZGPH2B1D
| URI | m2://inv/93ZGPH2B1D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass–energy equivalence#GX9N, Applications (example)
History
- 2026-11-02: add by m2/dev
Axiomatic set theories 93ZJFVM4KD
| URI | m2://inv/93ZJFVM4KD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set theory#8JVO, Axiomatic set theories (unknown)
History
- 2026-11-02: add by m2/dev
average score to exact product calibration 93ZKGZSYVH
| URI | m2://inv/93ZKGZSYVH |
|---|---|
| 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 2609.38228#KVTO, average score to exact product calibration (statement). In 9YAE8FNQST/e1, theorem 23.13
History
- 2026-10-30: add by m2/v0.4.12
First arcsine law 93ZN3F040Y
| URI | m2://inv/93ZN3F040Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#CN05, First arcsine law (statement)
History
- 2026-11-02: add by m2/dev