Inventory rows 3X
The cards of the rows of the inventory whose ids start with 3X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
3X00J9RFBS 3X00J9RFBS
| URI | m2://inv/3X00J9RFBS |
|---|---|
| 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 2505.04063#FJZ0 (statement). In TFH7T63DX9/e1, theorem S.1
History
- 2026-10-27: add by m2/v0.3.5
Factorization theorems 3X06HV2853
| URI | m2://inv/3X06HV2853 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert series#GKVX, Factorization theorems (statement)
History
- 2026-11-02: add by m2/dev
3X0D2N8N66 3X0D2N8N66
| URI | m2://inv/3X0D2N8N66 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.10262#Z5Z9 (definition). In MVSGDTN2PB/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
thickness 3X0HMA51K7
| URI | m2://inv/3X0HMA51K7 |
|---|---|
| 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.40207#QRNL, thickness (definition). In JXTG8KP95P/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Generalizations 3X0P6FE7AN
| URI | m2://inv/3X0P6FE7AN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casson invariant#L6FS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Metric spacetimes 3X0PQNB0K6
| URI | m2://inv/3X0PQNB0K6 |
|---|---|
| Kind | definition |
| 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 2610.10051#8HKN, Metric spacetimes (definition). In VCHH2AC34R/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Definitions 3X0T3EM2QN
| URI | m2://inv/3X0T3EM2QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference#5NQ4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
3X0WQR05JG 3X0WQR05JG
| URI | m2://inv/3X0WQR05JG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#WJYG (statement). In TNREX5GDK2/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
3X142EAAEB 3X142EAAEB
| URI | m2://inv/3X142EAAEB |
|---|---|
| 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 2609.37761#LUJW (statement). In 4TAQ65KZKN/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Use 3X22MKR3EB
| URI | m2://inv/3X22MKR3EB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-statistic#J47R, Use (example)
History
- 2026-11-02: add by m2/dev
Lemma 3X2325ZDD7
| URI | m2://inv/3X2325ZDD7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze mapping#Z715, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Harald Bohr 3X2A583566
| URI | m2://inv/3X2A583566 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harald Bohr, Harald Bohr (topic). Also Wikidata Q310009
History
- 2026-11-02: add by m2/dev
Examples 3X2BY8YJGS
| URI | m2://inv/3X2BY8YJGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power series#Y62K, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 3X2C6RHKVW
| URI | m2://inv/3X2C6RHKVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph of groups#4M0D, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform low-mode inverse 3X2JEMZ476
| URI | m2://inv/3X2JEMZ476 |
|---|---|
| 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.11077#ECQ0, Uniform low-mode inverse (statement). In 4333A6G5K5/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
Orthogonal (computing) 3X2PY36PD7
| URI | m2://inv/3X2PY36PD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality#D42H, Orthogonal (computing) (unknown)
History
- 2026-11-02: add by m2/dev
Dense order 3X2Q97FP93
| URI | m2://inv/3X2Q97FP93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#K2HD, Dense order (definition)
History
- 2026-11-02: add by m2/dev
Malka Schaps 3X30VP0VHC
| URI | m2://inv/3X30VP0VHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8KGY, Malka Schaps (topic)
History
- 2026-11-02: add by m2/dev
3X341HSP87 3X341HSP87
| URI | m2://inv/3X341HSP87 |
|---|---|
| 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.10790#NMG9 (statement). In HHQ6P3RRB8/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.3
3X3C73QJ2N 3X3C73QJ2N
| URI | m2://inv/3X3C73QJ2N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#JAI5 (example)
History
- 2026-11-02: add by m2/v0.6.17
3X3EMBVZX4 3X3EMBVZX4
| URI | m2://inv/3X3EMBVZX4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#KW6T (definition)
History
- 2026-11-01: add by m2/v0.6.15
arg 3X3J0X9MPN
| URI | m2://inv/3X3J0X9MPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logarithmic identities#NLOE, arg (definition)
History
- 2026-11-02: add by m2/dev
Computations of the Todd class 3X3N9RJT5F
| URI | m2://inv/3X3N9RJT5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Todd class#RQCT, Computations of the Todd class (definition)
History
- 2026-11-02: add by m2/dev
3X3S58GXHB 3X3S58GXHB
| URI | m2://inv/3X3S58GXHB |
|---|---|
| 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.09704#LCAG (statement). In FNG4B47MRV/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Properties 3X3SH2PDHW
| URI | m2://inv/3X3SH2PDHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex normal distribution#5W8O, Properties (statement)
History
- 2026-11-02: add by m2/dev
3X4AMPXT4F 3X4AMPXT4F
| URI | m2://inv/3X4AMPXT4F |
|---|---|
| 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.30323#5XX2 (statement). In HDJ6N25XVT/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
3X4G3ETHEF 3X4G3ETHEF
| URI | m2://inv/3X4G3ETHEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#8BVB (statement). In CRFDGFZHBF/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.3
Per-Olof Persson 3X4G57A6B4
| URI | m2://inv/3X4G57A6B4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Per-Olof Persson, Per-Olof Persson (topic). Also Wikidata Q102279594
History
- 2026-11-02: add by m2/dev
Miquel's pentagon theorem 3X4KZQPY7K
| URI | m2://inv/3X4KZQPY7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miquel's theorem#GY39, Miquel's pentagon theorem (statement)
History
- 2026-11-02: add by m2/dev
V. V. Nikulin 3X4QNDC6J3
| URI | m2://inv/3X4QNDC6J3 |
|---|---|
| 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#1ZL5, V. V. Nikulin (topic)
History
- 2026-11-02: add by m2/dev
3X50HAPPE7 3X50HAPPE7
| URI | m2://inv/3X50HAPPE7 |
|---|---|
| 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.12912#GS9Y (statement). In PDKBKKJ4BV/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
3X59GE4S4J 3X59GE4S4J
| URI | m2://inv/3X59GE4S4J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-18 (proof). In E59CDZA4DP, proof, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Applications 3X5EGBQX45
| URI | m2://inv/3X5EGBQX45 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bose–Einstein condensate#FZZ5, Applications (example)
History
- 2026-11-02: add by m2/dev
3X5EK51KG3 3X5EK51KG3
| URI | m2://inv/3X5EK51KG3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#4URM (definition). In E1Y93JNBJA/e1, definition 1.5
History
- 2026-10-31: add by m2/v0.5.6
Terminology 3X610TP0YC
| URI | m2://inv/3X610TP0YC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated mean#OFU8, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Properties 3X63MT2EKJ
| URI | m2://inv/3X63MT2EKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson circles#JOGU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Killing vector field 3X68J9EJK6
| URI | m2://inv/3X68J9EJK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#IFXQ, Killing vector field (definition)
History
- 2026-11-02: add by m2/dev
Rank-one resolvent bound 3X6A9T4PKP
| URI | m2://inv/3X6A9T4PKP |
|---|---|
| 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.23098#8D3F, Rank-one resolvent bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
3X6DGHB70N 3X6DGHB70N
| URI | m2://inv/3X6DGHB70N |
|---|---|
| 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 2511.08099#QX0V (statement). In 5NK801XBGA/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
sign chart 3X6FS2XXYR
| URI | m2://inv/3X6FS2XXYR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.2/sign-chart, sign chart (concept). In 907G4C4EJ1, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Giuseppe Melfi 3X6GX090P7
| URI | m2://inv/3X6GX090P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Melfi, Giuseppe Melfi (topic). Also Wikidata Q5565459
History
- 2026-11-02: add by m2/dev
countable chain condition 3X6K5AKCXW
| URI | m2://inv/3X6K5AKCXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5176824, countable chain condition (unknown). Also nLab countable chain condition
- wikipedia: Wikipedia Countable chain condition, Countable chain condition (definition). Also Wikidata Q5176824
History
- 2026-10-26: add by m2/dev
Hopfian object 3X6MTBVAMK
| URI | m2://inv/3X6MTBVAMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopfian object, Hopfian object (definition). Also Wikidata Q5900526
History
- 2026-11-02: add by m2/dev
Weil's explicit formula 3X6MTYJ0E9
| URI | m2://inv/3X6MTYJ0E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit formulae for L-functions#MXKP, Weil's explicit formula (statement)
History
- 2026-11-02: add by m2/dev
Lemma 3X6R2A4BB2
| URI | m2://inv/3X6R2A4BB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation polynomial#FRT2, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Inverse hyperbolic cosecant 3X6T8NE8N3
| URI | m2://inv/3X6T8NE8N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#P4I5, Inverse hyperbolic cosecant (definition)
History
- 2026-11-02: add by m2/dev
Paul Erdős Prize 3X6TENEV55
| URI | m2://inv/3X6TENEV55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Erdős Prize, Paul Erdős Prize (definition). Also Wikidata Q592034
History
- 2026-11-02: add by m2/dev
Generalised hyperbolic distribution 3X72NCH273
| URI | m2://inv/3X72NCH273 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WUV1, Generalised hyperbolic distribution (definition)
History
- 2026-11-02: add by m2/dev
Deviation and rate function 3X754N3GGP
| URI | m2://inv/3X754N3GGP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#WCFI, Deviation and rate function (definition)
History
- 2026-11-01: add by m2/v0.6.15
3X77PREZQS 3X77PREZQS
| URI | m2://inv/3X77PREZQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.06746#WD5Y (statement). In B8A6BPP922/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
proton spin crisis 3X7GGQ526F
| URI | m2://inv/3X7GGQ526F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7252067, proton spin crisis (unknown). Also nLab proton spin crisis
History
- 2026-10-26: add by m2/dev
3X7RAYH1TC 3X7RAYH1TC
| URI | m2://inv/3X7RAYH1TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#P62W (statement). In XJ59TDP4HA/e1, theorem 4.18
History
- 2026-10-28: add by m2/v0.4.2
3X7TJSXQF7 3X7TJSXQF7
| URI | m2://inv/3X7TJSXQF7 |
|---|---|
| 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.04772#A0A3 (statement). In WW08CYN4D4/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
3X83X7C0K9 3X83X7C0K9
| URI | m2://inv/3X83X7C0K9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#TDG0 (unknown). In QNBFHFZ3H0/e1, unknown 72
History
- 2026-10-28: add by m2/v0.4.2
Algorithm 3X87T5TPRG
| URI | m2://inv/3X87T5TPRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bland's rule#EGDS, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Segre embedding 3X8E20T5NP
| URI | m2://inv/3X8E20T5NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre embedding, Segre embedding (definition). Also Wikidata Q3392521
History
- 2026-11-02: add by m2/dev
3X8P4ZJXWN 3X8P4ZJXWN
| URI | m2://inv/3X8P4ZJXWN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#2NG8 (definition). In ZA6XNBA90V/e1, definition 1.26
History
- 2026-10-27: add by m2/v0.3.5
Ljung–Box test 3X8REDZKNF
| URI | m2://inv/3X8REDZKNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ljung–Box test, Ljung–Box test (definition). Also Wikidata Q4047713
History
- 2026-11-02: add by m2/dev
3X8RKBT8XB 3X8RKBT8XB
| URI | m2://inv/3X8RKBT8XB |
|---|---|
| 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.03437#3IZO (statement). In EDTV1EDV7M/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.12
area under a curve 3X8WNB50KA
| URI | m2://inv/3X8WNB50KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#N91P, area under a curve (definition)
History
- 2026-11-02: add by m2/dev
3X99ZYZZQR 3X99ZYZZQR
| URI | m2://inv/3X99ZYZZQR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
Clairaut's equation 3X9C5ZZ3ER
| URI | m2://inv/3X9C5ZZ3ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Clairaut's equation 0T6D4PE51C |
Mentions
- wikidata: Wikidata Q1094772, Clairaut's equation (unknown). Also EoM Clairaut_equation, MathWorld ClairautsDifferentialEquation
- wikipedia: Wikipedia Clairaut's equation, Clairaut's equation (definition). Also Wikidata Q1094772
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cutoff on graphs of moderate growth 3X9D5E7JXB
| URI | m2://inv/3X9D5E7JXB |
|---|---|
| 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.31187#PWMA, Cutoff on graphs of moderate growth (statement). In 2535DQ1DEG/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
Cox process 3X9J3HC3Z8
| URI | m2://inv/3X9J3HC3Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#0HH5, Cox process (definition)
- wikipedia: Wikipedia List of statistics articles#GS4F, Cox process (definition)
History
- 2026-11-02: add by m2/dev
3X9QF290PN 3X9QF290PN
| URI | m2://inv/3X9QF290PN |
|---|---|
| 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.07608#505D (statement). In X8FQD4TEVG/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
3XA26V0K1B 3XA26V0K1B
| URI | m2://inv/3XA26V0K1B |
|---|---|
| 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.07890#3340 (statement). In 6F3GSDT2V1/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
Pr\"ufer-Tricerri-Vanhecke 3XAAVD0NNV
| URI | m2://inv/3XAAVD0NNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.07983#HG9B, Pr\"ufer-Tricerri-Vanhecke (statement). In 4WJ9HYVSZY/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.6
3XAAY7KEF8 3XAAY7KEF8
| URI | m2://inv/3XAAY7KEF8 |
|---|---|
| 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 2508.02432#QL74 (statement). In B366ACYB37/e1, lemma 3.21
History
- 2026-10-27: add by m2/v0.3.5
Extension 3XAEQPSY8N
| URI | m2://inv/3XAEQPSY8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Huilier's theorem#8L8R, Extension (statement)
History
- 2026-11-02: add by m2/dev
Optimal stopping 3XANY8VJMX
| URI | m2://inv/3XANY8VJMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal stopping, Optimal stopping (definition). Also Wikidata Q7098950
History
- 2026-11-02: add by m2/dev
Submanifolds 3XBGSB6TMA
| URI | m2://inv/3XBGSB6TMA |
|---|---|
| Kind | definition |
| 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 2610.17004#SHNV, Submanifolds (definition). In XNJGNMS6H0/e1, definition B.2
History
- 2026-10-28: add by m2/v0.4.2
Homomorphism problem 3XBKZAPPEC
| URI | m2://inv/3XBKZAPPEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure (mathematical logic)#JUNA, Homomorphism problem (unknown)
History
- 2026-11-02: add by m2/dev
3XBMD12TS7 3XBMD12TS7
| URI | m2://inv/3XBMD12TS7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#proof-1 (proof). In RZP28ERRZV, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
3XBNK76ADM 3XBNK76ADM
| URI | m2://inv/3XBNK76ADM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23538#HGS3 (example)
History
- 2026-11-02: add by m2/v0.6.17
Mertens , Propositions 3.1 and 3.2 3XBNVRKH43
| URI | m2://inv/3XBNVRKH43 |
|---|---|
| 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.07741#9QG2, Mertens , Propositions 3.1 and 3.2 (statement). In K4YV2SF9MG/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Tracking error 3XCTKKEWFV
| URI | m2://inv/3XCTKKEWFV |
|---|---|
| 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.13773#ONV5, Tracking error (statement). In E75XQY0QFM/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
An equivalent definition of Information Dimension 3XD9F6A2RF
| URI | m2://inv/3XD9F6A2RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information dimension#XNOY, An equivalent definition of Information Dimension (definition)
History
- 2026-11-02: add by m2/dev
PN code 3XDA2NN4GG
| URI | m2://inv/3XDA2NN4GG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom noise#3N4B, PN code (unknown)
History
- 2026-11-02: add by m2/dev
Preda Mihăilescu 3XDB7RC3Q8
| URI | m2://inv/3XDB7RC3Q8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q707130, Preda Mihăilescu (unknown). Also ProofWiki Mathematician:Preda_V._Mihăilescu
- wikipedia: Wikipedia Preda Mihăilescu, Preda Mihăilescu (topic). Also Wikidata Q707130
History
- 2026-10-26: add by m2/dev
3XDCCNYETA 3XDCCNYETA
| URI | m2://inv/3XDCCNYETA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12803#EEZ8 (statement). In 98GNJ4MS7Q/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!first version}\index{continuity principle!first version}, first version\footnote{ Sometimes this (or similar) theorem is called Behnke--Sommer, although the first version of it (where the discs are complex lines) were proved by Hartogs.} 3XDGAEXA7Y
| URI | m2://inv/3XDGAEXA7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:contprinciple1, Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!first version}\index{continuity principle!first version}, first version\footnote{ Sometimes this (or similar) theorem is called Behnke--Sommer, although the first version of it (where the discs are complex lines) were proved by Hartogs.} (statement). In VNMV985MXX, thm, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
3XDK5KJC8J 3XDK5KJC8J
| URI | m2://inv/3XDK5KJC8J |
|---|---|
| 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.03520#1TDF (statement). In CSRZ9CWK69/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.12
3XDTHB4ND4 3XDTHB4ND4
| URI | m2://inv/3XDTHB4ND4 |
|---|---|
| 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 2609.25004#0MVA (statement)
History
- 2026-11-01: add by m2/v0.6.15
3XDTJQZGGX 3XDTJQZGGX
| URI | m2://inv/3XDTJQZGGX |
|---|---|
| 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.32977#WFDO (statement). In 4KT9TK3MG4/e1, lemma C.10
History
- 2026-10-31: add by m2/v0.5.6
Ágnes Szendrei 3XDWY48YXX
| URI | m2://inv/3XDWY48YXX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GUMP, Ágnes Szendrei (topic)
History
- 2026-11-02: add by m2/dev
Hereditarily P 3XDZ9Y9K8Z
| URI | m2://inv/3XDZ9Y9K8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#F563, Hereditarily P (definition)
History
- 2026-11-02: add by m2/dev
Implementation 3XE2TPRSH7
| URI | m2://inv/3XE2TPRSH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine arithmetic#8A57, Implementation (definition)
History
- 2026-11-02: add by m2/dev
$n$th order Taylor polynomial 3XEBTW52T4
| URI | m2://inv/3XEBTW52T4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.3.2/n-th-order-taylor-polynomial, $n$th order Taylor polynomial (concept). In E59CDZA4DP, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Leg (geometry) 3XEE75GRQR
| URI | m2://inv/3XEE75GRQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#X7XW, Leg (geometry) (definition)
History
- 2026-11-02: add by m2/dev
3XEEX1ZH4Z 3XEEX1ZH4Z
| URI | m2://inv/3XEEX1ZH4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2610.08010#EWNC (statement). In 2S89BG5WPH/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
Definition 3XEFFG4BDQ
| URI | m2://inv/3XEFFG4BDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submersion (mathematics)#37IK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Retained body under a first-moment score hypothesis 3XEKR2SP90
| URI | m2://inv/3XEKR2SP90 |
|---|---|
| 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#GQRF, Retained body under a first-moment score hypothesis (statement). In 9YAE8FNQST/e1, theorem 19.1
History
- 2026-10-30: add by m2/v0.4.12
autopoiesis 3XERM44B33
| URI | m2://inv/3XERM44B33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q599967, autopoiesis (unknown). Also nLab autopoiesis
History
- 2026-10-26: add by m2/dev
ZetaGrid 3XFHJR2C01
| URI | m2://inv/3XFHJR2C01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ZetaGrid, ZetaGrid (definition). Also Wikidata Q3575310
History
- 2026-11-02: add by m2/dev
3XFHJZGMES 3XFHJZGMES
| URI | m2://inv/3XFHJZGMES |
|---|---|
| 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.37489#ELBK (statement). In 5ZC91T5PHQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
3XFZ90XP7F 3XFZ90XP7F
| URI | m2://inv/3XFZ90XP7F |
|---|---|
| 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 1011.5443#XWKY (statement). In VQ0K2GV62A/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
3XG3M0VJ9N 3XG3M0VJ9N
| URI | m2://inv/3XG3M0VJ9N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#TYVV (definition)
History
- 2026-11-01: add by m2/v0.6.15
3XG5G1ZR1W 3XG5G1ZR1W
| URI | m2://inv/3XG5G1ZR1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#OZLK (statement). In JCTD510XJ0/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
J. Barkley Rosser 3XGEHS795H
| URI | m2://inv/3XGEHS795H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#85LV, J. Barkley Rosser (topic)
History
- 2026-11-02: add by m2/dev
Andrea Bréard 3XGFX6MG75
| URI | m2://inv/3XGFX6MG75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Bréard, Andrea Bréard (topic). Also Wikidata Q102405269
History
- 2026-11-02: add by m2/dev
Anne Greenbaum 3XGFXKC29K
| URI | m2://inv/3XGFXKC29K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne Greenbaum, Anne Greenbaum (topic). Also Wikidata Q47308280
History
- 2026-11-02: add by m2/dev
3XGGJQT586 3XGGJQT586
| URI | m2://inv/3XGGJQT586 |
|---|---|
| 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#O7XM (statement). In QPM0GQYNZ9/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Non-standard model 3XGHHEYCN6
| URI | m2://inv/3XGHHEYCN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#7YDL, Non-standard model (definition)
History
- 2026-11-02: add by m2/dev
3XGNE76BM4 3XGNE76BM4
| URI | m2://inv/3XGNE76BM4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-4-2.xml#act-7-4-2 (exercise). In 907G4C4EJ1, activity, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
Locally path-connected 3XGSJ7MVAZ
| URI | m2://inv/3XGSJ7MVAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#XJFP, Locally path-connected (definition)
History
- 2026-11-02: add by m2/dev
Examples 3XGXGP9FWE
| URI | m2://inv/3XGXGP9FWE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential dimension#LHQU, Examples (example)
History
- 2026-11-02: add by m2/dev
First category 3XH277SHB9
| URI | m2://inv/3XH277SHB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#4S7R, First category (definition)
History
- 2026-11-02: add by m2/dev
11665 Dirichlet 3XH732RM14
| URI | m2://inv/3XH732RM14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#T2VZ, 11665 Dirichlet (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet principle 3XHBEEVSCX
| URI | m2://inv/3XHBEEVSCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-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.06944#F112, Dirichlet principle (statement). In 1HSWBXDXWV/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
3XHBZZA7MD 3XHBZZA7MD
| URI | m2://inv/3XHBZZA7MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.25080#DBBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
3XHCC3C3B2 3XHCC3C3B2
| URI | m2://inv/3XHCC3C3B2 |
|---|---|
| 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.01251#ZQ24 (statement). In CZ2247RGQ4/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Examples 3XHD1EW92Q
| URI | m2://inv/3XHD1EW92Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right conoid#0JUK, Examples (example)
History
- 2026-11-02: add by m2/dev
Nerve theorem 3XHH3C6DAA
| URI | m2://inv/3XHH3C6DAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve (category theory)#Q9F0, Nerve theorem (statement)
History
- 2026-11-02: add by m2/dev
Sheaf on an algebraic stack 3XHJV75QJ4
| URI | m2://inv/3XHJV75QJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf on an algebraic stack, Sheaf on an algebraic stack (definition). Also Wikidata Q65090694
History
- 2026-11-02: add by m2/dev
3XHK5S453H 3XHK5S453H
| URI | m2://inv/3XHK5S453H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#065I (statement). In 8QVWZ23N42/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Pushdown automaton 3XHP27C24Q
| URI | m2://inv/3XHP27C24Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#D3QC, Pushdown automaton (definition)
History
- 2026-11-02: add by m2/dev
3XHP9QH4N9 3XHP9QH4N9
| URI | m2://inv/3XHP9QH4N9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#ULXU (statement)
History
- 2026-11-01: add by m2/v0.6.15
3XHQRCEMZQ 3XHQRCEMZQ
| URI | m2://inv/3XHQRCEMZQ |
|---|---|
| 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 2610.09739#0JRD (example). In ZYNZ95FSFD/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
3XHSF5GKRS 3XHSF5GKRS
| URI | m2://inv/3XHSF5GKRS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#proof-5 (proof). In RZP28ERRZV, proof, section 81.3
History
- 2026-11-01: add by m2/v0.6.13
Examples 3XHWQ4Z3H6
| URI | m2://inv/3XHWQ4Z3H6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz function#7H0S, Examples (example)
History
- 2026-11-02: add by m2/dev
3XJ3K8HJVT 3XJ3K8HJVT
| URI | m2://inv/3XJ3K8HJVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#OL5T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Direct simulation Monte Carlo 3XJ3KF71K9
| URI | m2://inv/3XJ3KF71K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct simulation Monte Carlo, Direct simulation Monte Carlo (definition). Also Wikidata Q4382753
History
- 2026-11-02: add by m2/dev
Biorthogonal nearly coiflet basis 3XJ4S397Y8
| URI | m2://inv/3XJ4S397Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biorthogonal nearly coiflet basis, Biorthogonal nearly coiflet basis (definition). Also Wikidata Q104881174
History
- 2026-11-02: add by m2/dev
Günter Scharf 3XJ6811B84
| URI | m2://inv/3XJ6811B84 |
|---|---|
| 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 Q94857545, Günter Scharf (unknown). Also nLab Günter Scharf
History
- 2026-10-26: add by m2/dev
Simpson's rule 3XJMYE9PTW
| URI | m2://inv/3XJMYE9PTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simpson's rule MNXC26G3BQ |
Mentions
- wikidata: Wikidata Q722507, Simpson's rule (statement). Also MathWorld SimpsonsRule, ProofWiki Simpson's_Rule
- wikipedia: Wikipedia Simpson's rule, Simpson's rule (definition). Also Wikidata Q722507
History
- 2026-10-26: add by m2/dev
3XJP1T8466 3XJP1T8466
| URI | m2://inv/3XJP1T8466 |
|---|---|
| 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.10365#70IB (statement). In PRVQPSBVHK/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
3XK1WPT437 3XK1WPT437
| URI | m2://inv/3XK1WPT437 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32090#IHOT (statement). In HJWWFBA63D/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
tetration 3XKFP8MPQ4
| URI | m2://inv/3XKFP8MPQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tetration NT65WHM5VV |
Mentions
- wikidata: Wikidata Q194324, tetration (unknown). Also MathWorld PowerTower
- wikipedia: Wikipedia Tetration, Tetration (definition). Also Wikidata Q194324
History
- 2026-10-26: add by m2/dev
Logical quality 3XKJRB9HCD
| URI | m2://inv/3XKJRB9HCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical quality, Logical quality (definition). Also Wikidata Q6667506
History
- 2026-11-02: add by m2/dev
highly composite number 3XKPS9NGED
| URI | m2://inv/3XKPS9NGED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q629958, highly composite number (object). Also MathWorld HighlyCompositeNumber, OEIS A002182
- wikipedia: Wikipedia Highly composite number, Highly composite number (definition). Also Wikidata Q629958
History
- 2026-10-26: add by m2/dev
3XKQP7E534 3XKQP7E534
| URI | m2://inv/3XKQP7E534 |
|---|---|
| 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.03327#5LGE (statement). In EBNXA84CPM/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
3XKZMCX44V 3XKZMCX44V
| URI | m2://inv/3XKZMCX44V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem-3 (statement). In N54F33XE07, lem, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
3XM05GPVTX 3XM05GPVTX
| URI | m2://inv/3XM05GPVTX |
|---|---|
| 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.26357#FB1P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 3XM674FKYE
| URI | m2://inv/3XM674FKYE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Long branch attraction#TUNK, Example (example)
History
- 2026-11-02: add by m2/dev
3XM7YTBPRS 3XM7YTBPRS
| URI | m2://inv/3XM7YTBPRS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-80 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Robust Bayesian analysis 3XM8JNCKZ8
| URI | m2://inv/3XM8JNCKZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust Bayesian analysis, Robust Bayesian analysis (definition). Also Wikidata Q7353531
History
- 2026-11-02: add by m2/dev
Separation of conditional means 3XMAZ6XKS4
| URI | m2://inv/3XMAZ6XKS4 |
|---|---|
| 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.00137#62BS, Separation of conditional means (statement). In NKW6YQ04QW/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
3XMCCM6VS2 3XMCCM6VS2
| URI | m2://inv/3XMCCM6VS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 44.11
History
- 2026-11-01: add by m2/v0.6.13
Onslow, William 3XMHHMXG9F
| URI | m2://inv/3XMHHMXG9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#348D, Onslow, William (unknown)
History
- 2026-11-02: add by m2/dev
Periodic circle packing; *{Theorem D 3XMHZW68BY
| URI | m2://inv/3XMHZW68BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#OZ0O, Periodic circle packing; *{Theorem D (statement). In DDNP38CHQJ/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
3XMP2Q50NE 3XMP2Q50NE
| URI | m2://inv/3XMP2Q50NE |
|---|---|
| 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.21724#LWFT (statement). In EDDJCSBMXN/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
stadium 3XN5H8D6Z3
| URI | m2://inv/3XN5H8D6Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7596467, stadium (unknown). Also MathWorld Stadium
- wikipedia: Wikipedia Stadium (geometry), Stadium (definition). Also Wikidata Q7596467
History
- 2026-10-26: add by m2/dev
Conway notation (knot theory) 3XNEP6SW02
| URI | m2://inv/3XNEP6SW02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#3URU, Conway notation (knot theory) (definition)
History
- 2026-11-02: add by m2/dev
Balbis 3XNJFQK4MQ
| URI | m2://inv/3XNJFQK4MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balbis, Balbis (definition). Also Wikidata Q4850193
History
- 2026-11-02: add by m2/dev
3XNJPVP027 3XNJPVP027
| URI | m2://inv/3XNJPVP027 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
Number operator distribution 3XNKSVMHGP
| URI | m2://inv/3XNKSVMHGP |
|---|---|
| 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 2609.10840#BNMQ, Number operator distribution (statement). In P0HKF5DY7M/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
3XNSQ2FDRC 3XNSQ2FDRC
| URI | m2://inv/3XNSQ2FDRC |
|---|---|
| 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 2501.03704#1087 (statement). In Q3PY5AGD6N/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 3XNZZMK5DT
| URI | m2://inv/3XNZZMK5DT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satellite knot#HOSQ, Examples (example)
History
- 2026-11-02: add by m2/dev
3XP3XMS6NT 3XP3XMS6NT
| URI | m2://inv/3XP3XMS6NT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#A88R (statement). In K0DHYQC5B7/e1, corollary 4.16
History
- 2026-10-28: add by m2/v0.4.2
3XP6H589NY 3XP6H589NY
| URI | m2://inv/3XP6H589NY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 1503.05744#5450 (definition). In 5XKHZKEGAF/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Enriched free energy on one branch 3XP6HA2CN2
| URI | m2://inv/3XP6HA2CN2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#B3HX, Enriched free energy on one branch (definition). In A20E8FZS21/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
3XPHN6F0ZH 3XPHN6F0ZH
| URI | m2://inv/3XPHN6F0ZH |
|---|---|
| Kind | example |
| 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 1810.06028#D1H6 (example). In ZPFHH6YJG3/e1, example 2.23
History
- 2026-10-27: add by m2/v0.3.5
Mixing time 3XPMA0WQA4
| URI | m2://inv/3XPMA0WQA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#VBNK, Mixing time (definition). In NAM9ZMPHZ9/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
3XPNCHFJPN 3XPNCHFJPN
| URI | m2://inv/3XPNCHFJPN |
|---|---|
| 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#DW9P (statement). In KH1H3TSWPS/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.6
Shapiro 3XPQESAQ89
| URI | m2://inv/3XPQESAQ89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#1F18, Shapiro (definition)
History
- 2026-11-02: add by m2/dev
Definition 3XPTJMH759
| URI | m2://inv/3XPTJMH759 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental sequence (set theory)#4VAG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wahl's Rational Conjecture 3XPVHJWVM3
| URI | m2://inv/3XPVHJWVM3 |
|---|---|
| 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#8HRZ, Wahl's Rational Conjecture (statement). In AGJE43FTF8/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
Π 3XPVKNRKZP
| URI | m2://inv/3XPVKNRKZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#9HNM, Π (definition)
History
- 2026-11-02: add by m2/dev
3XQ006GT8X 3XQ006GT8X
| URI | m2://inv/3XQ006GT8X |
|---|---|
| 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.02489#BO1I (statement). In ZCJDWDR16Z/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
solvmanifold 3XQ7AG1MK6
| URI | m2://inv/3XQ7AG1MK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Solvmanifold HBDEPTRF11 |
Mentions
- wikidata: Wikidata Q7559043, solvmanifold (unknown). Also EoM Solv_manifold
- wikipedia: Wikipedia Solvmanifold, Solvmanifold (definition). Also Wikidata Q7559043
History
- 2026-10-26: add by m2/dev
3XQ7W9NC8Y 3XQ7W9NC8Y
| URI | m2://inv/3XQ7W9NC8Y |
|---|---|
| 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.37237#CWB9 (statement). In GBY82BZCNA/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
3XQFVTBNSG 3XQFVTBNSG
| URI | m2://inv/3XQFVTBNSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.38243#8FIB (statement). In R03K2N7FRF/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Combinatorial optimization 3XQHEW1Z8M
| URI | m2://inv/3XQHEW1Z8M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial optimization, Combinatorial optimization (topic). Also Wikidata Q1333872
History
- 2026-11-02: add by m2/dev
Properties 3XQSRQQCYN
| URI | m2://inv/3XQSRQQCYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean addition#1JNW, Properties (statement)
History
- 2026-11-02: add by m2/dev
3XR26TJHFG 3XR26TJHFG
| URI | m2://inv/3XR26TJHFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#53O3 (definition). In 6M5WR7KB80/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
3XR49J9W4E 3XR49J9W4E
| URI | m2://inv/3XR49J9W4E |
|---|---|
| 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.24314#Q4AC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Optimal unitary modulation for single lags and prefixes 3XR8F07ZMG
| URI | m2://inv/3XR8F07ZMG |
|---|---|
| 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.02843#EZU4, Optimal unitary modulation for single lags and prefixes (statement). In 2XC1KQXA9H/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Jade Mirror of the Four Unknowns 3XRJVA07P5
| URI | m2://inv/3XRJVA07P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jade Mirror of the Four Unknowns, Jade Mirror of the Four Unknowns (definition). Also Wikidata Q14566684
History
- 2026-11-02: add by m2/dev
universal quantification 3XRQ9Q08MV
| URI | m2://inv/3XRQ9Q08MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Universal quantifier 0GHS47PDAQ |
Mentions
- wikidata: Wikidata Q126695, universal quantification (unknown). Also EoM Universal_quantifier, MathWorld UniversalQuantifier, nLab universal quantifier
- wikipedia: Wikipedia Universal quantification, Universal quantification (definition). Also Wikidata Q126695
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
TracenPoche 3XS34Z3JK1
| URI | m2://inv/3XS34Z3JK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#EI24, TracenPoche (unknown)
History
- 2026-11-02: add by m2/dev
perspectivity 3XS3FKDCWQ
| URI | m2://inv/3XS3FKDCWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#1GPY, perspectivity (definition)
History
- 2026-11-02: add by m2/dev
Cox–Ingersoll–Ross model 3XS43FW8N5
| URI | m2://inv/3XS43FW8N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cox–Ingersoll–Ross model, Cox–Ingersoll–Ross model (definition). Also Wikidata Q4385634
History
- 2026-11-02: add by m2/dev
normal equation 3XS665AN9R
| URI | m2://inv/3XS665AN9R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.5.3/normal-equation, normal equation (concept). In 649HGZKE96, index, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
Studentized range 3XS6WVMT0D
| URI | m2://inv/3XS6WVMT0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Studentized range, Studentized range (definition). Also Wikidata Q7627920
History
- 2026-11-02: add by m2/dev
3XS80DTT30 3XS80DTT30
| URI | m2://inv/3XS80DTT30 |
|---|---|
| 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.01783#AL6K (statement). In 8BKC3PVX9G/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 3XSDMV4PKM
| URI | m2://inv/3XSDMV4PKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi operator#NR6R, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3XSW76CNRW 3XSW76CNRW
| URI | m2://inv/3XSW76CNRW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#example-1 (example). In RZP28ERRZV, example, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
3XSY6S8MZ4 3XSY6S8MZ4
| URI | m2://inv/3XSY6S8MZ4 |
|---|---|
| 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.26813#MZL2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 3XT0DTD486
| URI | m2://inv/3XT0DTD486 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes number#H40H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 3XT59S0C8W
| URI | m2://inv/3XT59S0C8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wheel theory#C3YL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rigidity of subgraph functions 3XT5DY8A57
| URI | m2://inv/3XT5DY8A57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#8L76, Rigidity of subgraph functions (statement)
History
- 2026-11-02: add by m2/v0.6.18
Turing College 3XTCQWCYKM
| URI | m2://inv/3XTCQWCYKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#EOPB, Turing College (unknown)
History
- 2026-11-02: add by m2/dev
3XTF9B7723 3XTF9B7723
| URI | m2://inv/3XTF9B7723 |
|---|---|
| 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 2108.00412#KR5J (statement). In APD8GE0E4F/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
David Harbater 3XV0GH5RFM
| URI | m2://inv/3XV0GH5RFM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ARMP, David Harbater (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GSYZ, David Harbater (topic)
History
- 2026-11-02: add by m2/dev
Τ 3XV70YKG9R
| URI | m2://inv/3XV70YKG9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14415, Τ (unknown). Also MathWorld Tau, ProofWiki Symbols:Greek/Tau
History
- 2026-10-26: add by m2/dev
Heinrich Guggenheimer 3XV7QF5H8P
| URI | m2://inv/3XV7QF5H8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8ZY4, Heinrich Guggenheimer (topic)
History
- 2026-11-02: add by m2/dev
3XV8212JBD 3XV8212JBD
| URI | m2://inv/3XV8212JBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20008#34DZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Singularity 3XVCMRJB5Z
| URI | m2://inv/3XVCMRJB5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singularity (systems theory), Singularity (definition). Also Wikidata Q2289341
History
- 2026-11-02: add by m2/dev
Random variables, curves, the underlying quasi-universal space 3XVECJGZCP
| URI | m2://inv/3XVECJGZCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.26270#SCWV, Random variables, curves, the underlying quasi-universal space (definition)
History
- 2026-11-01: add by m2/v0.6.15
Exponential rate 3XVHVGGDAC
| URI | m2://inv/3XVHVGGDAC |
|---|---|
| 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.32585#J3J0, Exponential rate (statement). In FJFJ3WR1SS/e1, corollary A.2
History
- 2026-10-31: add by m2/v0.5.6
Sunday Iyahen 3XVRBA3AX3
| URI | m2://inv/3XVRBA3AX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunday Iyahen, Sunday Iyahen (topic). Also Wikidata Q12897525
History
- 2026-11-02: add by m2/dev
Induced metric 3XWGJTQW9R
| URI | m2://inv/3XWGJTQW9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#EOFU, Induced metric (definition)
History
- 2026-11-02: add by m2/dev
3XWNMBG55B 3XWNMBG55B
| URI | m2://inv/3XWNMBG55B |
|---|---|
| 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 2508.02432#QLVF (statement). In B366ACYB37/e1, lemma 3.24
History
- 2026-10-27: add by m2/v0.3.5
3XWVMZ5W2Q 3XWVMZ5W2Q
| URI | m2://inv/3XWVMZ5W2Q |
|---|---|
| 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.13833#XCUR (statement). In VD4JP4HVBX/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Examples 3XWY33S7BD
| URI | m2://inv/3XWY33S7BD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic closure (convex analysis)#J5KH, Examples (example)
History
- 2026-11-02: add by m2/dev
Convolution on the rotation group 3XXAZ2VBYR
| URI | m2://inv/3XXAZ2VBYR |
|---|---|
| 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.13892#580B, Convolution on the rotation group (statement). In HV9KKEBBDD/e1, proposition VI.7
History
- 2026-10-28: add by m2/v0.4.2
3XXCJSYR3X 3XXCJSYR3X
| URI | m2://inv/3XXCJSYR3X |
|---|---|
| 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 2504.13802#VBLL (statement). In MH358B1GVQ/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Appeal to the minority 3XXCQCHYJN
| URI | m2://inv/3XXCQCHYJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentum ad populum#RZPO, Appeal to the minority (unknown)
History
- 2026-11-02: add by m2/dev
3XXH268A61 3XXH268A61
| URI | m2://inv/3XXH268A61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.18618#29R4 (statement). In C8VC86B6H8/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
multiplicative order 3XXXW0DHF3
| URI | m2://inv/3XXXW0DHF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Multiplicative order 02RRHJ7R98 |
Mentions
- wikidata: Wikidata Q282723, multiplicative order (unknown). Also MathWorld MultiplicativeOrder
- wikipedia: Wikipedia Multiplicative order, Multiplicative order (definition). Also Wikidata Q282723
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3XXY5ETKAG 3XXY5ETKAG
| URI | m2://inv/3XXY5ETKAG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.25168#1WCJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mary W. Gray 3XY08NYH53
| URI | m2://inv/3XY08NYH53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VSDT, Mary W. Gray (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SVN2, Mary W. Gray (topic)
History
- 2026-11-02: add by m2/dev
3XY0DSQG2A 3XY0DSQG2A
| URI | m2://inv/3XY0DSQG2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#DZ8W (statement). In A7M06ZVYA8/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Odd-cycle clearing lower bound, {*{Corollary 6.3 3XY0QGVQZM
| URI | m2://inv/3XY0QGVQZM |
|---|---|
| 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.09650#9TCO, Odd-cycle clearing lower bound, {*{Corollary 6.3 (statement). In 628KM8869P/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
3XY9AGYM5R 3XY9AGYM5R
| URI | m2://inv/3XY9AGYM5R |
|---|---|
| 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#QXM9 (statement). In WRE0P7V6Z3/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
\'Sliwa 3XYD9K8NXE
| URI | m2://inv/3XYD9K8NXE |
|---|---|
| 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.00584#VR6C, \'Sliwa (statement). In 3CRSR95BNA/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
3XYHVSE4Y2 3XYHVSE4Y2
| URI | m2://inv/3XYHVSE4Y2 |
|---|---|
| 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.30648#8ESM (statement). In 2P83KYQCMA/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Thomas Hornsby 3XYJA88ZMT
| URI | m2://inv/3XYJA88ZMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Hornsby, Thomas Hornsby (topic). Also Wikidata Q2092570
History
- 2026-11-02: add by m2/dev
3XYMFMZGH8 3XYMFMZGH8
| URI | m2://inv/3XYMFMZGH8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:plump-successor (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
3XYPG5DY28 3XYPG5DY28
| URI | m2://inv/3XYPG5DY28 |
|---|---|
| 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.13972#PVWD (statement). In S1KHNS8XQM/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
3XYQWWK2SR 3XYQWWK2SR
| URI | m2://inv/3XYQWWK2SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#99UP (statement). In RYB8WE6DQ4/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Silas D. Alben 3XYTBE9816
| URI | m2://inv/3XYTBE9816 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silas D. Alben, Silas D. Alben (topic). Also Wikidata Q7514135
History
- 2026-11-02: add by m2/dev
population dynamics 3XYW73268S
| URI | m2://inv/3XYW73268S |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 92D25 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q904564, population dynamics (topic)
- wikipedia: Wikipedia Population dynamics, Population dynamics (definition). Also Wikidata Q904564
History
- 2026-10-26: add by m2/dev
Graham's pebbling conjecture 3XZNK3EXSK
| URI | m2://inv/3XZNK3EXSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2N2F, Graham's pebbling conjecture (definition)
History
- 2026-11-02: add by m2/dev
Definition 3XZNPXXWZ9
| URI | m2://inv/3XZNPXXWZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space#D7MG, Definition (definition)
History
- 2026-11-02: add by m2/dev