Inventory rows VB
The cards of the rows of the inventory whose ids start with VB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Conflict-graph formulation VB08GD276H
| URI | m2://inv/VB08GD276H |
|---|---|
| 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.38993#AE8P, Conflict-graph formulation (statement). In AFKQK866Y1/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
VB0N68Q69E VB0N68Q69E
| URI | m2://inv/VB0N68Q69E |
|---|---|
| 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.26019#3XUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ziyang Gao VB0PRA3D1R
| URI | m2://inv/VB0PRA3D1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ziyang Gao, Ziyang Gao (topic). Also Wikidata Q102427552
History
- 2026-11-02: add by m2/dev
VB0Y6VVQTP VB0Y6VVQTP
| URI | m2://inv/VB0Y6VVQTP |
|---|---|
| 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.11836#RSF1 (statement). In 1X68TCGB9E/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
VB102Q1GAV VB102Q1GAV
| URI | m2://inv/VB102Q1GAV |
|---|---|
| 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.12413#G7MQ (statement). In 6EJ8J60SP8/e1, theorem 13
History
- 2026-10-28: add by m2/v0.4.2
Weil restriction VB16T74BMY
| URI | m2://inv/VB16T74BMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#KD3S, Weil restriction (definition)
- wikipedia: Wikipedia List of things named after André Weil#DAOR, Weil restriction (definition)
History
- 2026-11-02: add by m2/dev
VB1AF85H3B VB1AF85H3B
| URI | m2://inv/VB1AF85H3B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-36 (proof). In N54F33XE07, proof, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Properties VB1RNVQJ2S
| URI | m2://inv/VB1RNVQJ2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular mean#H6N7, Properties (statement)
History
- 2026-11-02: add by m2/dev
VB25Q616HN VB25Q616HN
| URI | m2://inv/VB25Q616HN |
|---|---|
| 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 0810.0962#XUKQ (statement). In 80YMRN5KS9/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
VB2B6FG8YE VB2B6FG8YE
| URI | m2://inv/VB2B6FG8YE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#UM8N (definition). In 9GMTVSTAVN/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.3.5
VB2CDPQTT0 VB2CDPQTT0
| URI | m2://inv/VB2CDPQTT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14076#L54B (statement). In HE0AHBPDFZ/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
M. S. Raghunathan VB2CENDDET
| URI | m2://inv/VB2CENDDET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. S. Raghunathan, M. S. Raghunathan (topic). Also Wikidata Q11115366
History
- 2026-11-02: add by m2/dev
VB2EMMJ7E7 VB2EMMJ7E7
| URI | m2://inv/VB2EMMJ7E7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.02473#52KL (definition). In RGXMK94YW1/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Example VB2FYAKR05
| URI | m2://inv/VB2FYAKR05 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standardized mortality ratio#9GM9, Example (example)
History
- 2026-11-02: add by m2/dev
VB2G7R9NGW VB2G7R9NGW
| URI | m2://inv/VB2G7R9NGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#U2TR (statement). In Z7ZFV3HM1S/e1, proposition 4.11
History
- 2026-10-30: add by m2/v0.4.12
VB2J6405CV VB2J6405CV
| URI | m2://inv/VB2J6405CV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#ex-comb-proof-3elemsets (example). In Y91XFCEVHQ, example, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
VB2XSEVF1M VB2XSEVF1M
| URI | m2://inv/VB2XSEVF1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#7Z24 (statement). In DH84PYVRCF/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
VB2Y07HNA9 VB2Y07HNA9
| URI | m2://inv/VB2Y07HNA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#AIQ2 (statement). In W4TYN4PGE8/e1, theorem 6.17
History
- 2026-10-27: add by m2/v0.3.5
VB30EN0PHE VB30EN0PHE
| URI | m2://inv/VB30EN0PHE |
|---|---|
| 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.05611#TQAS (definition). In QDTX6NXFEB/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Examples VB32KPBCJJ
| URI | m2://inv/VB32KPBCJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muirhead's inequality#9JAZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Power-law small values VB3A18S9YB
| URI | m2://inv/VB3A18S9YB |
|---|---|
| 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#8EE2, Power-law small values (statement). In 9YAE8FNQST/e1, theorem 23.21
History
- 2026-10-30: add by m2/v0.4.12
VB3B5562N5 VB3B5562N5
| URI | m2://inv/VB3B5562N5 |
|---|---|
| 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.16875#VMAH (statement). In KS30K5JXGB/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
VB3GNM59VZ VB3GNM59VZ
| URI | m2://inv/VB3GNM59VZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#R0MJ (definition). In P7KT88N75Q/e1, definition 1.5
History
- 2026-10-29: add by m2/v0.4.10
VB3J05F19G VB3J05F19G
| URI | m2://inv/VB3J05F19G |
|---|---|
| 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.14455#ZDIT (statement). In 5KARPAJDCP/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Larry Guth VB3JH90YJQ
| URI | m2://inv/VB3JH90YJQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ER94, Larry Guth (topic)
History
- 2026-11-02: add by m2/dev
fractionary ideal VB3P9Y4R4A
| URI | m2://inv/VB3P9Y4R4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#PT1V, fractionary ideal (definition)
History
- 2026-11-02: add by m2/dev
Fixed residual scaling with accurate mean prediction VB3Y2XKTPB
| URI | m2://inv/VB3Y2XKTPB |
|---|---|
| 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.13789#FW1N, Fixed residual scaling with accurate mean prediction (statement). In 803XY7QQZ4/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.2
VB448PWAFB VB448PWAFB
| URI | m2://inv/VB448PWAFB |
|---|---|
| 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.18803#GAL4 (statement). In VG8AF124T3/e1, proposition 8.4
History
- 2026-10-28: add by m2/v0.4.2
Multiple-scale analysis VB44AJZCQJ
| URI | m2://inv/VB44AJZCQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple-scale analysis, Multiple-scale analysis (definition). Also Wikidata Q6934874
History
- 2026-11-02: add by m2/dev
VB476DNGGT VB476DNGGT
| URI | m2://inv/VB476DNGGT |
|---|---|
| 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.11210#2K1O (definition). In CRFDGFZHBF/e1, definition 9.8
History
- 2026-10-28: add by m2/v0.4.3
VB4A375FKZ VB4A375FKZ
| URI | m2://inv/VB4A375FKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#925O (statement). In PHXJ87HKYB/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
VB4C5H5DZS VB4C5H5DZS
| URI | m2://inv/VB4C5H5DZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#GHHH (statement). In F8RC6AENB0/e1, proposition 7.7
History
- 2026-10-27: add by m2/v0.3.5
Embarrassingly parallel problem VB4H78QZ01
| URI | m2://inv/VB4H78QZ01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#R1VF, Embarrassingly parallel problem (definition)
History
- 2026-11-02: add by m2/dev
sibling VB4MK2JDEB
| URI | m2://inv/VB4MK2JDEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WJ5P, sibling (definition)
History
- 2026-11-02: add by m2/dev
Examples VB5104FQT5
| URI | m2://inv/VB5104FQT5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Failure rate#KC2A, Examples (example)
History
- 2026-11-02: add by m2/dev
King, Gregory VB5112E42B
| URI | m2://inv/VB5112E42B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#MFQ9, King, Gregory (unknown)
History
- 2026-11-02: add by m2/dev
Daniel S. Nettleton VB524TWHVF
| URI | m2://inv/VB524TWHVF |
|---|---|
| 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#NBU7, Daniel S. Nettleton (topic)
History
- 2026-11-02: add by m2/dev
VB5444K41Q VB5444K41Q
| URI | m2://inv/VB5444K41Q |
|---|---|
| Kind | problem |
| 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.13556#NOHV (problem). In 5ZB8N3YY72/e1, problem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Γ-space VB57TGRKVD
| URI | m2://inv/VB57TGRKVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OSEE, Γ-space (definition)
History
- 2026-11-02: add by m2/dev
Comparison after a higher-conductor twist VB59J8P7PX
| URI | m2://inv/VB59J8P7PX |
|---|---|
| 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.30301#XK59, Comparison after a higher-conductor twist (statement). In 7NS75J7HAM/e1, proposition 7.18
History
- 2026-10-31: add by m2/v0.5.6
Properties VB59ZPH760
| URI | m2://inv/VB59ZPH760 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of an abelian group#ORKL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Elżbieta Pleszczyńska VB5C0ME3A1
| URI | m2://inv/VB5C0ME3A1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elżbieta Pleszczyńska, Elżbieta Pleszczyńska (topic). Also Wikidata Q5368721
History
- 2026-11-02: add by m2/dev
Dieter Held VB5EHRYMA6
| URI | m2://inv/VB5EHRYMA6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#5HGU, Dieter Held (topic)
History
- 2026-11-02: add by m2/dev
VB5GRSQDMN VB5GRSQDMN
| URI | m2://inv/VB5GRSQDMN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ex:functor-equiv-right-adjoint (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
VB5J3474KZ VB5J3474KZ
| URI | m2://inv/VB5J3474KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#LVBS (statement). In 613TY6V089/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
VB5MZYSC8M VB5MZYSC8M
| URI | m2://inv/VB5MZYSC8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#QXXW (statement). In 1463YCCRP5/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
VB5RGBG9PS VB5RGBG9PS
| URI | m2://inv/VB5RGBG9PS |
|---|---|
| Kind | conjecture |
| 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 2609.30310#G41P (conjecture). In 31XSBAFMEQ/e1, conjecture 9
History
- 2026-10-31: add by m2/v0.5.6
VB67T7Y7M2 VB67T7Y7M2
| URI | m2://inv/VB67T7Y7M2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#79YG (statement). In A02X6MX28Y/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
VB68B8X8NY VB68B8X8NY
| URI | m2://inv/VB68B8X8NY |
|---|---|
| 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#5SP8 (statement). In CC6S1HVK0T/e1, lemma E.6
History
- 2026-10-28: add by m2/v0.4.2
VB6B5D5XTM VB6B5D5XTM
| URI | m2://inv/VB6B5D5XTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#E4BV (statement). In RK8DFVGQP1/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
ruler VB6EBP3CDC
| URI | m2://inv/VB6EBP3CDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104555, ruler (unknown). Also MathWorld Ruler
- wikipedia: Wikipedia Ruler, Ruler (definition). Also Wikidata Q104555
History
- 2026-10-26: add by m2/dev
VB6F6N22QD VB6F6N22QD
| URI | m2://inv/VB6F6N22QD |
|---|---|
| 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 2609.29759#AKR7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Egypt VB6FK8YA9V
| URI | m2://inv/VB6FK8YA9V |
|---|---|
| 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 Q79, Egypt (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Egypt
History
- 2026-10-26: add by m2/dev
Cube-to-tree amplification VB6FX49P9A
| URI | m2://inv/VB6FX49P9A |
|---|---|
| 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.20687#RG7G, Cube-to-tree amplification (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications VB6QGSQ438
| URI | m2://inv/VB6QGSQ438 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branched covering#57IK, Applications (example)
History
- 2026-11-02: add by m2/dev
Closed-discrete strictness criterion VB6WT56CX9
| URI | m2://inv/VB6WT56CX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#CK7N, Closed-discrete strictness criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
VB7CNHGW7X VB7CNHGW7X
| URI | m2://inv/VB7CNHGW7X |
|---|---|
| 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 1903.07030#D1U3 (definition). In 9H45HQE7AZ/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
VB7DFM8V7R VB7DFM8V7R
| URI | m2://inv/VB7DFM8V7R |
|---|---|
| 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.08935#LPFW (statement). In G02N9D40B9/e1, lemma 5.2.3
History
- 2026-10-29: add by m2/v0.4.10
Spectral gap VB7FQFRKTA
| URI | m2://inv/VB7FQFRKTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral gap, Spectral gap (definition). Also Wikidata Q134487203
History
- 2026-11-02: add by m2/dev
CRIME attack VB87XKT8FY
| URI | m2://inv/VB87XKT8FY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#256W, CRIME attack (example). In 718SP8YERQ/e1, example A3
History
- 2026-10-27: add by m2/v0.3.5
Distributions known to obey Benford's law VB8BJF71Z1
| URI | m2://inv/VB8BJF71Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benford's law#MHB2, Distributions known to obey Benford's law (statement)
History
- 2026-11-02: add by m2/dev
Cluster product bound VB9775RKDM
| URI | m2://inv/VB9775RKDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#NMWN, Cluster product bound (statement). In ZZER8ZBSCR/e1, theorem B.2
History
- 2026-10-29: add by m2/v0.4.12
VB98B1ABQZ VB98B1ABQZ
| URI | m2://inv/VB98B1ABQZ |
|---|---|
| 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.34516#CIZE (statement). In ECKK8RR78E/e1, corollary 2.8
History
- 2026-10-30: add by m2/v0.4.12
VB9CW0SZP8 VB9CW0SZP8
| URI | m2://inv/VB9CW0SZP8 |
|---|---|
| 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 0910.5574#JGSC (statement). In 2TJRBRKYAY/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
VB9E3APSZ9 VB9E3APSZ9
| URI | m2://inv/VB9E3APSZ9 |
|---|---|
| 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.22074#5SVJ (statement). In F3BKXXPR3K/e1, lemma 3.61
History
- 2026-10-27: add by m2/v0.4.2
SQ Confidence Set VB9E3GJQGB
| URI | m2://inv/VB9E3GJQGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#0FWB, SQ Confidence Set (definition). In A3KXZ2GBHN/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Upper asymptotics in terms of Ahlfors dimensions VB9KD7ENRP
| URI | m2://inv/VB9KD7ENRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#KTYR, Upper asymptotics in terms of Ahlfors dimensions (statement). In BWJS3H55WH/e1, corollary 23
History
- 2026-10-27: add by m2/v0.3.5
Harald Garcke VB9N8JSWG5
| URI | m2://inv/VB9N8JSWG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WLBV, Harald Garcke (topic)
History
- 2026-11-02: add by m2/dev
Properties VB9VJE4RRD
| URI | m2://inv/VB9VJE4RRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chessboard complex#HCY9, Properties (statement)
History
- 2026-11-02: add by m2/dev
VB9YBDDV86 VB9YBDDV86
| URI | m2://inv/VB9YBDDV86 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Stieltjes moment problem VBA33W9G03
| URI | m2://inv/VBA33W9G03 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stieltjes moment problem, Stieltjes moment problem (problem). Also Wikidata Q7616380
History
- 2026-11-02: add by m2/dev
VBAA52SR17 VBAA52SR17
| URI | m2://inv/VBAA52SR17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.07243#FSUG (statement). In 9RH8C8RYW3/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Partial differential equation VBAF32141B
| URI | m2://inv/VBAF32141B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#JEV5, Partial differential equation (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#9PKQ, Partial differential equation (definition)
- wikipedia: Wikipedia List of partial differential equation topics#KFN3, Partial differential equation (definition)
History
- 2026-11-02: add by m2/dev
Bound Uniform in the Conditioning for Backward-Stable Solvers VBAGQ2FA9F
| URI | m2://inv/VBAGQ2FA9F |
|---|---|
| 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.13222#MQJF, Bound Uniform in the Conditioning for Backward-Stable Solvers (statement). In Z6WA2R0J50/e1, corollary 2.21
History
- 2026-10-28: add by m2/v0.4.2
VBAJPVD60G VBAJPVD60G
| URI | m2://inv/VBAJPVD60G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09557#AWQ6 (statement). In VHC7FQVPCZ/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Variants VBAPNQHK7E
| URI | m2://inv/VBAPNQHK7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial functor#HBX6, Variants (statement)
History
- 2026-11-02: add by m2/dev
VBARVMN5EV VBARVMN5EV
| URI | m2://inv/VBARVMN5EV |
|---|---|
| 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 2208.07401#JDW3 (statement). In GJD7HKCE56/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.6
Newton polygon of a cyclic semilinear map VBAS1FMXW1
| URI | m2://inv/VBAS1FMXW1 |
|---|---|
| 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#APOE, Newton polygon of a cyclic semilinear map (statement). In 8BNPFYQDQX/e1, proposition 17.5
History
- 2026-10-29: add by m2/v0.4.10
VBB6SF8832 VBB6SF8832
| URI | m2://inv/VBB6SF8832 |
|---|---|
| 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.16358#L9JO (statement). In RJA3YJ9NYK/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Binary function VBBB29QTH4
| URI | m2://inv/VBBB29QTH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#ANIM, Binary function (definition)
History
- 2026-11-02: add by m2/dev
Lamé function VBBCKMDPDQ
| URI | m2://inv/VBBCKMDPDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33E10 |
| Sources | 2 |
| Outcome | open |
| Node | Lamé function KTP37HF2RZ |
Mentions
- wikidata: Wikidata Q3127537, Lamé function (topic)
- wikipedia: Wikipedia Lamé function, Lamé function (definition). Also Wikidata Q3127537
History
- 2026-10-26: add by m2/dev
limit, infinite VBBD3TW02Y
| URI | m2://inv/VBBD3TW02Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.5.2/limit-infinite, limit, infinite (concept). In E59CDZA4DP, index, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
hydrogen VBBGQHQ3SK
| URI | m2://inv/VBBGQHQ3SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q556, hydrogen (definition). Also ProofWiki Definition:Hydrogen
History
- 2026-10-26: add by m2/dev
Characterization VBBTV6ASX9
| URI | m2://inv/VBBTV6ASX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite graph#X6U3, Characterization (statement)
History
- 2026-11-02: add by m2/dev
VBBX902QZZ VBBX902QZZ
| URI | m2://inv/VBBX902QZZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
Picard's big theorem VBC4A41XAQ
| URI | m2://inv/VBC4A41XAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-35, Picard's big theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
VBC7S5GXBK VBC7S5GXBK
| URI | m2://inv/VBC7S5GXBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32058#1N1H (statement). In N0G73NM4WC/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Minimal one-bit obstructions VBCG3RRFV1
| URI | m2://inv/VBCG3RRFV1 |
|---|---|
| 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.10002#RW0S, Minimal one-bit obstructions (statement). In 5ZYWF6HAXJ/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
VBCG4VZ70D VBCG4VZ70D
| URI | m2://inv/VBCG4VZ70D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#D9V6 (definition). In RB2B1N73P0/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Girsanov's theorem VBCSWE8HWC
| URI | m2://inv/VBCSWE8HWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#QHPK, Girsanov's theorem (statement)
- wikipedia: Wikipedia List of probability topics#81FZ, Girsanov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Engel curve VBCVSH248F
| URI | m2://inv/VBCVSH248F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#BSWF, Engel curve (unknown)
History
- 2026-11-02: add by m2/dev
VBCZ2ZGM9X VBCZ2ZGM9X
| URI | m2://inv/VBCZ2ZGM9X |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collatz conjecture#GZPM (problem)
History
- 2026-11-02: add by m2/dev
Recursive largest first algorithm VBD1XPFAM1
| URI | m2://inv/VBD1XPFAM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive largest first algorithm, Recursive largest first algorithm (definition). Also Wikidata Q110443043
History
- 2026-11-02: add by m2/dev
George F. D. Duff VBD8DKBR5Q
| URI | m2://inv/VBD8DKBR5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George F. D. Duff, George F. D. Duff (topic). Also Wikidata Q1453857
History
- 2026-11-02: add by m2/dev
Mark Iosifovich Graev VBDF2337TC
| URI | m2://inv/VBDF2337TC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Iosifovich Graev, Mark Iosifovich Graev (topic). Also Wikidata Q1900139
History
- 2026-11-02: add by m2/dev
Joachim H. Rubinstein VBDG7N90GY
| URI | m2://inv/VBDG7N90GY |
|---|---|
| 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#OKW5, Joachim H. Rubinstein (topic)
History
- 2026-11-02: add by m2/dev
VBDS1X50G1 VBDS1X50G1
| URI | m2://inv/VBDS1X50G1 |
|---|---|
| Kind | statement |
| 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 2610.21092#FESH (statement). In AGJE43FTF8/e1, proposition 9.2
History
- 2026-10-27: add by m2/v0.4.2
Statement of the lemma VBDSTJBYQ1
| URI | m2://inv/VBDSTJBYQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varadhan's lemma#OUAY, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
VBDWCT88AA VBDWCT88AA
| URI | m2://inv/VBDWCT88AA |
|---|---|
| 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 1011.5380#EAV3 (statement). In GCWK07YZJZ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
James Douglas Hamilton Dickson VBDZ18AFYV
| URI | m2://inv/VBDZ18AFYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Douglas Hamilton Dickson, James Douglas Hamilton Dickson (topic). Also Wikidata Q18910690
History
- 2026-11-02: add by m2/dev
VBE3P6T11M VBE3P6T11M
| URI | m2://inv/VBE3P6T11M |
|---|---|
| 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.36412#JSBV (statement). In 6HKGGCMBCK/e1, lemma 10.2
History
- 2026-10-30: add by m2/v0.4.12
VBE90NM9TX VBE90NM9TX
| URI | m2://inv/VBE90NM9TX |
|---|---|
| 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 2510.12502#597Y (statement). In 3A4K47Y9F2/e1, lemma 5.22
History
- 2026-10-27: add by m2/v0.4.0
Michael Viscardi VBEB1AH7F3
| URI | m2://inv/VBEB1AH7F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7RIX, Michael Viscardi (topic)
History
- 2026-11-02: add by m2/dev
VBEC6QRNFF VBEC6QRNFF
| URI | m2://inv/VBEC6QRNFF |
|---|---|
| Kind | conjecture |
| 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.20025#478X (conjecture). In 4W1WR4JB89/e1, conjecture 3.6
History
- 2026-10-27: add by m2/v0.4.2
VBEG4H1Z96 VBEG4H1Z96
| URI | m2://inv/VBEG4H1Z96 |
|---|---|
| Kind | example |
| 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#069L (example). In XGPZ0G9E1Q/e1, example 6.11
History
- 2026-10-29: add by m2/v0.4.12
Convolution random number generator VBEGPVDN99
| URI | m2://inv/VBEGPVDN99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HXQO, Convolution random number generator (definition)
History
- 2026-11-02: add by m2/dev
Half Acre, Alabama VBEGVA3WCQ
| URI | m2://inv/VBEGVA3WCQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#U6CV, Half Acre, Alabama (unknown)
History
- 2026-11-02: add by m2/dev
VBEJ3YA864 VBEJ3YA864
| URI | m2://inv/VBEJ3YA864 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#BW4U (statement). In PQGGCD09KP/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
VBF088KRJ4 VBF088KRJ4
| URI | m2://inv/VBF088KRJ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
VBF88Z2TAQ VBF88Z2TAQ
| URI | m2://inv/VBF88Z2TAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prop:prov-incons (statement). In PKGMM3P5QY, prop, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
VBFAZ415YF VBFAZ415YF
| URI | m2://inv/VBFAZ415YF |
|---|---|
| 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#JLVT (statement). In 75GDSC8460/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
VBFJEYXR9F VBFJEYXR9F
| URI | m2://inv/VBFJEYXR9F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#Y62E (example). In E4EK1XXPY4/e1, example 5.5
History
- 2026-10-31: add by m2/v0.5.6
Affine-evaluation AGPV construction VBFNH5XQ49
| URI | m2://inv/VBFNH5XQ49 |
|---|---|
| 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.32834#RIWK, Affine-evaluation AGPV construction (definition). In N4M6B8EMCW/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
VBFTFS7DTZ VBFTFS7DTZ
| URI | m2://inv/VBFTFS7DTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Hilbert–Speiser theorem VBFYZNQ5QB
| URI | m2://inv/VBFYZNQ5QB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BDPG, Hilbert–Speiser theorem (statement)
History
- 2026-11-02: add by m2/dev
partial numerator VBG18R68F2
| URI | m2://inv/VBG18R68F2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141499021, partial numerator (unknown). Also MathWorld PartialNumerator
History
- 2026-10-26: add by m2/dev
Application VBG75PCWBC
| URI | m2://inv/VBG75PCWBC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scatter matrix#V146, Application (example)
History
- 2026-11-02: add by m2/dev
VBGBC964E5 VBGBC964E5
| URI | m2://inv/VBGBC964E5 |
|---|---|
| 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.07260#VDVH (statement). In 33KABVV985/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Markushevich basis VBGHGT78V4
| URI | m2://inv/VBGHGT78V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markushevich basis, Markushevich basis (definition). Also Wikidata Q18356486
History
- 2026-11-02: add by m2/dev
VBGW594NBV VBGW594NBV
| URI | m2://inv/VBGW594NBV |
|---|---|
| Kind | problem |
| 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.19249#XGTO (problem). In 2X586J6KQ1/e1, problem 7.1
History
- 2026-10-28: add by m2/v0.4.2
VBGXFNTFAN VBGXFNTFAN
| URI | m2://inv/VBGXFNTFAN |
|---|---|
| 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.04876#7142 (statement). In 2TNAKVC0YP/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Stan Bitters VBGY8THDZ6
| URI | m2://inv/VBGY8THDZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#TE1K, Stan Bitters (unknown)
History
- 2026-11-02: add by m2/dev
Direction-of-deviation positivity VBGZTB1M7T
| URI | m2://inv/VBGZTB1M7T |
|---|---|
| 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.25120#7HK9, Direction-of-deviation positivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Likelihood function VBH049N8NC
| URI | m2://inv/VBH049N8NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#00XO, Likelihood function (definition)
History
- 2026-11-02: add by m2/dev
William Farr VBH29CGX7F
| URI | m2://inv/VBH29CGX7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Farr, William Farr (topic). Also Wikidata Q3043711
History
- 2026-11-02: add by m2/dev
VBH60MZJP3 VBH60MZJP3
| URI | m2://inv/VBH60MZJP3 |
|---|---|
| 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.19590#LWMI (statement). In AZFARX0CXG/e1, proposition 1.11
History
- 2026-10-28: add by m2/v0.4.2
Applications VBHCMJEDGA
| URI | m2://inv/VBHCMJEDGA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Čech compactification#ZSZL, Applications (example)
History
- 2026-11-02: add by m2/dev
Alternating group VBHET6ED5Z
| URI | m2://inv/VBHET6ED5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#WLCZ, Alternating group (definition)
History
- 2026-11-02: add by m2/dev
VBHF826ZXM VBHF826ZXM
| URI | m2://inv/VBHF826ZXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4946#N5Q1 (statement). In R4ZM6Q4SHH/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Eli Biham VBHJSFBKRD
| URI | m2://inv/VBHJSFBKRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eli Biham, Eli Biham (topic). Also Wikidata Q2142762
History
- 2026-11-02: add by m2/dev
Trivial cylinder VBHKW78HWE
| URI | m2://inv/VBHKW78HWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trivial cylinder, Trivial cylinder (definition). Also Wikidata Q7844659
History
- 2026-11-02: add by m2/dev
VBHKXGVQ39 VBHKXGVQ39
| URI | m2://inv/VBHKXGVQ39 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#MXJ7 (definition). In PBB3PSDP0S/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
VBHQMH5DGJ VBHQMH5DGJ
| URI | m2://inv/VBHQMH5DGJ |
|---|---|
| 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.11481#VVAS (statement). In 8XHK5ZCX7H/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.3
Definition VBHRQK47XQ
| URI | m2://inv/VBHRQK47XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris chain#1SCN, Definition (definition)
History
- 2026-11-02: add by m2/dev
VBHYSN48TG VBHYSN48TG
| URI | m2://inv/VBHYSN48TG |
|---|---|
| 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.10248#W1IR (statement). In TMV74X2725/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
Heiric of Auxerre VBJJ0NWA9X
| URI | m2://inv/VBJJ0NWA9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#DJBJ, Heiric of Auxerre (unknown)
History
- 2026-11-02: add by m2/dev
VBJJHETZD8 VBJJHETZD8
| URI | m2://inv/VBJJHETZD8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem VBJMAPQ59N
| URI | m2://inv/VBJMAPQ59N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum operation#BX8Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Polyform VBJNVXQR33
| URI | m2://inv/VBJNVXQR33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#4BJ1, Polyform (definition)
- wikipedia: Wikipedia List of mathematical shapes#S3JN, Polyform (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#P0F1, Polyform (definition)
History
- 2026-11-02: add by m2/dev
VBJR2NRW2Q VBJR2NRW2Q
| URI | m2://inv/VBJR2NRW2Q |
|---|---|
| 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.12691#4G7E (statement). In YVQKT91MYN/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
VBJVJ77QRW VBJVJ77QRW
| URI | m2://inv/VBJVJ77QRW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
Ackermann's formula VBJVJCCQ9C
| URI | m2://inv/VBJVJCCQ9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann's formula#ZPRH, Ackermann's formula (statement)
History
- 2026-11-02: add by m2/dev
\texttt{Bounds on Lagrange multipliers VBJYE4JME6
| URI | m2://inv/VBJYE4JME6 |
|---|---|
| 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.06343#63FI, \texttt{Bounds on Lagrange multipliers (statement). In R8176XJ535/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
VBK1E65R4A VBK1E65R4A
| URI | m2://inv/VBK1E65R4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#B3A5 (statement). In 7ZBX5WVEZP/e1, lemma 1.7
History
- 2026-10-27: add by m2/v0.4.2
Quantization is a contraction in TV metric VBK40D3TDC
| URI | m2://inv/VBK40D3TDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#PN0R, Quantization is a contraction in TV metric (statement). In S1MENYEAG5/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Applications VBKKNXTD8A
| URI | m2://inv/VBKKNXTD8A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type theory#Z6YL, Applications (example)
History
- 2026-11-02: add by m2/dev
VBKPTY9W4R VBKPTY9W4R
| URI | m2://inv/VBKPTY9W4R |
|---|---|
| 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.05506#GHVD (statement). In FT53PMB1TE/e1, corollary 8.0.1
History
- 2026-10-29: add by m2/v0.4.10
Pépin's test VBKR834A98
| URI | m2://inv/VBKR834A98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Pépin's test 07HXA8KV6F |
Mentions
- wikidata: Wikidata Q1779493, Pépin's test (statement). Also ProofWiki Pépin's_Test
- wikipedia: Wikipedia Pépin's test, Pépin's test (definition). Also Wikidata Q1779493
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VBKTKGDYZF VBKTKGDYZF
| URI | m2://inv/VBKTKGDYZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#0UWW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourier decay VBKWCXE3J2
| URI | m2://inv/VBKWCXE3J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#S572, Fourier decay (statement). In JBAQ7DTW7B/e1, lemma 16.1
History
- 2026-10-27: add by m2/v0.3.5
VBM9A7EYA3 VBM9A7EYA3
| URI | m2://inv/VBM9A7EYA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#KW1L (statement). In 6M96RM3T7N/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
Compromise VBMDRVA1G6
| URI | m2://inv/VBMDRVA1G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compromise, Compromise (definition). Also Wikidata Q726686
History
- 2026-11-02: add by m2/dev
Whitney constants and Sendov's conjecture VBMKR52B6H
| URI | m2://inv/VBMKR52B6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney inequality#7EMY, Whitney constants and Sendov's conjecture (statement)
History
- 2026-11-02: add by m2/dev
VBMNAJMZKB VBMNAJMZKB
| URI | m2://inv/VBMNAJMZKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/using-definitions.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 45.4
History
- 2026-11-01: add by m2/v0.6.13
VBMPHR95CN VBMPHR95CN
| URI | m2://inv/VBMPHR95CN |
|---|---|
| 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#DG7Z (statement). In EVFX1R7ZDD/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
$N=6$, $m=8$ VBMS882BVY
| URI | m2://inv/VBMS882BVY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#R5UP, $N=6$, $m=8$ (example). In QJD3MZMJHW/e1, example 6.5
History
- 2026-10-30: add by m2/v0.4.12
VBN2VDPVVE VBN2VDPVVE
| URI | m2://inv/VBN2VDPVVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#definition-2 (definition). In RZP28ERRZV, definition, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Pikhurko--Yilma VBN3NFK9NV
| URI | m2://inv/VBN3NFK9NV |
|---|---|
| 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#R7EG, Pikhurko--Yilma (statement). In 4TJGTZWJVK/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
VBN6FP9FDY VBN6FP9FDY
| URI | m2://inv/VBN6FP9FDY |
|---|---|
| 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.17720#ZZ5T (statement). In QPM0GQYNZ9/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Limit point of a net VBNS7F9A2X
| URI | m2://inv/VBNS7F9A2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (mathematics)#QZJI, Limit point of a net (unknown)
History
- 2026-11-02: add by m2/dev
VBNS81BT0S VBNS81BT0S
| URI | m2://inv/VBNS81BT0S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#QAGJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Artin–Wedderburn theorem VBNTXPE0SS
| URI | m2://inv/VBNTXPE0SS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W3FT, Artin–Wedderburn theorem (statement)
History
- 2026-11-02: add by m2/dev
VBNXQSECBG VBNXQSECBG
| URI | m2://inv/VBNXQSECBG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-46 (proof). In VNMV985MXX, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Contiguity (probability theory) VBNYKKMZR2
| URI | m2://inv/VBNYKKMZR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GRJC, Contiguity (probability theory) (definition)
History
- 2026-11-02: add by m2/dev
VBP15JVYB9 VBP15JVYB9
| URI | m2://inv/VBP15JVYB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#14TF (statement). In D0F1GK5AHW/e1, theorem E.3
History
- 2026-10-29: add by m2/v0.4.10
Banach-Saks theorem VBP6ZB3X8E
| URI | m2://inv/VBP6ZB3X8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#1PAJ, Banach-Saks theorem (statement)
History
- 2026-11-02: add by m2/dev
VBP9Z39FSJ VBP9Z39FSJ
| URI | m2://inv/VBP9Z39FSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#VS6C (statement). In 9ZD87293QS/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
Moses Abramovitz VBPMA76S4N
| URI | m2://inv/VBPMA76S4N |
|---|---|
| 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#SMJT, Moses Abramovitz (unknown)
History
- 2026-11-02: add by m2/dev
Computational adequacy VBQ03973N4
| URI | m2://inv/VBQ03973N4 |
|---|---|
| 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 1904.09810#IMXG, Computational adequacy (statement). In T1VFA7TXPA/e1, theorem 42
History
- 2026-10-27: add by m2/v0.3.5
Reduction modulo a prime number or ideal VBQ31HK9J4
| URI | m2://inv/VBQ31HK9J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#UMFC, Reduction modulo a prime number or ideal (definition)
History
- 2026-11-02: add by m2/dev
limits of integration VBQ5QEEH3T
| URI | m2://inv/VBQ5QEEH3T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.3.2/limits-of-integration, limits of integration (concept). In 907G4C4EJ1, index, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
I22 symmetry VBQ6CEZ6X3
| URI | m2://inv/VBQ6CEZ6X3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold notation#2MVU, I22 symmetry (unknown)
History
- 2026-11-02: add by m2/dev
VBQBJA2MMM VBQBJA2MMM
| URI | m2://inv/VBQBJA2MMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27931#740S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-sample hypothesis testing VBQFW7TR3D
| URI | m2://inv/VBQFW7TR3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-sample hypothesis testing, Two-sample hypothesis testing (statement). Also Wikidata Q65074692
History
- 2026-11-02: add by m2/dev
VBQN3734MT VBQN3734MT
| URI | m2://inv/VBQN3734MT |
|---|---|
| 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.13715#4LCO (statement). In FAVGZDVJS9/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
VBQQK6WKKR VBQQK6WKKR
| URI | m2://inv/VBQQK6WKKR |
|---|---|
| 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.11082#YJ3U (statement). In GFPFFN0BXV/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.3
VBQWNRY760 VBQWNRY760
| URI | m2://inv/VBQWNRY760 |
|---|---|
| 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.22074#BMR5 (definition). In F3BKXXPR3K/e1, definition 4.15
History
- 2026-10-27: add by m2/v0.4.2
vertical orientation VBQZ4QA51P
| URI | m2://inv/VBQZ4QA51P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q182167, vertical orientation (unknown). Also MathWorld Vertical
History
- 2026-10-26: add by m2/dev
VBR0G70HER VBR0G70HER
| URI | m2://inv/VBR0G70HER |
|---|---|
| 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 2610.08873#L86Q (statement). In 7WMNVJBAVR/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
VBR4P1RQ3D VBR4P1RQ3D
| URI | m2://inv/VBR4P1RQ3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#92JU (statement). In HMNKENER22/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.12
Hilbert's fourteenth problem VBR4Z2XBF4
| URI | m2://inv/VBR4Z2XBF4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourteenth problem, Hilbert's fourteenth problem (problem). Also Wikidata Q4515163
History
- 2026-11-02: add by m2/dev
Dynamic unobserved effects model VBRC4M02PP
| URI | m2://inv/VBRC4M02PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic unobserved effects model, Dynamic unobserved effects model (definition). Also Wikidata Q25111840
History
- 2026-11-02: add by m2/dev
Friedrich Wilhelm von Hoven VBRK888JKS
| URI | m2://inv/VBRK888JKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blinded experiment#HO5A, Friedrich Wilhelm von Hoven (unknown)
History
- 2026-11-02: add by m2/dev
cos VBRNBWQHF8
| URI | m2://inv/VBRNBWQHF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > cos, cos (unknown). Also Mathlib Complex.hasSum_cos
History
- 2026-10-26: add by m2/dev
VBRNXQ1TPX VBRNXQ1TPX
| URI | m2://inv/VBRNXQ1TPX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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.19194#WC5P (definition). In P9D8W64P7X/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Mysterium Cosmographicum VBSPNFCTWG
| URI | m2://inv/VBSPNFCTWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mysterium Cosmographicum, Mysterium Cosmographicum (definition). Also Wikidata Q721138
History
- 2026-11-02: add by m2/dev
VBT2BT4AZ6 VBT2BT4AZ6
| URI | m2://inv/VBT2BT4AZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#GIG5 (statement). In NAE99N03W3/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
The binary exception VBTEDMTP5R
| URI | m2://inv/VBTEDMTP5R |
|---|---|
| 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#F1AT, The binary exception (statement). In 9YAE8FNQST/e1, proposition 30.18
History
- 2026-10-30: add by m2/v0.4.12
VBTGGDHAQF VBTGGDHAQF
| URI | m2://inv/VBTGGDHAQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/halting-problem.tex#thm:halting-problem (statement). In PKGMM3P5QY, thm, section 3.22
History
- 2026-11-01: add by m2/v0.6.13
Sierpiński arrowhead curve VBTT1V594Q
| URI | m2://inv/VBTT1V594Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7511293, Sierpiński arrowhead curve (concept). Also MathWorld SierpinskiArrowheadCurve
History
- 2026-10-26: add by m2/dev
VBTT7QZMME VBTT7QZMME
| URI | m2://inv/VBTT7QZMME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem:hopf-construction (statement). In N54F33XE07, lem, section 7.5.2
History
- 2026-11-01: add by m2/v0.6.13
VBTZ1RTQ6R VBTZ1RTQ6R
| URI | m2://inv/VBTZ1RTQ6R |
|---|---|
| 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 2610.15887#UATP (statement). In 87QYNZZ67Z/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
VBV5V2N4S7 VBV5V2N4S7
| URI | m2://inv/VBV5V2N4S7 |
|---|---|
| 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 2609.24701#YOBP (statement)
History
- 2026-11-01: add by m2/v0.6.15
VBV6197S2B VBV6197S2B
| URI | m2://inv/VBV6197S2B |
|---|---|
| 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.21355#P7U9 (statement). In XKJ7VKN4P0/e1, proposition 7
History
- 2026-10-27: add by m2/v0.4.2
VBVFKYF853 VBVFKYF853
| URI | m2://inv/VBVFKYF853 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#M0AE (definition). In A4VP56CT7B/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Angelescu polynomials VBVKSVER0J
| URI | m2://inv/VBVKSVER0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelescu polynomials, Angelescu polynomials (definition). Also Wikidata Q4762627
History
- 2026-11-02: add by m2/dev
VBVN0TXBSZ VBVN0TXBSZ
| URI | m2://inv/VBVN0TXBSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#0NJS (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
VBVQV1B07M VBVQV1B07M
| URI | m2://inv/VBVQV1B07M |
|---|---|
| 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 2504.13516#Z238 (statement). In Z9JWKWH7CJ/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Bounded effective velocity VBVTABCN9F
| URI | m2://inv/VBVTABCN9F |
|---|---|
| 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.13248#GIIZ, Bounded effective velocity (statement). In MGMC5SREP3/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
VBVYRR10HV VBVYRR10HV
| URI | m2://inv/VBVYRR10HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10558#J4UT (statement). In GYSF9JXQCH/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Monadic pullback criterion VBVZMNSQSD
| URI | m2://inv/VBVZMNSQSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#P8ZT, Monadic pullback criterion (statement). In TC5QA4AB4Z/e1, theorem 3.34
History
- 2026-10-30: add by m2/v0.4.12
Satyendra Nath Bose VBW1W0HS47
| URI | m2://inv/VBW1W0HS47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satyendra Nath Bose, Satyendra Nath Bose (topic). Also Wikidata Q45789
History
- 2026-11-02: add by m2/dev
Douglas Ravenel VBW2XR4FB3
| URI | m2://inv/VBW2XR4FB3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Ravenel, Douglas Ravenel (topic). Also Wikidata Q994334
History
- 2026-11-02: add by m2/dev
Variants VBW3M94H3H
| URI | m2://inv/VBW3M94H3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill climbing#QZ5C, Variants (statement)
History
- 2026-11-02: add by m2/dev
Examples VBW5RM6QXX
| URI | m2://inv/VBW5RM6QXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shriek map#BFCK, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions VBW6SJ3WR7
| URI | m2://inv/VBW6SJ3WR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#IGUT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Isolating a derivative VBW91EHBMN
| URI | m2://inv/VBW91EHBMN |
|---|---|
| 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.28028#C3QS, Isolating a derivative (statement)
History
- 2026-11-01: add by m2/v0.6.15
VBWBFR8APX VBWBFR8APX
| URI | m2://inv/VBWBFR8APX |
|---|---|
| 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.21533#BQRS (statement). In N3Z6JFEPCF/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Henri Villat VBWDQ9PGY6
| URI | m2://inv/VBWDQ9PGY6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Villat, Henri Villat (topic). Also Wikidata Q5715746
History
- 2026-11-02: add by m2/dev
output controllability matrix VBWDY3GDH7
| URI | m2://inv/VBWDY3GDH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Controllability#HDNP, output controllability matrix (definition)
History
- 2026-11-02: add by m2/dev
Atlas VBWJ0NJNQN
| URI | m2://inv/VBWJ0NJNQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#3MY2, Atlas (definition)
History
- 2026-11-02: add by m2/dev
VBWJ8J4T39 VBWJ8J4T39
| URI | m2://inv/VBWJ8J4T39 |
|---|---|
| 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 2502.09442#PNM4 (statement). In DNT32YYDM4/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
The reduced matrix for a one-edge update VBWJB17XM8
| URI | m2://inv/VBWJB17XM8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#5CWC, The reduced matrix for a one-edge update (example). In 8GSG7024NW/e1, example 6.6
History
- 2026-10-28: add by m2/v0.4.2
VBWQSV9Z71 VBWQSV9Z71
| URI | m2://inv/VBWQSV9Z71 |
|---|---|
| Kind | statement |
| 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#GSO8 (statement). In HX63A1PH1W/e1, proposition 4.22
History
- 2026-10-28: add by m2/v0.4.3
Ideal novelty prevents reducibility VBWZGTRX4N
| URI | m2://inv/VBWZGTRX4N |
|---|---|
| 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#VCWW, Ideal novelty prevents reducibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
David DiVincenzo VBX0EQ2EAA
| URI | m2://inv/VBX0EQ2EAA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4111, David DiVincenzo (unknown)
History
- 2026-11-02: add by m2/dev
Complete VBX70HW10H
| URI | m2://inv/VBX70HW10H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete (complexity), Complete (definition). Also Wikidata Q2532728
History
- 2026-11-02: add by m2/dev
Silesia corpus VBXA4ST44Q
| URI | m2://inv/VBXA4ST44Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#UQCF, Silesia corpus (unknown)
History
- 2026-11-02: add by m2/dev
Discretization VBXK6D66DB
| URI | m2://inv/VBXK6D66DB |
|---|---|
| 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.06028#9PL0, Discretization (statement). In GAZRH97SXG/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.10
VBXQN11G9W VBXQN11G9W
| URI | m2://inv/VBXQN11G9W |
|---|---|
| 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.40138#IED8 (statement). In R60HR493TS/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
VBXWAS9QVT VBXWAS9QVT
| URI | m2://inv/VBXWAS9QVT |
|---|---|
| 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 1910.05504#4RLE (definition). In 6ZR1NC9Z1S/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
VBY4BRBYRA VBY4BRBYRA
| URI | m2://inv/VBY4BRBYRA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#2S3T (definition). In VD4JP4HVBX/e1, definition 10.9
History
- 2026-10-28: add by m2/v0.4.2
VBYJ896B3S VBYJ896B3S
| URI | m2://inv/VBYJ896B3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#F9SK (statement)
History
- 2026-11-01: add by m2/v0.6.15
DFT matrix VBYJG51FMF
| URI | m2://inv/VBYJG51FMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5204933, DFT matrix (unknown). Also MathWorld FourierMatrix
- wikipedia: Wikipedia DFT matrix, DFT matrix (definition). Also Wikidata Q5204933
History
- 2026-10-26: add by m2/dev
Phase lemma VBYS3PN4SA
| URI | m2://inv/VBYS3PN4SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#804K, Phase lemma (statement). In RZDNWV9E29/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
VBYVCPZPE7 VBYVCPZPE7
| URI | m2://inv/VBYVCPZPE7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#9PMC (problem)
History
- 2026-11-02: add by m2/v0.6.17
VBYYJ3DYJY VBYYJ3DYJY
| URI | m2://inv/VBYYJ3DYJY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proof-1 (proof). In RZP28ERRZV, proof, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Andrea Troxel VBZ553VFPT
| URI | m2://inv/VBZ553VFPT |
|---|---|
| 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#WXRJ, Andrea Troxel (topic)
History
- 2026-11-02: add by m2/dev
VBZ96NCRWC VBZ96NCRWC
| URI | m2://inv/VBZ96NCRWC |
|---|---|
| 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.08583#KJY1 (statement). In 5EKTECQ2P1/e1, proposition 1.9
History
- 2026-10-29: add by m2/v0.4.10
Convergence group VBZVMZDPXH
| URI | m2://inv/VBZVMZDPXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence group, Convergence group (definition). Also Wikidata Q28136116
History
- 2026-11-02: add by m2/dev