Inventory rows W1
The cards of the rows of the inventory whose ids start with W1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Factorization W1020TD5GA
| URI | m2://inv/W1020TD5GA |
|---|---|
| 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.14695#YNSF, Factorization (statement). In T15EJSPCNG/e1, lemma \thechapter.C.2
History
- 2026-10-28: add by m2/v0.4.2
Shou-Wu Zhang W109P34120
| URI | m2://inv/W109P34120 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#ALTT, Shou-Wu Zhang (topic)
History
- 2026-11-02: add by m2/dev
Rolf Nevanlinna W10PMK0NQG
| URI | m2://inv/W10PMK0NQG |
|---|---|
| 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#1SDG, Rolf Nevanlinna (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6EHR, Rolf Nevanlinna (unknown)
History
- 2026-11-02: add by m2/dev
Cartesian geometry W10R3B16XT
| URI | m2://inv/W10R3B16XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#E5WK, Cartesian geometry (definition)
History
- 2026-11-02: add by m2/dev
Rademacher's generalization of the reciprocity law W10TWK2B1F
| URI | m2://inv/W10TWK2B1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind sum#TUQE, Rademacher's generalization of the reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Construction W110C4K0G0
| URI | m2://inv/W110C4K0G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated cube#T10N, Construction (definition)
History
- 2026-11-02: add by m2/dev
W110K61K6P W110K61K6P
| URI | m2://inv/W110K61K6P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#HOBG (definition)
History
- 2026-11-02: add by m2/v0.6.18
Skipjack W115QTJ0N6
| URI | m2://inv/W115QTJ0N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#YZHW, Skipjack (definition)
History
- 2026-11-02: add by m2/dev
Sendov's conjecture W1176W6CKP
| URI | m2://inv/W1176W6CKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PG75, Sendov's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg W119J4CTSD
| URI | m2://inv/W119J4CTSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4667320, Abhandlungen aus dem Mathematischen Seminar der Universitaet Hamburg (unknown). Also ProofWiki Book:Journal/Abhandlungen_aus_dem_Mathematischen_Seminar_der_Universität_Hamburg
History
- 2026-10-26: add by m2/dev
coadjoint W11EEMYB6J
| URI | m2://inv/W11EEMYB6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#1XEN, coadjoint (definition)
History
- 2026-11-02: add by m2/dev
W11FCF6Q8V W11FCF6Q8V
| URI | m2://inv/W11FCF6Q8V |
|---|---|
| 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#T18N (statement). In X923ZEY423/e1, lemma 1.3.3
History
- 2026-10-27: add by m2/v0.3.5
W11Y1ES1SF W11Y1ES1SF
| URI | m2://inv/W11Y1ES1SF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 14-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20361#P0HA (definition)
History
- 2026-11-02: add by m2/v0.6.18
Defect coloring of the forcers W11YFX1M3F
| URI | m2://inv/W11YFX1M3F |
|---|---|
| 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.30315#67XM, Defect coloring of the forcers (statement). In FXTCVHYW5S/e1, lemma 5.9
History
- 2026-10-31: add by m2/v0.5.6
Line segment intersection W11YT9T22D
| URI | m2://inv/W11YT9T22D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#FZ9I, Line segment intersection (definition)
History
- 2026-11-02: add by m2/dev
Definition W1206RXH0J
| URI | m2://inv/W1206RXH0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refractive index#RJQO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Modular-fibre replacement W120S9PFPX
| URI | m2://inv/W120S9PFPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#UZVN, Modular-fibre replacement (statement). In TC5QA4AB4Z/e1, theorem 3.23
History
- 2026-10-30: add by m2/v0.4.12
W126RR8C4F W126RR8C4F
| URI | m2://inv/W126RR8C4F |
|---|---|
| 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.33015#6X2R (statement). In W6Y6NPK648/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Examples W127GHF8KW
| URI | m2://inv/W127GHF8KW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric series#JL5V, Examples (example)
History
- 2026-11-02: add by m2/dev
W129FDRSF6 W129FDRSF6
| URI | m2://inv/W129FDRSF6 |
|---|---|
| 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.23595#9ZD3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
W12FKSXT9C W12FKSXT9C
| URI | m2://inv/W12FKSXT9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#09S8 (definition). In XD0YT3XCW2/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
EVD pseudo-gradient W12M8MG041
| URI | m2://inv/W12M8MG041 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32505#DXK3, EVD pseudo-gradient (definition). In N8MYP1Z659/e1, definition 5.3
History
- 2026-10-31: add by m2/v0.5.6
W12N13BK1X W12N13BK1X
| URI | m2://inv/W12N13BK1X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#WEJO (definition). In G1RP4JY5PE/e1, definition 2.4.1
History
- 2026-10-31: add by m2/v0.5.6
quasi-inverse W12YX4JPQV
| URI | m2://inv/W12YX4JPQV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.1/quasi-inverse, quasi-inverse (concept). In N54F33XE07, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
W133MD5ZT9 W133MD5ZT9
| URI | m2://inv/W133MD5ZT9 |
|---|---|
| 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#5E4I (statement). In RYWAX33Z51/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
Triangle strip W134DWJFAY
| URI | m2://inv/W134DWJFAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#C3EU, Triangle strip (unknown)
History
- 2026-11-02: add by m2/dev
W13577JVPS W13577JVPS
| URI | m2://inv/W13577JVPS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Franc Hočevar W136GHWQA4
| URI | m2://inv/W136GHWQA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franc Hočevar, Franc Hočevar (topic). Also Wikidata Q5478230
History
- 2026-11-02: add by m2/dev
Population-averaged cost and diffuse-weight limit W13GD1CZ3R
| URI | m2://inv/W13GD1CZ3R |
|---|---|
| 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.16680#R7JT, Population-averaged cost and diffuse-weight limit (statement). In H29YHXQZV6/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
source, of a path constructor W13K8K555H
| URI | m2://inv/W13K8K555H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/source-of-a-path-constructor, source, of a path constructor (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
W1413M9SFT W1413M9SFT
| URI | m2://inv/W1413M9SFT |
|---|---|
| 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.08052#1M6K (statement). In 672XAVEQ34/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
Russell's paradox W14383V9WF
| URI | m2://inv/W14383V9WF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Russell's paradox 0HESMMSYEG |
Mentions
- wikidata: Wikidata Q33401, Russell's paradox (statement). Also MathWorld RussellsAntinomy, nLab Russell's paradox, ProofWiki Russell's_Paradox
- wikipedia: Wikipedia Russell's paradox, Russell's paradox (statement). Also Wikidata Q33401
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Eugene Dynkin W1465WMMZP
| URI | m2://inv/W1465WMMZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#5YE7, Eugene Dynkin (topic)
History
- 2026-11-02: add by m2/dev
Definition W1473FQ8H8
| URI | m2://inv/W1473FQ8H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process#MRZE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jouko Väänänen W14BF2SDWT
| URI | m2://inv/W14BF2SDWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L8DC, Jouko Väänänen (topic)
History
- 2026-11-02: add by m2/dev
Thomas John I'Anson Bromwich W14FNS9790
| URI | m2://inv/W14FNS9790 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G8VQ, Thomas John I'Anson Bromwich (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0B4L, Thomas John I'Anson Bromwich (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P61J, Thomas John I'Anson Bromwich (unknown)
History
- 2026-11-02: add by m2/dev
W14GC0CQNW W14GC0CQNW
| URI | m2://inv/W14GC0CQNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
Jan Philip Solovej W14RNPM7T0
| URI | m2://inv/W14RNPM7T0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Philip Solovej, Jan Philip Solovej (topic). Also Wikidata Q1520792
History
- 2026-11-02: add by m2/dev
W14X47YRB7 W14X47YRB7
| URI | m2://inv/W14X47YRB7 |
|---|---|
| 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.11047#7K6W (statement). In MNQAZ70XTH/e1, proposition 13.1
History
- 2026-10-28: add by m2/v0.4.3
Nordling, Carl O. W15JMSDJS9
| URI | m2://inv/W15JMSDJS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BP6F, Nordling, Carl O. (unknown)
History
- 2026-11-02: add by m2/dev
Andreea Erciulescu W15K40MWKN
| URI | m2://inv/W15K40MWKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreea Erciulescu, Andreea Erciulescu (topic). Also Wikidata Q134239101
History
- 2026-11-02: add by m2/dev
The boundary graph carries $H_1$ W15TQNK9N3
| URI | m2://inv/W15TQNK9N3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26196#1V0W, The boundary graph carries $H_1$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantitative tree-like skeleton W15XYNEGE5
| URI | m2://inv/W15XYNEGE5 |
|---|---|
| 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.21454#8HML, Quantitative tree-like skeleton (statement). In ZP2RJFZ3V2/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
W160D5BCR8 W160D5BCR8
| URI | m2://inv/W160D5BCR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#87J3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
W161B4PEJZ W161B4PEJZ
| URI | m2://inv/W161B4PEJZ |
|---|---|
| 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.13745#RDFR (statement). In CFJH0Q39FZ/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Polynomial form of the defect W16K53TW25
| URI | m2://inv/W16K53TW25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#9KTY, Polynomial form of the defect (statement). In 9S7HGSEX6Q/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Corollary W16PJKYNV3
| URI | m2://inv/W16PJKYNV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance matrix#4WQF, Corollary (statement)
History
- 2026-11-02: add by m2/dev
W16Q4S28GN W16Q4S28GN
| URI | m2://inv/W16Q4S28GN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-67 (exercise). In E59CDZA4DP, exercise, section 4.6.3
History
- 2026-11-01: add by m2/v0.6.13
W16QHEVVAC W16QHEVVAC
| URI | m2://inv/W16QHEVVAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#J49M (statement). In S7PNTM0GZC/e1, proposition 1.20
History
- 2026-10-28: add by m2/v0.4.2
W16R7EMXPK W16R7EMXPK
| URI | m2://inv/W16R7EMXPK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2610.21365#5G5O (definition). In FCMMB2EVAP/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
bimodal distribution W1748JJG3Q
| URI | m2://inv/W1748JJG3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q255598, bimodal distribution (unknown). Also MathWorld BimodalDistribution
History
- 2026-10-26: add by m2/dev
Formulation W175Y5Q37H
| URI | m2://inv/W175Y5Q37H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galilean invariance#8OGJ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
One diagonal primary series suffices W17CQRENS1
| URI | m2://inv/W17CQRENS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#77ZM, One diagonal primary series suffices (statement). In RWNP4FEE65/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.3
Gottlieb polynomials W17T48036Z
| URI | m2://inv/W17T48036Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gottlieb polynomials, Gottlieb polynomials (definition). Also Wikidata Q5588078
History
- 2026-11-02: add by m2/dev
W17WQKK6K6 W17WQKK6K6
| URI | m2://inv/W17WQKK6K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#TWVS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gretl W17YCBTEGK
| URI | m2://inv/W17YCBTEGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O889, Gretl (definition)
History
- 2026-11-02: add by m2/dev
W18CWCHFCV W18CWCHFCV
| URI | m2://inv/W18CWCHFCV |
|---|---|
| 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.07114#AJ1U (statement). In HP3TM356J6/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Method of fundamental solutions W18D0TWGBG
| URI | m2://inv/W18D0TWGBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of fundamental solutions, Method of fundamental solutions (definition). Also Wikidata Q6823714
History
- 2026-11-02: add by m2/dev
W18DCJ0K36 W18DCJ0K36
| URI | m2://inv/W18DCJ0K36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#prop:lv_n_deptype_sec_equiv_by_precomp (statement). In N54F33XE07, thm, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
W18DMX4W5N W18DMX4W5N
| URI | m2://inv/W18DMX4W5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#UXWB (statement). In GVR218P3ZR/e1, lemma 2.1.3
History
- 2026-10-30: add by m2/v0.4.12
cosine integral W18GRNF898
| URI | m2://inv/W18GRNF898 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#AN0A, cosine integral (definition)
History
- 2026-11-02: add by m2/dev
W18M949296 W18M949296
| URI | m2://inv/W18M949296 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#0AQ9 (statement). In Q5Z178SAHP/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Probabilistic programming W18VJ2TVTF
| URI | m2://inv/W18VJ2TVTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic programming, Probabilistic programming (definition). Also Wikidata Q7246865
History
- 2026-11-02: add by m2/dev
Geneviève Gauthier W190N7T19T
| URI | m2://inv/W190N7T19T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geneviève Gauthier, Geneviève Gauthier (topic). Also Wikidata Q42938157
History
- 2026-11-02: add by m2/dev
W1916K6N2F W1916K6N2F
| URI | m2://inv/W1916K6N2F |
|---|---|
| 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.07114#UUAU (statement). In HP3TM356J6/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
W19B9EYPZQ W19B9EYPZQ
| URI | m2://inv/W19B9EYPZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22667#IQBH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Weber modular function W19JRW6P4B
| URI | m2://inv/W19JRW6P4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weber modular function, Weber modular function (definition). Also Wikidata Q7978767
History
- 2026-11-02: add by m2/dev
W19M80DE6W W19M80DE6W
| URI | m2://inv/W19M80DE6W |
|---|---|
| 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.00358#61EH (statement). In C5WGCSPM6W/e1, corollary 7.1
History
- 2026-10-30: add by m2/v0.4.12
Whitehead's axioms W19R61GBAF
| URI | m2://inv/W19R61GBAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective geometry#HYFV, Whitehead's axioms (statement)
History
- 2026-11-02: add by m2/dev
Example W1A1BME08V
| URI | m2://inv/W1A1BME08V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row and column spaces#LT0Z, Example (example)
History
- 2026-11-02: add by m2/dev
Distributional Fractal Taylor's Formula, With or Without Error Term, at Level $k=0$: Case of Simple Poles W1A5ZZF19Y
| URI | m2://inv/W1A5ZZF19Y |
|---|---|
| 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.22759#YCTI, Distributional Fractal Taylor's Formula, With or Without Error Term, at Level $k=0$: Case of Simple Poles (statement)
History
- 2026-11-02: add by m2/v0.6.17
W1A9GB3ABQ W1A9GB3ABQ
| URI | m2://inv/W1A9GB3ABQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#activity-2 (exercise). In 649HGZKE96, activity, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
Eugen Cornelius Joseph von Lommel W1AE8AYVFM
| URI | m2://inv/W1AE8AYVFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#5WR0, Eugen Cornelius Joseph von Lommel (unknown)
History
- 2026-11-02: add by m2/dev
W1AKYN3NBW W1AKYN3NBW
| URI | m2://inv/W1AKYN3NBW |
|---|---|
| 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.32078#XZQK (statement). In 5PN85N6EJF/e1, lemma C.6
History
- 2026-10-31: add by m2/v0.5.6
Six, West Virginia W1ANVQVR00
| URI | m2://inv/W1ANVQVR00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DXTK, Six, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
W1AT8DSNWT W1AT8DSNWT
| URI | m2://inv/W1AT8DSNWT |
|---|---|
| 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.18744#ABXL (statement). In AE07JDH5D3/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
W1B0C98B68 W1B0C98B68
| URI | m2://inv/W1B0C98B68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#3AFB (statement). In ZG0GNHTCWB/e1, proposition 6.4
History
- 2026-10-31: add by m2/v0.5.6
The continuum sine kernel W1B2E6GXJ9
| URI | m2://inv/W1B2E6GXJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#S3EI, The continuum sine kernel (statement). In JY6RYSNXMJ/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
W1B55NXZKB W1B55NXZKB
| URI | m2://inv/W1B55NXZKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#007W (statement). In YNE0Q2X61Y/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
W1B6Z2NE0G W1B6Z2NE0G
| URI | m2://inv/W1B6Z2NE0G |
|---|---|
| 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.39726#7G9P (statement). In 4CTC8A57SD/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
W1B8NC2G3Q W1B8NC2G3Q
| URI | m2://inv/W1B8NC2G3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#UIPC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Biquadratic trace--norm identity W1BA2Y6JRN
| URI | m2://inv/W1BA2Y6JRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#O9D7, Biquadratic trace--norm identity (statement). In 7NS75J7HAM/e1, lemma 8.2
History
- 2026-10-31: add by m2/v0.5.6
Examples W1BBZK03ZH
| URI | m2://inv/W1BBZK03ZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Tits group#5KDQ, Examples (example)
History
- 2026-11-02: add by m2/dev
W1BC52CYY5 W1BC52CYY5
| URI | m2://inv/W1BC52CYY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29631#MNFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
W1BDHKEHGZ W1BDHKEHGZ
| URI | m2://inv/W1BDHKEHGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21732#1OY4 (statement). In 6DJDRXDQNB/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
PKCS 12 W1BMJME55R
| URI | m2://inv/W1BMJME55R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PKCS 12, PKCS 12 (definition). Also Wikidata Q3359717
History
- 2026-11-02: add by m2/dev
Daniel Kane W1BN96VNGP
| URI | m2://inv/W1BN96VNGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Kane (mathematician), Daniel Kane (topic). Also Wikidata Q934494
History
- 2026-11-02: add by m2/dev
Location parameter W1BQFAEBM1
| URI | m2://inv/W1BQFAEBM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WHC7, Location parameter (definition)
- wikipedia: Wikipedia List of probability topics#VD7O, Location parameter (definition)
History
- 2026-11-02: add by m2/dev
W1BQZE529E W1BQZE529E
| URI | m2://inv/W1BQZE529E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#06G6 (statement). In 29EH04FH4B/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
W1BYFVS5MR W1BYFVS5MR
| URI | m2://inv/W1BYFVS5MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11481#W9E7 (statement). In 8XHK5ZCX7H/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Properties W1C0KBEGN5
| URI | m2://inv/W1C0KBEGN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vysochanskij–Petunin inequality#GLPX, Properties (statement)
History
- 2026-11-02: add by m2/dev
isohedron W1C51XZKMF
| URI | m2://inv/W1C51XZKMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23821397, isohedron (unknown). Also MathWorld Isohedron
History
- 2026-10-26: add by m2/dev
Same-gap seam closure W1C895H4EC
| URI | m2://inv/W1C895H4EC |
|---|---|
| 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.24931#CG1Y, Same-gap seam closure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties W1CD00330R
| URI | m2://inv/W1CD00330R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô calculus#7PD6, Properties (statement)
History
- 2026-11-02: add by m2/dev
W1CW326PG7 W1CW326PG7
| URI | m2://inv/W1CW326PG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#definition-8 (definition). In RZP28ERRZV, definition, section 32.6
History
- 2026-11-01: add by m2/v0.6.13
Commitment scheme W1D1NMEPFW
| URI | m2://inv/W1D1NMEPFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commitment scheme, Commitment scheme (definition). Also Wikidata Q1115684
History
- 2026-11-02: add by m2/dev
Infinitesimal W1D4TQSF5G
| URI | m2://inv/W1D4TQSF5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#MTO8, Infinitesimal (definition)
History
- 2026-11-02: add by m2/dev
Examples W1D6S5WNSD
| URI | m2://inv/W1D6S5WNSD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper morphism#IUIN, Examples (example)
History
- 2026-11-02: add by m2/dev
W1DCY8844Z W1DCY8844Z
| URI | m2://inv/W1DCY8844Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#def:pointedtype (definition). In N54F33XE07, defn, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
W1DE6FA37Y W1DE6FA37Y
| URI | m2://inv/W1DE6FA37Y |
|---|---|
| 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.26592#ICN0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
W1DEY186M1 W1DEY186M1
| URI | m2://inv/W1DEY186M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#A5UA (statement). In A93R925Z24/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Lists of integrals W1DJA9QMXZ
| URI | m2://inv/W1DJA9QMXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#32CY, Lists of integrals (topic)
- wikipedia: Wikipedia List of theorems#2818, Lists of integrals (topic)
History
- 2026-11-02: add by m2/dev
Aaron Pixton W1DSDMBCQM
| URI | m2://inv/W1DSDMBCQM |
|---|---|
| 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#C78L, Aaron Pixton (unknown)
History
- 2026-11-02: add by m2/dev
Definitions and axioms of extensionality and pairing W1DVT817WJ
| URI | m2://inv/W1DVT817WJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#JAUI, Definitions and axioms of extensionality and pairing (statement)
History
- 2026-11-02: add by m2/dev
If and only if W1DYTD0DQG
| URI | m2://inv/W1DYTD0DQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#1KIQ, If and only if (definition)
History
- 2026-11-02: add by m2/dev
Uniform Fourier decay along a continuous path W1E76PKGRS
| URI | m2://inv/W1E76PKGRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06788#FZL3, Uniform Fourier decay along a continuous path (statement). In B2VE3JQZD3/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
Applications W1E8YYQ62E
| URI | m2://inv/W1E8YYQ62E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of variations#142T, Applications (example)
History
- 2026-11-02: add by m2/dev
W1ECCKFKHZ W1ECCKFKHZ
| URI | m2://inv/W1ECCKFKHZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#WJ69 (example)
History
- 2026-11-01: add by m2/v0.6.15
Computable model theory W1EHWH83MK
| URI | m2://inv/W1EHWH83MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#RII5, Computable model theory (definition)
History
- 2026-11-02: add by m2/dev
inductive set W1EPV0F82K
| URI | m2://inv/W1EPV0F82K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q504608, inductive set (unknown). Also MathWorld InductiveSet
- wikipedia: Wikipedia Inductive set, Inductive set (definition). Also Wikidata Q504608
History
- 2026-10-26: add by m2/dev
false dichotomy W1EV06WJ3R
| URI | m2://inv/W1EV06WJ3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#T7F0, false dichotomy (definition)
History
- 2026-11-02: add by m2/dev
Applications W1EVQYDVK6
| URI | m2://inv/W1EVQYDVK6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible cellular automaton#P46A, Applications (example)
History
- 2026-11-02: add by m2/dev
W1F8CRS12R W1F8CRS12R
| URI | m2://inv/W1F8CRS12R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16404#LFEF (definition). In PQ7W037C2H/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
R. H. Bruck W1FM03E4EN
| URI | m2://inv/W1FM03E4EN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. H. Bruck, R. H. Bruck (topic). Also Wikidata Q2149135
History
- 2026-11-02: add by m2/dev
Examples W1FMY60QXZ
| URI | m2://inv/W1FMY60QXZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urysohn and completely Hausdorff spaces#8UMR, Examples (example)
History
- 2026-11-02: add by m2/dev
W1FSHPB8C0 W1FSHPB8C0
| URI | m2://inv/W1FSHPB8C0 |
|---|---|
| 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 2405.10747#KGDZ (statement). In X0PS03QCG0/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
W1FTB7RGCR W1FTB7RGCR
| URI | m2://inv/W1FTB7RGCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#LQ0N (statement). In KCY80F2YGP/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.3
Variance propagation under the response tilt W1FXEM0G27
| URI | m2://inv/W1FXEM0G27 |
|---|---|
| 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.14695#15K3, Variance propagation under the response tilt (statement). In T15EJSPCNG/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Reduced-iteration errors W1G3R01CG2
| URI | m2://inv/W1G3R01CG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#P1WF, Reduced-iteration errors (statement). In XD603HRHKC/e1, corollary B.8
History
- 2026-10-30: add by m2/v0.4.12
W1G41WA2P0 W1G41WA2P0
| URI | m2://inv/W1G41WA2P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06381#Y45A (statement). In X9JKBDHACW/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.10
∓ W1G8VVWP6G
| URI | m2://inv/W1G8VVWP6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q87524447, ∓ (unknown). Also MathWorld MinusorPlus
History
- 2026-10-26: add by m2/dev
W1GCF053GD W1GCF053GD
| URI | m2://inv/W1GCF053GD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-63 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Department of Economic Planning and Statistics W1GJCP2GXP
| URI | m2://inv/W1GJCP2GXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Department of Economic Planning and Statistics, Department of Economic Planning and Statistics (definition). Also Wikidata Q108381593
History
- 2026-11-02: add by m2/dev
artinian W1GKFDFHS5
| URI | m2://inv/W1GKFDFHS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#IE4K, artinian (definition)
History
- 2026-11-02: add by m2/dev
Tommy Prothro W1GVM7KZ68
| URI | m2://inv/W1GVM7KZ68 |
|---|---|
| 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#Y7IQ, Tommy Prothro (unknown)
History
- 2026-11-02: add by m2/dev
Henri Theil W1GWA8H3YA
| URI | m2://inv/W1GWA8H3YA |
|---|---|
| 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#L4ML, Henri Theil (unknown)
History
- 2026-11-02: add by m2/dev
A. A. Karacuba W1GZ4YYZAG
| URI | m2://inv/W1GZ4YYZAG |
|---|---|
| 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#QW2J, A. A. Karacuba (topic)
History
- 2026-11-02: add by m2/dev
Definition W1H4T28YD0
| URI | m2://inv/W1H4T28YD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hörmander's condition#6PC6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Eilenberg–Mazur W1H6RFR8Z5
| URI | m2://inv/W1H6RFR8Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#3IN2, Eilenberg–Mazur (definition)
History
- 2026-11-02: add by m2/dev
W1H81HHP8Z W1H81HHP8Z
| URI | m2://inv/W1H81HHP8Z |
|---|---|
| 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.21545#AIDX (statement). In 1Q3H75330M/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
Variations W1HB9AVEDX
| URI | m2://inv/W1HB9AVEDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized singular value decomposition#ORBK, Variations (statement)
History
- 2026-11-02: add by m2/dev
gauge symmetry W1HJHNZGAP
| URI | m2://inv/W1HJHNZGAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3507960, gauge symmetry (unknown). Also nLab gauge transformation
History
- 2026-10-26: add by m2/dev
W1HQW0D2R6 W1HQW0D2R6
| URI | m2://inv/W1HQW0D2R6 |
|---|---|
| Kind | example |
| 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.18084#WMVF (example). In PKPT8NY665/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
finitely generated module W1HTVQSQ49
| URI | m2://inv/W1HTVQSQ49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Finitely generated module 05QY1VEBYD |
Mentions
- wikidata: Wikidata Q1340572, finitely generated module (unknown). Also nLab finitely generated module
- wikipedia: Wikipedia Finitely generated module, Finitely generated module (definition). Also Wikidata Q1340572
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Orders of magnitude (less than one cubic millimetre) W1HVYQRR6Z
| URI | m2://inv/W1HVYQRR6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (volume)#45FS, Orders of magnitude (less than one cubic millimetre) (unknown)
History
- 2026-11-02: add by m2/dev
the subgroup formula for abelian groups W1HX3C10M9
| URI | m2://inv/W1HX3C10M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#HDEF, the subgroup formula for abelian groups (statement). In TPA3E67MKK/e1, corollary 7.13
History
- 2026-10-29: add by m2/v0.4.10
Paul S. Wesson W1HY8JKN8Q
| URI | m2://inv/W1HY8JKN8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#AHQC, Paul S. Wesson (unknown)
History
- 2026-11-02: add by m2/dev
Optimal experimental design W1J0N88VPP
| URI | m2://inv/W1J0N88VPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal experimental design, Optimal experimental design (definition). Also Wikidata Q7098942
History
- 2026-11-02: add by m2/dev
School of Mathematics, University of Edinburgh W1J497ZTFD
| URI | m2://inv/W1J497ZTFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia School of Mathematics, University of Edinburgh, School of Mathematics, University of Edinburgh (definition). Also Wikidata Q131299013
History
- 2026-11-02: add by m2/dev
A homothetic section in the signing polytope W1J6YBP55Q
| URI | m2://inv/W1J6YBP55Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#TKCI, A homothetic section in the signing polytope (statement). In 9YAE8FNQST/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Alexander Webster W1JCGDFZ6Y
| URI | m2://inv/W1JCGDFZ6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#WENI, Alexander Webster (unknown)
History
- 2026-11-02: add by m2/dev
Inverse secant W1JFBSP30K
| URI | m2://inv/W1JFBSP30K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#9L77, Inverse secant (definition)
History
- 2026-11-02: add by m2/dev
Orbit theorem (Nagano–Sussmann) W1JNX122PX
| URI | m2://inv/W1JNX122PX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7100033A, Orbit theorem (Nagano–Sussmann) (statement). Also Wikidata Q7100033
- mathlib_1000: mathlib_1000 Q7100033B, Rashevsky–Chow theorem (statement). Also Wikidata Q7100033
- thousand_plus: thousand_plus Q7100033A, Orbit theorem (Nagano–Sussmann) (statement). Also Wikidata Q7100033
- thousand_plus: thousand_plus Q7100033B, Rashevsky–Chow theorem (statement). Also Wikidata Q7100033
History
- 2026-10-26: add by m2/dev
W1JYS4E7TM W1JYS4E7TM
| URI | m2://inv/W1JYS4E7TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33953#JOMY (statement). In QS8R9BEJ8N/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
W1JZBN6VFJ W1JZBN6VFJ
| URI | m2://inv/W1JZBN6VFJ |
|---|---|
| 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 2404.06445#XVE2 (statement). In 12JKZ8EN52/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
W1K9NF3K5S W1K9NF3K5S
| URI | m2://inv/W1K9NF3K5S |
|---|---|
| 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 2609.24917#DXP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of geometric topology topics W1KBWWHK6X
| URI | m2://inv/W1KBWWHK6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics, List of geometric topology topics (topic). Also Wikidata Q6621618
History
- 2026-11-02: add by m2/dev
Coupon collector's problem W1KCARPHG8
| URI | m2://inv/W1KCARPHG8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coupon collector's problem, Coupon collector's problem (problem). Also Wikidata Q1148012
History
- 2026-11-02: add by m2/dev
5-demicubic honeycomb W1KCWETP5Q
| URI | m2://inv/W1KCWETP5Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-demicubic honeycomb, 5-demicubic honeycomb (object). Also Wikidata Q4639656
History
- 2026-11-02: add by m2/dev
W1KDNN8P7Y W1KDNN8P7Y
| URI | m2://inv/W1KDNN8P7Y |
|---|---|
| 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.14692#ISIJ (statement). In NE5EH5FXRV/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
History of fractals W1KF98T6GT
| URI | m2://inv/W1KF98T6GT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal#ZI2D, History of fractals (unknown)
History
- 2026-11-02: add by m2/dev
Application W1KFX0C8GM
| URI | m2://inv/W1KFX0C8GM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mac Lane's planarity criterion#VLCM, Application (example)
History
- 2026-11-02: add by m2/dev
W1KMVHA5CJ W1KMVHA5CJ
| URI | m2://inv/W1KMVHA5CJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#F98K (definition). In 4SZNPS3Z00/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.3.6
W1KQZQJY63 W1KQZQJY63
| URI | m2://inv/W1KQZQJY63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 55.12
History
- 2026-11-01: add by m2/v0.6.13
W1KQZVCBAQ W1KQZVCBAQ
| URI | m2://inv/W1KQZVCBAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#290U (statement). In S7PNTM0GZC/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
Fourier analysis W1KWZFVKJ6
| URI | m2://inv/W1KWZFVKJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NQSB, Fourier analysis (definition)
History
- 2026-11-02: add by m2/dev
W1KYYCZJ4Z W1KYYCZJ4Z
| URI | m2://inv/W1KYYCZJ4Z |
|---|---|
| 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.23629#BGDZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chain code W1M158Y4QT
| URI | m2://inv/W1M158Y4QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain code, Chain code (definition). Also Wikidata Q1453572
History
- 2026-11-02: add by m2/dev
W1M284KZ2X W1M284KZ2X
| URI | m2://inv/W1M284KZ2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22374#CDPD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gomp-ex law of growth W1M97CHWFX
| URI | m2://inv/W1M97CHWFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gompertz function#4SLU, Gomp-ex law of growth (statement)
History
- 2026-11-02: add by m2/dev
Craig Huneke W1M9ZPNB6X
| URI | m2://inv/W1M9ZPNB6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craig Huneke, Craig Huneke (topic). Also Wikidata Q15229573
History
- 2026-11-02: add by m2/dev
Max Black W1MH0BAWKA
| URI | m2://inv/W1MH0BAWKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Black, Max Black (topic). Also Wikidata Q687424
History
- 2026-11-02: add by m2/dev
John McKay W1MKVX81J0
| URI | m2://inv/W1MKVX81J0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JWA5, John McKay (topic)
History
- 2026-11-02: add by m2/dev
W1MMQQ0RN0 W1MMQQ0RN0
| URI | m2://inv/W1MMQQ0RN0 |
|---|---|
| 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.13852#FUFK (statement). In SXTGSAH3WF/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Delfino Codazzi W1MRNE5H49
| URI | m2://inv/W1MRNE5H49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delfino Codazzi, Delfino Codazzi (topic). Also Wikidata Q652940
History
- 2026-11-02: add by m2/dev
David Bronstein W1MYKA7GYK
| URI | m2://inv/W1MYKA7GYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SAUD, David Bronstein (unknown)
History
- 2026-11-02: add by m2/dev
Beurling–Lax theorem W1N11YAEDY
| URI | m2://inv/W1N11YAEDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527017, Beurling–Lax theorem (statement). Also Wikidata Q3527017
- thousand_plus: thousand_plus Q3527017, Beurling–Lax theorem (statement). Also Wikidata Q3527017, Wikipedia Beurling–Lax theorem
- wikipedia: Wikipedia Beurling–Lax theorem, Beurling–Lax theorem (statement). Also Wikidata Q3527017
History
- 2026-10-26: add by m2/dev
Kodaira dimension W1NB4YBX6B
| URI | m2://inv/W1NB4YBX6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira dimension, Kodaira dimension (definition). Also Wikidata Q6425087
History
- 2026-11-02: add by m2/dev
Base W1NJ58A5KQ
| URI | m2://inv/W1NJ58A5KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base (group theory), Base (definition). Also Wikidata Q4866358
History
- 2026-11-02: add by m2/dev
Proof using Chevalley's method W1NKZJPX29
| URI | m2://inv/W1NKZJPX29 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#R9CF, Proof using Chevalley's method (unknown). In KFCJ5CFP3G/e1, unknown A.3
History
- 2026-10-27: add by m2/v0.3.5
Properties W1NMPX8PDX
| URI | m2://inv/W1NMPX8PDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend periodic nonstationary processes#LJJW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Strong convexity on generalized geodesics W1NMZ9K7N6
| URI | m2://inv/W1NMZ9K7N6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#4BPS, Strong convexity on generalized geodesics (statement). In 9YAE8FNQST/e1, proposition 18.21
History
- 2026-10-30: add by m2/v0.4.12
Modal form of kernel equations W1NSTZ2B1X
| URI | m2://inv/W1NSTZ2B1X |
|---|---|
| Kind | statement |
| 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 2610.08764#DM8B, Modal form of kernel equations (statement). In QVFHS1C9BW/e1, proposition \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Hans Thirring W1NV9V7ZXB
| URI | m2://inv/W1NV9V7ZXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#AFSM, Hans Thirring (unknown)
History
- 2026-11-02: add by m2/dev
W1NWX9PBKW W1NWX9PBKW
| URI | m2://inv/W1NWX9PBKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#L1OI (statement). In HGE2NCQW29/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
W1NX7EQ33A W1NX7EQ33A
| URI | m2://inv/W1NX7EQ33A |
|---|---|
| Kind | definition |
| 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 2609.21914#6LCS (definition)
History
- 2026-11-02: add by m2/v0.6.17
W1P3XNFVK6 W1P3XNFVK6
| URI | m2://inv/W1P3XNFVK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#0OYW (statement). In DGE917KQSQ/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
W1P5QW5QXD W1P5QW5QXD
| URI | m2://inv/W1P5QW5QXD |
|---|---|
| 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.26337#90KH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction W1P8CF0FC3
| URI | m2://inv/W1P8CF0FC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schläfli graph#S7IR, Construction (definition)
History
- 2026-11-02: add by m2/dev
W1P8CSNP7H W1P8CSNP7H
| URI | m2://inv/W1P8CSNP7H |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#QZM7 (problem). In 332PQD90SW/e1, problem 3.15
History
- 2026-10-27: add by m2/v0.3.5
Forcing W1PFKC60K4
| URI | m2://inv/W1PFKC60K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing (computability), Forcing (definition). Also Wikidata Q5467584
History
- 2026-11-02: add by m2/dev
Example W1PHMRZX35
| URI | m2://inv/W1PHMRZX35 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minakshisundaram–Pleijel zeta function#OZVY, Example (example)
History
- 2026-11-02: add by m2/dev
Bronisław Knaster W1PM68HEMQ
| URI | m2://inv/W1PM68HEMQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#WTF9, Bronisław Knaster (topic)
History
- 2026-11-02: add by m2/dev
W1PRWYMVG5 W1PRWYMVG5
| URI | m2://inv/W1PRWYMVG5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#EI3C (definition). In M0SQY5EZN5/e1, definition 2.2.5
History
- 2026-10-27: add by m2/v0.3.5
Hard hexagon model W1PY18H228
| URI | m2://inv/W1PY18H228 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17020934, Hard hexagon model (concept). Also MathWorld HardHexagonEntropyConstant
- wikipedia: Wikipedia Hard hexagon model, Hard hexagon model (definition). Also Wikidata Q17020934
History
- 2026-10-26: add by m2/dev
Definition W1QBFEX3AE
| URI | m2://inv/W1QBFEX3AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric connection#4IQL, Definition (definition)
History
- 2026-11-02: add by m2/dev
W1QCW6P3X1 W1QCW6P3X1
| URI | m2://inv/W1QCW6P3X1 |
|---|---|
| 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.28518#H20G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transfer of a Schmidt tail to every purification W1QEGZYH7D
| URI | m2://inv/W1QEGZYH7D |
|---|---|
| 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.15199#ZJBU, Transfer of a Schmidt tail to every purification (statement). In EVFTDVP4K4/e1, lemma H.2
History
- 2026-10-28: add by m2/v0.4.2
Gromov–Witten invariant W1QF98WSRB
| URI | m2://inv/W1QF98WSRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov–Witten invariant, Gromov–Witten invariant (definition). Also Wikidata Q1547297
History
- 2026-11-02: add by m2/dev
W1QJGGFV2Q W1QJGGFV2Q
| URI | m2://inv/W1QJGGFV2Q |
|---|---|
| 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.14509#0XGI (statement). In N6GD8392QB/e1, theorem 13.2
History
- 2026-10-28: add by m2/v0.4.2
\probname{HittingSet W1QX437MTR
| URI | m2://inv/W1QX437MTR |
|---|---|
| Kind | problem |
| 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.38436#C0DN, \probname{HittingSet (problem). In 702AF3E4AF/e1, problem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Koras–Russell cubic threefold W1R69YMNRG
| URI | m2://inv/W1R69YMNRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koras–Russell cubic threefold, Koras–Russell cubic threefold (definition). Also Wikidata Q6431431
History
- 2026-11-02: add by m2/dev
maximum, absolute W1R6VDF5CG
| URI | m2://inv/W1R6VDF5CG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/maximum-absolute, maximum, absolute (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Mean signed difference W1R6WKCE8D
| URI | m2://inv/W1R6WKCE8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ECKX, Mean signed difference (definition)
History
- 2026-11-02: add by m2/dev
W1R7FVY7SY W1R7FVY7SY
| URI | m2://inv/W1R7FVY7SY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#proof-3 (proof). In RZP28ERRZV, proof, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
Strong connectivity augmentation W1RC0QPYBH
| URI | m2://inv/W1RC0QPYBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong connectivity augmentation, Strong connectivity augmentation (definition). Also Wikidata Q105274131
History
- 2026-11-02: add by m2/dev
Slicing the Truth W1RCJJYPV8
| URI | m2://inv/W1RCJJYPV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slicing the Truth, Slicing the Truth (definition). Also Wikidata Q96405840
History
- 2026-11-02: add by m2/dev
W1RG4YFC4D W1RG4YFC4D
| URI | m2://inv/W1RG4YFC4D |
|---|---|
| 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.00789#IT8W (statement). In 4WPYBTARS2/e1, proposition 2.25
History
- 2026-10-29: add by m2/v0.4.12
The density as a conserved quantity W1RJS8D9CD
| URI | m2://inv/W1RJS8D9CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.17026#L7KO, The density as a conserved quantity (statement). In 76G7J23DNZ/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
W1RJXKG39Z W1RJXKG39Z
| URI | m2://inv/W1RJXKG39Z |
|---|---|
| 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.20577#BC3G (statement). In 3P13XJQSVK/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
W1RRSNZ5WR W1RRSNZ5WR
| URI | m2://inv/W1RRSNZ5WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#PW62 (statement). In WE2KKAMEFW/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
W1RSQFG3EY W1RSQFG3EY
| URI | m2://inv/W1RSQFG3EY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#DTUA (definition)
History
- 2026-11-02: add by m2/v0.6.18
Mott polynomials W1RWSWW31C
| URI | m2://inv/W1RWSWW31C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6918637, Mott polynomials (unknown). Also MathWorld MottPolynomial
- wikipedia: Wikipedia Mott polynomials, Mott polynomials (definition). Also Wikidata Q6918637
History
- 2026-10-26: add by m2/dev
derived algebraic geometry W1S08R6V6R
| URI | m2://inv/W1S08R6V6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#KVVM, derived algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
Identity theorem W1S1CFAGWE
| URI | m2://inv/W1S1CFAGWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:identityanalytic, Identity theorem (statement). In E59CDZA4DP, thm, section 1.3.5
History
- 2026-11-01: add by m2/v0.6.13
W1S5YKGHXH W1S5YKGHXH
| URI | m2://inv/W1S5YKGHXH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-40 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
Cartan's theorems A and B W1SB63WCMB
| URI | m2://inv/W1SB63WCMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZS09, Cartan's theorems A and B (statement)
History
- 2026-11-02: add by m2/dev
W1SCVKWAGS W1SCVKWAGS
| URI | m2://inv/W1SCVKWAGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#1UPQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
W1SHP05BJV W1SHP05BJV
| URI | m2://inv/W1SHP05BJV |
|---|---|
| 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.02484#W92B (statement). In D1V0MQZTFQ/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
Example 1 W1SZPFX2FX
| URI | m2://inv/W1SZPFX2FX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-sided limit#IOBA, Example 1 (example)
History
- 2026-11-02: add by m2/dev
W1T25GEVC6 W1T25GEVC6
| URI | m2://inv/W1T25GEVC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#S5CV (statement). In 5KR3MHYVV6/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Central location test W1TF6CS0R6
| URI | m2://inv/W1TF6CS0R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central location test, Central location test (definition). Also Wikidata Q5062112
History
- 2026-11-02: add by m2/dev
A. D. Bruno W1TFH6HAPZ
| URI | m2://inv/W1TFH6HAPZ |
|---|---|
| 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#MUMG, A. D. Bruno (unknown)
History
- 2026-11-02: add by m2/dev
James Oxley W1TTHVGS1X
| URI | m2://inv/W1TTHVGS1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O22B, James Oxley (topic)
History
- 2026-11-02: add by m2/dev
Main theorem: many-one completeness of GAS W1TWM5BED9
| URI | m2://inv/W1TWM5BED9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#M33X, Main theorem: many-one completeness of GAS (statement). In YCRZC9SDCE/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
gyroelongated pentagonal cupolarotunda W1TYTH4GQ6
| URI | m2://inv/W1TYTH4GQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2351407, gyroelongated pentagonal cupolarotunda (object). Also MathWorld GyroelongatedPentagonalCupolarotunda
- wikipedia: Wikipedia Gyroelongated pentagonal cupolarotunda, Gyroelongated pentagonal cupolarotunda (definition). Also Wikidata Q2351407
History
- 2026-10-26: add by m2/dev
W1V0TSEEB1 W1V0TSEEB1
| URI | m2://inv/W1V0TSEEB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#B7NZ (statement). In REDG6QVHM3/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.12
W1V33BZPY9 W1V33BZPY9
| URI | m2://inv/W1V33BZPY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#CWCI (statement). In E7W2HDNEKJ/e1, theorem 5.17
History
- 2026-10-30: add by m2/v0.4.12
The Number of Platonic Solids W1V33GPS2C
| URI | m2://inv/W1V33GPS2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 50, The Number of Platonic Solids (statement)
History
- 2026-10-26: add by m2/dev
W1V38FXEKX W1V38FXEKX
| URI | m2://inv/W1V38FXEKX |
|---|---|
| Kind | statement |
| 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#VPF0 (statement). In PEXJPV3NP8/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Kai Cieliebak W1VCNK24T8
| URI | m2://inv/W1VCNK24T8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kai Cieliebak, Kai Cieliebak (topic). Also Wikidata Q102299569
History
- 2026-11-02: add by m2/dev
W1VDG4FRXC W1VDG4FRXC
| URI | m2://inv/W1VDG4FRXC |
|---|---|
| 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.37026#69VD (statement). In QGZPH9W8GY/e1, lemma A.7
History
- 2026-10-30: add by m2/v0.4.12
Application W1VN12WJXG
| URI | m2://inv/W1VN12WJXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fan chart (statistics)#19CB, Application (example)
History
- 2026-11-02: add by m2/dev
Brokard's theorem W1VR9T3CGR
| URI | m2://inv/W1VR9T3CGR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brokard's theorem, Brokard's theorem (statement). Also Wikidata Q131725508
History
- 2026-11-02: add by m2/dev
Erlang W1VWA2GEWN
| URI | m2://inv/W1VWA2GEWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erlang (unit), Erlang (definition). Also Wikidata Q225888
History
- 2026-11-02: add by m2/dev
Wavelet transform W1W2PTDJ7A
| URI | m2://inv/W1W2PTDJ7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#7FID, Wavelet transform (definition)
History
- 2026-11-02: add by m2/dev
Block tridiagonal matrix W1WG6TPVJA
| URI | m2://inv/W1WG6TPVJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block matrix#WJ1E, Block tridiagonal matrix (unknown)
History
- 2026-11-02: add by m2/dev
Generalization W1WNTSTDWF
| URI | m2://inv/W1WNTSTDWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a field extension#37MW, Generalization (statement)
History
- 2026-11-02: add by m2/dev
the last jump degree W1WT03GEX6
| URI | m2://inv/W1WT03GEX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#TP37, the last jump degree (statement). In TPA3E67MKK/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Coefficient strata and original divisors W1X2SSY7V2
| URI | m2://inv/W1X2SSY7V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#UAXL, Coefficient strata and original divisors (statement). In KFEASG3ZHS/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.2
Mass allocation W1X909TEYS
| URI | m2://inv/W1X909TEYS |
|---|---|
| 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#4R0V, Mass allocation (statement). In KM3Q791JY0/e1, proposition 4.25
History
- 2026-10-27: add by m2/v0.4.2
Conditional Gaussian comparison W1XP3B2NM2
| URI | m2://inv/W1XP3B2NM2 |
|---|---|
| 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.06875#GOGZ, Conditional Gaussian comparison (statement). In ZDT5J9KQVQ/e1, lemma F.6
History
- 2026-10-29: add by m2/v0.4.10
W1XQ3T2K4N W1XQ3T2K4N
| URI | m2://inv/W1XQ3T2K4N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-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.21860#5EBH (definition)
History
- 2026-11-02: add by m2/v0.6.18
Properties W1XTMS59HS
| URI | m2://inv/W1XTMS59HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered cube number#TDZB, Properties (statement)
History
- 2026-11-02: add by m2/dev
W1Y4FD2M10 W1Y4FD2M10
| URI | m2://inv/W1Y4FD2M10 |
|---|---|
| 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.02506#XUZV (statement). In 3JKRBZWJ33/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
W1YAZK7G0F W1YAZK7G0F
| URI | m2://inv/W1YAZK7G0F |
|---|---|
| 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.07040#L0MC (statement). In KMNXNW7FHP/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Cyclic d\'evissage W1YERYY9QQ
| URI | m2://inv/W1YERYY9QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#HUS7, Cyclic d\'evissage (statement). In S26QVW5613/e1, lemma 1.2.9
History
- 2026-10-30: add by m2/v0.4.12
Bruria Kaufman W1YJ8SVDG9
| URI | m2://inv/W1YJ8SVDG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8VZX, Bruria Kaufman (unknown)
History
- 2026-11-02: add by m2/dev
W1YNDPTCTE W1YNDPTCTE
| URI | m2://inv/W1YNDPTCTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#LB6I (statement). In H21X3FHNYJ/e1, proposition 7.7
History
- 2026-10-27: add by m2/v0.4.2
Definition W1Z6T3DST1
| URI | m2://inv/W1Z6T3DST1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic field#JZNO, Definition (definition)
History
- 2026-11-02: add by m2/dev
W1ZAW065Q4 W1ZAW065Q4
| URI | m2://inv/W1ZAW065Q4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15393#Z55S (statement). In H6T3AP80VE/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
W1ZJGWE8FP W1ZJGWE8FP
| URI | m2://inv/W1ZJGWE8FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#U8JU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Commuting involutive updates W1ZP1GY0NQ
| URI | m2://inv/W1ZP1GY0NQ |
|---|---|
| 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.14081#RJGR, Commuting involutive updates (statement). In DCCKKQ7Y21/e1, lemma III.1
History
- 2026-10-28: add by m2/v0.4.2
W1ZQHCZTRQ W1ZQHCZTRQ
| URI | m2://inv/W1ZQHCZTRQ |
|---|---|
| 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.01669#VZZ0 (statement). In 41AVNP6DJ9/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
W1ZTN7ANBW W1ZTN7ANBW
| URI | m2://inv/W1ZTN7ANBW |
|---|---|
| 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 0902.4887#J4NA (statement). In MYQ05J9R20/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.5
Francesca Mazzia W1ZWBQK1MD
| URI | m2://inv/W1ZWBQK1MD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesca Mazzia, Francesca Mazzia (topic). Also Wikidata Q59850906
History
- 2026-11-02: add by m2/dev
Rectangle depth bound W1ZWQNFAZ0
| URI | m2://inv/W1ZWQNFAZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#A39N, Rectangle depth bound (statement). In ZZER8ZBSCR/e1, theorem 5.18
History
- 2026-10-29: add by m2/v0.4.12
Methods W1ZWWS7DE2
| URI | m2://inv/W1ZWWS7DE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerology#9418, Methods (definition)
History
- 2026-11-02: add by m2/dev
W1ZZ59M65W W1ZZ59M65W
| URI | m2://inv/W1ZZ59M65W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#C8J2 (statement). In 7BWXR38MNE/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12