Inventory rows 9G
The cards of the rows of the inventory whose ids start with 9G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Diamond operation 9G01YQT8QX
| URI | m2://inv/9G01YQT8QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond operation, Diamond operation (definition). Also Wikidata Q134300089
History
- 2026-11-02: add by m2/dev
Geometric graph theory 9G02573QCP
| URI | m2://inv/9G02573QCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#89CY, Geometric graph theory (definition)
History
- 2026-11-02: add by m2/dev
Feynman rules 9G02JPAP0Q
| URI | m2://inv/9G02JPAP0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman diagram#PZOW, Feynman rules (unknown)
History
- 2026-11-02: add by m2/dev
family of curves 9G0DJV29AG
| URI | m2://inv/9G0DJV29AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1518913, family of curves (unknown). Also MathWorld FamilyofCurves
- wikipedia: Wikipedia Family of curves, Family of curves (definition). Also Wikidata Q1518913
History
- 2026-10-26: add by m2/dev
Mathematics of neural networks in machine learning 9G0EQFBNYA
| URI | m2://inv/9G0EQFBNYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of neural networks in machine learning, Mathematics of neural networks in machine learning (definition). Also Wikidata Q85784302
History
- 2026-11-02: add by m2/dev
9G0GFGM855 9G0GFGM855
| URI | m2://inv/9G0GFGM855 |
|---|---|
| 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.26386#UYXF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 9G0Q6HZW55
| URI | m2://inv/9G0Q6HZW55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Man-in-the-middle attack#35NE, Example (example)
History
- 2026-11-02: add by m2/dev
9G0RY8JKAN 9G0RY8JKAN
| URI | m2://inv/9G0RY8JKAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34946#61EC (statement). In Y27BAB2BB4/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
Definition 9G0SJB47SK
| URI | m2://inv/9G0SJB47SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative ring#I69G, Definition (definition)
History
- 2026-11-02: add by m2/dev
Existence and Uniqueness of the Even CFE 9G0YHFPD3E
| URI | m2://inv/9G0YHFPD3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#FA4V, Existence and Uniqueness of the Even CFE (statement). In WRE0P7V6Z3/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Main result 9G13MXN6E6
| URI | m2://inv/9G13MXN6E6 |
|---|---|
| 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.14859#T3RJ, Main result (statement). In 8TPP7WC7K3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Signature inclusion 9G15FRDHDW
| URI | m2://inv/9G15FRDHDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#TEIX, Signature inclusion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exact per-block Slepian threshold 9G16HNAMMD
| URI | m2://inv/9G16HNAMMD |
|---|---|
| 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.15184#5M9Z, Exact per-block Slepian threshold (statement). In S8A7ZM40DN/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Louvain method 9G1E3PJ9MV
| URI | m2://inv/9G1E3PJ9MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louvain method, Louvain method (definition). Also Wikidata Q25303721
History
- 2026-11-02: add by m2/dev
Strict order 9G1HQ58106
| URI | m2://inv/9G1HQ58106 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#defn-3, Strict order (definition). In PKGMM3P5QY, defn, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Thales 9G1V8B53FV
| URI | m2://inv/9G1V8B53FV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#F9X7, Thales (topic)
History
- 2026-11-02: add by m2/dev
triangular numbers 9G262WTAVY
| URI | m2://inv/9G262WTAVY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/triangular-numbers, triangular numbers (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Radial equations 9G28727TV3
| URI | m2://inv/9G28727TV3 |
|---|---|
| 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.24481#JN03, Radial equations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sussex police 9G29C6SXG2
| URI | m2://inv/9G29C6SXG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#O5FJ, Sussex police (unknown)
History
- 2026-11-02: add by m2/dev
H. S. M. Coxeter 9G2GW54H75
| URI | m2://inv/9G2GW54H75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#DIOQ, H. S. M. Coxeter (topic)
History
- 2026-11-02: add by m2/dev
9G2Q48YJCC 9G2Q48YJCC
| URI | m2://inv/9G2Q48YJCC |
|---|---|
| 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.14859#LV6J (statement). In 8TPP7WC7K3/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
\bf Sufficient conditions for $(L)$-a.e. 9G2WZVEW60
| URI | m2://inv/9G2WZVEW60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14445#ITHY, \bf Sufficient conditions for $(L)$-a.e. (statement). In V56MKF0KW2/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
9G32Q2EYM2 9G32Q2EYM2
| URI | m2://inv/9G32Q2EYM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#I6HH (statement). In 3THDT8WNF7/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
9G33K937KH 9G33K937KH
| URI | m2://inv/9G33K937KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#6Q8X (statement). In RGQZVNXWM5/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
9G34ST38DZ 9G34ST38DZ
| URI | m2://inv/9G34ST38DZ |
|---|---|
| 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#HZ93 (statement). In 60CK7P5F36/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
bielliptic 9G3B3P4H2M
| URI | m2://inv/9G3B3P4H2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#KX1K, bielliptic (definition)
History
- 2026-11-02: add by m2/dev
Residual property 9G424H7RVY
| URI | m2://inv/9G424H7RVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual property (mathematics), Residual property (definition). Also Wikidata Q16968884
History
- 2026-11-02: add by m2/dev
9G470237PK 9G470237PK
| URI | m2://inv/9G470237PK |
|---|---|
| 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.08664#LDUK (statement). In 1YY0P4ZS0T/e1, lemma 52
History
- 2026-10-29: add by m2/v0.4.10
9G470VQVEE 9G470VQVEE
| URI | m2://inv/9G470VQVEE |
|---|---|
| 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.31269#VTVK (statement). In ZPT9XCCAPQ/e1, proposition 1.3.10
History
- 2026-10-31: add by m2/v0.5.6
Properties 9G48ESVSM0
| URI | m2://inv/9G48ESVSM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact group#ORXF, Properties (statement)
History
- 2026-11-02: add by m2/dev
9G4C4JBWAA 9G4C4JBWAA
| URI | m2://inv/9G4C4JBWAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18503#AHBO (statement). In RW315W172S/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
9G4MXTS51K 9G4MXTS51K
| URI | m2://inv/9G4MXTS51K |
|---|---|
| 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 1509.00950#G7XG (statement). In MDZFW5GACV/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
9G4MYENKT4 9G4MYENKT4
| URI | m2://inv/9G4MYENKT4 |
|---|---|
| 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.26089#GZ04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 9G4X26D11J
| URI | m2://inv/9G4X26D11J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaleidocycle#1IED, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions 9G50HSERPQ
| URI | m2://inv/9G50HSERPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tukey depth#X9B4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Fourier division 9G50JBCYQZ
| URI | m2://inv/9G50JBCYQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#Q7NV, Fourier division (definition)
History
- 2026-11-02: add by m2/dev
Pairs 9G55HR9B2K
| URI | m2://inv/9G55HR9B2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/pairs.tex#axiom-1, Pairs (statement). In PKGMM3P5QY, axiom, section 76.6
History
- 2026-11-01: add by m2/v0.6.13
Tutte contrast 9G5BSEVWMC
| URI | m2://inv/9G5BSEVWMC |
|---|---|
| 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 2610.20649#AJ6P, Tutte contrast (statement). In XDTM624YPE/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.4.2
9G5FZEKHX5 9G5FZEKHX5
| URI | m2://inv/9G5FZEKHX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.26129#FHAP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Herzog–Schönheim conjecture 9G5GXTH0DJ
| URI | m2://inv/9G5GXTH0DJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#TJIH, Herzog–Schönheim conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Kathleen Gates 9G5NSS23BP
| URI | m2://inv/9G5NSS23BP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathleen Gates, Kathleen Gates (topic). Also Wikidata Q28966988
History
- 2026-11-02: add by m2/dev
Rare-event Z-Channel 9G5SQJMZN7
| URI | m2://inv/9G5SQJMZN7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13030#TPV8, Rare-event Z-Channel (example). In 6NZ0YS5MJ7/e1, example V.8
History
- 2026-10-28: add by m2/v0.4.2
Alan Sokal 9G644YJV40
| URI | m2://inv/9G644YJV40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6UYK, Alan Sokal (topic)
History
- 2026-11-02: add by m2/dev
Rigidity of Arthur orbits 9G64X7ZP6B
| URI | m2://inv/9G64X7ZP6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#70IX, Rigidity of Arthur orbits (statement). In H7DMRWBBJN/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
9G657M7BKB 9G657M7BKB
| URI | m2://inv/9G657M7BKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#defn-1 (definition). In E59CDZA4DP, defn, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
9G6QKVW35K 9G6QKVW35K
| URI | m2://inv/9G6QKVW35K |
|---|---|
| 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.06458#DUJI (statement). In 4X93XG8NMD/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
Dendroidal 9G6X4C2MJ4
| URI | m2://inv/9G6X4C2MJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#COAQ, Dendroidal (definition)
History
- 2026-11-02: add by m2/dev
Inverse-square law 9G724DVC1M
| URI | m2://inv/9G724DVC1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler's laws of planetary motion#RQIL, Inverse-square law (statement)
History
- 2026-11-02: add by m2/dev
9G75VSMABJ 9G75VSMABJ
| URI | m2://inv/9G75VSMABJ |
|---|---|
| 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.02669#BEG9 (statement). In NSBSWH6XB4/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.12
9G79NHFN0R 9G79NHFN0R
| URI | m2://inv/9G79NHFN0R |
|---|---|
| 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.21540#463S (statement)
History
- 2026-11-02: add by m2/v0.6.18
O-Matrix 9G7FC3T03B
| URI | m2://inv/9G7FC3T03B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#4XUR, O-Matrix (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Simpson Evans 9G7KCQGZK7
| URI | m2://inv/9G7KCQGZK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Simpson Evans, Thomas Simpson Evans (topic). Also Wikidata Q7793980
History
- 2026-11-02: add by m2/dev
Applications 9G7V8DFF19
| URI | m2://inv/9G7V8DFF19 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complemented subspace#B0MZ, Applications (example)
History
- 2026-11-02: add by m2/dev
iterated function 9G877JEWRY
| URI | m2://inv/9G877JEWRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78079020, iterated function (unknown). Also MathWorld IteratedMap
History
- 2026-10-26: add by m2/dev
The Neumann remainder 9G87ENVZD6
| URI | m2://inv/9G87ENVZD6 |
|---|---|
| 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.14695#SR9E, The Neumann remainder (statement). In T15EJSPCNG/e1, lemma \thechapter.C.3
History
- 2026-10-28: add by m2/v0.4.2
9G87PW7FJW 9G87PW7FJW
| URI | m2://inv/9G87PW7FJW |
|---|---|
| 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.30544#WJR8 (statement). In CB35ZBBBPT/e1, corollary 2.7
History
- 2026-10-31: add by m2/v0.5.6
9G88AKH61M 9G88AKH61M
| URI | m2://inv/9G88AKH61M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.24448#3HQ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 9G8E7JJCJA
| URI | m2://inv/9G8E7JJCJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kantorovich theorem#1PC4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
9G91KS272W 9G91KS272W
| URI | m2://inv/9G91KS272W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-7 (example). In RZP28ERRZV, example, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
9G91KW8K21 9G91KW8K21
| URI | m2://inv/9G91KW8K21 |
|---|---|
| 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 2205.13464#VBEE (statement). In JPYGC2R3FC/e1, corollary 6.6
History
- 2026-10-27: add by m2/v0.3.6
Convolution 9G94NXWZ40
| URI | m2://inv/9G94NXWZ40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#I1NR, Convolution (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#7GCP, Convolution (definition)
- wikipedia: Wikipedia List of integration and measure theory topics#YR02, Convolution (definition)
History
- 2026-11-02: add by m2/dev
9G99T1XFNR 9G99T1XFNR
| URI | m2://inv/9G99T1XFNR |
|---|---|
| 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 2610.03612#DTO4 (statement). In REDG6QVHM3/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.12
Algebraic extension 9G9H73B9YE
| URI | m2://inv/9G9H73B9YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#3V2N, Algebraic extension (definition)
History
- 2026-11-02: add by m2/dev
9G9HAB2QKT 9G9HAB2QKT
| URI | m2://inv/9G9HAB2QKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12116#4EW3 (statement). In WB3F0S794F/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Mikhail Khovanov 9G9N1248G2
| URI | m2://inv/9G9N1248G2 |
|---|---|
| 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 Q1933628, Mikhail Khovanov (unknown). Also nLab Mikhail Khovanov
History
- 2026-10-26: add by m2/dev
Trammel of Archimedes 9G9SMSG2TS
| URI | m2://inv/9G9SMSG2TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#XCBM, Trammel of Archimedes (definition)
History
- 2026-11-02: add by m2/dev
Joint-tail convexity and shrinking 9G9VD594MK
| URI | m2://inv/9G9VD594MK |
|---|---|
| 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.30525#RQEX, Joint-tail convexity and shrinking (statement). In CHEZQEACQG/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
$\mathrm{SU}(2)$ 9G9XAGZH0V
| URI | m2://inv/9G9XAGZH0V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-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.24777#Z19B, $\mathrm{SU}(2)$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Magatama 9GA15DTXW7
| URI | m2://inv/9GA15DTXW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#YXTX, Magatama (unknown)
History
- 2026-11-02: add by m2/dev
Applications 9GA19DSEPW
| URI | m2://inv/9GA19DSEPW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic regression#DF9C, Applications (example)
History
- 2026-11-02: add by m2/dev
9GA1BAAH5T 9GA1BAAH5T
| URI | m2://inv/9GA1BAAH5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#9SY9 (statement). In QG9ATXTKJ6/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
9GA1GH3TKG 9GA1GH3TKG
| URI | m2://inv/9GA1GH3TKG |
|---|---|
| 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.30823#GXNT (statement). In 1YHQ9YNQ68/e1, proposition 3.8
History
- 2026-10-31: add by m2/v0.5.6
Definition 9GA9NV2F16
| URI | m2://inv/9GA9NV2F16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville–Neumann series#TWGA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monodromy theorem 9GAAXWPR20
| URI | m2://inv/9GAAXWPR20 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/monodromy-theorem, Monodromy theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
The Erd\H{o}s--Ulam conjectures 9GAK8834BZ
| URI | m2://inv/9GAK8834BZ |
|---|---|
| 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.02833#3QPQ, The Erd\H{o}s--Ulam conjectures (statement). In TNREX5GDK2/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
9GAQWP711K 9GAQWP711K
| URI | m2://inv/9GAQWP711K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17863#WKPX (statement). In Y8XQT02BBF/e1, lemma 2.33
History
- 2026-10-28: add by m2/v0.4.2
Examples 9GAYV5MR63
| URI | m2://inv/9GAYV5MR63 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Euclidean algorithm#32HZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Projected subgradient descent 9GB55WNH5Q
| URI | m2://inv/9GB55WNH5Q |
|---|---|
| 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.06810#OL4R, Projected subgradient descent (statement). In 1NY2SA03XF/e1, fact 4.17
History
- 2026-10-29: add by m2/v0.4.10
Sirkeci, Ibrahim 9GBBEYJDSY
| URI | m2://inv/9GBBEYJDSY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YJLR, Sirkeci, Ibrahim (unknown)
History
- 2026-11-02: add by m2/dev
Data assimilation 9GBCF64BSJ
| URI | m2://inv/9GBCF64BSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data assimilation, Data assimilation (definition). Also Wikidata Q2670177
History
- 2026-11-02: add by m2/dev
9GBE86W6SJ 9GBE86W6SJ
| URI | m2://inv/9GBE86W6SJ |
|---|---|
| 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.20944#6NS4 (statement). In DRRKZR6CQC/e1, lemma A.6
History
- 2026-10-27: add by m2/v0.4.2
Examples 9GBF3GSE8J
| URI | m2://inv/9GBF3GSE8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carnot group#EB24, Examples (example)
History
- 2026-11-02: add by m2/dev
9GBF8H9T9T 9GBF8H9T9T
| URI | m2://inv/9GBF8H9T9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#0ZBT (statement)
History
- 2026-11-02: add by m2/v0.6.18
9GBHJ11SDW 9GBHJ11SDW
| URI | m2://inv/9GBHJ11SDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 math/0406514#DOXN (statement). In CY1FE8W1ZW/e1, proposition 0.140
History
- 2026-10-27: add by m2/v0.4.0
co-claw graph 9GBPP6MW4J
| URI | m2://inv/9GBPP6MW4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136148099, co-claw graph (unknown). Also House of Graphs 620
History
- 2026-10-26: add by m2/dev
9GBPT7MFGX 9GBPT7MFGX
| URI | m2://inv/9GBPT7MFGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-1 (statement). In E9HS8K3A52, theorem, section 10.2.3
History
- 2026-11-01: add by m2/v0.6.13
9GBQ9SJTEB 9GBQ9SJTEB
| URI | m2://inv/9GBQ9SJTEB |
|---|---|
| Kind | example |
| 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.13846#IPSW (example). In DN3HGHGRYJ/e1, example 6.9
History
- 2026-10-28: add by m2/v0.4.2
9GBQZDDG5H 9GBQZDDG5H
| URI | m2://inv/9GBQZDDG5H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:one-function-two-recurrences (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Implementations 9GBRKWKTAR
| URI | m2://inv/9GBRKWKTAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crout matrix decomposition#RWI4, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Exactness and exterior powers 9GC599B3XJ
| URI | m2://inv/9GC599B3XJ |
|---|---|
| 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.26318#U03W, Exactness and exterior powers (statement)
History
- 2026-11-01: add by m2/v0.6.15
9GC7Q89CPX 9GC7Q89CPX
| URI | m2://inv/9GC7Q89CPX |
|---|---|
| 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.10095#CGT9 (statement). In 2TSKFPTS0T/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Applications 9GCCTE768K
| URI | m2://inv/9GCCTE768K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncorrelated asymmetry#UYFX, Applications (example)
History
- 2026-11-02: add by m2/dev
sorites paradox 9GCD844GTR
| URI | m2://inv/9GCD844GTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33519, sorites paradox (unknown). Also MathWorld SoritesParadox
- wikipedia: Wikipedia Sorites paradox, Sorites paradox (statement). Also Wikidata Q33519
History
- 2026-10-26: add by m2/dev
Cryptsetup 9GCE2GQVQB
| URI | m2://inv/9GCE2GQVQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dm-crypt#61VC, Cryptsetup (unknown)
History
- 2026-11-02: add by m2/dev
Construction 9GCEW68GXY
| URI | m2://inv/9GCEW68GXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexapentakis truncated icosahedron#CPZR, Construction (definition)
History
- 2026-11-02: add by m2/dev
9GCJM58YND 9GCJM58YND
| URI | m2://inv/9GCJM58YND |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-9 (proof). In N54F33XE07, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Enrico Bombieri 9GCP4V2MXT
| URI | m2://inv/9GCP4V2MXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#6CNR, Enrico Bombieri (topic)
History
- 2026-11-02: add by m2/dev
9GD054212D 9GD054212D
| URI | m2://inv/9GD054212D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.07293#K7EX (definition). In V1GVYM0WQG/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
9GD401BQR1 9GD401BQR1
| URI | m2://inv/9GD401BQR1 |
|---|---|
| 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.11757#J45W (statement). In VSJRVTHWWA/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
Directional derivative bias 9GDKK8T0HA
| URI | m2://inv/9GDKK8T0HA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#U8B5, Directional derivative bias (definition). In ZZER8ZBSCR/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
594 (number) 9GE2V48HRK
| URI | m2://inv/9GE2V48HRK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#88YQ, 594 (number) (unknown)
History
- 2026-11-02: add by m2/dev
9GE8G955VA 9GE8G955VA
| URI | m2://inv/9GE8G955VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 1407.0548#ANF0 (statement). In 3EAQ15QTJC/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Results 9GEA27AWFZ
| URI | m2://inv/9GEA27AWFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical beauty#BGLM, Results (statement)
History
- 2026-11-02: add by m2/dev
9GEVWFNE14 9GEVWFNE14
| URI | m2://inv/9GEVWFNE14 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#01RY (definition). In PYB2RFYVVE/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
9GEY08MNSB 9GEY08MNSB
| URI | m2://inv/9GEY08MNSB |
|---|---|
| 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 2202.07274#BVO5 (statement). In V5WGBGKYXN/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.6
Lifting 9GEY1MQH2A
| URI | m2://inv/9GEY1MQH2A |
|---|---|
| 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.20849#X72B, Lifting (statement). In HK7FV97MFD/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Same subgradient plan control 9GEZH7VNHA
| URI | m2://inv/9GEZH7VNHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-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.35574#CYJ0, Same subgradient plan control (statement). In 3Q70DMD7Z7/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Johansson formula 9GF3NQ1KKZ
| URI | m2://inv/9GF3NQ1KKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson Brownian motion#V80Z, Johansson formula (statement)
History
- 2026-11-02: add by m2/dev
Landweber exact functor theorem 9GF5YDZKY2
| URI | m2://inv/9GF5YDZKY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17003613, Landweber exact functor theorem (statement). Also nLab Landweber exact functor theorem
- wikipedia: Wikipedia Landweber exact functor theorem, Landweber exact functor theorem (statement). Also Wikidata Q17003613
History
- 2026-10-26: add by m2/dev
Sample-continuous process 9GF6R10SN4
| URI | m2://inv/9GF6R10SN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample-continuous process, Sample-continuous process (definition). Also Wikidata Q7410129
History
- 2026-11-02: add by m2/dev
9GF86T01Q2 9GF86T01Q2
| URI | m2://inv/9GF86T01Q2 |
|---|---|
| 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.22218#BCEM (definition). In 338GKREFVP/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.0
9GFEEG0APF 9GFEEG0APF
| URI | m2://inv/9GFEEG0APF |
|---|---|
| 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 1010.0868#8OQ8 (statement). In VZJNNRQXPM/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Thomas Royen 9GFKTQVVFH
| URI | m2://inv/9GFKTQVVFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#UD2Q, Thomas Royen (topic)
History
- 2026-11-02: add by m2/dev
Vapnik–Chervonenkis theory 9GFM40144P
| URI | m2://inv/9GFM40144P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OCQ5, Vapnik–Chervonenkis theory (topic)
History
- 2026-11-02: add by m2/dev
Parabolic fractal distribution 9GFWDRGKHV
| URI | m2://inv/9GFWDRGKHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic fractal distribution, Parabolic fractal distribution (definition). Also Wikidata Q3258499
History
- 2026-11-02: add by m2/dev
9GFZ7VC3HT 9GFZ7VC3HT
| URI | m2://inv/9GFZ7VC3HT |
|---|---|
| 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.22777#0BHS (definition)
History
- 2026-11-02: add by m2/v0.6.17
Ib Madsen 9GG38515PH
| URI | m2://inv/9GG38515PH |
|---|---|
| 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 Q704493, Ib Madsen (unknown). Also nLab Ib Madsen
- wikipedia: Wikipedia Ib Madsen, Ib Madsen (topic). Also Wikidata Q704493
History
- 2026-10-26: add by m2/dev
9GGA8J9C91 9GGA8J9C91
| URI | m2://inv/9GGA8J9C91 |
|---|---|
| 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.01796#LB21 (statement). In JC3PAB5DRC/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Sharpness of $n\ge h+1$ 9GGAKHZAJD
| URI | m2://inv/9GGAKHZAJD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#VM3Q, Sharpness of $n\ge h+1$ (example). In 6HXD74FA4S/e1, example 10.3
History
- 2026-10-28: add by m2/v0.4.2
edges 9GGDWTSC9C
| URI | m2://inv/9GGDWTSC9C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5/edges, edges (concept). In Y91XFCEVHQ, index, section 5
History
- 2026-11-01: add by m2/v0.6.13
9GGHH4D6BF 9GGHH4D6BF
| URI | m2://inv/9GGHH4D6BF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:infseqlimlims (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Complete space 9GGKAGBG5P
| URI | m2://inv/9GGKAGBG5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#XMIK, Complete space (definition)
History
- 2026-11-02: add by m2/dev
9GGMJ5G4T5 9GGMJ5G4T5
| URI | m2://inv/9GGMJ5G4T5 |
|---|---|
| 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.19093#7CS1 (statement). In S2K79KESZ4/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 9GGNMHADWM
| URI | m2://inv/9GGNMHADWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potts model#ANWM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Peterson's algorithm 9GGNZJ0EXE
| URI | m2://inv/9GGNZJ0EXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#QT2E, Peterson's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
9GGPQGMAZP 9GGPQGMAZP
| URI | m2://inv/9GGPQGMAZP |
|---|---|
| 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 2610.08193#ZSHL (statement). In 8XAKGH8S2D/e1, theorem 3.21
History
- 2026-10-29: add by m2/v0.4.10
9GGR154N8H 9GGR154N8H
| URI | m2://inv/9GGR154N8H |
|---|---|
| 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#48TK (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
9GH6QGVSY9 9GH6QGVSY9
| URI | m2://inv/9GH6QGVSY9 |
|---|---|
| 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.09882#BAJK (statement). In 7XV6T4N79V/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
9GH9JXCCN1 9GH9JXCCN1
| URI | m2://inv/9GH9JXCCN1 |
|---|---|
| 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.19658#N36E (statement). In G00EYA9DXG/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Dirichlet L-series 9GHF96EGBJ
| URI | m2://inv/9GHF96EGBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#U1RL, Dirichlet L-series (definition)
History
- 2026-11-02: add by m2/dev
9GHJBXC6ND 9GHJBXC6ND
| URI | m2://inv/9GHJBXC6ND |
|---|---|
| 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.20881#MONS (statement)
History
- 2026-11-02: add by m2/v0.6.18
standard error 9GHSBPA6B6
| URI | m2://inv/9GHSBPA6B6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#04PX, standard error (definition)
History
- 2026-11-02: add by m2/dev
monad transformer 9GHSMZFNDD
| URI | m2://inv/9GHSMZFNDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6897853, monad transformer (unknown). Also nLab monad transformer
History
- 2026-10-26: add by m2/dev
Examples 9GHWM0PNXS
| URI | m2://inv/9GHWM0PNXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False equivalence#TTJZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Legendrian knot 9GJ06GS7CB
| URI | m2://inv/9GJ06GS7CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendrian knot, Legendrian knot (definition). Also Wikidata Q6517891
History
- 2026-11-02: add by m2/dev
mathematics, constructive 9GJ0CNHN68
| URI | m2://inv/9GJ0CNHN68 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Mixed quadrants 9GJ18KNB3S
| URI | m2://inv/9GJ18KNB3S |
|---|---|
| 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#S7HS, Mixed quadrants (statement). In 2VHV0RNTNV/e1, lemma 8.11
History
- 2026-10-29: add by m2/v0.4.12
9GJ47DVE69 9GJ47DVE69
| URI | m2://inv/9GJ47DVE69 |
|---|---|
| Kind | definition |
| 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 2609.21668#IB18 (definition)
History
- 2026-11-02: add by m2/v0.6.18
9GJDWKDH93 9GJDWKDH93
| URI | m2://inv/9GJDWKDH93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.24777#2B6Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
9GJKZJXH7V 9GJKZJXH7V
| URI | m2://inv/9GJKZJXH7V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#proof-1 (proof). In RZP28ERRZV, proof, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
Uniform threshold up to the Hardy endpoint 9GK4K5JVZ8
| URI | m2://inv/9GK4K5JVZ8 |
|---|---|
| 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.02933#D1OS, Uniform threshold up to the Hardy endpoint (statement). In QSYZKPFRAN/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
Law 9GK5EYC4MK
| URI | m2://inv/9GK5EYC4MK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absurdity#QEXO, Law (statement)
History
- 2026-11-02: add by m2/dev
Michael Akritas 9GK6V45G6G
| URI | m2://inv/9GK6V45G6G |
|---|---|
| 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#LV10, Michael Akritas (topic)
History
- 2026-11-02: add by m2/dev
Pseudorandom generation 9GK9CFX7AH
| URI | m2://inv/9GK9CFX7AH |
|---|---|
| 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.14615#2DWI, Pseudorandom generation (statement). In 7D5MMP8XB5/e1, corollary 8.2
History
- 2026-10-28: add by m2/v0.4.2
Gordon Douglas Slade 9GKEK61Y1T
| URI | m2://inv/9GKEK61Y1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FGSG, Gordon Douglas Slade (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NF5M, Gordon Douglas Slade (topic)
History
- 2026-11-02: add by m2/dev
9GKGDRVFK8 9GKGDRVFK8
| URI | m2://inv/9GKGDRVFK8 |
|---|---|
| Kind | example |
| 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 2609.20153#V85K (example)
History
- 2026-11-02: add by m2/v0.6.18
9GM866B7F0 9GM866B7F0
| URI | m2://inv/9GM866B7F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#K6I7 (statement). In QDRYC6WJJ7/e1, theorem 18
History
- 2026-10-27: add by m2/v0.3.5
Gluing schemes 9GMF8H4FBR
| URI | m2://inv/9GMF8H4FBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluing schemes, Gluing schemes (definition). Also Wikidata Q85763749
History
- 2026-11-02: add by m2/dev
big Oh notation 9GMGE9HYX4
| URI | m2://inv/9GMGE9HYX4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/4.3/big-oh-notation, big Oh notation (concept). In QKM9DD2H56, index, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
An annealed determinant bound without a spectral gap 9GMNYX73P8
| URI | m2://inv/9GMNYX73P8 |
|---|---|
| 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#E66U, An annealed determinant bound without a spectral gap (statement). In NKXTXH59P1/e1, lemma E.25
History
- 2026-10-29: add by m2/v0.4.10
List of small polyhedra by vertex count 9GMPQEKQVD
| URI | m2://inv/9GMPQEKQVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small polyhedra by vertex count, List of small polyhedra by vertex count (topic). Also Wikidata Q11141723
History
- 2026-11-02: add by m2/dev
Sárközy's theorem 9GMWRR2KKJ
| URI | m2://inv/9GMWRR2KKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16320789, Sárközy's theorem (statement). Also MathWorld SarkozysTheorem
History
- 2026-10-26: add by m2/dev
wreath product 9GMZ8DRQ2D
| URI | m2://inv/9GMZ8DRQ2D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wreath product W1X984PKJ9 |
Mentions
- wikidata: Wikidata Q1786640, wreath product (concept). Also EoM Wreath_product, LMFDB knowl group.wreath_product, nLab wreath product of groups
- wikipedia: Wikipedia Wreath product, Wreath product (definition). Also Wikidata Q1786640
History
- 2026-10-26: add by m2/dev
9GN25BVY6V 9GN25BVY6V
| URI | m2://inv/9GN25BVY6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.03499#BM4V (statement). In NAE99N03W3/e1, theorem 8.3
History
- 2026-10-29: add by m2/v0.4.12
9GN79B774J 9GN79B774J
| URI | m2://inv/9GN79B774J |
|---|---|
| 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 2609.33770#XOJC (statement). In 7DJ3C4V66R/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Gyratum 9GN7CPC212
| URI | m2://inv/9GN7CPC212 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torque#VDQQ, Gyratum (unknown)
History
- 2026-11-02: add by m2/dev
Thought 9GN9G5AWA0
| URI | m2://inv/9GN9G5AWA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thought (essay), Thought (definition). Also Wikidata Q130223122
History
- 2026-11-02: add by m2/dev
Carlo Emilio Bonferroni 9GNAZ5VXDQ
| URI | m2://inv/9GNAZ5VXDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#KUKG, Carlo Emilio Bonferroni (topic)
History
- 2026-11-02: add by m2/dev
Triangle (musical instrument) 9GNKY8M7CK
| URI | m2://inv/9GNKY8M7CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#0SOP, Triangle (musical instrument) (unknown)
History
- 2026-11-02: add by m2/dev
List of functional analysis topics 9GNMDQ783J
| URI | m2://inv/9GNMDQ783J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of functional analysis topics, List of functional analysis topics (topic). Also Wikidata Q6621417
History
- 2026-11-02: add by m2/dev
9GNVH81MKG 9GNVH81MKG
| URI | m2://inv/9GNVH81MKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#H2YH (statement). In BF0RYHPMS1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
9GNWZNTA12 9GNWZNTA12
| URI | m2://inv/9GNWZNTA12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#MXSD (statement). In 9XMZTTSF5E/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Karin Reich 9GP532DAZ1
| URI | m2://inv/9GP532DAZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ZSXG, Karin Reich (topic)
History
- 2026-11-02: add by m2/dev
734 (number) 9GP6CY81Y7
| URI | m2://inv/9GP6CY81Y7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#BSQ4, 734 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Properties 9GP90R3TN5
| URI | m2://inv/9GP90R3TN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural number#IQQ4, Properties (statement)
History
- 2026-11-02: add by m2/dev
9GP99Q5374 9GP99Q5374
| URI | m2://inv/9GP99Q5374 |
|---|---|
| Kind | definition |
| 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 2609.21668#O0NO (definition)
History
- 2026-11-02: add by m2/v0.6.18
9GPHJZ9SKA 9GPHJZ9SKA
| URI | m2://inv/9GPHJZ9SKA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-5 (example). In E9HS8K3A52, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Slippery slope 9GPKBD0ZRB
| URI | m2://inv/9GPKBD0ZRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slippery slope, Slippery slope (definition). Also Wikidata Q876455
History
- 2026-11-02: add by m2/dev
Murnaghan–Nakayama rule 9GPTSMWSRD
| URI | m2://inv/9GPTSMWSRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murnaghan–Nakayama rule, Murnaghan–Nakayama rule (definition). Also Wikidata Q18378333
History
- 2026-11-02: add by m2/dev
Colette Guillopé 9GPX61FAX4
| URI | m2://inv/9GPX61FAX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colette Guillopé, Colette Guillopé (topic). Also Wikidata Q27517882
History
- 2026-11-02: add by m2/dev
9GQ2PHH5G6 9GQ2PHH5G6
| URI | m2://inv/9GQ2PHH5G6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#K2U2 (example). In V97F4YZ8B0/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
9GQ2V551J1 9GQ2V551J1
| URI | m2://inv/9GQ2V551J1 |
|---|---|
| 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 0810.0962#SLUA (definition). In 80YMRN5KS9/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
pyramid 9GQ3ZS8VCH
| URI | m2://inv/9GQ3ZS8VCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3358290, pyramid (unknown). Also EoM Pyramid, MathWorld Pyramid
- wikipedia: Wikipedia Pyramid (geometry), Pyramid (definition). Also Wikidata Q3358290
History
- 2026-10-26: add by m2/dev
Wojciech H. Zurek 9GQ9EHTCMF
| URI | m2://inv/9GQ9EHTCMF |
|---|---|
| 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 Q684933, Wojciech H. Zurek (unknown). Also nLab Wojciech Zurek
History
- 2026-10-26: add by m2/dev
Ole Skovsmose 9GQ9FN8MRY
| URI | m2://inv/9GQ9FN8MRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ole Skovsmose, Ole Skovsmose (topic). Also Wikidata Q131917877
History
- 2026-11-02: add by m2/dev
locally of finite type 9GQB33BWK2
| URI | m2://inv/9GQB33BWK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#UEIX, locally of finite type (definition)
History
- 2026-11-02: add by m2/dev
Rohit Parikh 9GQBE67191
| URI | m2://inv/9GQBE67191 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8G29, Rohit Parikh (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Hartley transform 9GQE5Y7Z8W
| URI | m2://inv/9GQE5Y7Z8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#OGD5, Discrete Hartley transform (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#KO5J, Discrete Hartley transform (definition)
History
- 2026-11-02: add by m2/dev
Irwin–Hall distribution 9GQF8T8EGQ
| URI | m2://inv/9GQF8T8EGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#5876, Irwin–Hall distribution (definition)
History
- 2026-11-02: add by m2/dev
Statement 9GQFB9WMKD
| URI | m2://inv/9GQFB9WMKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of the iterated logarithm#U3GT, Statement (statement)
History
- 2026-11-02: add by m2/dev
9GQRP1KHGG 9GQRP1KHGG
| URI | m2://inv/9GQRP1KHGG |
|---|---|
| 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#D5HN (statement). In XBHQRTBH62/e1, theorem 6.2
History
- 2026-10-31: add by m2/v0.5.6
9GQSJYWHAN 9GQSJYWHAN
| URI | m2://inv/9GQSJYWHAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#lem:sub:R (statement). In PKGMM3P5QY, lem, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
9GQVGWMBVC 9GQVGWMBVC
| URI | m2://inv/9GQVGWMBVC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-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 math/0406514#OK9I (example). In CY1FE8W1ZW/e1, example 0.153
History
- 2026-10-27: add by m2/v0.4.0
9GQW6RHACA 9GQW6RHACA
| URI | m2://inv/9GQW6RHACA |
|---|---|
| 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.11210#N82Q (statement). In CRFDGFZHBF/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.3
9GR4XZ75T7 9GR4XZ75T7
| URI | m2://inv/9GR4XZ75T7 |
|---|---|
| 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 2610.12484#9Q3O (statement). In GW23NX78SB/e1, lemma 3.25
History
- 2026-10-28: add by m2/v0.4.2
Example 9GRG0SDTSX
| URI | m2://inv/9GRG0SDTSX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive category#IZZW, Example (example)
History
- 2026-11-02: add by m2/dev
Definition 9GRKD085J6
| URI | m2://inv/9GRKD085J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#SP7S, Definition (definition)
History
- 2026-11-02: add by m2/dev
9GRSG31T3E 9GRSG31T3E
| URI | m2://inv/9GRSG31T3E |
|---|---|
| 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 2605.00407#PF75 (statement). In TVFD0G3F2W/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Snehalata V. Huzurbazar 9GS4S44K69
| URI | m2://inv/9GS4S44K69 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snehalata V. Huzurbazar, Snehalata V. Huzurbazar (topic). Also Wikidata Q44033931
History
- 2026-11-02: add by m2/dev
AES key schedule 9GS6ATFFVK
| URI | m2://inv/9GS6ATFFVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AES key schedule, AES key schedule (definition). Also Wikidata Q3305076
History
- 2026-11-02: add by m2/dev
Upper bound on the number of $n$-bond LAs 9GSBYWFZXF
| URI | m2://inv/9GSBYWFZXF |
|---|---|
| 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 1905.02785#RLQE, Upper bound on the number of $n$-bond LAs (statement). In PF9KV74Q02/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
9GSC551S77 9GSC551S77
| URI | m2://inv/9GSC551S77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.38741#L5GS (statement). In 1SQH3PTYMD/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
9GSVRWCAAD 9GSVRWCAAD
| URI | m2://inv/9GSVRWCAAD |
|---|---|
| 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#D08W (statement). In 9H45HQE7AZ/e1, proposition 7.8
History
- 2026-10-27: add by m2/v0.3.5
Examples 9GSW2ZN1KS
| URI | m2://inv/9GSW2ZN1KS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypocycloid#ZFAL, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications 9GSX4BVDWY
| URI | m2://inv/9GSX4BVDWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy analysis method#QJ22, Applications (example)
History
- 2026-11-02: add by m2/dev
Wolfgang Gröbner 9GSXEC6BCQ
| URI | m2://inv/9GSXEC6BCQ |
|---|---|
| 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 Q112508, Wolfgang Gröbner (unknown). Also ProofWiki Mathematician:Wolfgang_Gröbner
- wikipedia: Wikipedia Wolfgang Gröbner, Wolfgang Gröbner (topic). Also Wikidata Q112508
History
- 2026-10-26: add by m2/dev
Formal definition 9GT6MRZQCM
| URI | m2://inv/9GT6MRZQCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semitopological group#Y9OI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Paulo Ribenboim 9GT8YBCAKG
| URI | m2://inv/9GT8YBCAKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OCY6, Paulo Ribenboim (topic)
History
- 2026-11-02: add by m2/dev
Force-based algorithms 9GT9GK20TK
| URI | m2://inv/9GT9GK20TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PCSL, Force-based algorithms (definition)
History
- 2026-11-02: add by m2/dev
9GTKHCBPC3 9GTKHCBPC3
| URI | m2://inv/9GTKHCBPC3 |
|---|---|
| Kind | definition |
| 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.00914#1PT9 (definition). In TQ9CKHBTWN/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.12
Group of rational points on the unit circle 9GTNSHNNP3
| URI | m2://inv/9GTNSHNNP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group of rational points on the unit circle, Group of rational points on the unit circle (definition). Also Wikidata Q1122501
History
- 2026-11-02: add by m2/dev
Turbo code 9GTXMHT9WV
| URI | m2://inv/9GTXMHT9WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#OS21, Turbo code (definition)
History
- 2026-11-02: add by m2/dev
9GTXT32ENQ 9GTXT32ENQ
| URI | m2://inv/9GTXT32ENQ |
|---|---|
| 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.21723#NK56 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Constraint graph 9GV193D9CP
| URI | m2://inv/9GV193D9CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint graph, Constraint graph (definition). Also Wikidata Q5164372
History
- 2026-11-02: add by m2/dev
9GV5WV0RP9 9GV5WV0RP9
| URI | m2://inv/9GV5WV0RP9 |
|---|---|
| Kind | definition |
| 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.18016#J0GD (definition). In V5PVKDKGGG/e1, definition 8.10
History
- 2026-10-28: add by m2/v0.4.2
9GVB69KQ7V 9GVB69KQ7V
| URI | m2://inv/9GVB69KQ7V |
|---|---|
| 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.24569#OFGM (statement)
History
- 2026-11-01: add by m2/v0.6.15
9GVBTZ34HV 9GVBTZ34HV
| URI | m2://inv/9GVBTZ34HV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-41 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Extending the quotient embedding 9GVEY0NC4X
| URI | m2://inv/9GVEY0NC4X |
|---|---|
| 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.26984#K8U6, Extending the quotient embedding (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coriolis force 9GVKEP8C14
| URI | m2://inv/9GVKEP8C14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 76U05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q169973, Coriolis force (topic)
- wikipedia: Wikipedia Coriolis force, Coriolis force (definition). Also Wikidata Q169973
History
- 2026-10-26: add by m2/dev
Properties 9GVNSHTD52
| URI | m2://inv/9GVNSHTD52 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided monoidal category#MN69, Properties (statement)
History
- 2026-11-02: add by m2/dev
9GVPN9E5E0 9GVPN9E5E0
| URI | m2://inv/9GVPN9E5E0 |
|---|---|
| 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.14820#GK2B (statement). In FKE0A3KY1N/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
9GVSGJYJ44 9GVSGJYJ44
| URI | m2://inv/9GVSGJYJ44 |
|---|---|
| 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.03222#HAPO (statement). In BB0JGNK4YF/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Method 9GVT7Z6DWE
| URI | m2://inv/9GVT7Z6DWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romberg's method#IKDD, Method (definition)
History
- 2026-11-02: add by m2/dev
Babinet's principle 9GW0S00NJR
| URI | m2://inv/9GW0S00NJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babinet's principle, Babinet's principle (statement). Also Wikidata Q369535
History
- 2026-11-02: add by m2/dev
9GWAZF8PXC 9GWAZF8PXC
| URI | m2://inv/9GWAZF8PXC |
|---|---|
| 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.18016#T5NI (statement). In V5PVKDKGGG/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Pure even covariances 9GWHHJBBJS
| URI | m2://inv/9GWHHJBBJS |
|---|---|
| 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#JMP3, Pure even covariances (statement). In NKXTXH59P1/e1, proposition G.3
History
- 2026-10-29: add by m2/v0.4.10
Connectedness 9GWQ836NT5
| URI | m2://inv/9GWQ836NT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connectedness, Connectedness (definition). Also Wikidata Q253405
History
- 2026-11-02: add by m2/dev
9GWQZEFKSX 9GWQZEFKSX
| URI | m2://inv/9GWQZEFKSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#WR5S (statement). In E31CZYM2H8/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
9GWWMSB3WN 9GWWMSB3WN
| URI | m2://inv/9GWWMSB3WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.10804#BITN (statement). In 6M5WR7KB80/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.3
Lemma 9GX38BP8GF
| URI | m2://inv/9GX38BP8GF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-subgroup theorem#FSYI, Lemma (statement)
History
- 2026-11-02: add by m2/dev
9GX40RHGA0 9GX40RHGA0
| URI | m2://inv/9GX40RHGA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 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 2610.17482#5M2Y (statement). In BQQK9JDJ9F/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
9GX523231E 9GX523231E
| URI | m2://inv/9GX523231E |
|---|---|
| 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.16028#EOBE (statement). In D6MQYXVQEW/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Ellis L. Johnson 9GX86ENR4P
| URI | m2://inv/9GX86ENR4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q27Z, Ellis L. Johnson (unknown)
History
- 2026-11-02: add by m2/dev
9GX8G6PK4C 9GX8G6PK4C
| URI | m2://inv/9GX8G6PK4C |
|---|---|
| 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 2212.00617#9T3O (statement). In K7505G10SS/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Carey Caginalp and Xinfu Chen Closed Formula) 9GXHY8D1BW
| URI | m2://inv/9GXHY8D1BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narrow escape problem#94BO, Theorem (Carey Caginalp and Xinfu Chen Closed Formula) (statement)
History
- 2026-11-02: add by m2/dev
9GXMCKEQ73 9GXMCKEQ73
| URI | m2://inv/9GXMCKEQ73 |
|---|---|
| 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.11965#9MNA (statement). In 48QX0QD0XR/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.3
Two schedules 9GXMWE5C0J
| URI | m2://inv/9GXMWE5C0J |
|---|---|
| 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.12641#IZEV, Two schedules (statement). In X5BYGZZHPF/e1, proposition L.3
History
- 2026-10-28: add by m2/v0.4.2
Examples 9GXPY94JHA
| URI | m2://inv/9GXPY94JHA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration#0V3W, Examples (example)
History
- 2026-11-02: add by m2/dev
Wassily Hoeffding 9GXTRGZDNH
| URI | m2://inv/9GXTRGZDNH |
|---|---|
| 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#RVTH, Wassily Hoeffding (topic)
History
- 2026-11-02: add by m2/dev
9GXWGZCGJT 9GXWGZCGJT
| URI | m2://inv/9GXWGZCGJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#ZECC (statement)
History
- 2026-11-01: add by m2/v0.6.15
9GY02AB34J 9GY02AB34J
| URI | m2://inv/9GY02AB34J |
|---|---|
| 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.31274#BFH6 (statement). In RK0ZMDJ23T/e1, lemma 4.1.7
History
- 2026-10-31: add by m2/v0.5.6
9GY22QNTQG 9GY22QNTQG
| URI | m2://inv/9GY22QNTQG |
|---|---|
| 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 2411.17227#ZJTV (statement). In DDNP38CHQJ/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Trifolium curve 9GY74H36GM
| URI | m2://inv/9GY74H36GM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GJY3, Trifolium curve (definition)
History
- 2026-11-02: add by m2/dev
Mirka Miller 9GYAHV8MDV
| URI | m2://inv/9GYAHV8MDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirka Miller, Mirka Miller (topic). Also Wikidata Q87051793
History
- 2026-11-02: add by m2/dev
9GYC5GVHS0 9GYC5GVHS0
| URI | m2://inv/9GYC5GVHS0 |
|---|---|
| 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 2609.31278#KAG5 (statement). In KEP21CZFV9/e1, corollary #1
History
- 2026-10-31: add by m2/v0.5.6
9GYE1V7B2S 9GYE1V7B2S
| URI | m2://inv/9GYE1V7B2S |
|---|---|
| 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 2104.00162#6JXY (definition). In HVGT9D84WV/e1, definition 1.33
History
- 2026-10-27: add by m2/v0.3.5
Johannes Widmann 9GYJ0V5NCX
| URI | m2://inv/9GYJ0V5NCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7W0I, Johannes Widmann (unknown)
History
- 2026-11-02: add by m2/dev
Bonnie Gold 9GYMB9SC55
| URI | m2://inv/9GYMB9SC55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonnie Gold, Bonnie Gold (topic). Also Wikidata Q53408495
History
- 2026-11-02: add by m2/dev
Limiting supremum 9GYQGGR1QR
| URI | m2://inv/9GYQGGR1QR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.27918#04UB, Limiting supremum (definition)
History
- 2026-11-01: add by m2/v0.6.15
9GYVPBZ5FC 9GYVPBZ5FC
| URI | m2://inv/9GYVPBZ5FC |
|---|---|
| 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.30274#GX3U (statement). In 6ASPPVJP5M/e1, proposition 5
History
- 2026-10-31: add by m2/v0.5.6
9GZ7XVA351 9GZ7XVA351
| URI | m2://inv/9GZ7XVA351 |
|---|---|
| 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.16561#ZH04 (statement). In TCXKVTVANM/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
9GZ8Z9GPS5 9GZ8Z9GPS5
| URI | m2://inv/9GZ8Z9GPS5 |
|---|---|
| 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.12803#MH2N (statement). In 98GNJ4MS7Q/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
9GZH0SNFQC 9GZH0SNFQC
| URI | m2://inv/9GZH0SNFQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-4 (example). In Y91XFCEVHQ, example, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Finite construction of an effective merit-descent direction 9GZHR5C4ZX
| URI | m2://inv/9GZHR5C4ZX |
|---|---|
| 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.18428#6FXY, Finite construction of an effective merit-descent direction (statement). In 6BGSQT7SV8/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
9GZKWSEVE7 9GZKWSEVE7
| URI | m2://inv/9GZKWSEVE7 |
|---|---|
| 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 2610.15217#R0IB (definition). In G70Q2FB591/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
9GZNM3KEDF 9GZNM3KEDF
| URI | m2://inv/9GZNM3KEDF |
|---|---|
| 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 1002.0879#RIY0 (definition). In M0SQY5EZN5/e1, definition 1.2.5
History
- 2026-10-27: add by m2/v0.3.5
Brazil 9GZQ7C6YWB
| URI | m2://inv/9GZQ7C6YWB |
|---|---|
| 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 Q155, Brazil (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Brazil
History
- 2026-10-26: add by m2/dev
Upper bound for an arbitrary \etm 9GZRM86521
| URI | m2://inv/9GZRM86521 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#0JYY, Upper bound for an arbitrary \etm (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compton wavelength 9GZT161T9F
| URI | m2://inv/9GZT161T9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1145377, Compton wavelength (definition). Also nLab Compton wavelength, ProofWiki Definition:Compton_Wavelength
History
- 2026-10-26: add by m2/dev