Inventory rows 7E
The cards of the rows of the inventory whose ids start with 7E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dionysodorus 7E078N9YWF
| URI | m2://inv/7E078N9YWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#3QEF, Dionysodorus (unknown)
History
- 2026-11-02: add by m2/dev
Anchoring barrier 7E07Q3WHVA
| URI | m2://inv/7E07Q3WHVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#AQ0W, Anchoring barrier (statement). In 7HXP270BD0/e1, lemma 5.16
History
- 2026-10-30: add by m2/v0.4.12
7E0C7DMKTC 7E0C7DMKTC
| URI | m2://inv/7E0C7DMKTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#DHMN (statement). In PEXJPV3NP8/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
7E0MB62MB6 7E0MB62MB6
| URI | m2://inv/7E0MB62MB6 |
|---|---|
| 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.01802#47O0 (statement). In XGPZ0G9E1Q/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
7E0RHV7HVR 7E0RHV7HVR
| URI | m2://inv/7E0RHV7HVR |
|---|---|
| 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 2610.03619#DMBR (statement). In 7SRERSS1PF/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
7E0VFNYV5M 7E0VFNYV5M
| URI | m2://inv/7E0VFNYV5M |
|---|---|
| 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.16505#O5Y4 (statement). In P9V43TXCJ3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Earth–Moon problem 7E1BB1ZF1G
| URI | m2://inv/7E1BB1ZF1G |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earth–Moon problem, Earth–Moon problem (conjecture). Also Wikidata Q116275606
History
- 2026-11-02: add by m2/dev
7E1BF6CR03 7E1BF6CR03
| URI | m2://inv/7E1BF6CR03 |
|---|---|
| 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.14217#T2E0 (statement). In K0DHYQC5B7/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
7E1CGVJ0FQ 7E1CGVJ0FQ
| URI | m2://inv/7E1CGVJ0FQ |
|---|---|
| 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.17571#C2N2 (statement). In SWFN2HCEE7/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
well-defined 7E1XEJ63CG
| URI | m2://inv/7E1XEJ63CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q371730, well-defined (unknown). Also MathWorld Well-Defined
- wikipedia: Wikipedia Well-defined expression, Well-defined expression (definition). Also Wikidata Q371730
History
- 2026-10-26: add by m2/dev
7E1YG3VTWP 7E1YG3VTWP
| URI | m2://inv/7E1YG3VTWP |
|---|---|
| Kind | example |
| 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.27056#W43W (example)
History
- 2026-11-01: add by m2/v0.6.15
7E26Q94YPF 7E26Q94YPF
| URI | m2://inv/7E26Q94YPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#7ESO (statement). In XBAXW1YBAK/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
7E2AMFYY4V 7E2AMFYY4V
| URI | m2://inv/7E2AMFYY4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#72EY (statement). In CPYWHRTPKC/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
Zariski surface 7E2FF1D6P5
| URI | m2://inv/7E2FF1D6P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski surface, Zariski surface (definition). Also Wikidata Q8066801
History
- 2026-11-02: add by m2/dev
Examples 7E2H2E2CEH
| URI | m2://inv/7E2H2E2CEH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richtmyer–Meshkov instability#WX7J, Examples (example)
History
- 2026-11-02: add by m2/dev
7E2JEP2AVQ 7E2JEP2AVQ
| URI | m2://inv/7E2JEP2AVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.34570#YMY0 (statement). In EVFX1R7ZDD/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Lower semicontinuous regularization 7E2JSTGWH1
| URI | m2://inv/7E2JSTGWH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2610.20542#KWHQ, Lower semicontinuous regularization (statement). In 8PZXZ8Y9FK/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Tsachik Gelander 7E2VPQ8JF1
| URI | m2://inv/7E2VPQ8JF1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UWWU, Tsachik Gelander (topic)
History
- 2026-11-02: add by m2/dev
Examples 7E3CGS7SEN
| URI | m2://inv/7E3CGS7SEN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morita equivalence#J3FZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Measurable majorant 7E3CTSXT8Z
| URI | m2://inv/7E3CTSXT8Z |
|---|---|
| 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#Y6L5, Measurable majorant (statement). In NKXTXH59P1/e1, corollary B.7
History
- 2026-10-29: add by m2/v0.4.10
Definition 7E3GFDC811
| URI | m2://inv/7E3GFDC811 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tracking signal#RYIZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Smooth indistinguishability 7E3H0BGMXJ
| URI | m2://inv/7E3H0BGMXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#VS1C, Smooth indistinguishability (statement). In 9YAE8FNQST/e1, corollary 31.11
History
- 2026-10-30: add by m2/v0.4.12
Principle of transformation (what people make of the situation) 7E3NT12ACD
| URI | m2://inv/7E3NT12ACD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interdependence theory#1ZYR, Principle of transformation (what people make of the situation) (statement)
History
- 2026-11-02: add by m2/dev
7E3RRSAHB1 7E3RRSAHB1
| URI | m2://inv/7E3RRSAHB1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#SIIR (problem)
History
- 2026-11-02: add by m2/v0.6.18
7E3ZWWSVX1 7E3ZWWSVX1
| URI | m2://inv/7E3ZWWSVX1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40161#N8ZA (definition). In P2ZW0PZMEH/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Examples 7E45F0N3FD
| URI | m2://inv/7E45F0N3FD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant manifold#RAZ0, Examples (example)
History
- 2026-11-02: add by m2/dev
Veto 7E47HYD3T2
| URI | m2://inv/7E47HYD3T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#GXHB, Veto (definition)
History
- 2026-11-02: add by m2/dev
isotopy 7E4BV5M0VN
| URI | m2://inv/7E4BV5M0VN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13424747, isotopy (unknown). Also nLab isotopy
History
- 2026-10-26: add by m2/dev
Menger's theorem 7E4FYVTZ8H
| URI | m2://inv/7E4FYVTZ8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max-flow min-cut theorem#B186, Menger's theorem (statement)
History
- 2026-11-02: add by m2/dev
The theorem 7E4NK4S76P
| URI | m2://inv/7E4NK4S76P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atkinson–Mingarelli theorem#4JSG, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Implementation 7E4Z3CR32K
| URI | m2://inv/7E4Z3CR32K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo method in statistical mechanics#RZ22, Implementation (definition)
History
- 2026-11-02: add by m2/dev
7E523MGDZH 7E523MGDZH
| URI | m2://inv/7E523MGDZH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.09601#2B41 (definition). In P26ZRC1QRZ/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Alfred Loewy 7E5353WXA0
| URI | m2://inv/7E5353WXA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CTUP, Alfred Loewy (topic)
History
- 2026-11-02: add by m2/dev
7E575PZGMV 7E575PZGMV
| URI | m2://inv/7E575PZGMV |
|---|---|
| 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.24363#WPIR (statement)
History
- 2026-11-01: add by m2/v0.6.15
7E57MGD04R 7E57MGD04R
| URI | m2://inv/7E57MGD04R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18106#YQPC (statement). In VZDPG7NJCX/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
The characterization 7E59867Y47
| URI | m2://inv/7E59867Y47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Left-right planarity test#3SVH, The characterization (statement)
History
- 2026-11-02: add by m2/dev
7E59E8VAEG 7E59E8VAEG
| URI | m2://inv/7E59E8VAEG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#QSS2 (definition). In ATSYBWEMMP/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Normalization 7E5EEG2ACT
| URI | m2://inv/7E5EEG2ACT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#QRFB, Normalization (statement). In 65TJENWK7X/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Peter–Weyl theorem 7E5F8CFHD6
| URI | m2://inv/7E5F8CFHD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 4 |
| Outcome | open |
| Node | Peter–Weyl theorem 6VC9QE39XH |
Mentions
- mathlib_1000: mathlib_1000 Q1529941, Peter–Weyl theorem (statement). Also Wikidata Q1529941
- thousand_plus: thousand_plus Q1529941, Peter–Weyl theorem (statement). Also Wikidata Q1529941, Wikipedia Peter–Weyl theorem
- wikidata: Wikidata Q1529941, Peter–Weyl theorem (statement). Also MathWorld Peter-WeylTheorem
- wikipedia: Wikipedia Peter–Weyl theorem, Peter–Weyl theorem (statement). Also Wikidata Q1529941
History
- 2026-10-26: add by m2/dev
7E5P65HRV1 7E5P65HRV1
| URI | m2://inv/7E5P65HRV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#26E5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Todd–Coxeter algorithm 7E5S89Z89F
| URI | m2://inv/7E5S89Z89F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#O2L6, Todd–Coxeter algorithm (definition)
History
- 2026-11-02: add by m2/dev
backgammon 7E5W30QD0W
| URI | m2://inv/7E5W30QD0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11411, backgammon (unknown). Also MathWorld Backgammon
History
- 2026-10-26: add by m2/dev
root node 7E63BB5NXT
| URI | m2://inv/7E63BB5NXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1757074, root node (unknown). Also MathWorld RootVertex
History
- 2026-10-26: add by m2/dev
7E6446H27K 7E6446H27K
| URI | m2://inv/7E6446H27K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#O84H (statement). In HA9B7PD0YV/e1, proposition 46
History
- 2026-10-29: add by m2/v0.4.10
Properties 7E6AJ2BYGJ
| URI | m2://inv/7E6AJ2BYGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indifference graph#YIK4, Properties (statement)
History
- 2026-11-02: add by m2/dev
7E6C2H2C7S 7E6C2H2C7S
| URI | m2://inv/7E6C2H2C7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#CIVP (statement). In M2PEDAF7AX/e1, corollary 4.6
History
- 2026-10-27: add by m2/v0.3.5
Examples 7E6DNMYF9E
| URI | m2://inv/7E6DNMYF9E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative functor#IRBY, Examples (example)
History
- 2026-11-02: add by m2/dev
Simultaneous tree gluing 7E6EY51N1F
| URI | m2://inv/7E6EY51N1F |
|---|---|
| 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.17400#XB17, Simultaneous tree gluing (statement). In 8VDXGR4SVD/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
7E6F9A6WSJ 7E6F9A6WSJ
| URI | m2://inv/7E6F9A6WSJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#JBD8 (definition). In WD2NCBV9F0/e1, definition 19.6
History
- 2026-10-27: add by m2/v0.3.5
Uniform clipped-Gaussian angular barrier 7E6H9TJV4K
| URI | m2://inv/7E6H9TJV4K |
|---|---|
| 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.11309#DZC8, Uniform clipped-Gaussian angular barrier (statement). In TTEAQA1XXR/e1, lemma E.7
History
- 2026-10-28: add by m2/v0.4.3
Gaussian comparison for adaptive increments 7E6MFRQ50T
| URI | m2://inv/7E6MFRQ50T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#GR86, Gaussian comparison for adaptive increments (statement). In 9YAE8FNQST/e1, theorem 4.8
History
- 2026-10-30: add by m2/v0.4.12
Definition 7E6MNWY0JV
| URI | m2://inv/7E6MNWY0JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Čech-to-derived functor spectral sequence#12TR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Identifiation map 7E6NH5F6DX
| URI | m2://inv/7E6NH5F6DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (topology)#03LI, Identifiation map (unknown)
History
- 2026-11-02: add by m2/dev
7E73R0VBX5 7E73R0VBX5
| URI | m2://inv/7E73R0VBX5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Monte Carlo method 7E7AT04RJJ
| URI | m2://inv/7E7AT04RJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Monte Carlo method HWP11G3HTN |
Mentions
- wikidata: Wikidata Q232207, Monte Carlo method (unknown). Also MathWorld MonteCarloMethod
- wikipedia: Wikipedia Monte Carlo method, Monte Carlo method (definition). Also Wikidata Q232207
History
- 2026-10-26: add by m2/dev
Anatoly Dorodnitsyn 7E7ERXRDV5
| URI | m2://inv/7E7ERXRDV5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatoly Dorodnitsyn, Anatoly Dorodnitsyn (topic). Also Wikidata Q4166843
History
- 2026-11-02: add by m2/dev
Compound of four cubes 7E7JGJVACR
| URI | m2://inv/7E7JGJVACR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of four cubes, Compound of four cubes (definition). Also Wikidata Q85753712
History
- 2026-11-02: add by m2/dev
Concrete illustration of the central limit theorem 7E7RH2YAEP
| URI | m2://inv/7E7RH2YAEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OT9V, Concrete illustration of the central limit theorem (statement)
- wikipedia: Wikipedia List of mathematical examples#2JYG, Concrete illustration of the central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
Amitai Regev 7E7T0549DC
| URI | m2://inv/7E7T0549DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amitai Regev, Amitai Regev (topic). Also Wikidata Q4746921
History
- 2026-11-02: add by m2/dev
7E7Z170AWB 7E7Z170AWB
| URI | m2://inv/7E7Z170AWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#FSUB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Where Mathematics Comes From 7E83Y22E9E
| URI | m2://inv/7E83Y22E9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#9NU9, Where Mathematics Comes From (definition)
History
- 2026-11-02: add by m2/dev
Square pyramid 7E85S6YM9K
| URI | m2://inv/7E85S6YM9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YXYR, Square pyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#U2BR, Square pyramid (definition)
History
- 2026-11-02: add by m2/dev
7E87DJJGAR 7E87DJJGAR
| URI | m2://inv/7E87DJJGAR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 97.4
History
- 2026-11-01: add by m2/v0.6.13
Compact and complex equivariant subobjects 7E8CAB6VX7
| URI | m2://inv/7E8CAB6VX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#8QOJ, Compact and complex equivariant subobjects (statement). In KFEASG3ZHS/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Juan C. Meza 7E8N04NBG4
| URI | m2://inv/7E8N04NBG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan C. Meza, Juan C. Meza (topic). Also Wikidata Q56055277
History
- 2026-11-02: add by m2/dev
7E9A1ZJBNC 7E9A1ZJBNC
| URI | m2://inv/7E9A1ZJBNC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
Example 7E9BNKA1VX
| URI | m2://inv/7E9BNKA1VX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mediation (statistics)#VNEX, Example (example)
History
- 2026-11-02: add by m2/dev
Fred Ernest Julius Linton 7E9DK1E1JV
| URI | m2://inv/7E9DK1E1JV |
|---|---|
| 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 Q102164599, Fred Ernest Julius Linton (unknown). Also nLab Fred+Linton
History
- 2026-10-26: add by m2/dev
Royal Statistical Society 7E9GHTHCHK
| URI | m2://inv/7E9GHTHCHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#BQOM, Royal Statistical Society (definition)
History
- 2026-11-02: add by m2/dev
John Lemmon 7E9J1K4D4E
| URI | m2://inv/7E9J1K4D4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Lemmon, John Lemmon (topic). Also Wikidata Q6244518
History
- 2026-11-02: add by m2/dev
7E9N81YEJW 7E9N81YEJW
| URI | m2://inv/7E9N81YEJW |
|---|---|
| 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#J7F7 (statement). In CRFDGFZHBF/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
Scalene triangle 7E9R12HCNW
| URI | m2://inv/7E9R12HCNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#ETOF, Scalene triangle (definition)
History
- 2026-11-02: add by m2/dev
7E9V2T693Y 7E9V2T693Y
| URI | m2://inv/7E9V2T693Y |
|---|---|
| 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.21403#28QY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Linear combinations recovering the derivative weights 7EA0WFPX1W
| URI | m2://inv/7EA0WFPX1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#3DSF, Linear combinations recovering the derivative weights (statement)
History
- 2026-11-02: add by m2/v0.6.17
Well-quasi-ordering 7EA1JY807E
| URI | m2://inv/7EA1JY807E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-quasi-ordering, Well-quasi-ordering (definition). Also Wikidata Q2894153
History
- 2026-11-02: add by m2/dev
7EA1KRJRKC 7EA1KRJRKC
| URI | m2://inv/7EA1KRJRKC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#MJT3 (definition). In 4SPYEGKZ8J/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
7EA4VC9HF8 7EA4VC9HF8
| URI | m2://inv/7EA4VC9HF8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
7EADAKEP9R 7EADAKEP9R
| URI | m2://inv/7EADAKEP9R |
|---|---|
| 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 2406.07116#FRGN (statement). In 5B030CB2RK/e1, proposition A.12
History
- 2026-10-27: add by m2/v0.3.6
7EARHJP1CX 7EARHJP1CX
| URI | m2://inv/7EARHJP1CX |
|---|---|
| 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.00625#8TFC (statement). In BGA625B7W1/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Day length fluctuations 7EB17FN46N
| URI | m2://inv/7EB17FN46N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Day length fluctuations, Day length fluctuations (definition). Also Wikidata Q5462620
History
- 2026-11-02: add by m2/dev
Branching quantifier 7EB190RNGM
| URI | m2://inv/7EB190RNGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branching quantifier, Branching quantifier (definition). Also Wikidata Q4956439
History
- 2026-11-02: add by m2/dev
Doron Zeilberger 7EB6DKY9A1
| URI | m2://inv/7EB6DKY9A1 |
|---|---|
| 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 Q909202, Doron Zeilberger (unknown). Also MathWorld ZeilbergersAlgorithm, nLab Doron Zeilberger
- wikipedia: Wikipedia Doron Zeilberger, Doron Zeilberger (topic). Also Wikidata Q909202
History
- 2026-10-26: add by m2/dev
7EB8K47GJR 7EB8K47GJR
| URI | m2://inv/7EB8K47GJR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Bobkov's inequality 7EBENKA9J0
| URI | m2://inv/7EBENKA9J0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bobkov's inequality, Bobkov's inequality (statement). Also Wikidata Q118209142
History
- 2026-11-02: add by m2/dev
E 7EBQG31YHG
| URI | m2://inv/7EBQG31YHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#L1QP, E (definition)
History
- 2026-11-02: add by m2/dev
Mackey–Arens theorem II 7EBR7XC78W
| URI | m2://inv/7EBR7XC78W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system#NOOC, Mackey–Arens theorem II (statement)
History
- 2026-11-02: add by m2/dev
Applications 7EBXRNV81A
| URI | m2://inv/7EBXRNV81A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell polynomials#N6C4, Applications (example)
History
- 2026-11-02: add by m2/dev
7EC3DBB19V 7EC3DBB19V
| URI | m2://inv/7EC3DBB19V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2607.00146#D524 (definition). In 6KR7Z5ETRY/e1, definition 2.26
History
- 2026-10-27: add by m2/v0.3.5
7EC9D7ZE93 7EC9D7ZE93
| URI | m2://inv/7EC9D7ZE93 |
|---|---|
| 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 2201.12479#0B42 (statement). In ZDWR95TW99/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Once de Septiembre 7ECA69YZJC
| URI | m2://inv/7ECA69YZJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TN7D, Once de Septiembre (unknown)
History
- 2026-11-02: add by m2/dev
7ECB3KAN5N 7ECB3KAN5N
| URI | m2://inv/7ECB3KAN5N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.22288#VY55 (definition). In X38P26DK6S/e1, definition 8.2
History
- 2026-10-27: add by m2/v0.4.0
Sina plot 7ECBDA2FAP
| URI | m2://inv/7ECBDA2FAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sina plot, Sina plot (definition). Also Wikidata Q123630833
History
- 2026-11-02: add by m2/dev
Uses 7ECCYGC0QC
| URI | m2://inv/7ECCYGC0QC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler star#HQ1F, Uses (example)
History
- 2026-11-02: add by m2/dev
Lazard ring 7ECG7901H1
| URI | m2://inv/7ECG7901H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#62MJ, Lazard ring (definition)
History
- 2026-11-02: add by m2/dev
De Rham's theorem 7ECH1XNFNQ
| URI | m2://inv/7ECH1XNFNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#32VT, De Rham's theorem (statement)
History
- 2026-11-02: add by m2/dev
7ECHGYSMR4 7ECHGYSMR4
| URI | m2://inv/7ECHGYSMR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#G57A (statement). In 3KTZ6Z615H/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Neural network 7ECS81DEZV
| URI | m2://inv/7ECS81DEZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#U734, Neural network (unknown)
History
- 2026-11-02: add by m2/dev
7ECV76VJHH 7ECV76VJHH
| URI | m2://inv/7ECV76VJHH |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#L7MR (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Virasoro algebra 7ECXSTJKYD
| URI | m2://inv/7ECXSTJKYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#TSWC, Virasoro algebra (definition)
- wikipedia: Wikipedia List of abstract algebra topics#R7NM, Virasoro algebra (definition)
- wikipedia: Wikipedia List of string theory topics#0NNU, Virasoro algebra (definition)
History
- 2026-11-02: add by m2/dev
7EDE1F2Y5Z 7EDE1F2Y5Z
| URI | m2://inv/7EDE1F2Y5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:graphcoordinatesCn (statement). In VNMV985MXX, prop, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
7EDEFGNPQY 7EDEFGNPQY
| URI | m2://inv/7EDEFGNPQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 0909.2893#JJ5S (statement). In JQ4JYAXCMK/e1, theorem 20
History
- 2026-10-27: add by m2/v0.3.5
7EDEZ6KM4M 7EDEZ6KM4M
| URI | m2://inv/7EDEZ6KM4M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#TNP8 (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Convergence and Mertens' theorem 7EDKHH1KTS
| URI | m2://inv/7EDKHH1KTS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy product#OUYA, Convergence and Mertens' theorem (statement)
History
- 2026-11-02: add by m2/dev
RSA cryptosystem 7EDMVKVWPC
| URI | m2://inv/7EDMVKVWPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | RSA cryptosystem 0HM584C465 |
Mentions
- wikidata: Wikidata Q181551, RSA cryptosystem (definition). Also MathWorld RSAEncryption, ProofWiki Definition:RSA_Algorithm
- wikipedia: Wikipedia RSA cryptosystem, RSA cryptosystem (definition). Also Wikidata Q181551
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7EDN3VY5M9 7EDN3VY5M9
| URI | m2://inv/7EDN3VY5M9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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 2607.25960#1U7M (definition). In 13GSWBXPCM/e1, definition C.1
History
- 2026-10-27: add by m2/v0.3.5
7EDQYSY74H 7EDQYSY74H
| URI | m2://inv/7EDQYSY74H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23660#7VLJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Second-order Hessian of $\Delta_n(r)$ 7EDW0Q6H3M
| URI | m2://inv/7EDW0Q6H3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#ZBK8, Second-order Hessian of $\Delta_n(r)$ (statement). In SCC2N3WNYE/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
7EE3FV6NH8 7EE3FV6NH8
| URI | m2://inv/7EE3FV6NH8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
7EE605RV2D 7EE605RV2D
| URI | m2://inv/7EE605RV2D |
|---|---|
| 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.24082#QRM5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7EE7FY3QH5 7EE7FY3QH5
| URI | m2://inv/7EE7FY3QH5 |
|---|---|
| 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.07099#FZBD (statement). In 9GNAHRCYFT/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Consequences of the Kummer–Vandiver conjecture 7EE7GQM7MG
| URI | m2://inv/7EE7GQM7MG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer–Vandiver conjecture#7FFR, Consequences of the Kummer–Vandiver conjecture (statement)
History
- 2026-11-02: add by m2/dev
Binary tree representation of trees 7EEBPT3C8M
| URI | m2://inv/7EEBPT3C8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary tree#B9Q6, Binary tree representation of trees (unknown)
History
- 2026-11-02: add by m2/dev
bijective 7EECBNZCWD
| URI | m2://inv/7EECBNZCWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q1YH, bijective (definition)
History
- 2026-11-02: add by m2/dev
Karl Holzinger 7EEP0255HY
| URI | m2://inv/7EEP0255HY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Holzinger, Karl Holzinger (topic). Also Wikidata Q30231567
History
- 2026-11-02: add by m2/dev
Properties 7EETPT1F4E
| URI | m2://inv/7EETPT1F4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncountable set#MQC0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Zhou and Li 7EEVBPXV9S
| URI | m2://inv/7EEVBPXV9S |
|---|---|
| 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.11441#XZK5, Zhou and Li (statement). In RNXV4Q58TY/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Consistency and error bound 7EEZC1FZ4B
| URI | m2://inv/7EEZC1FZ4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#K0Q4, Consistency and error bound (statement). In SV36P5P5Z3/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Martha Aliaga 7EF06ZRCHV
| URI | m2://inv/7EF06ZRCHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#B3XO, Martha Aliaga (unknown)
History
- 2026-11-02: add by m2/dev
7EF1J1V7W8 7EF1J1V7W8
| URI | m2://inv/7EF1J1V7W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#IEFE (statement). In 1MPH7GCFJ2/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
7EF99N9FNA 7EF99N9FNA
| URI | m2://inv/7EF99N9FNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#R8P6 (statement). In 7QXAZXGNPQ/e1, corollary 7.6
History
- 2026-10-29: add by m2/v0.4.12
Triangle counting lemma 7EFARXAP4W
| URI | m2://inv/7EFARXAP4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > Triangle counting lemma, Triangle counting lemma (unknown). Also Mathlib SimpleGraph.triangle_counting
History
- 2026-10-26: add by m2/dev
Richard Taylor 7EFFV9EZA8
| URI | m2://inv/7EFFV9EZA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FUDM, Richard Taylor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0UNU, Richard Taylor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8ANQ, Richard Taylor (topic)
History
- 2026-11-02: add by m2/dev
7EFPE82MYQ 7EFPE82MYQ
| URI | m2://inv/7EFPE82MYQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#E9L1 (definition). In Z7E16PFFCP/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
great hexagonal hexecontahedron 7EFQF0TEFG
| URI | m2://inv/7EFQF0TEFG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600364, great hexagonal hexecontahedron (unknown). Also MathWorld GreatHexagonalHexecontahedron
- wikipedia: Wikipedia Great hexagonal hexecontahedron, Great hexagonal hexecontahedron (object). Also Wikidata Q5600364
History
- 2026-10-26: add by m2/dev
7EG6FGRQ31 7EG6FGRQ31
| URI | m2://inv/7EG6FGRQ31 |
|---|---|
| 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.32282#BE1B (statement). In MF7XEPN4GV/e1, proposition 3
History
- 2026-10-31: add by m2/v0.5.6
7EGCS7ZEP3 7EGCS7ZEP3
| URI | m2://inv/7EGCS7ZEP3 |
|---|---|
| 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.14847#LSVJ (statement). In 2RC8WXQ9ET/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Formal definition 7EGRY6Q8EN
| URI | m2://inv/7EGRY6Q8EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sklyanin algebra#KQ5V, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Notation 7EGS019CEF
| URI | m2://inv/7EGS019CEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Casteljau's algorithm#1YZE, Notation (definition)
History
- 2026-11-02: add by m2/dev
7EGVQJ1HCW 7EGVQJ1HCW
| URI | m2://inv/7EGVQJ1HCW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.22288#DSZ4 (definition). In X38P26DK6S/e1, definition 5.12
History
- 2026-10-27: add by m2/v0.4.0
7EH45BJ300 7EH45BJ300
| URI | m2://inv/7EH45BJ300 |
|---|---|
| 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 0809.4587#TEPH (statement). In KQ8JPHDKKE/e1, theorem 9.7.5
History
- 2026-10-27: add by m2/v0.3.5
7EH61HD137 7EH61HD137
| URI | m2://inv/7EH61HD137 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#DOGX (statement). In 317GZJ38HS/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
Procedure 7EH79FZGK3
| URI | m2://inv/7EH79FZGK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United States census#JUV7, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Hadamard transform 7EHGDQVRJC
| URI | m2://inv/7EHGDQVRJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#904Q, Hadamard transform (definition)
History
- 2026-11-02: add by m2/dev
Mary Gertrude Haseman 7EHJW5KVBS
| URI | m2://inv/7EHJW5KVBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Gertrude Haseman, Mary Gertrude Haseman (topic). Also Wikidata Q102155128
History
- 2026-11-02: add by m2/dev
Rogers–Ramanujan continued fraction 7EHQ0X1X62
| URI | m2://inv/7EHQ0X1X62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rogers–Ramanujan continued fraction, Rogers–Ramanujan continued fraction (definition). Also Wikidata Q7359378
History
- 2026-11-02: add by m2/dev
7EHTNHHK2H 7EHTNHHK2H
| URI | m2://inv/7EHTNHHK2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.28076#E4CV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition and examples 7EHWKRZVFE
| URI | m2://inv/7EHWKRZVFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midsphere#CDH6, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Characterization 7EJ1MARW1W
| URI | m2://inv/7EJ1MARW1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric moment problem#BPQ5, Characterization (statement)
History
- 2026-11-02: add by m2/dev
7EJ7X67EA7 7EJ7X67EA7
| URI | m2://inv/7EJ7X67EA7 |
|---|---|
| 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.16989#H3OC (statement). In 4769XNDWYS/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Definition 7EJ9065J84
| URI | m2://inv/7EJ9065J84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge bundle#JH1L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Panagiotis E. Souganidis 7EJCC0W1MR
| URI | m2://inv/7EJCC0W1MR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panagiotis E. Souganidis, Panagiotis E. Souganidis (topic). Also Wikidata Q74742499
History
- 2026-11-02: add by m2/dev
7EJD4PR9HQ 7EJD4PR9HQ
| URI | m2://inv/7EJD4PR9HQ |
|---|---|
| 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#1ZE0 (statement). In 7XV6T4N79V/e1, lemma B.8
History
- 2026-10-29: add by m2/v0.4.10
7EK3N2A02N 7EK3N2A02N
| URI | m2://inv/7EK3N2A02N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33531#2512 (statement). In HNMJEAR2ER/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Partition function (number theory) 7EKHG8T10D
| URI | m2://inv/7EKHG8T10D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#JY4N, Partition function (number theory) (definition)
- wikipedia: Wikipedia List of partition topics#7OXR, Partition function (number theory) (definition)
History
- 2026-11-02: add by m2/dev
7EM6MPVG47 7EM6MPVG47
| URI | m2://inv/7EM6MPVG47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25843#XKG7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7EM9QN67X0 7EM9QN67X0
| URI | m2://inv/7EM9QN67X0 |
|---|---|
| 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 2605.30285#N62O (statement). In YMY0NNSM27/e1, lemma 7.7
History
- 2026-10-27: add by m2/v0.3.6
Composite gap 7EMPVMGF50
| URI | m2://inv/7EMPVMGF50 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#AJKH, Composite gap (definition). In X5BYGZZHPF/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Andrew Stuart 7EN3C747YB
| URI | m2://inv/7EN3C747YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TBPU, Andrew Stuart (topic)
History
- 2026-11-02: add by m2/dev
7EN6C98MEJ 7EN6C98MEJ
| URI | m2://inv/7EN6C98MEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#GYIJ (statement). In WDV5E2CVTR/e1, corollary 7.9
History
- 2026-10-29: add by m2/v0.4.10
7EN8CBXFMV 7EN8CBXFMV
| URI | m2://inv/7EN8CBXFMV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
Binomial theorem 7EN93MQ52Y
| URI | m2://inv/7EN93MQ52Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm#MLZQ, Binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Chap. 3, \S 3, Cor. 1 7ENF06HPDH
| URI | m2://inv/7ENF06HPDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#N9QB, Chap. 3, \S 3, Cor. 1 (statement). In 1QSCT53ZED/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.4.0
7ENMJB5GA7 7ENMJB5GA7
| URI | m2://inv/7ENMJB5GA7 |
|---|---|
| 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.10796#5HOY (statement). In 9YDW0QJZ6K/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
Theorems 7ENPHR258F
| URI | m2://inv/7ENPHR258F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete category#6G2F, Theorems (statement)
History
- 2026-11-02: add by m2/dev
7ENZDS96WP 7ENZDS96WP
| URI | m2://inv/7ENZDS96WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/goedel.tex#defn:goedel (definition). In PKGMM3P5QY, defn, section 42.2
History
- 2026-11-01: add by m2/v0.6.13
point process 7ENZQT5GKG
| URI | m2://inv/7ENZQT5GKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Point process DNDKBVHS3H |
Mentions
- wikidata: Wikidata Q7208287, point process (unknown). Also MathWorld PointProcess
- wikipedia: Wikipedia Point process, Point process (definition). Also Wikidata Q7208287
History
- 2026-10-26: add by m2/dev
Group scheme of roots of unity 7EP3ZEJ66G
| URI | m2://inv/7EP3ZEJ66G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative group#W554, Group scheme of roots of unity (unknown)
History
- 2026-11-02: add by m2/dev
Georgia Benkart 7EP4MKAEXT
| URI | m2://inv/7EP4MKAEXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FS20, Georgia Benkart (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M4CK, Georgia Benkart (topic)
History
- 2026-11-02: add by m2/dev
Definition 7EP6AX5M4T
| URI | m2://inv/7EP6AX5M4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal extension#NTBW, Definition (definition)
History
- 2026-11-02: add by m2/dev
7EPEHE49YA 7EPEHE49YA
| URI | m2://inv/7EPEHE49YA |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37450#84W3 (conjecture). In FP05Z6EBV4/e1, conjecture 4.5
History
- 2026-10-30: add by m2/v0.4.12
Nancy Temkin 7EPFF8VWN4
| URI | m2://inv/7EPFF8VWN4 |
|---|---|
| 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#209T, Nancy Temkin (topic)
History
- 2026-11-02: add by m2/dev
Quantitative genetics 7EPN9214VH
| URI | m2://inv/7EPN9214VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative genetics, Quantitative genetics (topic). Also Wikidata Q550479
History
- 2026-11-02: add by m2/dev
Friedrich Schilling 7EPSQCGTNX
| URI | m2://inv/7EPSQCGTNX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Schilling, Friedrich Schilling (topic). Also Wikidata Q98180
History
- 2026-11-02: add by m2/dev
7EPSZ0VF5F 7EPSZ0VF5F
| URI | m2://inv/7EPSZ0VF5F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
7EPXCY0Q8X 7EPXCY0Q8X
| URI | m2://inv/7EPXCY0Q8X |
|---|---|
| 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 2207.05628#JGW0 (statement). In 9JPKTEWW4W/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
Examples 7EQ0SEMVAW
| URI | m2://inv/7EQ0SEMVAW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational number#UWAN, Examples (example)
History
- 2026-11-02: add by m2/dev
spacetime 7EQ5GM5MKP
| URI | m2://inv/7EQ5GM5MKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133327, spacetime (definition). Also EoM Space-time, nLab spacetime, ProofWiki Definition:Spacetime
- wikipedia: Wikipedia Spacetime, Spacetime (definition). Also Wikidata Q133327
History
- 2026-10-26: add by m2/dev
Holtsmark distribution 7EQJ9W71KZ
| URI | m2://inv/7EQJ9W71KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ULZ7, Holtsmark distribution (definition)
History
- 2026-11-02: add by m2/dev
Alphabetic numeral system 7EQQ5B2MP4
| URI | m2://inv/7EQQ5B2MP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alphabetic numeral system, Alphabetic numeral system (definition). Also Wikidata Q4063087
History
- 2026-11-02: add by m2/dev
Hitchin's equations 7EQTG1WPNZ
| URI | m2://inv/7EQTG1WPNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchin's equations, Hitchin's equations (definition). Also Wikidata Q108173376
History
- 2026-11-02: add by m2/dev
7EQZRDR6KT 7EQZRDR6KT
| URI | m2://inv/7EQZRDR6KT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-5 (example). In RZP28ERRZV, example, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
Maurice Princet 7ER7888R9T
| URI | m2://inv/7ER7888R9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#P0CD, Maurice Princet (topic)
History
- 2026-11-02: add by m2/dev
7ER9FQGEQQ 7ER9FQGEQQ
| URI | m2://inv/7ER9FQGEQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#VHFR (statement). In D6XA7JXZF3/e1, theorem 4.19
History
- 2026-10-27: add by m2/v0.3.5
Examples 7ERE3RDZYH
| URI | m2://inv/7ERE3RDZYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent matrix#KYL8, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 7ERE3Z72EM
| URI | m2://inv/7ERE3Z72EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial#4I49, Definition (definition)
History
- 2026-11-02: add by m2/dev
7ERHBZ2KB0 7ERHBZ2KB0
| URI | m2://inv/7ERHBZ2KB0 |
|---|---|
| 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.00117#RO72 (statement). In 4G2BDP206S/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Examples 7ERJ9E087B
| URI | m2://inv/7ERJ9E087B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic K-theory#C5XL, Examples (example)
History
- 2026-11-02: add by m2/dev
recovery sequence for an affine target function 7ERSNR3XJF
| URI | m2://inv/7ERSNR3XJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05423#TJ9R, recovery sequence for an affine target function (statement). In 3ABGS3F1JG/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Jawad Salehi 7ERVGPNERQ
| URI | m2://inv/7ERVGPNERQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YT1X, Jawad Salehi (unknown)
History
- 2026-11-02: add by m2/dev
Roman Orus 7ERXZVMD9M
| URI | m2://inv/7ERXZVMD9M |
|---|---|
| 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 Q57420520, Roman Orus (unknown). Also nLab Roman Orus
History
- 2026-10-26: add by m2/dev
Examples 7ES2KCXXG3
| URI | m2://inv/7ES2KCXXG3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (topology)#2MLD, Examples (example)
History
- 2026-11-02: add by m2/dev
Dimitri Nanopoulos 7ES3BF3SM1
| URI | m2://inv/7ES3BF3SM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#8RHW, Dimitri Nanopoulos (unknown)
History
- 2026-11-02: add by m2/dev
Georg Pick 7ES7XMW2D6
| URI | m2://inv/7ES7XMW2D6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NTMA, Georg Pick (unknown)
History
- 2026-11-02: add by m2/dev
Kai Lai Chung 7ES99MHBER
| URI | m2://inv/7ES99MHBER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5H8E, Kai Lai Chung (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9FSE, Kai Lai Chung (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9I6E, Kai Lai Chung (topic)
History
- 2026-11-02: add by m2/dev
Marcello Lelli 7ESBNATCGF
| URI | m2://inv/7ESBNATCGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9T3T, Marcello Lelli (unknown)
History
- 2026-11-02: add by m2/dev
Shafi Goldwasser 7ESBRP1ETT
| URI | m2://inv/7ESBRP1ETT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#VR8L, Shafi Goldwasser (topic)
History
- 2026-11-02: add by m2/dev
7ESGRE42YV 7ESGRE42YV
| URI | m2://inv/7ESGRE42YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn-1 (definition). In N54F33XE07, defn, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
7ESJBVKGZR 7ESJBVKGZR
| URI | m2://inv/7ESJBVKGZR |
|---|---|
| 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.01561#UMZG (statement). In W4G7BCHYEW/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
7ESK16TS5Y 7ESK16TS5Y
| URI | m2://inv/7ESK16TS5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#KM2B (statement). In 8T90H89HNB/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Explicit spectral rate bounds 7ESREC1VHH
| URI | m2://inv/7ESREC1VHH |
|---|---|
| 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.21363#I3EB, Explicit spectral rate bounds (statement). In YPH7NS5AAQ/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.2
Sierpiński curve 7ESTYGYFD4
| URI | m2://inv/7ESTYGYFD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q786286, Sierpiński curve (unknown). Also MathWorld SierpinskiCurve
History
- 2026-10-26: add by m2/dev
5-cube 7ESX7WWTHM
| URI | m2://inv/7ESX7WWTHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cube, 5-cube (definition). Also Wikidata Q768387
History
- 2026-11-02: add by m2/dev
Properties 7ET8J862N1
| URI | m2://inv/7ET8J862N1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local homeomorphism#NSRE, Properties (statement)
History
- 2026-11-02: add by m2/dev
pentagonal antiprism 7ETAGE44PX
| URI | m2://inv/7ETAGE44PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1142819, pentagonal antiprism (unknown). Also MathWorld PentagonalAntiprism
- wikipedia: Wikipedia Pentagonal antiprism, Pentagonal antiprism (definition). Also Wikidata Q1142819
History
- 2026-10-26: add by m2/dev
Hyperbolic paraboloid 7ETCHY21HT
| URI | m2://inv/7ETCHY21HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#89L4, Hyperbolic paraboloid (definition)
History
- 2026-11-02: add by m2/dev
7ETCXBTXM2 7ETCXBTXM2
| URI | m2://inv/7ETCXBTXM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0008020#6687 (statement). In 8K466RA3HH/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
7ETH2KQFK2 7ETH2KQFK2
| URI | m2://inv/7ETH2KQFK2 |
|---|---|
| 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.15588#O44U (statement). In M2VCJFGZ4P/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Pugh's closing lemma 7ETK6J9WAW
| URI | m2://inv/7ETK6J9WAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#ZZEA, Pugh's closing lemma (statement)
History
- 2026-11-02: add by m2/dev
Hadamard variation formula 7ETPVJJJMG
| URI | m2://inv/7ETPVJJJMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard variation formula#46O0, Hadamard variation formula (statement)
History
- 2026-11-02: add by m2/dev
7ETR2VVHP3 7ETR2VVHP3
| URI | m2://inv/7ETR2VVHP3 |
|---|---|
| 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.05193#1YPQ (example). In XDMM0KNNZ9/e1, example 42
History
- 2026-10-29: add by m2/v0.4.10
7EV2PDHGMN 7EV2PDHGMN
| URI | m2://inv/7EV2PDHGMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#D4Y1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7EV4CFW5KX 7EV4CFW5KX
| URI | m2://inv/7EV4CFW5KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#EF68 (statement). In MS7M2BJS9X/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
7EV595K2FA 7EV595K2FA
| URI | m2://inv/7EV595K2FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#RCCM (statement)
History
- 2026-11-01: add by m2/v0.6.15
unitary normalization 7EV6HM1KB5
| URI | m2://inv/7EV6HM1KB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#M3ME, unitary normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Holran, Virginia Thompson 7EV9AJ94YB
| URI | m2://inv/7EV9AJ94YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#UFZS, Holran, Virginia Thompson (unknown)
History
- 2026-11-02: add by m2/dev
Walter Feit 7EV9RV9FA3
| URI | m2://inv/7EV9RV9FA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2QL0, Walter Feit (unknown)
History
- 2026-11-02: add by m2/dev
Passa Vinte 7EVA0XEQ4B
| URI | m2://inv/7EVA0XEQ4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#94XF, Passa Vinte (unknown)
History
- 2026-11-02: add by m2/dev
7EVB88Q0W2 7EVB88Q0W2
| URI | m2://inv/7EVB88Q0W2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#C5J6 (statement). In CC6S1HVK0T/e1, lemma 10.3
History
- 2026-10-28: add by m2/v0.4.2
7EVNKCAMPG 7EVNKCAMPG
| URI | m2://inv/7EVNKCAMPG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#CBYU (example). In F1CYVYK7YB/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 7EVPGWA76K
| URI | m2://inv/7EVPGWA76K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic progression#QRQ8, Examples (example)
History
- 2026-11-02: add by m2/dev
Ryder, Dudley 7EVVF7PZVA
| URI | m2://inv/7EVVF7PZVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DL8O, Ryder, Dudley (unknown)
History
- 2026-11-02: add by m2/dev
A. N. Varchenko 7EVX54QXMD
| URI | m2://inv/7EVX54QXMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0VTD, A. N. Varchenko (unknown)
History
- 2026-11-02: add by m2/dev
*{Def. 27 7EVYB956F2
| URI | m2://inv/7EVYB956F2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21914#80BM, *{Def. 27 (definition)
History
- 2026-11-02: add by m2/v0.6.17
7EWCGE3414 7EWCGE3414
| URI | m2://inv/7EWCGE3414 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#STER (statement). In VN084GGZGK/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.3
Napoleon-Feuerbach cubic 7EWCWTFKYY
| URI | m2://inv/7EWCWTFKYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q129260876, Napoleon-Feuerbach cubic (unknown). Also MathWorld Napoleon-FeuerbachCubic
History
- 2026-10-26: add by m2/dev
7EWEXJ0WN9 7EWEXJ0WN9
| URI | m2://inv/7EWEXJ0WN9 |
|---|---|
| Kind | example |
| 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.38014#7TZN (example). In F3X5W4E0AJ/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Pythagorean theorem 7EWFYV571H
| URI | m2://inv/7EWFYV571H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#A8S0, Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
7EWQTY92TR 7EWQTY92TR
| URI | m2://inv/7EWQTY92TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#U6XB (statement). In 1EA6AM9V01/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Shirley Kallek 7EWTHYZVVZ
| URI | m2://inv/7EWTHYZVVZ |
|---|---|
| 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#1VEI, Shirley Kallek (topic)
History
- 2026-11-02: add by m2/dev
Francesco Siacci 7EX3HH7TJ5
| URI | m2://inv/7EX3HH7TJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Siacci, Francesco Siacci (topic). Also Wikidata Q1399057
History
- 2026-11-02: add by m2/dev
Applications 7EX8RKB114
| URI | m2://inv/7EX8RKB114 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oja's rule#S3XL, Applications (example)
History
- 2026-11-02: add by m2/dev
7EXDKC28NJ 7EXDKC28NJ
| URI | m2://inv/7EXDKC28NJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#N3WK (example). In DDA62XQTWW/e1, example 4.13
History
- 2026-10-27: add by m2/v0.3.5
7EXHCC5SP4 7EXHCC5SP4
| URI | m2://inv/7EXHCC5SP4 |
|---|---|
| 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#65M1 (statement). In 2VHV0RNTNV/e1, corollary 7.14
History
- 2026-10-29: add by m2/v0.4.12
Theorem 7EXHDMK9MH
| URI | m2://inv/7EXHDMK9MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross's theorem#YUIX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Sun Binyong 7EXR0JXKGG
| URI | m2://inv/7EXR0JXKGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sun Binyong, Sun Binyong (topic). Also Wikidata Q76310945
History
- 2026-11-02: add by m2/dev
7EXS21S1T2 7EXS21S1T2
| URI | m2://inv/7EXS21S1T2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.25151#WMM5 (example)
History
- 2026-11-01: add by m2/v0.6.15
7EXTPSNX2X 7EXTPSNX2X
| URI | m2://inv/7EXTPSNX2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#PCHR (statement). In H52QQS8WZA/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
Cont'd 7EY23QYVEM
| URI | m2://inv/7EY23QYVEM |
|---|---|
| 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 2206.11471#HXWE, Cont'd (example). In 8387H919D5/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
Bulletin of the Section of Logic 7EY5Z0KD2B
| URI | m2://inv/7EY5Z0KD2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#JCSH, Bulletin of the Section of Logic (unknown)
History
- 2026-11-02: add by m2/dev
hyperbola 7EY6D8J2B2
| URI | m2://inv/7EY6D8J2B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hyperbola 0WN5G117YC |
Mentions
- wikidata: Wikidata Q165301, hyperbola (definition). Also MathWorld Hyperbola, nLab hyperbola, ProofWiki Definition:Hyperbola
- wikipedia: Wikipedia Hyperbola, Hyperbola (definition). Also Wikidata Q165301
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7EY9JSNY6B 7EY9JSNY6B
| URI | m2://inv/7EY9JSNY6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#def:hypersurface (definition). In VNMV985MXX, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Extension by zero 7EYGDPDWDQ
| URI | m2://inv/7EYGDPDWDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf (mathematics)#P3QJ, Extension by zero (unknown)
History
- 2026-11-02: add by m2/dev
Remembering a long string 7EYGRVEX90
| URI | m2://inv/7EYGRVEX90 |
|---|---|
| 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 math/0003117#LNM8, Remembering a long string (statement). In WD2NCBV9F0/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Hilbert--Schmidt norms on Reproducing Kernel Hilbert Spaces 7EYH97E4KP
| URI | m2://inv/7EYH97E4KP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19151#QA37, Hilbert--Schmidt norms on Reproducing Kernel Hilbert Spaces (example). In DKVT74MANJ/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
Local zeta-function 7EYKARM8ZR
| URI | m2://inv/7EYKARM8ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#5CD2, Local zeta-function (definition)
History
- 2026-11-02: add by m2/dev
Quadratic mean at a linear field cutoff 7EYKSQ86S1
| URI | m2://inv/7EYKSQ86S1 |
|---|---|
| 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.20351#5LT2, Quadratic mean at a linear field cutoff (statement)
History
- 2026-11-02: add by m2/v0.6.18
Triangle center 7EYP6BA0H3
| URI | m2://inv/7EYP6BA0H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#QT9K, Triangle center (definition)
History
- 2026-11-02: add by m2/dev
Wiles's proof of Fermat's Last Theorem 7EYS66KNE4
| URI | m2://inv/7EYS66KNE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiles's proof of Fermat's Last Theorem, Wiles's proof of Fermat's Last Theorem (statement). Also Wikidata Q8001607
History
- 2026-11-02: add by m2/dev
7EZJ63573D 7EZJ63573D
| URI | m2://inv/7EZJ63573D |
|---|---|
| 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.17677#6W70 (statement). In 5E9G06XJKC/e1, lemma D.10
History
- 2026-10-28: add by m2/v0.4.2
7EZMWGYXXK 7EZMWGYXXK
| URI | m2://inv/7EZMWGYXXK |
|---|---|
| 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 2610.09739#Q23Q (definition). In ZYNZ95FSFD/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
7EZSP2FZ2W 7EZSP2FZ2W
| URI | m2://inv/7EZSP2FZ2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#ZKJD (statement). In XYCBKM4WKY/e1, theorem 66
History
- 2026-10-27: add by m2/v0.3.5
$\bT$-factor 7EZTTED5H6
| URI | m2://inv/7EZTTED5H6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#4XFE, $\bT$-factor (definition). In 9S7HGSEX6Q/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Slutsky's theorem 7EZY4GNNJA
| URI | m2://inv/7EZY4GNNJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y13Q, Slutsky's theorem (statement)
History
- 2026-11-02: add by m2/dev
Probability-indexed local separation scale 7EZY63KSGQ
| URI | m2://inv/7EZY63KSGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21301#WSM2, Probability-indexed local separation scale (statement). In W7GCDXAK1K/e1, proposition 11
History
- 2026-10-27: add by m2/v0.4.2
7EZZF8YSZB 7EZZF8YSZB
| URI | m2://inv/7EZZF8YSZB |
|---|---|
| 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 2411.02694#5GRR (statement). In A8EK2ARN5Q/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0