Inventory rows 4V
The cards of the rows of the inventory whose ids start with 4V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Large-time decay and Gaussian asymptotics 4V0J03NX5P
| URI | m2://inv/4V0J03NX5P |
|---|---|
| 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.13613#ZUEB, Large-time decay and Gaussian asymptotics (statement). In 3HCT4TQ5PM/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
Canonizant 4V0VMAEGMT
| URI | m2://inv/4V0VMAEGMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonizant, Canonizant (definition). Also Wikidata Q5033390
History
- 2026-11-02: add by m2/dev
4V0VWB3SGY 4V0VWB3SGY
| URI | m2://inv/4V0VWB3SGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#YNAH (statement). In KH1H3TSWPS/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.6
4V0W3ATGK5 4V0W3ATGK5
| URI | m2://inv/4V0W3ATGK5 |
|---|---|
| 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.02244#FTD5 (statement). In 3REM2EXQK7/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Theorem 4V0YP19T5V
| URI | m2://inv/4V0YP19T5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine–Borel theorem#WZ12, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 4V177EWRSM
| URI | m2://inv/4V177EWRSM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersymmetric theory of stochastic dynamics#DQKR, Applications (example)
History
- 2026-11-02: add by m2/dev
Example 4V1WA0JJ84
| URI | m2://inv/4V1WA0JJ84 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straddling checkerboard#KORG, Example (example)
History
- 2026-11-02: add by m2/dev
Definition 4V24VBAJ45
| URI | m2://inv/4V24VBAJ45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional differential equation#TM87, Definition (definition)
History
- 2026-11-02: add by m2/dev
4V2CMK1823 4V2CMK1823
| URI | m2://inv/4V2CMK1823 |
|---|---|
| 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.01015#X398 (statement). In PSH07NKZ62/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.12
Robinson, Proposition 7.1 4V2K0V7RBF
| URI | m2://inv/4V2K0V7RBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#PE68, Robinson, Proposition 7.1 (statement). In WRMNCC8VBC/e1, proposition 60
History
- 2026-10-27: add by m2/v0.3.6
4V35QK60NS 4V35QK60NS
| URI | m2://inv/4V35QK60NS |
|---|---|
| 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.10243#FRH7 (statement). In 6N7EAD1PYD/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Exponentially equivalent measures 4V3AQ62373
| URI | m2://inv/4V3AQ62373 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentially equivalent measures, Exponentially equivalent measures (definition). Also Wikidata Q5421536
History
- 2026-11-02: add by m2/dev
Noetherian 4V3C0KB9EX
| URI | m2://inv/4V3C0KB9EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian, Noetherian (definition). Also Wikidata Q3342676
History
- 2026-11-02: add by m2/dev
4V3P6Q04YX 4V3P6Q04YX
| URI | m2://inv/4V3P6Q04YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#OZUV (statement). In NC5ZRF6F8N/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Examples 4V3RY622MD
| URI | m2://inv/4V3RY622MD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite normal form#JR3F, Examples (example)
History
- 2026-11-02: add by m2/dev
4V3SQJ27AY 4V3SQJ27AY
| URI | m2://inv/4V3SQJ27AY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#7LJT (definition). In XJ59TDP4HA/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Squeeze theorem 4V3THP12BA
| URI | m2://inv/4V3THP12BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TVA4, Squeeze theorem (statement)
History
- 2026-11-02: add by m2/dev
Taxation of cryptocurrency forks 4V3WRZDJZ0
| URI | m2://inv/4V3WRZDJZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fork (blockchain)#KPT4, Taxation of cryptocurrency forks (unknown)
History
- 2026-11-02: add by m2/dev
4V3YJBSX7B 4V3YJBSX7B
| URI | m2://inv/4V3YJBSX7B |
|---|---|
| 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.06038#4O15 (statement). In 4TJGTZWJVK/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
4V499QMM06 4V499QMM06
| URI | m2://inv/4V499QMM06 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#2RU1 (example)
History
- 2026-11-01: add by m2/v0.6.15
Pearson hashing 4V49R0R9SE
| URI | m2://inv/4V49R0R9SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#I7XT, Pearson hashing (unknown)
History
- 2026-11-02: add by m2/dev
4V4FH446AX 4V4FH446AX
| URI | m2://inv/4V4FH446AX |
|---|---|
| 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 2204.04820#6S57 (statement). In 9EJ71MW89B/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
4V4GP1V47E 4V4GP1V47E
| URI | m2://inv/4V4GP1V47E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#HKH2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gerhard Frey 4V4KW8TZZE
| URI | m2://inv/4V4KW8TZZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BGSS, Gerhard Frey (topic)
History
- 2026-11-02: add by m2/dev
Abstract G\"artner--Ellis theorem \protect 4V4TDPGEHS
| URI | m2://inv/4V4TDPGEHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17669#294U, Abstract G\"artner--Ellis theorem \protect (statement). In RAWXJ72WWA/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
4V58E0CGNW 4V58E0CGNW
| URI | m2://inv/4V58E0CGNW |
|---|---|
| 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.13793#O5UU (statement). In XZKMFDAABC/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Frieze group 4V5TD8RJR3
| URI | m2://inv/4V5TD8RJR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of planar symmetry groups#1I3B, Frieze group (definition)
History
- 2026-11-02: add by m2/dev
Tessarine 4V5ZG3C7KA
| URI | m2://inv/4V5ZG3C7KA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicomplex number#RJ8G, Tessarine (unknown)
History
- 2026-11-02: add by m2/dev
4V601RE15G 4V601RE15G
| URI | m2://inv/4V601RE15G |
|---|---|
| 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 1303.4328#ZFF5 (statement). In HCTYW6VH87/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Well-order 4V60V9B5KF
| URI | m2://inv/4V60V9B5KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#2508, Well-order (definition)
History
- 2026-11-02: add by m2/dev
4V63WG1Q0C 4V63WG1Q0C
| URI | m2://inv/4V63WG1Q0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#0PRJ (statement). In 79H1DEK4M9/e1, corollary 9.3
History
- 2026-10-29: add by m2/v0.4.10
Application 4V64EKMT3N
| URI | m2://inv/4V64EKMT3N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical lasso#NKLK, Application (example)
History
- 2026-11-02: add by m2/dev
Victor Batyrev 4V65FZZFBB
| URI | m2://inv/4V65FZZFBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E0WP, Victor Batyrev (topic)
History
- 2026-11-02: add by m2/dev
homotopy sphere 4V680RNEC0
| URI | m2://inv/4V680RNEC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5891833, homotopy sphere (unknown). Also MathWorld HomotopySphere, nLab homotopy sphere
- wikipedia: Wikipedia Homotopy sphere, Homotopy sphere (definition). Also Wikidata Q5891833
History
- 2026-10-26: add by m2/dev
Continuous wavelet transform properties 4V6M5S25P4
| URI | m2://inv/4V6M5S25P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous wavelet transform#HRUY, Continuous wavelet transform properties (statement)
History
- 2026-11-02: add by m2/dev
4V6P5AM4MH 4V6P5AM4MH
| URI | m2://inv/4V6P5AM4MH |
|---|---|
| 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 2210.01497#HTUI (statement). In QAKFAHRC8Z/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
4V6Q8G8TWQ 4V6Q8G8TWQ
| URI | m2://inv/4V6Q8G8TWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#N38P (statement). In WAXS6FS388/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
4V6THKX7Z0 4V6THKX7Z0
| URI | m2://inv/4V6THKX7Z0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#WV0I (statement). In 9B0X8YPF3P/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Zhu Shijie 4V70JKSBNE
| URI | m2://inv/4V70JKSBNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#N5J6, Zhu Shijie (unknown)
History
- 2026-11-02: add by m2/dev
4V784MJMM9 4V784MJMM9
| URI | m2://inv/4V784MJMM9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#GMQU (definition)
History
- 2026-11-01: add by m2/v0.6.15
4V7EF4G6EW 4V7EF4G6EW
| URI | m2://inv/4V7EF4G6EW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#HBV1 (definition). In NAMCCRM50R/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
4V7MYHCB42 4V7MYHCB42
| URI | m2://inv/4V7MYHCB42 |
|---|---|
| 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.02213#LUE3 (statement). In 43B5W08GMR/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
4V7PKN6A07 4V7PKN6A07
| URI | m2://inv/4V7PKN6A07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#2D4N (statement). In FSGSVD0XYH/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
4V7S4RNN94 4V7S4RNN94
| URI | m2://inv/4V7S4RNN94 |
|---|---|
| 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 1903.07030#KWJP (example). In 9H45HQE7AZ/e1, example 3.26
History
- 2026-10-27: add by m2/v0.3.5
4V7TBEK7Z4 4V7TBEK7Z4
| URI | m2://inv/4V7TBEK7Z4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:Wdec (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Cauchy integral theorem 4V7TP9Z9V0
| URI | m2://inv/4V7TP9Z9V0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#DOIR, Cauchy integral theorem (statement)
History
- 2026-11-02: add by m2/dev
4V7Y76FACX 4V7Y76FACX
| URI | m2://inv/4V7Y76FACX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
4V813NBBEM 4V813NBBEM
| URI | m2://inv/4V813NBBEM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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 2609.21892#N9OV (definition)
History
- 2026-11-02: add by m2/v0.6.17
4V83SW8K5E 4V83SW8K5E
| URI | m2://inv/4V83SW8K5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14162#3VXC (statement). In JC1XF1JE6J/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Anomaly time series 4V86F32GVV
| URI | m2://inv/4V86F32GVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anomaly (natural sciences)#6H7P, Anomaly time series (unknown)
History
- 2026-11-02: add by m2/dev
4V86XFNVKG 4V86XFNVKG
| URI | m2://inv/4V86XFNVKG |
|---|---|
| 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 2601.15403#AS5I (statement). In BSWNH3NW1M/e1, proposition 10.6
History
- 2026-10-27: add by m2/v0.4.0
Non-interactive key exchange 4V8HCKRPEE
| URI | m2://inv/4V8HCKRPEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward secrecy#TRWQ, Non-interactive key exchange (unknown)
History
- 2026-11-02: add by m2/dev
Iterative refinement 4V8Q6ZRJ5Y
| URI | m2://inv/4V8Q6ZRJ5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative refinement, Iterative refinement (definition). Also Wikidata Q6094420
History
- 2026-11-02: add by m2/dev
mathematics, constructive 4V8Y6ACYE7
| URI | m2://inv/4V8Y6ACYE7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section B
History
- 2026-11-01: add by m2/v0.6.13
4V94Y26EQZ 4V94Y26EQZ
| URI | m2://inv/4V94Y26EQZ |
|---|---|
| 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 2604.10080#JQGG (statement). In KM2FWKP93A/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.0
Three Kings, New Zealand 4V963W8JD7
| URI | m2://inv/4V963W8JD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2NS5, Three Kings, New Zealand (unknown)
History
- 2026-11-02: add by m2/dev
4V9CFMZ3TP 4V9CFMZ3TP
| URI | m2://inv/4V9CFMZ3TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#AR7X (statement). In YVB70SBGN1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
4V9N24VF40 4V9N24VF40
| URI | m2://inv/4V9N24VF40 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14162#TLH3 (example). In JC1XF1JE6J/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
Kangaroo Twelve 4V9PGWVYRJ
| URI | m2://inv/4V9PGWVYRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SHA-3#09U0, Kangaroo Twelve (unknown)
History
- 2026-11-02: add by m2/dev
Weakly submodular drift 4V9Z58VWVG
| URI | m2://inv/4V9Z58VWVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#4BAG, Weakly submodular drift (statement)
History
- 2026-11-01: add by m2/v0.6.15
4VABE9QDFZ 4VABE9QDFZ
| URI | m2://inv/4VABE9QDFZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-70 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Hilbert class field 4VAD726MH9
| URI | m2://inv/4VAD726MH9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#K8DX, Hilbert class field (topic)
History
- 2026-11-02: add by m2/dev
Decoding methods 4VAG8NPBC4
| URI | m2://inv/4VAG8NPBC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decoding methods, Decoding methods (definition). Also Wikidata Q576722
History
- 2026-11-02: add by m2/dev
Topics 4VANCZFCEQ
| URI | m2://inv/4VANCZFCEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#9OVS, Topics (definition)
History
- 2026-11-02: add by m2/dev
4VAP7VRTZ0 4VAP7VRTZ0
| URI | m2://inv/4VAP7VRTZ0 |
|---|---|
| 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 2402.05875#O114 (statement). In 35FDBKEDC0/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
4VAVF7JYJ1 4VAVF7JYJ1
| URI | m2://inv/4VAVF7JYJ1 |
|---|---|
| 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.12640#W1WD (statement). In QP9FE1D6PG/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
exact sequence 4VAVQXS3SS
| URI | m2://inv/4VAVQXS3SS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/exact-sequence, exact sequence (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Pattern theory 4VAX47FBWV
| URI | m2://inv/4VAX47FBWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern theory, Pattern theory (definition). Also Wikidata Q7148392
History
- 2026-11-02: add by m2/dev
The Sun 4VB2JFDKJZ
| URI | m2://inv/4VB2JFDKJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#FRYV, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
4VB7KN2BMC 4VB7KN2BMC
| URI | m2://inv/4VB7KN2BMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#RQA3 (statement). In M0SQY5EZN5/e1, corollary 5.3.4
History
- 2026-10-27: add by m2/v0.3.5
Categorical set theory 4VBACTBTNG
| URI | m2://inv/4VBACTBTNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical set theory, Categorical set theory (definition). Also Wikidata Q5051817
History
- 2026-11-02: add by m2/dev
Unknown key-share attack 4VBBR48YQA
| URI | m2://inv/4VBBR48YQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unknown key-share attack, Unknown key-share attack (definition). Also Wikidata Q7896987
History
- 2026-11-02: add by m2/dev
4VBJQ61JM3 4VBJQ61JM3
| URI | m2://inv/4VBJQ61JM3 |
|---|---|
| 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.34551#XF96 (statement). In 3AF7G56AGE/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Generalizations 4VBKSJRYX5
| URI | m2://inv/4VBKSJRYX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean vector#XFD9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Microcontinuity 4VBNYX7V39
| URI | m2://inv/4VBNYX7V39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microcontinuity, Microcontinuity (definition). Also Wikidata Q17103821
History
- 2026-11-02: add by m2/dev
Economic order quantity 4VBSPCJDJY
| URI | m2://inv/4VBSPCJDJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic order quantity, Economic order quantity (definition). Also Wikidata Q451299
History
- 2026-11-02: add by m2/dev
Translations 4VC3QZFRE2
| URI | m2://inv/4VC3QZFRE2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36237#G724, Translations (example). In JNBMSFE14N/e1, example 3.9
History
- 2026-10-30: add by m2/v0.4.12
State evolution for rank-one sensing 4VC6H2KY77
| URI | m2://inv/4VC6H2KY77 |
|---|---|
| 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.05327#4AMW, State evolution for rank-one sensing (statement). In ZD7BWDKT84/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
4VC8BH883R 4VC8BH883R
| URI | m2://inv/4VC8BH883R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#3IKV (definition). In 44DQ7W1NW9/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.12
4VCGJZBHG9 4VCGJZBHG9
| URI | m2://inv/4VCGJZBHG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#6JG6 (statement). In VVQ1FMTHXB/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
4VCGKRB888 4VCGKRB888
| URI | m2://inv/4VCGKRB888 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20775#V8M2 (statement). In XG27B81T0G/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
4VCKV9A4D0 4VCKV9A4D0
| URI | m2://inv/4VCKV9A4D0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-11 (example). In E9HS8K3A52, example, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
Andre Scedrov 4VCKZRV2SF
| URI | m2://inv/4VCKZRV2SF |
|---|---|
| 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 Q57284889, Andre Scedrov (unknown). Also nLab Andre Scedrov
History
- 2026-10-26: add by m2/dev
Principal component regression 4VCS6T55V0
| URI | m2://inv/4VCS6T55V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3ES7, Principal component regression (definition)
History
- 2026-11-02: add by m2/dev
4VCSRAGBMW 4VCSRAGBMW
| URI | m2://inv/4VCSRAGBMW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#0PX2 (example). In MVXZWHKEX8/e1, example 5.5
History
- 2026-10-29: add by m2/v0.4.10
Convergence lemma 4VD5CCA8W5
| URI | m2://inv/4VD5CCA8W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous perturbation stochastic approximation#FHAW, Convergence lemma (statement)
History
- 2026-11-02: add by m2/dev
Roberto Marcolongo 4VDFC77B6G
| URI | m2://inv/4VDFC77B6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roberto Marcolongo, Roberto Marcolongo (topic). Also Wikidata Q514677
History
- 2026-11-02: add by m2/dev
Raw coupled-bank regularity interface 4VDJEHQGZ6
| URI | m2://inv/4VDJEHQGZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39408#ZZ0K, Raw coupled-bank regularity interface (statement). In T8E6F01RTM/e1, lemma G.3
History
- 2026-10-30: add by m2/v0.4.12
4VDPG8D3K0 4VDPG8D3K0
| URI | m2://inv/4VDPG8D3K0 |
|---|---|
| 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.20798#XDUT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Günter Asser 4VDQBA8ZNJ
| URI | m2://inv/4VDQBA8ZNJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Günter Asser, Günter Asser (topic). Also Wikidata Q108340
History
- 2026-11-02: add by m2/dev
Logical value 4VE1EVJKP4
| URI | m2://inv/4VE1EVJKP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#0UDP, Logical value (definition)
History
- 2026-11-02: add by m2/dev
Examples 4VE2VVGPHK
| URI | m2://inv/4VE2VVGPHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective module#FHSI, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples of minimal polynomials 4VEA40SR12
| URI | m2://inv/4VEA40SR12 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#example-1, Examples of minimal polynomials (example). In RZP28ERRZV, example, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
hyperkähler manifold 4VEBS0D4J0
| URI | m2://inv/4VEBS0D4J0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperkähler manifold 87AWY7NQS0 |
Mentions
- wikidata: Wikidata Q3082377, hyperkähler manifold (concept). Also MathWorld Hyper-KaehlerManifold, nLab hyperkähler manifold
- wikipedia: Wikipedia Hyperkähler manifold, Hyperkähler manifold (definition). Also Wikidata Q3082377
History
- 2026-10-26: add by m2/dev
4VECYY6AH1 4VECYY6AH1
| URI | m2://inv/4VECYY6AH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#149K (statement). In 6HP7BR9WZM/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
4VEP06T3HA 4VEP06T3HA
| URI | m2://inv/4VEP06T3HA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14323#JS8R (statement). In VAWEP32BEX/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
T. N. Venkataramana 4VEQ9DYM1R
| URI | m2://inv/4VEQ9DYM1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. N. Venkataramana, T. N. Venkataramana (topic). Also Wikidata Q15995558
History
- 2026-11-02: add by m2/dev
4VES0DQSYP 4VES0DQSYP
| URI | m2://inv/4VES0DQSYP |
|---|---|
| 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 2309.15424#P26O (statement). In NXYZ1EAWKN/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
Coherent set of characters 4VET4WY1CD
| URI | m2://inv/4VET4WY1CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent set of characters, Coherent set of characters (definition). Also Wikidata Q5141361
History
- 2026-11-02: add by m2/dev
4VEWYTEERK 4VEWYTEERK
| URI | m2://inv/4VEWYTEERK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2508.21045#9NTF (statement). In CGA36VE1C5/e1, lemma 3.8.1
History
- 2026-10-27: add by m2/v0.3.6
Rüdiger Valk 4VEZT6MBFN
| URI | m2://inv/4VEZT6MBFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rüdiger Valk, Rüdiger Valk (topic). Also Wikidata Q15843510
History
- 2026-11-02: add by m2/dev
The result 4VF2C02X5T
| URI | m2://inv/4VF2C02X5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signalling (economics)#PJU3, The result (statement)
History
- 2026-11-02: add by m2/dev
Optimal asymmetric encryption padding 4VFC65EWQV
| URI | m2://inv/4VFC65EWQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal asymmetric encryption padding, Optimal asymmetric encryption padding (definition). Also Wikidata Q1635634
History
- 2026-11-02: add by m2/dev
4VFE9XTWZJ 4VFE9XTWZJ
| URI | m2://inv/4VFE9XTWZJ |
|---|---|
| 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 2507.05417#G2OP (statement). In RGHZ863Q26/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
4VFMNJN58E 4VFMNJN58E
| URI | m2://inv/4VFMNJN58E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19660#FYO1 (statement). In YKVVY2BW1B/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
4VFMTMKJWG 4VFMTMKJWG
| URI | m2://inv/4VFMTMKJWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#ZFYV (statement). In BYAANB1NG0/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
4VFPVW6HB3 4VFPVW6HB3
| URI | m2://inv/4VFPVW6HB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#D1PT (statement). In 628PJKD3EV/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
4VFRJ9RH5D 4VFRJ9RH5D
| URI | m2://inv/4VFRJ9RH5D |
|---|---|
| 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.01915#VZ0N (statement). In 6HJQXZS0A6/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Definition 4VG9P4B523
| URI | m2://inv/4VG9P4B523 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust statistics#CEAO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vaṭeśvara 4VGN14RH5N
| URI | m2://inv/4VGN14RH5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#RB41, Vaṭeśvara (unknown)
History
- 2026-11-02: add by m2/dev
4VGNH7FFBT 4VGNH7FFBT
| URI | m2://inv/4VGNH7FFBT |
|---|---|
| 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.18555#WZGK (statement). In JPR62EY6A5/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
4VGV899S4N 4VGV899S4N
| URI | m2://inv/4VGV899S4N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#7G23 (example). In 7Q26JWKD7E/e1, example 15
History
- 2026-10-28: add by m2/v0.4.2
Weak Schur sampling 4VGXRJNF8J
| URI | m2://inv/4VGXRJNF8J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-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.29348#BO9U, Weak Schur sampling (definition)
History
- 2026-11-01: add by m2/v0.6.15
$\Z/n\Z$ and its invertible elements 4VGZ200EPY
| URI | m2://inv/4VGZ200EPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > $\Z/n\Z$ and its invertible elements, $\Z/n\Z$ and its invertible elements (unknown). Also Mathlib ZMod.unitOfCoprime
History
- 2026-10-26: add by m2/dev
4VH7K8XQ90 4VH7K8XQ90
| URI | m2://inv/4VH7K8XQ90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19171#8ZDV (statement). In SJWP1EE3T8/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 4VHD1EP9AK
| URI | m2://inv/4VHD1EP9AK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass point geometry#3H6D, Examples (example)
History
- 2026-11-02: add by m2/dev
Crypto AG 4VHD8V6BYE
| URI | m2://inv/4VHD8V6BYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto AG, Crypto AG (definition). Also Wikidata Q665539
History
- 2026-11-02: add by m2/dev
Bellman–Ford algorithm 4VHGW9V338
| URI | m2://inv/4VHGW9V338 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman–Ford algorithm, Bellman–Ford algorithm (definition). Also Wikidata Q816022
History
- 2026-11-02: add by m2/dev
Logarithmic Sobolev inequality 4VJ4W3N7H3
| URI | m2://inv/4VJ4W3N7H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev inequality#6EK9, Logarithmic Sobolev inequality (statement)
History
- 2026-11-02: add by m2/dev
4VJDZFK7ZG 4VJDZFK7ZG
| URI | m2://inv/4VJDZFK7ZG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
modulus 4VJPJGR6T1
| URI | m2://inv/4VJPJGR6T1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#I093, modulus (definition)
History
- 2026-11-02: add by m2/dev
4VJT4K8TDZ 4VJT4K8TDZ
| URI | m2://inv/4VJT4K8TDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#VIG4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Infinite-dimensional Chern–Simons theory 4VJX602M87
| URI | m2://inv/4VJX602M87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional Chern–Simons theory, Infinite-dimensional Chern–Simons theory (definition). Also Wikidata Q133216563
History
- 2026-11-02: add by m2/dev
4VKAKSF153 4VKAKSF153
| URI | m2://inv/4VKAKSF153 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#YCMA (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Matroid girth 4VKC1STG34
| URI | m2://inv/4VKC1STG34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid girth, Matroid girth (definition). Also Wikidata Q25304058
History
- 2026-11-02: add by m2/dev
Combinatorial NLTS theorem 4VKF0KCGEG
| URI | m2://inv/4VKF0KCGEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NLTS conjecture#K5L8, Combinatorial NLTS theorem (statement)
History
- 2026-11-02: add by m2/dev
Equivalence under the Reeb Transform 4VKZBDPZ16
| URI | m2://inv/4VKZBDPZ16 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#0B90, Equivalence under the Reeb Transform (definition). In ZJ6VQCRDVR/e1, definition 16
History
- 2026-10-29: add by m2/v0.4.12
4VM69JJ4Z2 4VM69JJ4Z2
| URI | m2://inv/4VM69JJ4Z2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:trunc-htpy (statement). In N54F33XE07, lem, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
4VM6G3MFYN 4VM6G3MFYN
| URI | m2://inv/4VM6G3MFYN |
|---|---|
| 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 2610.01498#0102 (statement). In 75GDSC8460/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Tirukkannapuram Vijayaraghavan 4VM9JZ8RTA
| URI | m2://inv/4VM9JZ8RTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#N7NN, Tirukkannapuram Vijayaraghavan (topic)
History
- 2026-11-02: add by m2/dev
4VM9P0R5WF 4VM9P0R5WF
| URI | m2://inv/4VM9P0R5WF |
|---|---|
| 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.15405#HI2T (statement). In 9QCYCXVF5W/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Freudenthal suspension for graphs 4VMCP0K6SV
| URI | m2://inv/4VMCP0K6SV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#IE0Q, Freudenthal suspension for graphs (statement). In RRNHC0CAC9/e1, corollary
History
- 2026-10-29: add by m2/v0.4.12
Definition of uniform continuity 4VMFGASA4N
| URI | m2://inv/4VMFGASA4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform continuity#GDC1, Definition of uniform continuity (definition)
History
- 2026-11-02: add by m2/dev
Notation 4VMPJ8SPPV
| URI | m2://inv/4VMPJ8SPPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-graph C*-algebra#1ERF, Notation (definition)
History
- 2026-11-02: add by m2/dev
4VMRYQK86D 4VMRYQK86D
| URI | m2://inv/4VMRYQK86D |
|---|---|
| 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 2610.01216#1ENT (statement). In 59016RQTW6/e1, corollary 9.4
History
- 2026-10-29: add by m2/v0.4.12
4VMS2YY4PB 4VMS2YY4PB
| URI | m2://inv/4VMS2YY4PB |
|---|---|
| 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.18777#ASO6 (statement). In TFZDPHDF7V/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
4VMWK5GRXR 4VMWK5GRXR
| URI | m2://inv/4VMWK5GRXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#V040 (statement). In 41NFABHFXH/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
4VN0WH9NSE 4VN0WH9NSE
| URI | m2://inv/4VN0WH9NSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#K486 (statement). In 332PQD90SW/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
4VN2AKTW5E 4VN2AKTW5E
| URI | m2://inv/4VN2AKTW5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20429#LC3P (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 4VNDPR1YY3
| URI | m2://inv/4VNDPR1YY3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular representation theory#5HKV, Example (example)
History
- 2026-11-02: add by m2/dev
4VNHEY6Z7E 4VNHEY6Z7E
| URI | m2://inv/4VNHEY6Z7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#Q1KD (statement)
History
- 2026-11-01: add by m2/v0.6.15
argon-38 4VNP44FHBB
| URI | m2://inv/4VNP44FHBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2801372, argon-38 (definition). Also ProofWiki Definition:Argon/38
History
- 2026-10-26: add by m2/dev
4VNXCR7ZT3 4VNXCR7ZT3
| URI | m2://inv/4VNXCR7ZT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#RHN5 (statement). In 1NY2SA03XF/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
Theorem 4VP63SRKCF
| URI | m2://inv/4VP63SRKCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia set#88R0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
A program under imperfect take-up 4VPE71Y34B
| URI | m2://inv/4VPE71Y34B |
|---|---|
| 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 2609.40156#2MM7, A program under imperfect take-up (example). In PP8BEHWK33/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
Properties 4VPM03C34P
| URI | m2://inv/4VPM03C34P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov kernel#GC8E, Properties (statement)
History
- 2026-11-02: add by m2/dev
4VPREECAH9 4VPREECAH9
| URI | m2://inv/4VPREECAH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#QIH2 (statement). In 8KKYZ4NKT2/e1, corollary 25
History
- 2026-10-27: add by m2/v0.4.2
Definition 4VQ2F2GEV6
| URI | m2://inv/4VQ2F2GEV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup series#WOH4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 4VQ8BRZDAR
| URI | m2://inv/4VQ8BRZDAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End (topology)#26JP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kardar–Parisi–Zhang equation 4VQDGN2H78
| URI | m2://inv/4VQDGN2H78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kardar–Parisi–Zhang equation, Kardar–Parisi–Zhang equation (definition). Also Wikidata Q6369122
History
- 2026-11-02: add by m2/dev
Free field recovery 4VQJEW8HCB
| URI | m2://inv/4VQJEW8HCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#DKEA, Free field recovery (statement). In ESPJMBH2R2/e1, theorem A.3
History
- 2026-10-30: add by m2/v0.4.12
strongly regular graph 4VQR60Y00D
| URI | m2://inv/4VQR60Y00D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Strongly regular graph C22WGRP3T8 |
Mentions
- wikidata: Wikidata Q692823, strongly regular graph (unknown). Also MathWorld StronglyRegularGraph
- wikipedia: Wikipedia Strongly regular graph, Strongly regular graph (definition). Also Wikidata Q692823
History
- 2026-10-26: add by m2/dev
Roundness 4VQS5X0BPP
| URI | m2://inv/4VQS5X0BPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roundness, Roundness (definition). Also Wikidata Q2496761
History
- 2026-11-02: add by m2/dev
Cartan–Ambrose–Hicks theorem 4VQSCR36JM
| URI | m2://inv/4VQSCR36JM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#F8AE, Cartan–Ambrose–Hicks theorem (statement)
History
- 2026-11-02: add by m2/dev
Clique-width 4VQSP99CW8
| URI | m2://inv/4VQSP99CW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#CUUI, Clique-width (definition)
History
- 2026-11-02: add by m2/dev
van der Corput lemma 4VQW31S54B
| URI | m2://inv/4VQW31S54B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#D7K6, van der Corput lemma (statement). In KTQS6YPA4E/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Quantum triviality 4VQXW5CTZ2
| URI | m2://inv/4VQXW5CTZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum triviality, Quantum triviality (definition). Also Wikidata Q3999164
History
- 2026-11-02: add by m2/dev
Van Wijngaarden transformation 4VR4JZNW6H
| URI | m2://inv/4VR4JZNW6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Wijngaarden transformation, Van Wijngaarden transformation (definition). Also Wikidata Q7913772
History
- 2026-11-02: add by m2/dev
4VR9HVD7DA 4VR9HVD7DA
| URI | m2://inv/4VR9HVD7DA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#65R4 (statement). In C60WZ6WQSY/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
4VRA0GY1ZN 4VRA0GY1ZN
| URI | m2://inv/4VRA0GY1ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#HJAJ (statement). In 2381M4GBTT/e1, theorem 8.3
History
- 2026-10-29: add by m2/v0.4.12
4VRRJGRD7K 4VRRJGRD7K
| URI | m2://inv/4VRRJGRD7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#XF8V (statement). In R0Q0RV8XCF/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Hutchinson, Col 4VRV8K641W
| URI | m2://inv/4VRV8K641W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#6MH6, Hutchinson, Col (unknown)
History
- 2026-11-02: add by m2/dev
stabilizer of a point 4VRVJX71C8
| URI | m2://inv/4VRVJX71C8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > stabilizer of a point, stabilizer of a point (unknown). Also Mathlib MulAction.stabilizer
History
- 2026-10-26: add by m2/dev
Procedure 4VRWEEX26X
| URI | m2://inv/4VRWEEX26X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance-based sensitivity analysis#Z60U, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Heuristic 4VSK7HZC37
| URI | m2://inv/4VSK7HZC37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#DI91, Heuristic (unknown)
History
- 2026-11-02: add by m2/dev
4VSR4AV09Q 4VSR4AV09Q
| URI | m2://inv/4VSR4AV09Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#MO6I (statement). In WRE0P7V6Z3/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
4VSRMFCD0N 4VSRMFCD0N
| URI | m2://inv/4VSRMFCD0N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#9WOL (definition)
History
- 2026-11-01: add by m2/v0.6.15
q-Bessel polynomials 4VSTQM9RH0
| URI | m2://inv/4VSTQM9RH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#STB6, q-Bessel polynomials (definition)
History
- 2026-11-02: add by m2/dev
perfect digital invariant 4VSXN3P9H6
| URI | m2://inv/4VSXN3P9H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85792806, perfect digital invariant (object). Also OEIS A023052
- wikipedia: Wikipedia Perfect digital invariant, Perfect digital invariant (definition). Also Wikidata Q85792806
History
- 2026-10-26: add by m2/dev
general linear Lie algebra 4VT0HSM3BA
| URI | m2://inv/4VT0HSM3BA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17521172, general linear Lie algebra (unknown). Also nLab general linear Lie algebra
History
- 2026-10-26: add by m2/dev
4VTM091X0C 4VTM091X0C
| URI | m2://inv/4VTM091X0C |
|---|---|
| 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.07370#CM1O (statement). In Q94QXG67CK/e1, lemma VI.3
History
- 2026-10-29: add by m2/v0.4.10
4VTPD11PMP 4VTPD11PMP
| URI | m2://inv/4VTPD11PMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.10361#V3AT (statement). In 65ED1ZXG98/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
Friedman 4VTR24Z63X
| URI | m2://inv/4VTR24Z63X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00108#0YGD, Friedman (definition). In V2G422ZMPW/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Slacks of the initial pairs 4VTRJ9F5AB
| URI | m2://inv/4VTRJ9F5AB |
|---|---|
| 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#6C8X, Slacks of the initial pairs (statement). In 65TJENWK7X/e1, lemma 56
History
- 2026-10-29: add by m2/v0.4.10
Proof 4VTT3JJXVX
| URI | m2://inv/4VTT3JJXVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#H8ER, Proof (definition)
History
- 2026-11-02: add by m2/dev
Definition 4VV0HVWN5G
| URI | m2://inv/4VV0HVWN5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AKNS system#QNN9, Definition (definition)
History
- 2026-11-02: add by m2/dev
4VV54NPT5K 4VV54NPT5K
| URI | m2://inv/4VV54NPT5K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#LWZM (definition). In 6VVK3YTABP/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.3
Special cases 4VVCPT10CS
| URI | m2://inv/4VVCPT10CS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász conjecture#YR86, Special cases (statement)
History
- 2026-11-02: add by m2/dev
4VVJ9EWE37 4VVJ9EWE37
| URI | m2://inv/4VVJ9EWE37 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#XSDY (example). In HX63A1PH1W/e1, example 3.57
History
- 2026-10-28: add by m2/v0.4.3
Filling area conjecture 4VVP6NCCTP
| URI | m2://inv/4VVP6NCCTP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#B3IA, Filling area conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
4VVX4RSAK5 4VVX4RSAK5
| URI | m2://inv/4VVX4RSAK5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#WOVP (definition). In 9DMJXFRQN9/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.3
4VVYZFT5D6 4VVYZFT5D6
| URI | m2://inv/4VVYZFT5D6 |
|---|---|
| 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 2610.16069#8VEC (statement). In MBJA03ES8N/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Heilbronn set 4VW1QDVKA9
| URI | m2://inv/4VW1QDVKA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heilbronn set, Heilbronn set (definition). Also Wikidata Q55613579
History
- 2026-11-02: add by m2/dev
Slope transform 4VW2JHHJQ8
| URI | m2://inv/4VW2JHHJQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#QAQD, Slope transform (statement). In 8BNPFYQDQX/e1, lemma 17.6
History
- 2026-10-29: add by m2/v0.4.10
Sketch of Proof 4VWF65NDCM
| URI | m2://inv/4VWF65NDCM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#proof-1, Sketch of Proof (proof). In RZP28ERRZV, proof, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Chauvenet's criterion 4VWFQ75S0W
| URI | m2://inv/4VWFQ75S0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chauvenet's criterion, Chauvenet's criterion (statement). Also Wikidata Q2712562
History
- 2026-11-02: add by m2/dev
Admissibility 4VWK2KB4AC
| URI | m2://inv/4VWK2KB4AC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#6G7Z, Admissibility (definition). In 3Y76AQQGF0/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Distances and expansion 4VWKKZXT5C
| URI | m2://inv/4VWKKZXT5C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#KPQP, Distances and expansion (definition)
History
- 2026-11-01: add by m2/v0.6.15
Minimal regular model of Atkin--Lehner quotients 4VWZ6CER4H
| URI | m2://inv/4VWZ6CER4H |
|---|---|
| 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.40207#C6XJ, Minimal regular model of Atkin--Lehner quotients (statement). In JXTG8KP95P/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
transitivity, of inductive cover 4VX05WYCXR
| URI | m2://inv/4VX05WYCXR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/transitivity-of-inductive-cover, transitivity, of inductive cover (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Mechanical template 4VX1F9EFWP
| URI | m2://inv/4VX1F9EFWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27966#QKN6, Mechanical template (statement)
History
- 2026-11-01: add by m2/v0.6.15
the filtered pseudo-Lindbladian to the Gibbs sampler 4VX895H698
| URI | m2://inv/4VX895H698 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05953#3Y4K, the filtered pseudo-Lindbladian to the Gibbs sampler (statement). In P3XHJ1VB8C/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
4VXE0SXEXQ 4VXE0SXEXQ
| URI | m2://inv/4VXE0SXEXQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#N0HI (definition). In EFDRME13PT/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Monge axis 4VXEECEJ5M
| URI | m2://inv/4VXEECEJ5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monge equation#6SC3, Monge axis (unknown)
History
- 2026-11-02: add by m2/dev
sequential $\Gamma$-convergence 4VXFHPNT77
| URI | m2://inv/4VXFHPNT77 |
|---|---|
| Kind | definition |
| 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 2204.07227#JDLX, sequential $\Gamma$-convergence (definition). In R85Z7ZZGBC/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Strichartz estimates in Lorentz space 4VXFZ3EVT5
| URI | m2://inv/4VXFZ3EVT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | node (a node of the research layer states the row (corpus arxiv AX9.2)) |
| Node | Strichartz estimates in Lorentz space 5GX76EM5HS |
Mentions
- arxiv: arXiv 2609.28454#BKD0, Strichartz estimates in Lorentz space (statement)
- arxiv: arXiv 2610.15460#A3JV, Strichartz estimates in Lorentz space (statement). In T2Z3D2VQ9B/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
- 2026-11-02: outcome by m2 corpus adopt
4VXGASFX8T 4VXGASFX8T
| URI | m2://inv/4VXGASFX8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#YVUT (statement). In G2PA4KAGRP/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.3.6
4VXV543174 4VXV543174
| URI | m2://inv/4VXV543174 |
|---|---|
| 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 2601.18223#T4D5 (statement). In ZRXE7EJA93/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
intersection number 4VXWT7QSZ3
| URI | m2://inv/4VXWT7QSZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q638846, intersection number (unknown). Also nLab intersection number
- wikipedia: Wikipedia Intersection number, Intersection number (definition). Also Wikidata Q638846
History
- 2026-10-26: add by m2/dev
Definitions 4VXYJGYR2P
| URI | m2://inv/4VXYJGYR2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bending of plates#BHFW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
4VY9RSE9XD 4VY9RSE9XD
| URI | m2://inv/4VY9RSE9XD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#97W4 (definition). In SYZFEVFHC3/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.3.5
4VYB7P6BYX 4VYB7P6BYX
| URI | m2://inv/4VYB7P6BYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#59SO (statement)
History
- 2026-11-02: add by m2/v0.6.17
4VYBAM80QE 4VYBAM80QE
| URI | m2://inv/4VYBAM80QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#BC6P (statement). In 8PTDFHV8SQ/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.3
Category of metric spaces 4VYWD4NX4P
| URI | m2://inv/4VYWD4NX4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#LZ0A, Category of metric spaces (definition)
History
- 2026-11-02: add by m2/dev
Peter Scholze 4VYZTXSZ2S
| URI | m2://inv/4VYZTXSZ2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#DJ52, Peter Scholze (topic)
History
- 2026-11-02: add by m2/dev
Sharp calibration of the universal reference 4VZ0X58YGF
| URI | m2://inv/4VZ0X58YGF |
|---|---|
| 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#8XX5, Sharp calibration of the universal reference (statement). In 9YAE8FNQST/e1, theorem 20.11
History
- 2026-10-30: add by m2/v0.4.12
Emilija Mlakar Branc 4VZ3CESKM6
| URI | m2://inv/4VZ3CESKM6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emilija Mlakar Branc, Emilija Mlakar Branc (topic). Also Wikidata Q138464560
History
- 2026-11-02: add by m2/dev
4VZHR55G9B 4VZHR55G9B
| URI | m2://inv/4VZHR55G9B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Without a regularizer 4VZNMYQP4N
| URI | m2://inv/4VZNMYQP4N |
|---|---|
| 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.09206#S9B9, Without a regularizer (statement). In T7R1Q29DQK/e1, proposition E.3
History
- 2026-10-29: add by m2/v0.4.10
Brunnian link 4VZVN19S52
| URI | m2://inv/4VZVN19S52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3055232, Brunnian link (unknown). Also MathWorld BrunnianLink
- wikipedia: Wikipedia Brunnian link, Brunnian link (definition). Also Wikidata Q3055232
History
- 2026-10-26: add by m2/dev