Inventory rows 16
The cards of the rows of the inventory whose ids start with 16. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Attainment of the global minimum 1604YFBNFZ
| URI | m2://inv/1604YFBNFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#2RQH, Attainment of the global minimum (statement). In T2B54J7121/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
160CGE6SC0 160CGE6SC0
| URI | m2://inv/160CGE6SC0 |
|---|---|
| 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.33941#BA1L (statement). In 64YCRQCKZN/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Properties of the upper Crandall function 160J36V9MH
| URI | m2://inv/160J36V9MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#XSEX, Properties of the upper Crandall function (statement)
History
- 2026-11-01: add by m2/v0.6.15
160N1SXJQC 160N1SXJQC
| URI | m2://inv/160N1SXJQC |
|---|---|
| Kind | definition |
| 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.19260#GGFL (definition). In PWXT7J9JX3/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Jiří Bičák 160N63YDXF
| URI | m2://inv/160N63YDXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#X1WC, Jiří Bičák (unknown)
History
- 2026-11-02: add by m2/dev
1618AZMH9F 1618AZMH9F
| URI | m2://inv/1618AZMH9F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#NBQX (example). In S26QVW5613/e1, example 5.3.1
History
- 2026-10-30: add by m2/v0.4.12
Weak limits of occupation measures 161BC6S1S6
| URI | m2://inv/161BC6S1S6 |
|---|---|
| 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.36143#BGLY, Weak limits of occupation measures (statement). In 6T2TWKQMJ8/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
161J2KQSSJ 161J2KQSSJ
| URI | m2://inv/161J2KQSSJ |
|---|---|
| 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.18562#96X5 (statement). In 793KXAR957/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
161YG391SE 161YG391SE
| URI | m2://inv/161YG391SE |
|---|---|
| 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.10937#35ZO (statement). In 6VVK3YTABP/e1, theorem 8.10
History
- 2026-10-28: add by m2/v0.4.3
1626HVM81X 1626HVM81X
| URI | m2://inv/1626HVM81X |
|---|---|
| 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 2610.20386#53F9 (statement). In 4WC4V49KAC/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.4.2
1629AGXWWQ 1629AGXWWQ
| URI | m2://inv/1629AGXWWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.01958#ERER (statement). In NQFYT2M6YZ/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
162KDETX9N 162KDETX9N
| URI | m2://inv/162KDETX9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#7S5T (statement). In BQDZN6GRGF/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.4.2
162KFGWKSM 162KFGWKSM
| URI | m2://inv/162KFGWKSM |
|---|---|
| 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.25915#UYSB (statement)
History
- 2026-11-01: add by m2/v0.6.15
dihedral symmetry 162P5SW3D5
| URI | m2://inv/162P5SW3D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#I7QT, dihedral symmetry (definition)
History
- 2026-11-02: add by m2/dev
162PP5ESNC 162PP5ESNC
| URI | m2://inv/162PP5ESNC |
|---|---|
| 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.03555#FJRV (statement). In 9JZJTRRVR1/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
162TG89PJ4 162TG89PJ4
| URI | m2://inv/162TG89PJ4 |
|---|---|
| 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.10233#FKXV (statement). In QR9WE79ERQ/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.10
Peter Boghossian 162YTCQ56N
| URI | m2://inv/162YTCQ56N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Boghossian, Peter Boghossian (topic). Also Wikidata Q16197654
History
- 2026-11-02: add by m2/dev
163041W6M1 163041W6M1
| URI | m2://inv/163041W6M1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.20956#BI04 (definition). In X9WFC1D9ZS/e1, definition 34
History
- 2026-10-27: add by m2/v0.4.2
1639VWCJM3 1639VWCJM3
| URI | m2://inv/1639VWCJM3 |
|---|---|
| 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.22082#6S6J (statement). In 7PACGDW3N7/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
163BN78Y4Z 163BN78Y4Z
| URI | m2://inv/163BN78Y4Z |
|---|---|
| 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.01946#SHJQ (statement). In NB1Z31FMXN/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Hecke eigenform 163C1S9C29
| URI | m2://inv/163C1S9C29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#ZUIK, Hecke eigenform (definition)
History
- 2026-11-02: add by m2/dev
Numerator 163JZGE9H9
| URI | m2://inv/163JZGE9H9 |
|---|---|
| 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.22301#JR5E, Numerator (statement)
History
- 2026-11-02: add by m2/v0.6.17
163KREWMVW 163KREWMVW
| URI | m2://inv/163KREWMVW |
|---|---|
| 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.10078#H0ZA (statement). In YVGRZK1HRS/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.10
Loop fluctuations under the two disorder laws 163MAXP9NC
| URI | m2://inv/163MAXP9NC |
|---|---|
| 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.19356#R08W, Loop fluctuations under the two disorder laws (statement). In 2B5QA28NCX/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
verification constraint 163V5MTSEF
| URI | m2://inv/163V5MTSEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FTYB, verification constraint (definition)
History
- 2026-11-02: add by m2/dev
Mueller calculus 1643GTGP5H
| URI | m2://inv/1643GTGP5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mueller calculus, Mueller calculus (definition). Also Wikidata Q1064220
History
- 2026-11-02: add by m2/dev
Upper bound on the stochastic error 1646YTA5R9
| URI | m2://inv/1646YTA5R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11760#0N3S, Upper bound on the stochastic error (statement). In NBNERWXW53/e1, proposition S4.2
History
- 2026-10-28: add by m2/v0.4.3
Vitali Milman 1647KDP6MS
| URI | m2://inv/1647KDP6MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#K2PT, Vitali Milman (unknown)
History
- 2026-11-02: add by m2/dev
Hans Adolph Buchdahl 16480XDG01
| URI | m2://inv/16480XDG01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#KLLR, Hans Adolph Buchdahl (unknown)
History
- 2026-11-02: add by m2/dev
Alexis Clairaut 164BPVYTVF
| URI | m2://inv/164BPVYTVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexis Clairaut, Alexis Clairaut (topic). Also Wikidata Q28937
History
- 2026-11-02: add by m2/dev
Patrick Ball 164S5QBTH3
| URI | m2://inv/164S5QBTH3 |
|---|---|
| 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#AH5T, Patrick Ball (unknown)
History
- 2026-11-02: add by m2/dev
Subalgebra 164VVDYN8F
| URI | m2://inv/164VVDYN8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subalgebra, Subalgebra (definition). Also Wikidata Q629933
History
- 2026-11-02: add by m2/dev
1651RQTC7P 1651RQTC7P
| URI | m2://inv/1651RQTC7P |
|---|---|
| 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 2609.31373#EOZX (statement). In H4XKQM67NA/e1, corollary 1.1
History
- 2026-10-31: add by m2/v0.5.6
1652FFERPY 1652FFERPY
| URI | m2://inv/1652FFERPY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-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.30262#SRFT (definition). In FWA5QW6FCF/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
16535AGSGW 16535AGSGW
| URI | m2://inv/16535AGSGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#29Q0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
division 1655ZRTPJ2
| URI | m2://inv/1655ZRTPJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1226939, division (unknown). Also EoM Division, MathWorld Division
- wikipedia: Wikipedia Division (mathematics), Division (definition). Also Wikidata Q1226939
History
- 2026-10-26: add by m2/dev
Sylvester's determinant identity 16577HXN2M
| URI | m2://inv/16577HXN2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#0FX3, Sylvester's determinant identity (statement)
History
- 2026-11-02: add by m2/dev
Finite support and inactive tails 165BRGHT8N
| URI | m2://inv/165BRGHT8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#SDVF, Finite support and inactive tails (statement). In 65TJENWK7X/e1, lemma 37
History
- 2026-10-29: add by m2/v0.4.10
165F0SEYBP 165F0SEYBP
| URI | m2://inv/165F0SEYBP |
|---|---|
| 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 2207.12181#XV80 (statement). In FSD8NE3XSR/e1, proposition 7.19
History
- 2026-10-27: add by m2/v0.4.0
Antiholomorphic function 165H1DVR8F
| URI | m2://inv/165H1DVR8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2705347, Antiholomorphic function (unknown). Also MathWorld Anti-AnalyticFunction
- wikipedia: Wikipedia Antiholomorphic function, Antiholomorphic function (definition). Also Wikidata Q2705347
History
- 2026-10-26: add by m2/dev
Small homogeneous dimensions 165JHB99TY
| URI | m2://inv/165JHB99TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#KR8T, Small homogeneous dimensions (statement). In 1KRZ5ACTKE/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
165NG183NS 165NG183NS
| URI | m2://inv/165NG183NS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#H5VM (statement). In XBHQRTBH62/e1, proposition 2.12
History
- 2026-10-31: add by m2/v0.5.6
Statement 165NH89WPK
| URI | m2://inv/165NH89WPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auerbach's lemma#UCTU, Statement (statement)
History
- 2026-11-02: add by m2/dev
165TCZFVRK 165TCZFVRK
| URI | m2://inv/165TCZFVRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.20385#CYYY (statement). In 54HS9AHWPE/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
165V15FXR0 165V15FXR0
| URI | m2://inv/165V15FXR0 |
|---|---|
| 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.25568#EWFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
1662TAFZ62 1662TAFZ62
| URI | m2://inv/1662TAFZ62 |
|---|---|
| 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 2407.04161#12PY (statement). In JBZJ7NPQ4G/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.4.0
16690VWX1G 16690VWX1G
| URI | m2://inv/16690VWX1G |
|---|---|
| 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.10221#I8CS (statement). In 9Z5M655EPV/e1, theorem 5.9
History
- 2026-10-29: add by m2/v0.4.10
Musical cryptogram 166MES0GJE
| URI | m2://inv/166MES0GJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Musical cryptogram, Musical cryptogram (definition). Also Wikidata Q2845883
History
- 2026-11-02: add by m2/dev
No KL dual 166PHFRA6X
| URI | m2://inv/166PHFRA6X |
|---|---|
| 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.27250#5HC3, No KL dual (statement)
History
- 2026-11-01: add by m2/v0.6.15
field 166W9ZMA44
| URI | m2://inv/166W9ZMA44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 12Dxx |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Field 04C5ZBG1WT |
Mentions
- wikidata: Wikidata Q190109, field (topic). Also EoM Field, MathWorld Field
- wikipedia: Wikipedia Field (mathematics), Field (definition). Also Wikidata Q190109
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples 16706H7J53
| URI | m2://inv/16706H7J53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coproduct#0LFY, Examples (example)
History
- 2026-11-02: add by m2/dev
Williams number 167ASRWXHW
| URI | m2://inv/167ASRWXHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Williams number, Williams number (definition). Also Wikidata Q60788492
History
- 2026-11-02: add by m2/dev
167BG35PZW 167BG35PZW
| URI | m2://inv/167BG35PZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#K4YQ (statement). In 4H727T2YAS/e1, lemma 9.10
History
- 2026-10-29: add by m2/v0.4.12
167C03H5S0 167C03H5S0
| URI | m2://inv/167C03H5S0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-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 2605.02634#J69U (example). In EZ6PAF0MXH/e1, example 7.1.1
History
- 2026-10-27: add by m2/v0.3.5
Statement 167JHCJ75K
| URI | m2://inv/167JHCJ75K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit comparison test#J75U, Statement (statement)
History
- 2026-11-02: add by m2/dev
Notation 167QCFAQSE
| URI | m2://inv/167QCFAQSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three subgroups lemma#7EKT, Notation (definition)
History
- 2026-11-02: add by m2/dev
167TK66SKQ 167TK66SKQ
| URI | m2://inv/167TK66SKQ |
|---|---|
| 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.37562#YYDF (statement). In PYY8DFK2JS/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Directed subspace Robinson Crusoe theorem 167YJ4ZDWY
| URI | m2://inv/167YJ4ZDWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#PYRT, Directed subspace Robinson Crusoe theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
1686H367NY 1686H367NY
| URI | m2://inv/1686H367NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20740#RXDZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
1686RB85WR 1686RB85WR
| URI | m2://inv/1686RB85WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31104#XNTX (statement). In 67NFPNF39Y/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Peter Hilton 168D33WZB4
| URI | m2://inv/168D33WZB4 |
|---|---|
| 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 Q930802, Peter Hilton (unknown). Also nLab Peter Hilton
- wikipedia: Wikipedia Peter Hilton, Peter Hilton (topic). Also Wikidata Q930802
History
- 2026-10-26: add by m2/dev
Properties 168K6MP4Z5
| URI | m2://inv/168K6MP4Z5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone-saturated#N5EW, Properties (statement)
History
- 2026-11-02: add by m2/dev
168QKHYD71 168QKHYD71
| URI | m2://inv/168QKHYD71 |
|---|---|
| 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.09949#BB79 (statement). In VGJVFCDV8A/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Other axioms for Schwinger functions 168R7ZG82P
| URI | m2://inv/168R7ZG82P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger function#08UR, Other axioms for Schwinger functions (statement)
History
- 2026-11-02: add by m2/dev
Compact complement topology 168Z26SQHJ
| URI | m2://inv/168Z26SQHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#5JXD, Compact complement topology (definition)
History
- 2026-11-02: add by m2/dev
combinative 169087DTV4
| URI | m2://inv/169087DTV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#IG96, combinative (definition)
History
- 2026-11-02: add by m2/dev
Weyl group 1692DQVE8Y
| URI | m2://inv/1692DQVE8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#Q171, Weyl group (definition)
- wikipedia: Wikipedia List of Lie groups topics#00HP, Weyl group (definition)
- wikipedia: Wikipedia List of things named after Hermann Weyl#6VVZ, Weyl group (definition)
History
- 2026-11-02: add by m2/dev
169958CPPG 169958CPPG
| URI | m2://inv/169958CPPG |
|---|---|
| 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.36423#ZV87 (statement). In Q5Z178SAHP/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Regression model validation 169ASRTE9W
| URI | m2://inv/169ASRTE9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SGVH, Regression model validation (definition)
History
- 2026-11-02: add by m2/dev
Ludolph van Ceulen 169DT6J1HN
| URI | m2://inv/169DT6J1HN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludolph van Ceulen, Ludolph van Ceulen (topic). Also Wikidata Q310771
History
- 2026-11-02: add by m2/dev
Wendelin Werner 169ECY9HB9
| URI | m2://inv/169ECY9HB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#LQ4A, Wendelin Werner (topic)
History
- 2026-11-02: add by m2/dev
169EG7JAD7 169EG7JAD7
| URI | m2://inv/169EG7JAD7 |
|---|---|
| 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#6J14 (statement). In X8FQD4TEVG/e1, theorem 1.10
History
- 2026-10-29: add by m2/v0.4.10
semiprime ideal 169HJYYF7R
| URI | m2://inv/169HJYYF7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2269249, semiprime ideal (unknown). Also MathWorld SemiprimeIdeal
History
- 2026-10-26: add by m2/dev
169JGXDZW4 169JGXDZW4
| URI | m2://inv/169JGXDZW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#OXLQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
169JY8M5AD 169JY8M5AD
| URI | m2://inv/169JY8M5AD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#JPMN (definition). In 7ZBQ8WGQVB/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Ryser's conjecture 169SNQYGQF
| URI | m2://inv/169SNQYGQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#51YA, Ryser's conjecture (statement)
History
- 2026-11-02: add by m2/dev
16A3ZB0QY3 16A3ZB0QY3
| URI | m2://inv/16A3ZB0QY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#YQQO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Liga Matemática 16A7EKSJAN
| URI | m2://inv/16A7EKSJAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#EC93, Liga Matemática (definition)
History
- 2026-11-02: add by m2/dev
Weil group 16A7J1MFMP
| URI | m2://inv/16A7J1MFMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#4OI9, Weil group (definition)
History
- 2026-11-02: add by m2/dev
16AAC5D7D2 16AAC5D7D2
| URI | m2://inv/16AAC5D7D2 |
|---|---|
| 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.23872#AG4F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Common cause and special cause 16AGDW7DAF
| URI | m2://inv/16AGDW7DAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common cause and special cause (statistics), Common cause and special cause (definition). Also Wikidata Q280951
History
- 2026-11-02: add by m2/dev
quadratic curve 16AKBXPFD8
| URI | m2://inv/16AKBXPFD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4240640, quadratic curve (unknown). Also MathWorld QuadraticCurve
History
- 2026-10-26: add by m2/dev
Richard Garfield 16ASS8MYVJ
| URI | m2://inv/16ASS8MYVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KXK5, Richard Garfield (unknown)
History
- 2026-11-02: add by m2/dev
Weyl's postulate 16AWQR5AEH
| URI | m2://inv/16AWQR5AEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#MXJ6, Weyl's postulate (unknown)
History
- 2026-11-02: add by m2/dev
16B9YC4XPY 16B9YC4XPY
| URI | m2://inv/16B9YC4XPY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#prob:mod 5 (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
Fermi–Walker transport 16BB3JMNHY
| URI | m2://inv/16BB3JMNHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi–Walker transport, Fermi–Walker transport (definition). Also Wikidata Q5444419
History
- 2026-11-02: add by m2/dev
Kissing number from exact locally dense lattice 16BHSHNG66
| URI | m2://inv/16BHSHNG66 |
|---|---|
| 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.14380#FXJP, Kissing number from exact locally dense lattice (statement). In 2ZRQP063HP/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Reduction of apparent singularities 16BJAPW5SN
| URI | m2://inv/16BJAPW5SN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#ZR4F, Reduction of apparent singularities (statement). In EAABRG99V8/e1, proposition A
History
- 2026-10-27: add by m2/v0.4.0
16BNHC757X 16BNHC757X
| URI | m2://inv/16BNHC757X |
|---|---|
| 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 2609.30315#NPK7 (definition). In FXTCVHYW5S/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
16BV4QJNAT 16BV4QJNAT
| URI | m2://inv/16BV4QJNAT |
|---|---|
| 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.05973#NEG6 (statement). In APGTNJ233H/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
16BY5V7Y83 16BY5V7Y83
| URI | m2://inv/16BY5V7Y83 |
|---|---|
| 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 2412.14956#TF9R (statement). In T8BQ6HHZYT/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Lifting relations over an Artinian base 16C2WEA8D1
| URI | m2://inv/16C2WEA8D1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#PDKY, Lifting relations over an Artinian base (statement). In XDTM624YPE/e1, lemma 18.6
History
- 2026-10-27: add by m2/v0.4.2
Nagata's conjecture on curves 16CABKH5AH
| URI | m2://inv/16CABKH5AH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nagata's conjecture on curves, Nagata's conjecture on curves (statement). Also Wikidata Q6958658
History
- 2026-11-02: add by m2/dev
Definition 16CCYB38NK
| URI | m2://inv/16CCYB38NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation up to homotopy#1RU1, Definition (definition)
History
- 2026-11-02: add by m2/dev
16CEZ3C7Q2 16CEZ3C7Q2
| URI | m2://inv/16CEZ3C7Q2 |
|---|---|
| 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 2311.01874#5B83 (statement). In A4TR95VGX2/e1, proposition 12
History
- 2026-10-27: add by m2/v0.3.5
linear logics 16CF49AH7D
| URI | m2://inv/16CF49AH7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KB25, linear logics (definition)
History
- 2026-11-02: add by m2/dev
Notation 16CRH2NFCH
| URI | m2://inv/16CRH2NFCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quarter period#22WT, Notation (definition)
History
- 2026-11-02: add by m2/dev
Sylvester (crater) 16CRZJTH49
| URI | m2://inv/16CRZJTH49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#OX7W, Sylvester (crater) (unknown)
History
- 2026-11-02: add by m2/dev
Fenchel--Rockafellar duality 16CX7WBRSR
| URI | m2://inv/16CX7WBRSR |
|---|---|
| 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.01855#1KSQ, Fenchel--Rockafellar duality (statement). In MM8P5CJR18/e1, theorem C.3
History
- 2026-10-29: add by m2/v0.4.12
16D4AXT745 16D4AXT745
| URI | m2://inv/16D4AXT745 |
|---|---|
| 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.00525#5N52 (statement). In JN34PDDXH8/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
16D7MACBAD 16D7MACBAD
| URI | m2://inv/16D7MACBAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#OVJ7 (statement). In WWMHZKWZSM/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
The balanced tilt maximizes 16DA616S02
| URI | m2://inv/16DA616S02 |
|---|---|
| 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.22301#VH6Z, The balanced tilt maximizes (statement)
History
- 2026-11-02: add by m2/v0.6.17
The middle range 16DB9ACQZ9
| URI | m2://inv/16DB9ACQZ9 |
|---|---|
| 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.21730#D0RQ, The middle range (statement). In BM64QM6Q7J/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
higher local field 16DBNCHGBK
| URI | m2://inv/16DBNCHGBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5758403, higher local field (unknown). Also nLab higher local field
- wikipedia: Wikipedia Higher local field, Higher local field (definition). Also Wikidata Q5758403
History
- 2026-10-26: add by m2/dev
16DP25MPY3 16DP25MPY3
| URI | m2://inv/16DP25MPY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:surj-emb (definition). In N54F33XE07, defn, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
log-odds 16DPPNRMSE
| URI | m2://inv/16DPPNRMSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logit#RSJN, log-odds (definition)
History
- 2026-11-02: add by m2/dev
formally étale morphism 16EFBFC9CF
| URI | m2://inv/16EFBFC9CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5469989, formally étale morphism (unknown). Also nLab formally étale morphism
- wikipedia: Wikipedia Formally étale morphism, Formally étale morphism (definition). Also Wikidata Q5469989
History
- 2026-10-26: add by m2/dev
16EK1838XP 16EK1838XP
| URI | m2://inv/16EK1838XP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological constant#1XY3 (problem)
History
- 2026-11-02: add by m2/dev
16ERV9K3HQ 16ERV9K3HQ
| URI | m2://inv/16ERV9K3HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:equiv-iso-adj (statement). In N54F33XE07, thm, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Residue number system 16F5B4BFP9
| URI | m2://inv/16F5B4BFP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#DEYB, Residue number system (definition)
History
- 2026-11-02: add by m2/dev
Cauchy--Pompeiu 16FAVMCZQZ
| URI | m2://inv/16FAVMCZQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:generalizedcauchy, Cauchy--Pompeiu (statement). In VNMV985MXX, thm, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Neal Koblitz 16FG61KQ1X
| URI | m2://inv/16FG61KQ1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#B6NA, Neal Koblitz (topic)
History
- 2026-11-02: add by m2/dev
Pluralist theories of truth 16FH1GT1Z2
| URI | m2://inv/16FH1GT1Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pluralist theories of truth, Pluralist theories of truth (definition). Also Wikidata Q7205537
History
- 2026-11-02: add by m2/dev
Properties and applications 16FHDTTR7T
| URI | m2://inv/16FHDTTR7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet energy#EZSU, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
16G0FDNQDG 16G0FDNQDG
| URI | m2://inv/16G0FDNQDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#U1AM (statement). In A798V7TX99/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Bertrand Russell 16G3VGACN2
| URI | m2://inv/16G3VGACN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#WV9B, Bertrand Russell (topic)
History
- 2026-11-02: add by m2/dev
16G6P03GRX 16G6P03GRX
| URI | m2://inv/16G6P03GRX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#UGXP (problem). In BSWNH3NW1M/e1, problem 10.5
History
- 2026-10-27: add by m2/v0.4.0
16GAW7W365 16GAW7W365
| URI | m2://inv/16GAW7W365 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#UUL9 (statement). In P2ETMXKVDS/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
Partition theory 16GC5BR2Z4
| URI | m2://inv/16GC5BR2Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BC1R, Partition theory (definition)
History
- 2026-11-02: add by m2/dev
Cameron graph 16GC5REPCZ
| URI | m2://inv/16GC5REPCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303938, Cameron graph (unknown). Also MathWorld CameronGraph
- wikipedia: Wikipedia Cameron graph, Cameron graph (definition). Also Wikidata Q25303938
History
- 2026-10-26: add by m2/dev
$2$-incompressibility 16GK7QK1CZ
| URI | m2://inv/16GK7QK1CZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#3GJK, $2$-incompressibility (definition). In MS7M2BJS9X/e1, definition 6.7
History
- 2026-10-29: add by m2/v0.4.10
16GQMZW52P 16GQMZW52P
| URI | m2://inv/16GQMZW52P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#R384 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lotz 16GR337GDY
| URI | m2://inv/16GR337GDY |
|---|---|
| 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.10093#WJRA, Lotz (statement). In NJDN112PFS/e1, theorem B.2
History
- 2026-10-29: add by m2/v0.4.10
Bézier curve 16GRJE6PQV
| URI | m2://inv/16GRJE6PQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bézier curve NEXBTGYYRG |
Mentions
- wikidata: Wikidata Q214728, Bézier curve (unknown). Also MathWorld BezierCurve
- wikipedia: Wikipedia Bézier curve, Bézier curve (definition). Also Wikidata Q214728
History
- 2026-10-26: add by m2/dev
16GSXNTQ3W 16GSXNTQ3W
| URI | m2://inv/16GSXNTQ3W |
|---|---|
| Kind | example |
| 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#9SJJ (example). In B366ACYB37/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
16H1W8HNRA 16H1W8HNRA
| URI | m2://inv/16H1W8HNRA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#DB30 (definition). In 13GSWBXPCM/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Quasi-complete space 16H8DPYMBP
| URI | m2://inv/16H8DPYMBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-complete space, Quasi-complete space (definition). Also Wikidata Q96400619
History
- 2026-11-02: add by m2/dev
Victor Pavlovich Palamodov 16H8E1FBCF
| URI | m2://inv/16H8E1FBCF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Pavlovich Palamodov, Victor Pavlovich Palamodov (topic). Also Wikidata Q38123827
History
- 2026-11-02: add by m2/dev
Theorem 16H8FF340P
| URI | m2://inv/16H8FF340P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Productive matrix#EJFF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem 16HK0BVKJ8
| URI | m2://inv/16HK0BVKJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theorem#Q38G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Classical electromagnetism 16HR15MQYS
| URI | m2://inv/16HR15MQYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical electromagnetism, Classical electromagnetism (topic). Also Wikidata Q377930
History
- 2026-11-02: add by m2/dev
16HTMXX8GH 16HTMXX8GH
| URI | m2://inv/16HTMXX8GH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
Examples 16HVXPB5VQ
| URI | m2://inv/16HVXPB5VQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number (knot theory)#YIJW, Examples (example)
History
- 2026-11-02: add by m2/dev
$\Z_P$ as the intersection of quadrics 16HYWS4CEN
| URI | m2://inv/16HYWS4CEN |
|---|---|
| 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.19945#CM3K, $\Z_P$ as the intersection of quadrics (definition)
History
- 2026-11-02: add by m2/v0.6.18
16J2FW61WH 16J2FW61WH
| URI | m2://inv/16J2FW61WH |
|---|---|
| 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 2206.12966#TAL7 (statement). In VH93X5QZDV/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Unipotent cosets in characteristic zero 16J5Z7DQB1
| URI | m2://inv/16J5Z7DQB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#JBHH, Unipotent cosets in characteristic zero (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mainnet 16JEXP4MS5
| URI | m2://inv/16JEXP4MS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#ZJ1J, Mainnet (unknown)
History
- 2026-11-02: add by m2/dev
16JPC35VE1 16JPC35VE1
| URI | m2://inv/16JPC35VE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/translations.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 62.1
History
- 2026-11-01: add by m2/v0.6.13
16JVSAD86D 16JVSAD86D
| URI | m2://inv/16JVSAD86D |
|---|---|
| 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 1805.04646#XMGZ (statement). In WDDY7P9T66/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Steiner triple system 16JYXE0FJR
| URI | m2://inv/16JYXE0FJR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122349034, Steiner triple system (concept). Also MathWorld SteinerTripleSystem
History
- 2026-10-26: add by m2/dev
Lexis ratio 16KA6WGJRV
| URI | m2://inv/16KA6WGJRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexis ratio, Lexis ratio (definition). Also Wikidata Q6537895
History
- 2026-11-02: add by m2/dev
Pancha-siddhantika 16KABJ7ADD
| URI | m2://inv/16KABJ7ADD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116788678, Pancha-siddhantika (unknown). Also ProofWiki Book:Varahamihira/Pancha-Siddhantika
History
- 2026-10-26: add by m2/dev
Evidence lower bound 16KFX1RJH0
| URI | m2://inv/16KFX1RJH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AVIR, Evidence lower bound (definition)
History
- 2026-11-02: add by m2/dev
16KM45FN2S 16KM45FN2S
| URI | m2://inv/16KM45FN2S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 83.3
History
- 2026-11-01: add by m2/v0.6.13
Anna Zdunik 16KNG9SBA0
| URI | m2://inv/16KNG9SBA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Zdunik, Anna Zdunik (topic). Also Wikidata Q102342637
History
- 2026-11-02: add by m2/dev
16KRGDQMVH 16KRGDQMVH
| URI | m2://inv/16KRGDQMVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25167#GGXK (statement)
History
- 2026-11-01: add by m2/v0.6.15
16KRTVP0B6 16KRTVP0B6
| URI | m2://inv/16KRTVP0B6 |
|---|---|
| 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 2111.07717#UJ9B (statement). In AXFXGWG7ZG/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.0
16KVVSC38V 16KVVSC38V
| URI | m2://inv/16KVVSC38V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.09133#Y6GW (statement). In E7BPGPP9Z5/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
16KW4YJQ59 16KW4YJQ59
| URI | m2://inv/16KW4YJQ59 |
|---|---|
| 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.05784#OD8L (statement). In 6NVP3YRWVA/e1, theorem 4.12
History
- 2026-10-29: add by m2/v0.4.10
Shima Onsen 16KZKC4JDB
| URI | m2://inv/16KZKC4JDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#R87A, Shima Onsen (unknown)
History
- 2026-11-02: add by m2/dev
Existence for CVaR hedging 16M4BY9MQ2
| URI | m2://inv/16M4BY9MQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34474#HHH8, Existence for CVaR hedging (statement). In R8417G6ABM/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
16M4QE5ECY 16M4QE5ECY
| URI | m2://inv/16M4QE5ECY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/disciplined-machines.tex#prop:disciplined (statement). In PKGMM3P5QY, prop, section 85.5
History
- 2026-11-01: add by m2/v0.6.13
16MDEN0S2M 16MDEN0S2M
| URI | m2://inv/16MDEN0S2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#25WP (statement). In SXTX59QBVT/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
United Kingdom 16MM0D8RZ7
| URI | m2://inv/16MM0D8RZ7 |
|---|---|
| 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 Q145, United Kingdom (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Britain
History
- 2026-10-26: add by m2/dev
Use 16MPZ36241
| URI | m2://inv/16MPZ36241 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois/Counter Mode#GGB0, Use (example)
History
- 2026-11-02: add by m2/dev
path 16MVBP57PA
| URI | m2://inv/16MVBP57PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1366002, path (unknown). Also MathWorld Path
- wikipedia: Wikipedia Path (topology), Path (definition). Also Wikidata Q1366002
History
- 2026-10-26: add by m2/dev
Vladimir F. Demyanov 16MVME2J7S
| URI | m2://inv/16MVME2J7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WI06, Vladimir F. Demyanov (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 16MYCXCD1N
| URI | m2://inv/16MYCXCD1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unibranch local ring#WZ4O, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Weyl's inequality 16N0KBZ7VY
| URI | m2://inv/16N0KBZ7VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#NT1C, Weyl's inequality (statement)
- wikipedia: Wikipedia List of things named after Hermann Weyl#YBJ9, Weyl's inequality (statement)
History
- 2026-11-02: add by m2/dev
Control flow 16N5A5D3R1
| URI | m2://inv/16N5A5D3R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control flow, Control flow (definition). Also Wikidata Q868299
History
- 2026-11-02: add by m2/dev
16NBP057F6 16NBP057F6
| URI | m2://inv/16NBP057F6 |
|---|---|
| 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.20656#2Z9K (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pre-compact 16NH4GJZTB
| URI | m2://inv/16NH4GJZTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#THOE, Pre-compact (definition)
History
- 2026-11-02: add by m2/dev
Pisano period 16NJEJ7XG1
| URI | m2://inv/16NJEJ7XG1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4351325, Pisano period (concept). Also MathWorld PisanoPeriod
- wikipedia: Wikipedia Pisano period, Pisano period (definition). Also Wikidata Q4351325
History
- 2026-10-26: add by m2/dev
Pearson distribution 16NVPJMRFM
| URI | m2://inv/16NVPJMRFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075209, Pearson distribution (unknown). Also MathWorld PearsonTypeIIIDistribution
- wikipedia: Wikipedia Pearson distribution, Pearson distribution (definition). Also Wikidata Q3075209
History
- 2026-10-26: add by m2/dev
Triangle sequence completeness 16NW060B7J
| URI | m2://inv/16NW060B7J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2010.14428#Z4CA, Triangle sequence completeness (definition). In VTTVY2ZRAN/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Robust closure-rank certification 16P4GKGWJH
| URI | m2://inv/16P4GKGWJH |
|---|---|
| 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.13951#7BHI, Robust closure-rank certification (statement). In BDV8G2CV16/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
Residual Parent List 16PAR3E354
| URI | m2://inv/16PAR3E354 |
|---|---|
| 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.37578#ZPZ4, Residual Parent List (statement). In D7NDCWSDJE/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Euler--Lagrange equation 16PBYG9JEK
| URI | m2://inv/16PBYG9JEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02933#6VZT, Euler--Lagrange equation (statement). In QSYZKPFRAN/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
16PKGKMSY5 16PKGKMSY5
| URI | m2://inv/16PKGKMSY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-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 2610.17626#QU8S (definition). In 54ATJS74DT/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
glove problem 16PKR9XHSZ
| URI | m2://inv/16PKR9XHSZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5572140, glove problem (unknown). Also MathWorld GloveProblem
- wikipedia: Wikipedia Glove problem, Glove problem (problem). Also Wikidata Q5572140
History
- 2026-10-26: add by m2/dev
Underdispersion 16Q1TXVS22
| URI | m2://inv/16Q1TXVS22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DMP3, Underdispersion (definition)
History
- 2026-11-02: add by m2/dev
16QC585C77 16QC585C77
| URI | m2://inv/16QC585C77 |
|---|---|
| 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.07855#EABG (statement). In 1VT8CVVCM7/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Definitions 16QE0P1MEK
| URI | m2://inv/16QE0P1MEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation surface#L830, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Compound of five small cubicuboctahedra 16QMQ9HK31
| URI | m2://inv/16QMQ9HK31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five small cubicuboctahedra, Compound of five small cubicuboctahedra (definition). Also Wikidata Q5156861
History
- 2026-11-02: add by m2/dev
Implicit and explicit functions 16QN1826AC
| URI | m2://inv/16QN1826AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#FQRR, Implicit and explicit functions (definition)
History
- 2026-11-02: add by m2/dev
16QXJ9KXC2 16QXJ9KXC2
| URI | m2://inv/16QXJ9KXC2 |
|---|---|
| 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.10773#RAK1 (statement). In 744Y8ZPEV7/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.3
null hypothesis 16R5TWMEKK
| URI | m2://inv/16R5TWMEKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#XVG3, null hypothesis (definition)
History
- 2026-11-02: add by m2/dev
Proposition 16R7BHRD6F
| URI | m2://inv/16R7BHRD6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#HXHS, Proposition (statement)
History
- 2026-11-02: add by m2/dev
16REHQ0YNP 16REHQ0YNP
| URI | m2://inv/16REHQ0YNP |
|---|---|
| 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.31126#C4X5 (statement). In GK1V5GEHTK/e1, theorem 6.2
History
- 2026-10-31: add by m2/v0.5.6
Stephen M. Gersten 16RQTTGZF3
| URI | m2://inv/16RQTTGZF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen M. Gersten, Stephen M. Gersten (topic). Also Wikidata Q68794773
History
- 2026-11-02: add by m2/dev
P = BPP problem 16SATHQDXY
| URI | m2://inv/16SATHQDXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#FBW3, P = BPP problem (definition)
History
- 2026-11-02: add by m2/dev
homotopy over a space B 16SEHKWY42
| URI | m2://inv/16SEHKWY42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#LCC4, homotopy over a space B (definition)
History
- 2026-11-02: add by m2/dev
Two-variable collision criterion 16SEMY4HYT
| URI | m2://inv/16SEMY4HYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#AUO3, Two-variable collision criterion (statement)
History
- 2026-11-02: add by m2/v0.6.17
16SWD4DMV6 16SWD4DMV6
| URI | m2://inv/16SWD4DMV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.02694#PHE0 (statement). In A8EK2ARN5Q/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
16TB57PYC4 16TB57PYC4
| URI | m2://inv/16TB57PYC4 |
|---|---|
| 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.04264#2BLY (statement). In 5YRJ4HGY4N/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
genus 16TBC1DKSZ
| URI | m2://inv/16TBC1DKSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#GMZO, genus (definition)
History
- 2026-11-02: add by m2/dev
16TFVVFDEV 16TFVVFDEV
| URI | m2://inv/16TFVVFDEV |
|---|---|
| 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 2610.21627#4HAF (statement). In 4Z44S003HM/e1, corollary 6
History
- 2026-10-27: add by m2/v0.4.2
Agda 16TN8Q4D58
| URI | m2://inv/16TN8Q4D58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20479, Agda (unknown). Also nLab Agda
History
- 2026-10-26: add by m2/dev
denotation 16TRXC7W4J
| URI | m2://inv/16TRXC7W4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1XER, denotation (definition)
History
- 2026-11-02: add by m2/dev
Properties 16TXRQ7FVA
| URI | m2://inv/16TXRQ7FVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (topology)#VRHH, Properties (statement)
History
- 2026-11-02: add by m2/dev
16TZBNH7DN 16TZBNH7DN
| URI | m2://inv/16TZBNH7DN |
|---|---|
| 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.03310#81X6 (statement). In 2CQ2KPV3CG/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Definition 16VE11T44F
| URI | m2://inv/16VE11T44F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (graph theory)#4DBD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Matching pursuit 16VEVKVT3J
| URI | m2://inv/16VEVKVT3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DJXB, Matching pursuit (definition)
History
- 2026-11-02: add by m2/dev
16VJGPZZPD 16VJGPZZPD
| URI | m2://inv/16VJGPZZPD |
|---|---|
| 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.20406#EZNV (statement). In 1YW6C6XGT3/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Local energy decay with explicit constant, $N=2$ 16W5H4KS91
| URI | m2://inv/16W5H4KS91 |
|---|---|
| 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.15086#EA37, Local energy decay with explicit constant, $N=2$ (statement). In V60MVF3KQ1/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
16WHJ54T2Y 16WHJ54T2Y
| URI | m2://inv/16WHJ54T2Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 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.18302#LDHO (example). In VJTRH1S4JA/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
Ultra-Log-Concave Measures 16WWQE81Q6
| URI | m2://inv/16WWQE81Q6 |
|---|---|
| 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.23994#LS2Z, Ultra-Log-Concave Measures (definition)
History
- 2026-11-02: add by m2/v0.6.17
16X3WQ6XVA 16X3WQ6XVA
| URI | m2://inv/16X3WQ6XVA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#JTHX (definition). In Z9HC1EDTQP/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.10
Center of the lens 16X7HFJK28
| URI | m2://inv/16X7HFJK28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#35EA, Center of the lens (unknown)
History
- 2026-11-02: add by m2/dev
Chris Skinner 16XC0Q5AAJ
| URI | m2://inv/16XC0Q5AAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chris Skinner (statistician), Chris Skinner (topic). Also Wikidata Q102321572
History
- 2026-11-02: add by m2/dev
Exact null mean 16XF362H53
| URI | m2://inv/16XF362H53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37762#LESL, Exact null mean (statement). In 6YPMRQHMR5/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Carlo Severini 16XFD6A4DW
| URI | m2://inv/16XFD6A4DW |
|---|---|
| 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#W1MI, Carlo Severini (topic)
History
- 2026-11-02: add by m2/dev
cathetus 16XFDES0GJ
| URI | m2://inv/16XFDES0GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110812, cathetus (unknown). Also MathWorld Cathetus
- wikipedia: Wikipedia Cathetus, Cathetus (definition). Also Wikidata Q110812
History
- 2026-10-26: add by m2/dev
16XNZ1V3ZF 16XNZ1V3ZF
| URI | m2://inv/16XNZ1V3ZF |
|---|---|
| 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.14458#8XEL (statement). In WJ76MVYAZQ/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Variational inequality 16XW3BQEEQ
| URI | m2://inv/16XW3BQEEQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#OSLI, Variational inequality (definition). In X5BYGZZHPF/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Dual 16YJ1TBQ8G
| URI | m2://inv/16YJ1TBQ8G |
|---|---|
| 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.06724#503E, Dual (definition). In W5XG3PGVF1/e1, definition 1.13
History
- 2026-10-29: add by m2/v0.4.10
Andrea Braides 16YN3HZ9BH
| URI | m2://inv/16YN3HZ9BH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Braides, Andrea Braides (topic). Also Wikidata Q15783274
History
- 2026-11-02: add by m2/dev
16YNKCPMGH 16YNKCPMGH
| URI | m2://inv/16YNKCPMGH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/vectors.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 77.3
History
- 2026-11-01: add by m2/v0.6.13
16YS3625TR 16YS3625TR
| URI | m2://inv/16YS3625TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#366H (statement). In JW8HH6EPG2/e1, lemma 3.43
History
- 2026-10-29: add by m2/v0.4.10
16YXP3E50D 16YXP3E50D
| URI | m2://inv/16YXP3E50D |
|---|---|
| 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.39700#7NBS (statement). In E7W2HDNEKJ/e1, theorem 6.13
History
- 2026-10-30: add by m2/v0.4.12
16Z3A1MDSR 16Z3A1MDSR
| URI | m2://inv/16Z3A1MDSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-B (statement). In PKGMM3P5QY, prop, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
Consensus-based assessment 16ZBM1E79F
| URI | m2://inv/16ZBM1E79F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus-based assessment, Consensus-based assessment (definition). Also Wikidata Q5162831
History
- 2026-11-02: add by m2/dev
16ZDKRCE31 16ZDKRCE31
| URI | m2://inv/16ZDKRCE31 |
|---|---|
| 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.06544#L5NT (statement). In VCRB27RMN6/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem 16ZG453E7T
| URI | m2://inv/16ZG453E7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#2V32, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Peter Minkowski 16ZH573CBF
| URI | m2://inv/16ZH573CBF |
|---|---|
| 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 Q15263795, Peter Minkowski (unknown). Also nLab Peter Minkowski
History
- 2026-10-26: add by m2/dev
16ZKJFQ5PH 16ZKJFQ5PH
| URI | m2://inv/16ZKJFQ5PH |
|---|---|
| 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#ZWB5 (problem)
History
- 2026-11-02: add by m2/v0.6.17
16ZT4F0SXM 16ZT4F0SXM
| URI | m2://inv/16ZT4F0SXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26776#PD9C (statement)
History
- 2026-11-01: add by m2/v0.6.15