Inventory rows W9
The cards of the rows of the inventory whose ids start with W9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
1 (crystal class) W902Z175PW
| URI | m2://inv/W902Z175PW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triclinic crystal system#CIEN, 1 (crystal class) (unknown)
History
- 2026-11-02: add by m2/dev
W905VVB1YK W905VVB1YK
| URI | m2://inv/W905VVB1YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#82E4 (statement). In BF0RYHPMS1/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Definition W90NVNAWXJ
| URI | m2://inv/W90NVNAWXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Fourier transform#NO0W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Representations W90W80MAGY
| URI | m2://inv/W90W80MAGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie groupoid#RB4R, Representations (definition)
History
- 2026-11-02: add by m2/dev
W90WJWT8TF W90WJWT8TF
| URI | m2://inv/W90WJWT8TF |
|---|---|
| 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.16853#M4SA (statement). In Y43AAKZ7E6/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Definitions W90Y95MR9P
| URI | m2://inv/W90Y95MR9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered field#8QEE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples W9108W1046
| URI | m2://inv/W9108W1046 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley table#042L, Examples (example)
History
- 2026-11-02: add by m2/dev
Grade W918PJJDE7
| URI | m2://inv/W918PJJDE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grade (ring theory), Grade (definition). Also Wikidata Q121733921
History
- 2026-11-02: add by m2/dev
W91EBGFXTR W91EBGFXTR
| URI | m2://inv/W91EBGFXTR |
|---|---|
| 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.33771#JZNT (definition). In ZXQA7QH0H0/e1, definition 2.17
History
- 2026-10-30: add by m2/v0.4.12
W91HPWD5VC W91HPWD5VC
| URI | m2://inv/W91HPWD5VC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
W91XQARJ2Z W91XQARJ2Z
| URI | m2://inv/W91XQARJ2Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Arithmetic billiards W91Z7NPFHV
| URI | m2://inv/W91Z7NPFHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic billiards, Arithmetic billiards (definition). Also Wikidata Q55604188
History
- 2026-11-02: add by m2/dev
Acceptance sampling W924NPSC6A
| URI | m2://inv/W924NPSC6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceptance sampling, Acceptance sampling (definition). Also Wikidata Q3546732
History
- 2026-11-02: add by m2/dev
Stefan Nemirovski W92549W2SP
| URI | m2://inv/W92549W2SP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Nemirovski, Stefan Nemirovski (topic). Also Wikidata Q2336653
History
- 2026-11-02: add by m2/dev
Contraction morphism W926Q0KKYE
| URI | m2://inv/W926Q0KKYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction morphism, Contraction morphism (definition). Also Wikidata Q55608367
History
- 2026-11-02: add by m2/dev
Stephen Childress W927KEX74M
| URI | m2://inv/W927KEX74M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Childress, Stephen Childress (topic). Also Wikidata Q102166313
History
- 2026-11-02: add by m2/dev
Cost of optimization W92860H41X
| URI | m2://inv/W92860H41X |
|---|---|
| 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.35418#VN4G, Cost of optimization (statement). In JHD3TW67QT/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
W9290K3286 W9290K3286
| URI | m2://inv/W9290K3286 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#UC5M (statement). In RGXQ50RWXV/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Molecule W92B6EM77Q
| URI | m2://inv/W92B6EM77Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#2QNR, Molecule (unknown)
History
- 2026-11-02: add by m2/dev
\texttt{WeaklyCompactTypes} in , \coqident{MoreFoundations}{Wtypes}{picompact W92HAYSMXN
| URI | m2://inv/W92HAYSMXN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#PNSP, \texttt{WeaklyCompactTypes} in , \coqident{MoreFoundations}{Wtypes}{picompact (definition). In T1VFA7TXPA/e1, definition 64
History
- 2026-10-27: add by m2/v0.3.5
Matching condition W92K5XMBPZ
| URI | m2://inv/W92K5XMBPZ |
|---|---|
| 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#3P7H, Matching condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
planar algebra W92NZNSKM2
| URI | m2://inv/W92NZNSKM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7200954, planar algebra (unknown). Also nLab planar algebra
- wikipedia: Wikipedia Planar algebra, Planar algebra (definition). Also Wikidata Q7200954
History
- 2026-10-26: add by m2/dev
W92P3DPM0G W92P3DPM0G
| URI | m2://inv/W92P3DPM0G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-21 (example). In E59CDZA4DP, example, section 2.5.3
History
- 2026-11-01: add by m2/v0.6.13
commutative magma W92PTHJFM1
| URI | m2://inv/W92PTHJFM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Commutative magma XAC78GN2YJ |
Mentions
- wikidata: Wikidata Q5419309, commutative magma (unknown). Also nLab commutative magma
- wikipedia: Wikipedia Commutative magma, Commutative magma (definition). Also Wikidata Q5419309
History
- 2026-10-26: add by m2/dev
W92PXD7VMA W92PXD7VMA
| URI | m2://inv/W92PXD7VMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#20R8 (statement). In 2VHV0RNTNV/e1, fact 7.3
History
- 2026-10-29: add by m2/v0.4.12
Exterior bundle W92VABYVFA
| URI | m2://inv/W92VABYVFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#VAM5, Exterior bundle (unknown)
History
- 2026-11-02: add by m2/dev
Pentagon W931W9H0Q3
| URI | m2://inv/W931W9H0Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KSIR, Pentagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#XNOC, Pentagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WKVA, Pentagon (definition)
History
- 2026-11-02: add by m2/dev
Constructions W9341DGAGS
| URI | m2://inv/W9341DGAGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 16-cell#L71U, Constructions (definition)
History
- 2026-11-02: add by m2/dev
W936DKBR95 W936DKBR95
| URI | m2://inv/W936DKBR95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#RCRS (statement). In PCAS8S14J6/e1, theorem A.2
History
- 2026-10-31: add by m2/v0.5.6
W93ECMC6QH W93ECMC6QH
| URI | m2://inv/W93ECMC6QH |
|---|---|
| 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 2110.12380#H4LJ (statement). In M6MQPEDQ8N/e1, theorem 4.17
History
- 2026-10-27: add by m2/v0.3.5
W93EP97WQV W93EP97WQV
| URI | m2://inv/W93EP97WQV |
|---|---|
| Kind | example |
| 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#9Z64 (example). In FNG4B47MRV/e1, example 3.10
History
- 2026-10-29: add by m2/v0.4.10
W93K3WATWW W93K3WATWW
| URI | m2://inv/W93K3WATWW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#Q5NT (definition). In RTE2C0PH4S/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
W93K57KJ1S W93K57KJ1S
| URI | m2://inv/W93K57KJ1S |
|---|---|
| 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#A20K (statement). In HDJ6N25XVT/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Alexander Volberg W93TMA22SJ
| URI | m2://inv/W93TMA22SJ |
|---|---|
| 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#EQUG, Alexander Volberg (unknown)
History
- 2026-11-02: add by m2/dev
Emmanuel Trélat W946R7ST43
| URI | m2://inv/W946R7ST43 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmanuel Trélat, Emmanuel Trélat (topic). Also Wikidata Q1338424
History
- 2026-11-02: add by m2/dev
Convex body W94EP3JEVE
| URI | m2://inv/W94EP3JEVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#UMG5, Convex body (definition)
History
- 2026-11-02: add by m2/dev
Standard filtration and reduction by \(R_n\ W94G4ZDF86
| URI | m2://inv/W94G4ZDF86 |
|---|---|
| Kind | definition |
| 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#ST01, Standard filtration and reduction by \(R_n\ (definition). In S26QVW5613/e1, definition 0.0.2
History
- 2026-10-30: add by m2/v0.4.12
periodic spin characterization of $\widehat Q_{\bf m} f(\theta,z)$ W94Q0WKRE8
| URI | m2://inv/W94Q0WKRE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#XTFR, periodic spin characterization of $\widehat Q_{\bf m} f(\theta,z)$ (statement). In 94RBNQA07A/e1, proposition 3.21
History
- 2026-10-27: add by m2/v0.3.5
Payment Card Industry Data Security Standard W94SW3EG5B
| URI | m2://inv/W94SW3EG5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Payment Card Industry Data Security Standard, Payment Card Industry Data Security Standard (definition). Also Wikidata Q2065387
History
- 2026-11-02: add by m2/dev
W950D3H2P5 W950D3H2P5
| URI | m2://inv/W950D3H2P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#U993 (statement). In CXPFSDMEPB/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Michael Spivak W951BYR1N2
| URI | m2://inv/W951BYR1N2 |
|---|---|
| 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 Q254516, Michael Spivak (unknown). Also nLab Michael Spivak
- wikipedia: Wikipedia Michael Spivak, Michael Spivak (topic). Also Wikidata Q254516
History
- 2026-10-26: add by m2/dev
Dhar's prime-power set estimate W953KW3X19
| URI | m2://inv/W953KW3X19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#P6VI, Dhar's prime-power set estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Black's equation W95APN1GFR
| URI | m2://inv/W95APN1GFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black's equation, Black's equation (definition). Also Wikidata Q98936
History
- 2026-11-02: add by m2/dev
W95B5FMVDJ W95B5FMVDJ
| URI | m2://inv/W95B5FMVDJ |
|---|---|
| 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.33552#2A6Q (statement). In SRAS2DJJQH/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Basis of $V \otimes W$ W95BXTQB1R
| URI | m2://inv/W95BXTQB1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#proposition-1, Basis of $V \otimes W$ (statement). In RZP28ERRZV, proposition, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
W95NX6AZK4 W95NX6AZK4
| URI | m2://inv/W95NX6AZK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#M8PA (statement). In HMNKENER22/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
W95R9MVH0E W95R9MVH0E
| URI | m2://inv/W95R9MVH0E |
|---|---|
| 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.28808#JCR1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
W95SXS7GNY W95SXS7GNY
| URI | m2://inv/W95SXS7GNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.39946#19E6 (statement). In ZTREM09NFT/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Remark W95THH58BY
| URI | m2://inv/W95THH58BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal (ring theory)#2PPC, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Variations W964TKD2XF
| URI | m2://inv/W964TKD2XF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided monoidal category#OWPT, Variations (statement)
History
- 2026-11-02: add by m2/dev
Comparison with purify--clone--trace W96A25HH6Z
| URI | m2://inv/W96A25HH6Z |
|---|---|
| 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.35986#HNE1, Comparison with purify--clone--trace (statement). In PBX6AMPVT2/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
W96F10X27P W96F10X27P
| URI | m2://inv/W96F10X27P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Quaternionic function W96JYE6QM9
| URI | m2://inv/W96JYE6QM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#MQH4, Quaternionic function (definition)
History
- 2026-11-02: add by m2/dev
Affine Lie algebra W96VCXNN8J
| URI | m2://inv/W96VCXNN8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#9LFL, Affine Lie algebra (definition)
- wikipedia: Wikipedia List of algebras#RWRZ, Affine Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
Peetre's inequality W96XFRY3E3
| URI | m2://inv/W96XFRY3E3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#JAB3, Peetre's inequality (statement)
History
- 2026-11-02: add by m2/dev
Benoît Mandelbrot W96XTD1ANW
| URI | m2://inv/W96XTD1ANW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#V1XW, Benoît Mandelbrot (topic)
History
- 2026-11-02: add by m2/dev
Whitehead's "Peak Reduction Lemma" W97H9M892W
| URI | m2://inv/W97H9M892W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's algorithm#NVJP, Whitehead's "Peak Reduction Lemma" (statement)
History
- 2026-11-02: add by m2/dev
Definitions W97TWVW1EC
| URI | m2://inv/W97TWVW1EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Welfare maximization#W8P4, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Katharine Abraham W984HZFF1S
| URI | m2://inv/W984HZFF1S |
|---|---|
| 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#FWNL, Katharine Abraham (unknown)
History
- 2026-11-02: add by m2/dev
W985KGGWBZ W985KGGWBZ
| URI | m2://inv/W985KGGWBZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 17.2
History
- 2026-11-01: add by m2/v0.6.13
Definition W989H6XC3F
| URI | m2://inv/W989H6XC3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver function#NGQN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Model extraction W98BQEFNEQ
| URI | m2://inv/W98BQEFNEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial machine learning#8C24, Model extraction (unknown)
History
- 2026-11-02: add by m2/dev
W98CZ9JMPM W98CZ9JMPM
| URI | m2://inv/W98CZ9JMPM |
|---|---|
| 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.12740#407D (statement). In HKYRZSZPEC/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
W98HAA4GQR W98HAA4GQR
| URI | m2://inv/W98HAA4GQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#9B51 (statement). In NGZ5AZ70NN/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Cauchy's identity W98HTDPQZR
| URI | m2://inv/W98HTDPQZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#K3YB, Cauchy's identity (statement)
History
- 2026-11-02: add by m2/dev
W98MQB5S1V W98MQB5S1V
| URI | m2://inv/W98MQB5S1V |
|---|---|
| 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.32680#QS47 (statement). In XVJGVCZA7V/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
Varying-population CG approximation with mutation W98P32GSGN
| URI | m2://inv/W98P32GSGN |
|---|---|
| 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.02669#I7K0, Varying-population CG approximation with mutation (statement). In NSBSWH6XB4/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
Non-examples W9908SG91Q
| URI | m2://inv/W9908SG91Q |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique factorization domain#JQOC, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Transfer estimate W991NXRRA6
| URI | m2://inv/W991NXRRA6 |
|---|---|
| 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.22927#LGOR, Transfer estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
W993AR1SY5 W993AR1SY5
| URI | m2://inv/W993AR1SY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#GPN2 (statement). In D16PSAVVWV/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Statement W994N7MJZW
| URI | m2://inv/W994N7MJZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee–Yang theorem#VWMI, Statement (statement)
History
- 2026-11-02: add by m2/dev
W994PTYA7C W994PTYA7C
| URI | m2://inv/W994PTYA7C |
|---|---|
| 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.31604#DMCU (statement). In GSN5YTQS2K/e1, lemma 1.20
History
- 2026-10-31: add by m2/v0.5.6
W999T5V157 W999T5V157
| URI | m2://inv/W999T5V157 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#QZLP (definition). In DZ12XTTJSM/e1, definition 4.15
History
- 2026-10-28: add by m2/v0.4.2
W99MJTPC3T W99MJTPC3T
| URI | m2://inv/W99MJTPC3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#AB4B (statement). In QG9ATXTKJ6/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.3.5
Using the limit definition of the derivative W99NYWFF65
| URI | m2://inv/W99NYWFF65 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-3-derivative-pt.xml#example-1, Using the limit definition of the derivative (example). In 907G4C4EJ1, example, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
\bf Higher-order gradient-only trapping W9A5YTWRSA
| URI | m2://inv/W9A5YTWRSA |
|---|---|
| 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.02791#A7PO, \bf Higher-order gradient-only trapping (statement). In TT9BA4VMTW/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
W9AC910WRY W9AC910WRY
| URI | m2://inv/W9AC910WRY |
|---|---|
| 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.35204#RD0U (statement). In 8ZZNDYK76B/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Centered excess-risk identity W9AHMCCN1N
| URI | m2://inv/W9AHMCCN1N |
|---|---|
| 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.33472#II7E, Centered excess-risk identity (statement). In WBQQBZ4FCJ/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
W9AJFCBMWB W9AJFCBMWB
| URI | m2://inv/W9AJFCBMWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#RQ1C (statement)
History
- 2026-11-01: add by m2/v0.6.15
isomorphism, natural W9AMQ23FVS
| URI | m2://inv/W9AMQ23FVS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/isomorphism-natural, isomorphism, natural (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
abc conjecture W9ASZG859V
| URI | m2://inv/W9ASZG859V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szpiro's conjecture#CM34, abc conjecture (statement)
History
- 2026-11-02: add by m2/dev
W9AV2Q61G6 W9AV2Q61G6
| URI | m2://inv/W9AV2Q61G6 |
|---|---|
| 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.21600#CKQ5 (statement). In EGAXXGHQNK/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
W9AXP1VSTT W9AXP1VSTT
| URI | m2://inv/W9AXP1VSTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#X85G (statement). In W88890HB4Z/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Sidney M. Webster W9AZG8FF85
| URI | m2://inv/W9AZG8FF85 |
|---|---|
| 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#F45Z, Sidney M. Webster (topic)
History
- 2026-11-02: add by m2/dev
Nuisance parameter W9B4ZEBAGP
| URI | m2://inv/W9B4ZEBAGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuisance parameter, Nuisance parameter (definition). Also Wikidata Q17104825
History
- 2026-11-02: add by m2/dev
Michael Douglas W9BGKTJSR8
| URI | m2://inv/W9BGKTJSR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CR51, Michael Douglas (unknown)
History
- 2026-11-02: add by m2/dev
Sphere packing theorems in dimensions 8 and 24 W9BGZPPFVG
| URI | m2://inv/W9BGZPPFVG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LZTY, Sphere packing theorems in dimensions 8 and 24 (conjecture)
History
- 2026-11-02: add by m2/dev
Iteration lower bounds for all midpoint methods W9BRHNR9HV
| URI | m2://inv/W9BRHNR9HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#RYMT, Iteration lower bounds for all midpoint methods (statement). In HTWSDDAWGS/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
Kostant's convexity theorem W9BRP42D8Y
| URI | m2://inv/W9BRP42D8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostant's convexity theorem, Kostant's convexity theorem (statement). Also Wikidata Q6433477
History
- 2026-11-02: add by m2/dev
Functional Relation W9BTNADE73
| URI | m2://inv/W9BTNADE73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.08191#9DP0, Functional Relation (statement). In 8DATR785BJ/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
W9BY37BDW1 W9BY37BDW1
| URI | m2://inv/W9BY37BDW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.02017#EXXI (statement). In F6C80AEXC1/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.12
Arbitrary greedy tie-breaking W9CBS7Q7ZC
| URI | m2://inv/W9CBS7Q7ZC |
|---|---|
| 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.17479#IF9Q, Arbitrary greedy tie-breaking (statement). In 4FWAY748N7/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
W9CDZNSM0Y W9CDZNSM0Y
| URI | m2://inv/W9CDZNSM0Y |
|---|---|
| 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.24078#2DO6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications W9CGE4NCNM
| URI | m2://inv/W9CGE4NCNM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allele frequency spectrum#LHXB, Applications (example)
History
- 2026-11-02: add by m2/dev
normally generated W9CHVM381T
| URI | m2://inv/W9CHVM381T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VQHW, normally generated (definition)
History
- 2026-11-02: add by m2/dev
W9CMPFCFRY W9CMPFCFRY
| URI | m2://inv/W9CMPFCFRY |
|---|---|
| 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 2405.05684#4XQM (statement). In 1PR73ECTZB/e1, proposition 33
History
- 2026-10-27: add by m2/v0.3.5
Sanford Segal W9CW0PP14Y
| URI | m2://inv/W9CW0PP14Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NLZZ, Sanford Segal (topic)
History
- 2026-11-02: add by m2/dev
Properties W9CYVF3HGA
| URI | m2://inv/W9CYVF3HGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar circle (geometry)#V4UR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lindenbaum lemma W9DGK9GXF8
| URI | m2://inv/W9DGK9GXF8 |
|---|---|
| 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.27078#DA1V, Lindenbaum lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomial structural bounds and exact selection W9DJ4Y43AD
| URI | m2://inv/W9DJ4Y43AD |
|---|---|
| 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.31458#94Z4, Polynomial structural bounds and exact selection (statement). In SNWC76WKWT/e1, lemma H.4
History
- 2026-10-31: add by m2/v0.5.6
Definitions W9E26GA5ZC
| URI | m2://inv/W9E26GA5ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal group law#GBKY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
W9E9AMNPCR W9E9AMNPCR
| URI | m2://inv/W9E9AMNPCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#BJ3K (statement). In AKB3CNDA0F/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
W9EAZS1WBC W9EAZS1WBC
| URI | m2://inv/W9EAZS1WBC |
|---|---|
| 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.09129#USO2 (statement). In Z1RZSF68XZ/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
W9EEFTA1CF W9EEFTA1CF
| URI | m2://inv/W9EEFTA1CF |
|---|---|
| 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.03517#GZ7V (statement). In 3CGS9GSKTQ/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
W9EF0PAWM4 W9EF0PAWM4
| URI | m2://inv/W9EF0PAWM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/beta-function.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 29.4
History
- 2026-11-01: add by m2/v0.6.13
Klotz construction W9EJRYPPZZ
| URI | m2://inv/W9EJRYPPZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean tiling#TUUK, Klotz construction (unknown)
History
- 2026-11-02: add by m2/dev
Multisymplectic integrator W9EK6RQVE5
| URI | m2://inv/W9EK6RQVE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multisymplectic integrator, Multisymplectic integrator (definition). Also Wikidata Q17104324
History
- 2026-11-02: add by m2/dev
HMMT 2017 W9EKNC4F6N
| URI | m2://inv/W9EKNC4F6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#dproblem-1, HMMT 2017 (exercise). In RZP28ERRZV, dproblem, section 12.5
History
- 2026-11-01: add by m2/v0.6.13
SM9 Identity Based Key Encapsulation W9ES8ZYH8W
| URI | m2://inv/W9ES8ZYH8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard)#DPT1, SM9 Identity Based Key Encapsulation (statement)
History
- 2026-11-02: add by m2/dev
W9EWZS9BR0 W9EWZS9BR0
| URI | m2://inv/W9EWZS9BR0 |
|---|---|
| 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 2610.12479#180H (statement). In WE001PR75Z/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Product expansion implies robustness, adapted W9F2HG12SM
| URI | m2://inv/W9F2HG12SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#3FI3, Product expansion implies robustness, adapted (statement)
History
- 2026-11-01: add by m2/v0.6.15
Neighbourhood system for a point x W9FCS5XYZ4
| URI | m2://inv/W9FCS5XYZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#M5W5, Neighbourhood system for a point x (definition)
History
- 2026-11-02: add by m2/dev
Normal--parameter comparison W9FD57KYY0
| URI | m2://inv/W9FD57KYY0 |
|---|---|
| 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.20643#N5X1, Normal--parameter comparison (statement)
History
- 2026-11-02: add by m2/v0.6.18
W9FFCNQ746 W9FFCNQ746
| URI | m2://inv/W9FFCNQ746 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#R21C (definition). In TNV6XTEWEG/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
W9FHGBMFWJ W9FHGBMFWJ
| URI | m2://inv/W9FHGBMFWJ |
|---|---|
| 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.00113#G8CW (statement). In R9PP1Y2EP4/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
W9FV7S7MX1 W9FV7S7MX1
| URI | m2://inv/W9FV7S7MX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#SMO6 (statement). In 6KR7Z5ETRY/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
Local equality, global separation W9FVHTMSQQ
| URI | m2://inv/W9FVHTMSQQ |
|---|---|
| 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.00614#XXNT, Local equality, global separation (statement). In NC5Z77F6H4/e1, corollary 8.3
History
- 2026-10-30: add by m2/v0.4.12
Partition problem W9FZPN1K42
| URI | m2://inv/W9FZPN1K42 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#D5JM, Partition problem (problem)
- wikipedia: Wikipedia List of partition topics#8TT6, Partition problem (problem)
History
- 2026-11-02: add by m2/dev
The Sylvester-Gallai theorem W9G20E9T1Z
| URI | m2://inv/W9G20E9T1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence geometry#LR82, The Sylvester-Gallai theorem (statement)
History
- 2026-11-02: add by m2/dev
Infinite-order triangular tiling W9G362D058
| URI | m2://inv/W9G362D058 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-order triangular tiling, Infinite-order triangular tiling (definition). Also Wikidata Q17077551
History
- 2026-11-02: add by m2/dev
Margit Voigt W9G70E25C7
| URI | m2://inv/W9G70E25C7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZZRW, Margit Voigt (topic)
History
- 2026-11-02: add by m2/dev
ε W9GATGZABF
| URI | m2://inv/W9GATGZABF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SWY3, ε (definition)
History
- 2026-11-02: add by m2/dev
Post's inversion formula W9GBN1MJQW
| URI | m2://inv/W9GBN1MJQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse Laplace transform#5SLV, Post's inversion formula (statement)
History
- 2026-11-02: add by m2/dev
Doob decomposition theorem W9GM3YCWDQ
| URI | m2://inv/W9GM3YCWDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1242398, Doob decomposition theorem (statement). Also Wikidata Q1242398
- thousand_plus: thousand_plus Q1242398, Doob decomposition theorem (statement). Also Wikidata Q1242398, Wikipedia Doob decomposition theorem
- wikipedia: Wikipedia Doob decomposition theorem, Doob decomposition theorem (statement). Also Wikidata Q1242398
History
- 2026-10-26: add by m2/dev
W9GMNCN7KS W9GMNCN7KS
| URI | m2://inv/W9GMNCN7KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2609.24131#XQNX (statement)
History
- 2026-11-02: add by m2/v0.6.17
composite W9GPF85D50
| URI | m2://inv/W9GPF85D50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Z1X6, composite (definition)
History
- 2026-11-02: add by m2/dev
pivotal isotomic cubic W9GSCR0B8S
| URI | m2://inv/W9GSCR0B8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2131777, pivotal isotomic cubic (unknown). Also MathWorld PivotalIsotomicCubic
History
- 2026-10-26: add by m2/dev
W9GSYKATMX W9GSYKATMX
| URI | m2://inv/W9GSYKATMX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06253#M9BB (definition). In DRVCY1VARV/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
W9GWJM53QC W9GWJM53QC
| URI | m2://inv/W9GWJM53QC |
|---|---|
| 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.26600#QRJ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A preliminary multiplicity identity W9GXPZ985G
| URI | m2://inv/W9GXPZ985G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#WBZV, A preliminary multiplicity identity (statement). In 8GSG7024NW/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Instantaneous inequality vs lifetime inequality W9H59BD6FV
| URI | m2://inv/W9H59BD6FV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gini coefficient#8E08, Instantaneous inequality vs lifetime inequality (statement)
History
- 2026-11-02: add by m2/dev
Edward Brandt Jr. W9HAZ2JC2V
| URI | m2://inv/W9HAZ2JC2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Brandt Jr., Edward Brandt Jr. (topic). Also Wikidata Q5341996
History
- 2026-11-02: add by m2/dev
Robert of Chester W9HD7NJ66M
| URI | m2://inv/W9HD7NJ66M |
|---|---|
| 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 Q715419, Robert of Chester (unknown). Also ProofWiki Mathematician:Robert_of_Chester
History
- 2026-10-26: add by m2/dev
Bjarni Jónsson W9HDCW76DC
| URI | m2://inv/W9HDCW76DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LKXI, Bjarni Jónsson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DO5L, Bjarni Jónsson (topic)
History
- 2026-11-02: add by m2/dev
Flood risk assessment W9HFW7ZT59
| URI | m2://inv/W9HFW7ZT59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flood risk assessment, Flood risk assessment (definition). Also Wikidata Q5460077
History
- 2026-11-02: add by m2/dev
Illusion of asymmetric insight W9HSVYWJ8J
| URI | m2://inv/W9HSVYWJ8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#R3C6, Illusion of asymmetric insight (unknown)
History
- 2026-11-02: add by m2/dev
W9HXC49E5R W9HXC49E5R
| URI | m2://inv/W9HXC49E5R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#RMGV (definition). In ETRT1R1CQ8/e1, definition 1.8
History
- 2026-10-27: add by m2/v0.4.0
W9HXSBJ4JJ W9HXSBJ4JJ
| URI | m2://inv/W9HXSBJ4JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2603.29838#PQI9 (statement). In KP0X1RKKKB/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.4.0
Enrico Bompiani W9J10CNXSH
| URI | m2://inv/W9J10CNXSH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enrico Bompiani, Enrico Bompiani (topic). Also Wikidata Q3725637
History
- 2026-11-02: add by m2/dev
W9J3193G5B W9J3193G5B
| URI | m2://inv/W9J3193G5B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#MGGV (example). In 2WZQC0TKVK/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
W9J36ZTZV0 W9J36ZTZV0
| URI | m2://inv/W9J36ZTZV0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 38.6
History
- 2026-11-01: add by m2/v0.6.13
a sampled gap below one W9J93KWEDP
| URI | m2://inv/W9J93KWEDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#A059, a sampled gap below one (statement)
History
- 2026-11-01: add by m2/v0.6.15
Luis Aguilar-Monsalve W9JACKX330
| URI | m2://inv/W9JACKX330 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#V54A, Luis Aguilar-Monsalve (unknown)
History
- 2026-11-02: add by m2/dev
W9JBBT5H4V W9JBBT5H4V
| URI | m2://inv/W9JBBT5H4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#AG0L (statement). In 7WMNVJBAVR/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Ola Rosling W9JBN1A0DM
| URI | m2://inv/W9JBN1A0DM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ola Rosling, Ola Rosling (topic). Also Wikidata Q22280133
History
- 2026-11-02: add by m2/dev
W9JH4SY1WG W9JH4SY1WG
| URI | m2://inv/W9JH4SY1WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#NVU4 (statement). In BSWNH3NW1M/e1, proposition 9.6
History
- 2026-10-27: add by m2/v0.4.0
Properties W9JHFTJ86Q
| URI | m2://inv/W9JHFTJ86Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local language (formal language)#3PMR, Properties (statement)
History
- 2026-11-02: add by m2/dev
W9JM309821 W9JM309821
| URI | m2://inv/W9JM309821 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.28742#0WBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
\emph{Prioritized, joint comparison W9JN2VKHZE
| URI | m2://inv/W9JN2VKHZE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13428#EDZF, \emph{Prioritized, joint comparison (example). In SM4QEDZSS6/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
star W9JTHFFYYM
| URI | m2://inv/W9JTHFFYYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#TGK5, star (definition)
History
- 2026-11-02: add by m2/dev
David Cranston W9K51WRC1N
| URI | m2://inv/W9K51WRC1N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Cranston (philosopher), David Cranston (topic). Also Wikidata Q18527531
History
- 2026-11-02: add by m2/dev
W9K5C2E0JQ W9K5C2E0JQ
| URI | m2://inv/W9K5C2E0JQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#17WV (definition). In PEXJPV3NP8/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Weierstrass theorem W9K6XA80B6
| URI | m2://inv/W9K6XA80B6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4454933, Weierstrass theorem (statement). Also MathWorld WeierstrasssTheorem
History
- 2026-10-26: add by m2/dev
saddle point W9K980D1Y6
| URI | m2://inv/W9K980D1Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Saddle point 00N3T18QNA |
Mentions
- wikidata: Wikidata Q690935, saddle point (unknown). Also EoM Saddle_point, MathWorld SaddlePoint
- wikipedia: Wikipedia Saddle point, Saddle point (definition). Also Wikidata Q690935
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
\thmref{thm:thom-sebastiani W9KAX9VZEQ
| URI | m2://inv/W9KAX9VZEQ |
|---|---|
| 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.30018#4W4G, \thmref{thm:thom-sebastiani (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orientation reversal W9KJH4FA3G
| URI | m2://inv/W9KJH4FA3G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-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 2303.09207#SH7L, Orientation reversal (example). In 9DQKY7KGE8/e1, example B.28
History
- 2026-10-31: add by m2/v0.5.6
Gyroid W9KK16NFPN
| URI | m2://inv/W9KK16NFPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5625489, Gyroid (unknown). Also MathWorld Gyroid
- wikipedia: Wikipedia Gyroid, Gyroid (definition). Also Wikidata Q5625489
History
- 2026-10-26: add by m2/dev
Multigrid method W9KK64T60S
| URI | m2://inv/W9KK64T60S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VJ3D, Multigrid method (definition)
History
- 2026-11-02: add by m2/dev
Greenwood statistic W9KKWAR0RZ
| URI | m2://inv/W9KKWAR0RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YWO3, Greenwood statistic (definition)
History
- 2026-11-02: add by m2/dev
squeeze theorem W9M64E48TM
| URI | m2://inv/W9M64E48TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#IY5X, squeeze theorem (definition)
History
- 2026-11-02: add by m2/dev
Algorithmic bias detection W9M7VSTYVM
| URI | m2://inv/W9M7VSTYVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic bias#HKBC, Algorithmic bias detection (unknown)
History
- 2026-11-02: add by m2/dev
W9M8H7N955 W9M8H7N955
| URI | m2://inv/W9M8H7N955 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#U0X5 (statement). In 7SSKW778T8/e1, proposition 9.6
History
- 2026-10-29: add by m2/v0.4.10
Applications W9M8XHGN35
| URI | m2://inv/W9M8XHGN35 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne Twister#9PNV, Applications (example)
History
- 2026-11-02: add by m2/dev
concave set W9MC6RX8X7
| URI | m2://inv/W9MC6RX8X7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2004680, concave set (unknown). Also MathWorld Concave
History
- 2026-10-26: add by m2/dev
W9MD15YNBS W9MD15YNBS
| URI | m2://inv/W9MD15YNBS |
|---|---|
| Kind | example |
| 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.23871#GAPF (example)
History
- 2026-11-02: add by m2/v0.6.17
W9MPAZHXTQ W9MPAZHXTQ
| URI | m2://inv/W9MPAZHXTQ |
|---|---|
| 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.11517#UMCB (statement). In 87NF85QAKT/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
W9MXDEW5JD W9MXDEW5JD
| URI | m2://inv/W9MXDEW5JD |
|---|---|
| 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.37124#LWXI (statement). In 2QF1YG9DD0/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Definitions W9MYS0KBM9
| URI | m2://inv/W9MYS0KBM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teichmüller space#2GJA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Invariant theory W9N0JKE90P
| URI | m2://inv/W9N0JKE90P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8KQR, Invariant theory (definition)
History
- 2026-11-02: add by m2/dev
Buchberger's algorithm W9N6328PF1
| URI | m2://inv/W9N6328PF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#SYIT, Buchberger's algorithm (definition)
History
- 2026-11-02: add by m2/dev
Mario Primicerio W9NA2QSXV7
| URI | m2://inv/W9NA2QSXV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mario Primicerio, Mario Primicerio (topic). Also Wikidata Q3849001
History
- 2026-11-02: add by m2/dev
Einstein field equations W9NABS20WX
| URI | m2://inv/W9NABS20WX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#XA1R, Einstein field equations (topic)
History
- 2026-11-02: add by m2/dev
W9NB7K5W1Z W9NB7K5W1Z
| URI | m2://inv/W9NB7K5W1Z |
|---|---|
| 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.24185#KJ2G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proposition W9NCB4X9XE
| URI | m2://inv/W9NCB4X9XE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic sector#WXIU, Proposition (statement)
History
- 2026-11-02: add by m2/dev
W9NDDF3PVA W9NDDF3PVA
| URI | m2://inv/W9NDDF3PVA |
|---|---|
| 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 1612.08394#66TO (statement). In 1P8D88DKG5/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
W9NFRA2013 W9NFRA2013
| URI | m2://inv/W9NFRA2013 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-157 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Eta reduction W9NM1PAF7P
| URI | m2://inv/W9NM1PAF7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda calculus definition#YEIF, Eta reduction (unknown)
History
- 2026-11-02: add by m2/dev
Arithmetic progression topologies W9NM7B0VK4
| URI | m2://inv/W9NM7B0VK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#B5UV, Arithmetic progression topologies (definition)
History
- 2026-11-02: add by m2/dev
W9NQJ9VPHY W9NQJ9VPHY
| URI | m2://inv/W9NQJ9VPHY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-2.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
W9NSCMH4Z8 W9NSCMH4Z8
| URI | m2://inv/W9NSCMH4Z8 |
|---|---|
| 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.15402#AUOX (statement). In WSE8SEHVXG/e1, proposition 27
History
- 2026-10-28: add by m2/v0.4.2
Darboux's formula W9NTR89QEV
| URI | m2://inv/W9NTR89QEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux's formula, Darboux's formula (statement). Also Wikidata Q5222239
History
- 2026-11-02: add by m2/dev
Jacob Tamarkin W9NZNKJRMG
| URI | m2://inv/W9NZNKJRMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O3G2, Jacob Tamarkin (topic)
History
- 2026-11-02: add by m2/dev
W9P0F97J34 W9P0F97J34
| URI | m2://inv/W9P0F97J34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#26KB (statement). In YXRKS451PK/e1, corollary A.10
History
- 2026-10-28: add by m2/v0.4.2
Mutual exclusion W9P662MA0A
| URI | m2://inv/W9P662MA0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4TXB, Mutual exclusion (unknown)
History
- 2026-11-02: add by m2/dev
W9P6YQ8V1A W9P6YQ8V1A
| URI | m2://inv/W9P6YQ8V1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#ZK2M (statement). In ZRJ2DZT6P1/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Tychonoff W9P7YPQVAS
| URI | m2://inv/W9P7YPQVAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#VCS7, Tychonoff (definition)
History
- 2026-11-02: add by m2/dev
W9PE60DFCP W9PE60DFCP
| URI | m2://inv/W9PE60DFCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#NE0G (definition). In 6V42A71SPC/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Free-field supremum tail W9PEQYK708
| URI | m2://inv/W9PEQYK708 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#4QBU, Free-field supremum tail (statement). In ESPJMBH2R2/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
The general equation W9PW32XNV6
| URI | m2://inv/W9PW32XNV6 |
|---|---|
| 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.18154#9F3W, The general equation (statement). In 4W7ARR1DAR/e1, fact B.4
History
- 2026-10-28: add by m2/v0.4.2
W9PXZ6B4MC W9PXZ6B4MC
| URI | m2://inv/W9PXZ6B4MC |
|---|---|
| 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 1512.06981#AY3L (statement). In X923ZEY423/e1, lemma 2.0.1
History
- 2026-10-27: add by m2/v0.3.5
Weak interpretability W9PZHF74J9
| URI | m2://inv/W9PZHF74J9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#BEV9, Weak interpretability (definition)
History
- 2026-11-02: add by m2/dev
Statement W9Q4WRPD3T
| URI | m2://inv/W9Q4WRPD3T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen structure theorem#TIRW, Statement (statement)
History
- 2026-11-02: add by m2/dev
W9Q6MFY8EG W9Q6MFY8EG
| URI | m2://inv/W9Q6MFY8EG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Password reset W9QA3GMSDK
| URI | m2://inv/W9QA3GMSDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password#OLT4, Password reset (unknown)
History
- 2026-11-02: add by m2/dev
W9QAQ1XH25 W9QAQ1XH25
| URI | m2://inv/W9QAQ1XH25 |
|---|---|
| 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.28323#1772 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Benedict Gross W9QB4WNYFS
| URI | m2://inv/W9QB4WNYFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UKP3, Benedict Gross (topic)
History
- 2026-11-02: add by m2/dev
W9QD623YYK W9QD623YYK
| URI | m2://inv/W9QD623YYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#UPSS (statement). In JBAQ7DTW7B/e1, lemma E.1
History
- 2026-10-27: add by m2/v0.3.5
Explicit formulas W9QJCV7MBJ
| URI | m2://inv/W9QJCV7MBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of the Lorentz group#3UAZ, Explicit formulas (statement)
History
- 2026-11-02: add by m2/dev
W9QS22N3JX W9QS22N3JX
| URI | m2://inv/W9QS22N3JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#KA94 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kantorovich duality with steep functions W9QWEJZM90
| URI | m2://inv/W9QWEJZM90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#JHLZ, Kantorovich duality with steep functions (statement). In KM3Q791JY0/e1, theorem 2.25
History
- 2026-10-27: add by m2/v0.4.2
A universal pointwise lower bound W9QZT8AMK4
| URI | m2://inv/W9QZT8AMK4 |
|---|---|
| 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 2609.26133#SL3D, A universal pointwise lower bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kripke-Joyal semantics W9R2R7P36Q
| URI | m2://inv/W9R2R7P36Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke semantics#WHBI, Kripke-Joyal semantics (unknown)
History
- 2026-11-02: add by m2/dev
Point groups in two dimensions W9RARAB3ZG
| URI | m2://inv/W9RARAB3ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point groups in two dimensions, Point groups in two dimensions (definition). Also Wikidata Q7208208
History
- 2026-11-02: add by m2/dev
W9RMG7JZJ8 W9RMG7JZJ8
| URI | m2://inv/W9RMG7JZJ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#AVV9 (definition). In 9DMJXFRQN9/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.3
W9RTHTVG2B W9RTHTVG2B
| URI | m2://inv/W9RTHTVG2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#LC22 (statement). In GFPFFN0BXV/e1, lemma 25
History
- 2026-10-28: add by m2/v0.4.3
W9S2XXVWGX W9S2XXVWGX
| URI | m2://inv/W9S2XXVWGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#CV04 (statement). In V5PVKDKGGG/e1, corollary 4.15
History
- 2026-10-28: add by m2/v0.4.2
W9S4M8D71K W9S4M8D71K
| URI | m2://inv/W9S4M8D71K |
|---|---|
| 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.08753#THJL (statement). In J9P361Z1CX/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Bombieri norm W9S7TJ9ZEG
| URI | m2://inv/W9S7TJ9ZEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4940677, Bombieri norm (unknown). Also MathWorld BombieriNorm
- wikipedia: Wikipedia Bombieri norm, Bombieri norm (definition). Also Wikidata Q4940677
History
- 2026-10-26: add by m2/dev
Properties W9SBSYVYT5
| URI | m2://inv/W9SBSYVYT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular graph#LVHB, Properties (statement)
History
- 2026-11-02: add by m2/dev
\mycite{nguyen2023neurons} Corollary 3.8 W9SCJVK24E
| URI | m2://inv/W9SCJVK24E |
|---|---|
| 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.21017#HKQQ, \mycite{nguyen2023neurons} Corollary 3.8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Boris Levin W9SDECC54H
| URI | m2://inv/W9SDECC54H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DLAU, Boris Levin (topic)
History
- 2026-11-02: add by m2/dev
Structural stability of reciprocal circle locking W9SF5WRVTN
| URI | m2://inv/W9SF5WRVTN |
|---|---|
| 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.15686#SATL, Structural stability of reciprocal circle locking (statement). In 4HCK722M2G/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations W9SGT9TXAQ
| URI | m2://inv/W9SGT9TXAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Li's criterion#QOLX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
History of business intelligence W9SHTSRB48
| URI | m2://inv/W9SHTSRB48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Business intelligence#TM0F, History of business intelligence (unknown)
History
- 2026-11-02: add by m2/dev
Wirtinger's representation and projection theorem W9SKKG4A1D
| URI | m2://inv/W9SKKG4A1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger's representation and projection theorem, Wirtinger's representation and projection theorem (statement). Also Wikidata Q8027028
History
- 2026-11-02: add by m2/dev
Franz Baader W9SSB2SNAY
| URI | m2://inv/W9SSB2SNAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TNWY, Franz Baader (unknown)
History
- 2026-11-02: add by m2/dev
W9SVREGTB0 W9SVREGTB0
| URI | m2://inv/W9SVREGTB0 |
|---|---|
| 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.38532#JKPF (statement). In X7YYWCZFTV/e1, lemma 2.12
History
- 2026-10-30: add by m2/v0.4.12
High-dimensional model representation W9T00KC3EZ
| URI | m2://inv/W9T00KC3EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia High-dimensional model representation, High-dimensional model representation (definition). Also Wikidata Q5754508
History
- 2026-11-02: add by m2/dev
Quasidihedral group W9T129GJ32
| URI | m2://inv/W9T129GJ32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasidihedral group, Quasidihedral group (definition). Also Wikidata Q2122434
History
- 2026-11-02: add by m2/dev
W9T1VE3W2X W9T1VE3W2X
| URI | m2://inv/W9T1VE3W2X |
|---|---|
| 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#TPQE (statement). In YVGRZK1HRS/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
General der Nachrichtenaufklärung Training Referat W9T8GHR1E1
| URI | m2://inv/W9T8GHR1E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General der Nachrichtenaufklärung Training Referat, General der Nachrichtenaufklärung Training Referat (definition). Also Wikidata Q48817347
History
- 2026-11-02: add by m2/dev
W9TDZEVMWB W9TDZEVMWB
| URI | m2://inv/W9TDZEVMWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#713R (statement). In N0JJM098W2/e1, theorem 24
History
- 2026-10-27: add by m2/v0.4.0
W9TE3N81EK W9TE3N81EK
| URI | m2://inv/W9TE3N81EK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-200 (exercise). In VNMV985MXX, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
W9TK2N2MWC W9TK2N2MWC
| URI | m2://inv/W9TK2N2MWC |
|---|---|
| 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.03298#CUDH (statement). In 9SBZP218SM/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
W9V78PPQDW W9V78PPQDW
| URI | m2://inv/W9V78PPQDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14076#4PJ4 (statement). In HE0AHBPDFZ/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
W9VE5A1TK2 W9VE5A1TK2
| URI | m2://inv/W9VE5A1TK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ILY7 (statement). In 3A4K47Y9F2/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.4.0
Affine Volterra jump processes W9VKN2B5XH
| URI | m2://inv/W9VKN2B5XH |
|---|---|
| Kind | example |
| 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.31102#T2FL, Affine Volterra jump processes (example). In 7CADATJMAA/e1, example 3.3
History
- 2026-10-31: add by m2/v0.5.6
W9VM3NV28F W9VM3NV28F
| URI | m2://inv/W9VM3NV28F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#DQPX (definition)
History
- 2026-11-01: add by m2/v0.6.15
W9VNP2JXW8 W9VNP2JXW8
| URI | m2://inv/W9VNP2JXW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#definition-4 (definition). In 649HGZKE96, definition, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
W9W4F0CYRW W9W4F0CYRW
| URI | m2://inv/W9W4F0CYRW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#WJZE (definition). In Z7E16PFFCP/e1, definition 3.10
History
- 2026-10-30: add by m2/v0.4.12
Covering by weight W9W8T07N05
| URI | m2://inv/W9W8T07N05 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#28YQ, Covering by weight (definition). In B6PCH930FV/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.10
Construction W9WEXK4NYF
| URI | m2://inv/W9WEXK4NYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exp algebra#TOLG, Construction (definition)
History
- 2026-11-02: add by m2/dev
Essential argmax set W9WH1AYRYP
| URI | m2://inv/W9WH1AYRYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2609.27918#XS9N, Essential argmax set (definition)
History
- 2026-11-01: add by m2/v0.6.15
W9WP87RHA2 W9WP87RHA2
| URI | m2://inv/W9WP87RHA2 |
|---|---|
| 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.26896#7SOD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition W9WTMBH6VQ
| URI | m2://inv/W9WTMBH6VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger constant#H7U4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition W9X2Q6F723
| URI | m2://inv/W9X2Q6F723 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#69Y3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Caryn Navy W9X4FZE7Y2
| URI | m2://inv/W9X4FZE7Y2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#K6YD, Caryn Navy (topic)
History
- 2026-11-02: add by m2/dev
Genus-zero closed formulae W9X55KX3BD
| URI | m2://inv/W9X55KX3BD |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#BKPY, Genus-zero closed formulae (conjecture). In 77TK7M3B9Y/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
W9XBQ0BRQC W9XBQ0BRQC
| URI | m2://inv/W9XBQ0BRQC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#1ZCJ (definition). In 9Z5M655EPV/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Tom Kibble W9XBXREFS7
| URI | m2://inv/W9XBXREFS7 |
|---|---|
| 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 Q926167, Tom Kibble (unknown). Also nLab Tom Kibble
History
- 2026-10-26: add by m2/dev
Inflation of monomial structures W9XDEMP8FK
| URI | m2://inv/W9XDEMP8FK |
|---|---|
| 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 2610.21675#QRM1, Inflation of monomial structures (example). In TB1294GY5X/e1, example 3.10
History
- 2026-10-27: add by m2/v0.4.2
Ruled surface W9XDR8TQ57
| URI | m2://inv/W9XDR8TQ57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#XQOI, Ruled surface (definition)
History
- 2026-11-02: add by m2/dev
W9XNDXCCS0 W9XNDXCCS0
| URI | m2://inv/W9XNDXCCS0 |
|---|---|
| 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.32829#TZNY (statement). In RYWAX33Z51/e1, lemma 4.32
History
- 2026-10-31: add by m2/v0.5.6
Jack Hirsch W9XQF1NAMF
| URI | m2://inv/W9XQF1NAMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#4N5L, Jack Hirsch (unknown)
History
- 2026-11-02: add by m2/dev
Column order W9XT6SJYRG
| URI | m2://inv/W9XT6SJYRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#XEL5, Column order (statement). In ZPCYW4N0EH/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
first-order structure W9Y3RSRG83
| URI | m2://inv/W9Y3RSRG83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Model theory > first-order structure, first-order structure (unknown). Also Mathlib FirstOrder.Language.Structure
History
- 2026-10-26: add by m2/dev
Jan de Lange W9YNPZDR0E
| URI | m2://inv/W9YNPZDR0E |
|---|---|
| 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#ET8N, Jan de Lange (unknown)
History
- 2026-11-02: add by m2/dev
W9YVWXZQS7 W9YVWXZQS7
| URI | m2://inv/W9YVWXZQS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#R99S (statement). In WJD9YPGGYH/e1, corollary 8.1
History
- 2026-10-27: add by m2/v0.3.5
Commuting moves give Natarajan shattering W9YW2Z4CK7
| URI | m2://inv/W9YW2Z4CK7 |
|---|---|
| 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.18154#49A1, Commuting moves give Natarajan shattering (statement). In 4W7ARR1DAR/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Two Rivers Township, Morrison County, Minnesota W9YWR6FY2E
| URI | m2://inv/W9YWR6FY2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1YYM, Two Rivers Township, Morrison County, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
Theorem Proving System W9Z0H4D3JP
| URI | m2://inv/W9Z0H4D3JP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter B. Andrews#K1GH, Theorem Proving System (statement)
History
- 2026-11-02: add by m2/dev
Methods W9Z5142BWC
| URI | m2://inv/W9Z5142BWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Force-directed graph drawing#W1FQ, Methods (definition)
History
- 2026-11-02: add by m2/dev
Monte Carlo methods in finance W9Z7NS5WK7
| URI | m2://inv/W9Z7NS5WK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#25YW, Monte Carlo methods in finance (definition)
History
- 2026-11-02: add by m2/dev
Functional differential equation W9ZMQ8TY1Z
| URI | m2://inv/W9ZMQ8TY1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#7RDG, Functional differential equation (definition)
History
- 2026-11-02: add by m2/dev
Section Thirty, Minnesota W9ZPFWYA5Y
| URI | m2://inv/W9ZPFWYA5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VS9U, Section Thirty, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
Examples W9ZT0EB100
| URI | m2://inv/W9ZT0EB100 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac structure#WQP6, Examples (example)
History
- 2026-11-02: add by m2/dev
W9ZZ7KFG81 W9ZZ7KFG81
| URI | m2://inv/W9ZZ7KFG81 |
|---|---|
| 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#63JL (definition). In JXTG8KP95P/e1, definition 2.25
History
- 2026-10-30: add by m2/v0.4.12
W9ZZZDN0ED W9ZZZDN0ED
| URI | m2://inv/W9ZZZDN0ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17571#KEVQ (statement). In SWFN2HCEE7/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2