Inventory rows W3
The cards of the rows of the inventory whose ids start with W3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Wladimir Seidel W303VWQP9Q
| URI | m2://inv/W303VWQP9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PNR9, Wladimir Seidel (topic)
- wikipedia: Wikipedia List of German mathematicians#KAD8, Wladimir Seidel (topic)
History
- 2026-11-02: add by m2/dev
Golod–Shafarevich theorem W307KW6QQ8
| URI | m2://inv/W307KW6QQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17018210, Golod–Shafarevich theorem (statement). Also Wikidata Q17018210
- thousand_plus: thousand_plus Q17018210, Golod–Shafarevich theorem (statement). Also Wikidata Q17018210, Wikipedia Golod–Shafarevich theorem
- wikipedia: Wikipedia Golod–Shafarevich theorem, Golod–Shafarevich theorem (statement). Also Wikidata Q17018210
History
- 2026-10-26: add by m2/dev
W30G2GC3G4 W30G2GC3G4
| URI | m2://inv/W30G2GC3G4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#R6M5 (example)
History
- 2026-11-02: add by m2/v0.6.17
W30M08YH0T W30M08YH0T
| URI | m2://inv/W30M08YH0T |
|---|---|
| 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 2510.09873#B84J (statement). In KNB3ZCNC9Q/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Examples W30PCBV3VT
| URI | m2://inv/W30PCBV3VT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered ring#A7R6, Examples (example)
History
- 2026-11-02: add by m2/dev
Ed Corrigan W30V1069WS
| URI | m2://inv/W30V1069WS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ed Corrigan, Ed Corrigan (topic). Also Wikidata Q5334695
History
- 2026-11-02: add by m2/dev
W30WSJP5P4 W30WSJP5P4
| URI | m2://inv/W30WSJP5P4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#ula-preview-4-5 (exercise). In 649HGZKE96, exploration, section 4.5.1
History
- 2026-11-01: add by m2/v0.6.13
Fabri, Johann Ernst W310XFKFCA
| URI | m2://inv/W310XFKFCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#MCGM, Fabri, Johann Ernst (unknown)
History
- 2026-11-02: add by m2/dev
genus formula W31H6JAFXN
| URI | m2://inv/W31H6JAFXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#WFMR, genus formula (definition)
History
- 2026-11-02: add by m2/dev
Niven (or Harshad) numbers A005349 divided by the sum of their digits. W31NJ16J33
| URI | m2://inv/W31NJ16J33 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193901, Niven (or Harshad) numbers A005349 divided by the sum of their digits. (object). Also OEIS A113315
History
- 2026-10-26: add by m2/dev
Shimanto (city) W31QZEYDTZ
| URI | m2://inv/W31QZEYDTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TA92, Shimanto (city) (unknown)
History
- 2026-11-02: add by m2/dev
Uniform linear spaces W31WGV7C56
| URI | m2://inv/W31WGV7C56 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#9SY7, Uniform linear spaces (example). In MEF2VCAYXS/e1, example 3.3
History
- 2026-10-30: add by m2/v0.4.12
Non-Shannon inequality W31Y49G2CR
| URI | m2://inv/W31Y49G2CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic vector#7TRQ, Non-Shannon inequality (unknown)
History
- 2026-11-02: add by m2/dev
W320BTCTT9 W320BTCTT9
| URI | m2://inv/W320BTCTT9 |
|---|---|
| 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.06419#ASMX (statement). In JSZRXT3W3E/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Transcendental W320YV9SFZ
| URI | m2://inv/W320YV9SFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#R1TT, Transcendental (definition)
History
- 2026-11-02: add by m2/dev
W323PPNYBV W323PPNYBV
| URI | m2://inv/W323PPNYBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28501#FHWG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cumulativity of $\Uc_i^\ast$ (subrelation W323SRYEH4
| URI | m2://inv/W323SRYEH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#46PH, Cumulativity of $\Uc_i^\ast$ (subrelation (statement). In CPYWHRTPKC/e1, lemma 7.25
History
- 2026-10-27: add by m2/v0.4.2
infinitary W3292182HX
| URI | m2://inv/W3292182HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y23N, infinitary (definition)
History
- 2026-11-02: add by m2/dev
Bounded regularized values W32BN8JC9Z
| URI | m2://inv/W32BN8JC9Z |
|---|---|
| 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.39837#BE34, Bounded regularized values (statement). In MDQXTBEK0F/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
cyclic order W32D4V6GJF
| URI | m2://inv/W32D4V6GJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5198223, cyclic order (unknown). Also nLab cyclic order
- wikipedia: Wikipedia Cyclic order, Cyclic order (definition). Also Wikidata Q5198223
History
- 2026-10-26: add by m2/dev
W32DG49AEP W32DG49AEP
| URI | m2://inv/W32DG49AEP |
|---|---|
| Kind | definition |
| 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.21975#A9KJ (definition)
History
- 2026-11-02: add by m2/v0.6.17
W32F566YT2 W32F566YT2
| URI | m2://inv/W32F566YT2 |
|---|---|
| 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.37901#LEU6 (statement). In 363WNMSDMA/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
W32H3M140F W32H3M140F
| URI | m2://inv/W32H3M140F |
|---|---|
| Kind | example |
| 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.37197#0897 (example). In 98ESNNP0CC/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
The Sun W32JQVKP9N
| URI | m2://inv/W32JQVKP9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#DELJ, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
W32K4QKX42 W32K4QKX42
| URI | m2://inv/W32K4QKX42 |
|---|---|
| Kind | example |
| 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 math/9602216#0NO3 (example). In SD43497T8C/e1, example 1.13
History
- 2026-10-27: add by m2/v0.3.5
W32MMAF13M W32MMAF13M
| URI | m2://inv/W32MMAF13M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22784#I1VT (definition)
History
- 2026-11-02: add by m2/v0.6.17
image, stability under pullback W32QE99QZW
| URI | m2://inv/W32QE99QZW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.6/image-stability-under-pullback, image, stability under pullback (concept). In N54F33XE07, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
W32R8MPVA8 W32R8MPVA8
| URI | m2://inv/W32R8MPVA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#UI8M (statement). In 7CK21JGM5A/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
Output Bound W32RCPKB5Y
| URI | m2://inv/W32RCPKB5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#WB9K, Output Bound (statement). In D7NDCWSDJE/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
random variable W32T1G16K5
| URI | m2://inv/W32T1G16K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#4537, random variable (definition)
History
- 2026-11-02: add by m2/dev
Transversal plane W3360PTWXP
| URI | m2://inv/W3360PTWXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal plane, Transversal plane (definition). Also Wikidata Q7835412
History
- 2026-11-02: add by m2/dev
Torsion conjecture W33B957EJV
| URI | m2://inv/W33B957EJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7827204, Mazur's torsion theorem (statement). Also Wikidata Q7827204
- thousand_plus: thousand_plus Q7827204, Mazur's torsion theorem (statement). Also Wikidata Q7827204, Wikipedia Mazur's torsion theorem
- wikipedia: Wikipedia Torsion conjecture, Torsion conjecture (statement). Also Wikidata Q7827204
History
- 2026-10-26: add by m2/dev
W33SYGAG2G W33SYGAG2G
| URI | m2://inv/W33SYGAG2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#definition-1 (definition). In RZP28ERRZV, definition, section 81.1
History
- 2026-11-01: add by m2/v0.6.13
Exceptional-character rough sum W33SZH2JW6
| URI | m2://inv/W33SZH2JW6 |
|---|---|
| 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.30207#LHS4, Exceptional-character rough sum (statement)
History
- 2026-11-01: add by m2/v0.6.15
W33VRN6JKR W33VRN6JKR
| URI | m2://inv/W33VRN6JKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#V2GF (statement). In ZNDB1AZZSA/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Stable reference budgets W341X0SGD3
| URI | m2://inv/W341X0SGD3 |
|---|---|
| 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#DUUD, Stable reference budgets (statement). In 9YAE8FNQST/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
W342JVPQ3G W342JVPQ3G
| URI | m2://inv/W342JVPQ3G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#QSWN (example). In 2E47BDDDR4/e1, example 4.14
History
- 2026-10-27: add by m2/v0.3.5
improper integral, converges W34414GP7D
| URI | m2://inv/W34414GP7D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.5.3/improper-integral-converges, improper integral, converges (concept). In 907G4C4EJ1, index, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
W346GRGRG3 W346GRGRG3
| URI | m2://inv/W346GRGRG3 |
|---|---|
| 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.06326#RLVO (statement). In DPR6B6X0JX/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
Pfaffian and determinant of $C$ W346S5M382
| URI | m2://inv/W346S5M382 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#M3DH, Pfaffian and determinant of $C$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nijenhuis–Richardson bracket W34730CN9G
| URI | m2://inv/W34730CN9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nijenhuis–Richardson bracket, Nijenhuis–Richardson bracket (definition). Also Wikidata Q7034537
History
- 2026-11-02: add by m2/dev
W347X9HM98 W347X9HM98
| URI | m2://inv/W347X9HM98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#NPRS (statement). In GHT5WXFA4E/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
Lagrangian mechanics in geodesics (principles of least action in Christoffel symbols) W34F8B29Y8
| URI | m2://inv/W34F8B29Y8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoffel symbols#38NJ, Lagrangian mechanics in geodesics (principles of least action in Christoffel symbols) (statement)
History
- 2026-11-02: add by m2/dev
Examples W34M8N4DTS
| URI | m2://inv/W34M8N4DTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percolation#1LE3, Examples (example)
History
- 2026-11-02: add by m2/dev
Benini distribution W34Q27C9FV
| URI | m2://inv/W34Q27C9FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benini distribution, Benini distribution (definition). Also Wikidata Q4888053
History
- 2026-11-02: add by m2/dev
Knaster–Kuratowski–Mazurkiewicz lemma W34QNZZGFE
| URI | m2://inv/W34QNZZGFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma, Knaster–Kuratowski–Mazurkiewicz lemma (statement). Also Wikidata Q2896863
History
- 2026-11-02: add by m2/dev
W34W9EVWQY W34W9EVWQY
| URI | m2://inv/W34W9EVWQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#1GE5 (statement). In SNWC76WKWT/e1, lemma G.4
History
- 2026-10-31: add by m2/v0.5.6
W354DP6FRT W354DP6FRT
| URI | m2://inv/W354DP6FRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30961#POWK (statement). In FFG2DDWEVB/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
W3560VVAC0 W3560VVAC0
| URI | m2://inv/W3560VVAC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#M8T3 (definition). In 52HWCGK5QJ/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
W35MY9SWKA W35MY9SWKA
| URI | m2://inv/W35MY9SWKA |
|---|---|
| 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.06556#LXYY (statement). In KW8C7VE9XR/e1, theorem 35
History
- 2026-10-29: add by m2/v0.4.10
The ordinary flag neighborhood W35XCJREBY
| URI | m2://inv/W35XCJREBY |
|---|---|
| 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.33808#38US, The ordinary flag neighborhood (statement). In 328KGRNN0W/e1, proposition 8.5
History
- 2026-10-30: add by m2/v0.4.12
Bayesian problem of old evidence W3624QCWKW
| URI | m2://inv/W3624QCWKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian epistemology#LQ5R, Bayesian problem of old evidence (unknown)
History
- 2026-11-02: add by m2/dev
Restriction estimate W366J36XJW
| URI | m2://inv/W366J36XJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#YI7A, Restriction estimate (statement). In JBAQ7DTW7B/e1, lemma 16.2
History
- 2026-10-27: add by m2/v0.3.5
W366N85SB6 W366N85SB6
| URI | m2://inv/W366N85SB6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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.06645#L1PQ (definition). In 79H1DEK4M9/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Canadian Census of Agriculture W369H6GYNW
| URI | m2://inv/W369H6GYNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canadian Census of Agriculture, Canadian Census of Agriculture (definition). Also Wikidata Q28233331
History
- 2026-11-02: add by m2/dev
W36BV2TYBB W36BV2TYBB
| URI | m2://inv/W36BV2TYBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24355#PDPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
W36CVZ1FNT W36CVZ1FNT
| URI | m2://inv/W36CVZ1FNT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#Z9RA (definition). In QV16PHDXKJ/e1, definition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Representation W36FDRF485
| URI | m2://inv/W36FDRF485 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine transformation#FYDQ, Representation (definition)
History
- 2026-11-02: add by m2/dev
W36K3CSD1H W36K3CSD1H
| URI | m2://inv/W36K3CSD1H |
|---|---|
| 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.35466#37K1 (statement). In MVR35ZJPCC/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Zoomeron equation W36ZE8YHG6
| URI | m2://inv/W36ZE8YHG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28490366, Zoomeron equation (unknown). Also MathWorld ZoomeronEquation
History
- 2026-10-26: add by m2/dev
Yoneda W3716CJXA7
| URI | m2://inv/W3716CJXA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#EFZS, Yoneda (definition)
History
- 2026-11-02: add by m2/dev
W371ET68K4 W371ET68K4
| URI | m2://inv/W371ET68K4 |
|---|---|
| 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.37897#J8JH (statement). In RBQ5FNCVNZ/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
$H_Q^2$ equivalence W37211Z3BS
| URI | m2://inv/W37211Z3BS |
|---|---|
| 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.02714#7P8F, $H_Q^2$ equivalence (statement). In R9AXCJWK8F/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
W373JYN1QN W373JYN1QN
| URI | m2://inv/W373JYN1QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-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.26808#2XUJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Friedhelm Waldhausen W37XZ8TDCR
| URI | m2://inv/W37XZ8TDCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97766, Friedhelm Waldhausen (unknown). Also nLab Friedhelm Waldhausen
- wikipedia: Wikipedia Friedhelm Waldhausen, Friedhelm Waldhausen (topic). Also Wikidata Q97766
History
- 2026-10-26: add by m2/dev
W37Y160626 W37Y160626
| URI | m2://inv/W37Y160626 |
|---|---|
| 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 2308.05715#10DG (statement). In FC0SB9JFWH/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.3.5
W37ZS22C58 W37ZS22C58
| URI | m2://inv/W37ZS22C58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#thm:union yields reflexive (statement). In P1C114YBXG, theorem, section G
History
- 2026-11-01: add by m2/v0.6.13
Smoothly varying sample densities W3832NH845
| URI | m2://inv/W3832NH845 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#5I8X, Smoothly varying sample densities (example). In N37WKFTR7Q/e1, example I.1
History
- 2026-10-29: add by m2/v0.4.10
W386DQ7Y49 W386DQ7Y49
| URI | m2://inv/W386DQ7Y49 |
|---|---|
| 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 2306.00212#JG1X (statement). In C9GG9C1X65/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
W386JE2JY8 W386JE2JY8
| URI | m2://inv/W386JE2JY8 |
|---|---|
| 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.03288#F7NK (statement). In ZHP1MFSACN/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
Tanya Khovanova W39A3GX0NC
| URI | m2://inv/W39A3GX0NC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanya Khovanova, Tanya Khovanova (topic). Also Wikidata Q67189756
History
- 2026-11-02: add by m2/dev
Flexcom W39EMHBN3S
| URI | m2://inv/W39EMHBN3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexcom, Flexcom (definition). Also Wikidata Q5458942
History
- 2026-11-02: add by m2/dev
Nonlocal Lagrangian W39V00VJK7
| URI | m2://inv/W39V00VJK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#RNZ0, Nonlocal Lagrangian (unknown)
History
- 2026-11-02: add by m2/dev
Definitions W39VVGTATW
| URI | m2://inv/W39VVGTATW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond principle#ZWBR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
100 prisoners problem W3A8R1VH2A
| URI | m2://inv/W3A8R1VH2A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100 prisoners problem, 100 prisoners problem (problem). Also Wikidata Q17265625
History
- 2026-11-02: add by m2/dev
Properties W3AE7RDAPB
| URI | m2://inv/W3AE7RDAPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehornoy order#LV67, Properties (statement)
History
- 2026-11-02: add by m2/dev
W3AEF4DV9S W3AEF4DV9S
| URI | m2://inv/W3AEF4DV9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#P7WN (statement). In XK6H7F2F13/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
W3AJSM50YG W3AJSM50YG
| URI | m2://inv/W3AJSM50YG |
|---|---|
| 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#OPFZ (statement). In KCY80F2YGP/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
Amel Ben Abda W3AXC1S2MW
| URI | m2://inv/W3AXC1S2MW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amel Ben Abda, Amel Ben Abda (topic). Also Wikidata Q54954016
History
- 2026-11-02: add by m2/dev
W3BAJG29AE W3BAJG29AE
| URI | m2://inv/W3BAJG29AE |
|---|---|
| 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.35642#9V7Y (statement). In D905BX98TP/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
W3BC0NZRXV W3BC0NZRXV
| URI | m2://inv/W3BC0NZRXV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.24355#6A54 (example). In VV3AJMWWCR/e1, example 3
History
- 2026-10-27: add by m2/v0.3.6
moment of inertia W3BDM8GRKG
| URI | m2://inv/W3BDM8GRKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Moment of inertia 08ANASGBXV |
Mentions
- wikidata: Wikidata Q165618, moment of inertia (definition). Also MathWorld MomentofInertia, nLab moment of inertia, ProofWiki Definition:Moment_of_Mass
- wikipedia: Wikipedia Moment of inertia, Moment of inertia (definition). Also Wikidata Q165618
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
W3BX8X30SB W3BX8X30SB
| URI | m2://inv/W3BX8X30SB |
|---|---|
| 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 2609.25926#ARW0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition W3BXY92W35
| URI | m2://inv/W3BXY92W35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-minimal theory#0EGT, Definition (definition)
History
- 2026-11-02: add by m2/dev
W3BYPP0RVY W3BYPP0RVY
| URI | m2://inv/W3BYPP0RVY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#K53N (problem)
History
- 2026-11-01: add by m2/v0.6.15
Theorem W3BZW6KTZG
| URI | m2://inv/W3BZW6KTZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lomonosov's invariant subspace theorem#TKIU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Axel Johannes Malmquist W3C4YFWRZC
| URI | m2://inv/W3C4YFWRZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axel Johannes Malmquist, Axel Johannes Malmquist (topic). Also Wikidata Q792209
History
- 2026-11-02: add by m2/dev
Clustering high-dimensional data W3C7FG0TQE
| URI | m2://inv/W3C7FG0TQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RTG0, Clustering high-dimensional data (definition)
History
- 2026-11-02: add by m2/dev
J. J. Duistermaat W3CE2RMWGW
| URI | m2://inv/W3CE2RMWGW |
|---|---|
| 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#VZCI, J. J. Duistermaat (topic)
History
- 2026-11-02: add by m2/dev
W3CMN4NC1G W3CMN4NC1G
| URI | m2://inv/W3CMN4NC1G |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17863#UD4K (problem). In Y8XQT02BBF/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Properties W3CQ99QKYV
| URI | m2://inv/W3CQ99QKYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuntz algebra#9PET, Properties (statement)
History
- 2026-11-02: add by m2/dev
W3CSZ2HZ56 W3CSZ2HZ56
| URI | m2://inv/W3CSZ2HZ56 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:ilunit (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
W3CTTMSKZ4 W3CTTMSKZ4
| URI | m2://inv/W3CTTMSKZ4 |
|---|---|
| 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.01199#56EE (statement). In XZ4MRWR77Q/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
W3CWCBR496 W3CWCBR496
| URI | m2://inv/W3CWCBR496 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#0KKA (statement). In V8MYP6MBAZ/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Wilfrid Hodges W3D25XZP52
| URI | m2://inv/W3D25XZP52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q451634, Wilfrid Hodges (unknown). Also nLab Wilfrid Hodges
- wikipedia: Wikipedia Wilfrid Hodges, Wilfrid Hodges (topic). Also Wikidata Q451634
History
- 2026-10-26: add by m2/dev
Pierre Humbert W3D2AVHVX0
| URI | m2://inv/W3D2AVHVX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Humbert (mathematician), Pierre Humbert (topic). Also Wikidata Q1804232
History
- 2026-11-02: add by m2/dev
W3D49C1EJK W3D49C1EJK
| URI | m2://inv/W3D49C1EJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#MNK4 (statement). In JQ4JYAXCMK/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
Zero-error and asymptotically lossless operational broadcast entropies W3D4BS29WH
| URI | m2://inv/W3D4BS29WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#ETA4, Zero-error and asymptotically lossless operational broadcast entropies (statement). In N7XJ16700B/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
W3DAM2G7ST W3DAM2G7ST
| URI | m2://inv/W3DAM2G7ST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#AM5S (statement). In KBH265QSBT/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
Marshall Harvey Stone W3DB8VV8YR
| URI | m2://inv/W3DB8VV8YR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q741198, Marshall Harvey Stone (unknown). Also ProofWiki Mathematician:Marshall_Harvey_Stone
- wikipedia: Wikipedia Marshall H. Stone, Marshall H. Stone (topic). Also Wikidata Q741198
History
- 2026-10-26: add by m2/dev
Jerzy Łoś W3DENQ2ZEV
| URI | m2://inv/W3DENQ2ZEV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerzy Łoś, Jerzy Łoś (topic). Also Wikidata Q548062
History
- 2026-11-02: add by m2/dev
In-place merge sort W3DH1GYPHH
| URI | m2://inv/W3DH1GYPHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merge sort#PL8L, In-place merge sort (unknown)
History
- 2026-11-02: add by m2/dev
W3DKYE63B7 W3DKYE63B7
| URI | m2://inv/W3DKYE63B7 |
|---|---|
| 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 2504.13328#N2W0 (statement). In 736Q32FYCG/e1, corollary 4.11
History
- 2026-10-27: add by m2/v0.3.5
W3DM6AJT3V W3DM6AJT3V
| URI | m2://inv/W3DM6AJT3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#BBO8 (statement). In WYDHWYFRFK/e1, proposition 6.2
History
- 2026-10-31: add by m2/v0.5.6
W3DSFEKA76 W3DSFEKA76
| URI | m2://inv/W3DSFEKA76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#1ZYW (statement). In PYY8DFK2JS/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Luigi Chierchia W3E2NWSQ2H
| URI | m2://inv/W3E2NWSQ2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Chierchia, Luigi Chierchia (topic). Also Wikidata Q30438040
History
- 2026-11-02: add by m2/dev
W3E8DEDMAP W3E8DEDMAP
| URI | m2://inv/W3E8DEDMAP |
|---|---|
| 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.25843#BNYG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Axonometry W3E8FGBR6R
| URI | m2://inv/W3E8FGBR6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axonometry, Axonometry (definition). Also Wikidata Q280191
History
- 2026-11-02: add by m2/dev
W3EFT28SDZ W3EFT28SDZ
| URI | m2://inv/W3EFT28SDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#0KY1 (statement). In HCTYW6VH87/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
W3EPKJ3GQM W3EPKJ3GQM
| URI | m2://inv/W3EPKJ3GQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07471#L0RC (statement). In 7DHCS5SEHT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Corollary 2.2 and Theorem 5.2 W3ESJHYNBH
| URI | m2://inv/W3ESJHYNBH |
|---|---|
| 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.19251#ESA8, Corollary 2.2 and Theorem 5.2 (statement). In CSW6NG0FRN/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Louis Jacques Crelier W3EW84Y891
| URI | m2://inv/W3EW84Y891 |
|---|---|
| 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#5YFR, Louis Jacques Crelier (topic)
History
- 2026-11-02: add by m2/dev
graph W3EXW5W943
| URI | m2://inv/W3EXW5W943 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/graph, graph (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Holomorphy potential W3EZ7V6ASQ
| URI | m2://inv/W3EZ7V6ASQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant scalar curvature Kähler metric#NBVG, Holomorphy potential (unknown)
History
- 2026-11-02: add by m2/dev
Estonian Mathematical Society W3F28A62B6
| URI | m2://inv/W3F28A62B6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estonian Mathematical Society, Estonian Mathematical Society (definition). Also Wikidata Q12361323
History
- 2026-11-02: add by m2/dev
Weak core W3F2WYYTJH
| URI | m2://inv/W3F2WYYTJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core (game theory)#DI42, Weak core (unknown)
History
- 2026-11-02: add by m2/dev
External direct product W3F6BBWXFB
| URI | m2://inv/W3F6BBWXFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct product#B421, External direct product (unknown)
History
- 2026-11-02: add by m2/dev
Trefftz method W3FAEM4BXY
| URI | m2://inv/W3FAEM4BXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trefftz method, Trefftz method (definition). Also Wikidata Q7837781
History
- 2026-11-02: add by m2/dev
Clifford Hildreth W3FCC0DTVQ
| URI | m2://inv/W3FCC0DTVQ |
|---|---|
| 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#B4WK, Clifford Hildreth (unknown)
History
- 2026-11-02: add by m2/dev
W3FFQXSSGY W3FFQXSSGY
| URI | m2://inv/W3FFQXSSGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#example-null-intro (example). In 649HGZKE96, example, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Antifundamental representation W3FTFKD9C0
| URI | m2://inv/W3FTFKD9C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#YHGZ, Antifundamental representation (definition)
History
- 2026-11-02: add by m2/dev
W3FX3RPG46 W3FX3RPG46
| URI | m2://inv/W3FX3RPG46 |
|---|---|
| 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.13734#QFP0 (statement). In XB23QP7GK9/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
W3G2JXJJWF W3G2JXJJWF
| URI | m2://inv/W3G2JXJJWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11974#6YHO (statement). In AW6S4XZ9ZZ/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Properties W3G36CD244
| URI | m2://inv/W3G36CD244 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford group#S9CV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Six Way, Alabama W3G8WB8J69
| URI | m2://inv/W3G8WB8J69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DDQW, Six Way, Alabama (unknown)
History
- 2026-11-02: add by m2/dev
Straightening theorem for vector fields W3GEB5K22D
| URI | m2://inv/W3GEB5K22D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straightening theorem for vector fields, Straightening theorem for vector fields (statement). Also Wikidata Q7621113
History
- 2026-11-02: add by m2/dev
Figure axis W3GNF9EJ6D
| URI | m2://inv/W3GNF9EJ6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment of inertia#QPKO, Figure axis (unknown)
History
- 2026-11-02: add by m2/dev
W3GPQWX98E W3GPQWX98E
| URI | m2://inv/W3GPQWX98E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Definition W3GVTG2X10
| URI | m2://inv/W3GVTG2X10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent group#DYXJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
W3GXCE254F W3GXCE254F
| URI | m2://inv/W3GXCE254F |
|---|---|
| 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.19694#2HFG (statement). In EP0M4RSZ9P/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Definitions W3GZ76FTS5
| URI | m2://inv/W3GZ76FTS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-synchronized sequence#MKI8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Polar coordinates W3H7ZFNB4E
| URI | m2://inv/W3H7ZFNB4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:exercise:polarcoordinates, Polar coordinates (exercise). In E59CDZA4DP, exercise, section 11.5.2
History
- 2026-11-01: add by m2/v0.6.13
Direct formulas W3HEHSEVAC
| URI | m2://inv/W3HEHSEVAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital root#EBZ5, Direct formulas (statement)
History
- 2026-11-02: add by m2/dev
W3HGT8FZ0Q W3HGT8FZ0Q
| URI | m2://inv/W3HGT8FZ0Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-15 (example). In E59CDZA4DP, example, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
W3HGXN6H20 W3HGXN6H20
| URI | m2://inv/W3HGXN6H20 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Projection-valued measure W3HJ4KQKGH
| URI | m2://inv/W3HJ4KQKGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-valued measure, Projection-valued measure (definition). Also Wikidata Q339722
History
- 2026-11-02: add by m2/dev
W3HQW7NJBQ W3HQW7NJBQ
| URI | m2://inv/W3HQW7NJBQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#L8LJ (definition). In 3A4K47Y9F2/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.4.0
W3HRRNCWSW W3HRRNCWSW
| URI | m2://inv/W3HRRNCWSW |
|---|---|
| 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.11968#DHP7 (statement). In X6E7P2ACAS/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
W3J5VVWMYY W3J5VVWMYY
| URI | m2://inv/W3J5VVWMYY |
|---|---|
| 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 2104.05191#K2M7 (statement). In CCNH3FK8YZ/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
William Galbraith W3J94PQJZR
| URI | m2://inv/W3J94PQJZR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Galbraith (mathematician), William Galbraith (topic). Also Wikidata Q8009632
History
- 2026-11-02: add by m2/dev
W3JFV9T7DT W3JFV9T7DT
| URI | m2://inv/W3JFV9T7DT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.01576#7KPL (definition). In EF0X4TKTR4/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Mathematical practitioner W3JK467FF3
| URI | m2://inv/W3JK467FF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical practitioner, Mathematical practitioner (definition). Also Wikidata Q135244921
History
- 2026-11-02: add by m2/dev
W3JMESE00T W3JMESE00T
| URI | m2://inv/W3JMESE00T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-54 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
Properties W3JN603MF6
| URI | m2://inv/W3JN603MF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-symmetric graph#76NW, Properties (statement)
History
- 2026-11-02: add by m2/dev
W3JSC9KRJ1 W3JSC9KRJ1
| URI | m2://inv/W3JSC9KRJ1 |
|---|---|
| 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.18106#XXES (statement). In VZDPG7NJCX/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
W3JW5C43CA W3JW5C43CA
| URI | m2://inv/W3JW5C43CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#5Y4V (statement). In YRJS76169Z/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
undecidable problem W3JXKPA6AQ
| URI | m2://inv/W3JXKPA6AQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3502995, undecidable problem (unknown). Also MathWorld RecursivelyUndecidable
- wikipedia: Wikipedia Undecidable problem, Undecidable problem (problem). Also Wikidata Q3502995
History
- 2026-10-26: add by m2/dev
W3JY2N30F4 W3JY2N30F4
| URI | m2://inv/W3JY2N30F4 |
|---|---|
| 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.33238#P6FL (statement). In MVWXMDFP3P/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
W3K0AJMF5N W3K0AJMF5N
| URI | m2://inv/W3K0AJMF5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#QAPO (statement). In JW8HH6EPG2/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.10
Computational complexity W3K583WHMJ
| URI | m2://inv/W3K583WHMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity, Computational complexity (definition). Also Wikidata Q5157286
History
- 2026-11-02: add by m2/dev
Sauer--Shelah bound W3K8SCG69X
| URI | m2://inv/W3K8SCG69X |
|---|---|
| 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.08151#18NI, Sauer--Shelah bound (statement). In A0HQ7ZGK3B/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Automorphic matrix Maass--Selberg relation W3KC9TG999
| URI | m2://inv/W3KC9TG999 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#MD5X, Automorphic matrix Maass--Selberg relation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Darboux cubic W3KDYZS5E0
| URI | m2://inv/W3KDYZS5E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalogue of Triangle Cubics#ZUVA, Darboux cubic (unknown)
History
- 2026-11-02: add by m2/dev
Cox–Ingersoll–Ross model W3KJ2R29G1
| URI | m2://inv/W3KJ2R29G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V2LU, Cox–Ingersoll–Ross model (definition)
History
- 2026-11-02: add by m2/dev
Ferrers graph W3KMJ0X2TJ
| URI | m2://inv/W3KMJ0X2TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#7UHD, Ferrers graph (definition)
History
- 2026-11-02: add by m2/dev
W3KNPH4AT3 W3KNPH4AT3
| URI | m2://inv/W3KNPH4AT3 |
|---|---|
| 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.21358#J4DL (statement). In XV70TXYS5A/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
W3KVMKKH8Y W3KVMKKH8Y
| URI | m2://inv/W3KVMKKH8Y |
|---|---|
| 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 2011.06637#KCVK (statement). In KFCJ5CFP3G/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Betting \evars W3M1KH4DK6
| URI | m2://inv/W3M1KH4DK6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#3H96, Betting \evars (example)
History
- 2026-11-01: add by m2/v0.6.15
Spreadsheet formula W3M9R5SFT5
| URI | m2://inv/W3M9R5SFT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound interest#CD1W, Spreadsheet formula (statement)
History
- 2026-11-02: add by m2/dev
W3MBE3QT8R W3MBE3QT8R
| URI | m2://inv/W3MBE3QT8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36078#4G56 (statement). In MVKXS0Q6XN/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
W3MGWRC97B W3MGWRC97B
| URI | m2://inv/W3MGWRC97B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#K2MI (statement). In M8F4PDHH3S/e1, proposition A.12
History
- 2026-10-27: add by m2/v0.3.5
W3MKDA4MDE W3MKDA4MDE
| URI | m2://inv/W3MKDA4MDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#NAIK (statement). In DDNP38CHQJ/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.3.5
Binary maximal correlation W3MN9B81T3
| URI | m2://inv/W3MN9B81T3 |
|---|---|
| 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.04027#HUIJ, Binary maximal correlation (statement). In DQB4YR2DFH/e1, lemma 12.3
History
- 2026-10-29: add by m2/v0.4.12
W3MQZCRM0M W3MQZCRM0M
| URI | m2://inv/W3MQZCRM0M |
|---|---|
| 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.21005#TXCJ (statement). In E63NRC7MBE/e1, proposition 2.33
History
- 2026-10-27: add by m2/v0.4.2
fundamental group W3MSQZHJAB
| URI | m2://inv/W3MSQZHJAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fundamental group S1XK3HXHFX |
Mentions
- wikidata: Wikidata Q662830, fundamental group (definition). Also EoM Fundamental_group, MathWorld FundamentalGroup, nLab fundamental group, ProofWiki Definition:Fundamental_Group
- wikipedia: Wikipedia Fundamental group, Fundamental group (definition). Also Wikidata Q662830
History
- 2026-10-26: add by m2/dev
W3MW24GAFE W3MW24GAFE
| URI | m2://inv/W3MW24GAFE |
|---|---|
| Kind | definition |
| 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 2610.12054#MAKY (definition). In 1A01NFHBGA/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
W3MXHH5GZH W3MXHH5GZH
| URI | m2://inv/W3MXHH5GZH |
|---|---|
| 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 2002.01498#Z3EM (statement). In 2H7TQ695XW/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
Conditional event algebra W3MXWJRBME
| URI | m2://inv/W3MXWJRBME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#QM9X, Conditional event algebra (definition)
History
- 2026-11-02: add by m2/dev
Ramin Takloo-Bighash W3N715KQEH
| URI | m2://inv/W3N715KQEH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramin Takloo-Bighash, Ramin Takloo-Bighash (topic). Also Wikidata Q7289590
History
- 2026-11-02: add by m2/dev
Third-pound burger W3NCV4S28D
| URI | m2://inv/W3NCV4S28D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Third-pound burger, Third-pound burger (definition). Also Wikidata Q130749401
History
- 2026-11-02: add by m2/dev
W3NDGCPX4D W3NDGCPX4D
| URI | m2://inv/W3NDGCPX4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2603.28861#GCSJ (statement). In A3VQ2TNRKK/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.4.0
W3NM409VEM W3NM409VEM
| URI | m2://inv/W3NM409VEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#prop:provability-lor (statement). In PKGMM3P5QY, prop, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
W3NRSPE8N9 W3NRSPE8N9
| URI | m2://inv/W3NRSPE8N9 |
|---|---|
| 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.26896#1MWY (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem W3NSSR2GPM
| URI | m2://inv/W3NSSR2GPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested intervals#66QC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Example W3NXZQHPJ8
| URI | m2://inv/W3NXZQHPJ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set inversion#IQRO, Example (example)
History
- 2026-11-02: add by m2/dev
Digit sum W3NZAR8M6Y
| URI | m2://inv/W3NZAR8M6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#9RDM, Digit sum (definition)
History
- 2026-11-02: add by m2/dev
Generalizations W3P2J4SVNK
| URI | m2://inv/W3P2J4SVNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán's theorem#4USI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
W3P9ZNKNE2 W3P9ZNKNE2
| URI | m2://inv/W3P9ZNKNE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11468#CUB3 (statement). In FR4FDRHZJT/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.3
Herbert Yardley W3PB3MWKDC
| URI | m2://inv/W3PB3MWKDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#Y3BV, Herbert Yardley (unknown)
History
- 2026-11-02: add by m2/dev
W3PEFN98PF W3PEFN98PF
| URI | m2://inv/W3PEFN98PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#FBFC (statement). In 1MPH7GCFJ2/e1, lemma 7.7
History
- 2026-10-27: add by m2/v0.4.2
W3PJ2H4A5M W3PJ2H4A5M
| URI | m2://inv/W3PJ2H4A5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#LI1M (statement). In FEE70SSD96/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Parametric statistics W3PJJ3ADRB
| URI | m2://inv/W3PJJ3ADRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D2E2, Parametric statistics (topic)
History
- 2026-11-02: add by m2/dev
safe prime W3PQDVEVCW
| URI | m2://inv/W3PQDVEVCW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2298723, safe prime (object). Also OEIS A005385
History
- 2026-10-26: add by m2/dev
Peirce's criterion W3PRZ3Q7SM
| URI | m2://inv/W3PRZ3Q7SM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D7V9, Peirce's criterion (statement)
History
- 2026-11-02: add by m2/dev
Conditional error certificate W3PWRYMD4E
| URI | m2://inv/W3PWRYMD4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#LSUU, Conditional error certificate (statement). In 4333A6G5K5/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.3
Chart transfer W3QAN6SWBN
| URI | m2://inv/W3QAN6SWBN |
|---|---|
| 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.00039#RO4N, Chart transfer (statement). In 2YQ3WX6VSW/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Bayes linear statistics W3QVFWPVGQ
| URI | m2://inv/W3QVFWPVGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X01G, Bayes linear statistics (definition)
History
- 2026-11-02: add by m2/dev
Relative-entropy and R\'enyi testing bounds W3R12WPET2
| URI | m2://inv/W3R12WPET2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28635#230G, Relative-entropy and R\'enyi testing bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
DFFITS W3R62CW2CA
| URI | m2://inv/W3R62CW2CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DFFITS, DFFITS (definition). Also Wikidata Q5204913
History
- 2026-11-02: add by m2/dev
W3RCZYJ58G W3RCZYJ58G
| URI | m2://inv/W3RCZYJ58G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#62XO (statement). In XG3BJ2QXXP/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Discretization Error W3RDE4S8DH
| URI | m2://inv/W3RDE4S8DH |
|---|---|
| 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.32446#RWMC, Discretization Error (statement). In W1KVJEGJ1W/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Donald Bentley W3RF0RN7EY
| URI | m2://inv/W3RF0RN7EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QV56, Donald Bentley (topic)
History
- 2026-11-02: add by m2/dev
Local time continuity of the first component W3RH8FRGF4
| URI | m2://inv/W3RH8FRGF4 |
|---|---|
| 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.28985#KEEN, Local time continuity of the first component (statement)
History
- 2026-11-01: add by m2/v0.6.15
Galois/Counter Mode W3RHSGBFEY
| URI | m2://inv/W3RHSGBFEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois/Counter Mode, Galois/Counter Mode (definition). Also Wikidata Q5519271
History
- 2026-11-02: add by m2/dev
Arellano–Bond estimator W3RR75Y3BJ
| URI | m2://inv/W3RR75Y3BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arellano–Bond estimator, Arellano–Bond estimator (definition). Also Wikidata Q25109770
History
- 2026-11-02: add by m2/dev
unravelling the presentation W3RRM5EM7F
| URI | m2://inv/W3RRM5EM7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#TQ4S, unravelling the presentation (statement). In PCAS8S14J6/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Lebesgue's density theorem W3RWJNJHTJ
| URI | m2://inv/W3RWJNJHTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q842953, Lebesgue's density theorem (statement). Also Mathlib Besicovitch.ae_tendsto_measure_inter_div, Wikidata Q842953
- thousand_plus: thousand_plus Q842953, Lebesgue's density theorem (statement). Also Mathlib Besicovitch.ae_tendsto_measure_inter_div, Wikidata Q842953, Wikipedia Lebesgue's density theorem
- wikipedia: Wikipedia Lebesgue's density theorem, Lebesgue's density theorem (statement). Also Wikidata Q842953
History
- 2026-10-26: add by m2/dev
Greeks W3S5GNH447
| URI | m2://inv/W3S5GNH447 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance), Greeks (definition). Also Wikidata Q1321169
History
- 2026-11-02: add by m2/dev
BD W3SDNJC65Z
| URI | m2://inv/W3SDNJC65Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#YDN7, BD (definition)
History
- 2026-11-02: add by m2/dev
monotheme W3SHVCED84
| URI | m2://inv/W3SHVCED84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#QL3F, monotheme (definition)
History
- 2026-11-02: add by m2/dev
Euclid's Optics W3SJSV1KA8
| URI | m2://inv/W3SJSV1KA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's Optics, Euclid's Optics (definition). Also Wikidata Q16000458
History
- 2026-11-02: add by m2/dev
Riesz function W3SM25Q1TF
| URI | m2://inv/W3SM25Q1TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz function, Riesz function (definition). Also Wikidata Q7333165
History
- 2026-11-02: add by m2/dev
Legendre function W3T2FMBY6V
| URI | m2://inv/W3T2FMBY6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre function, Legendre function (definition). Also Wikidata Q17098449
History
- 2026-11-02: add by m2/dev
Pseudo-cubes and the DS dimension W3TF0HPPZD
| URI | m2://inv/W3TF0HPPZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#IBJH, Pseudo-cubes and the DS dimension (definition). In 4W7ARR1DAR/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Closed basis W3TK23JD4V
| URI | m2://inv/W3TK23JD4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base (topology)#F6RM, Closed basis (unknown)
History
- 2026-11-02: add by m2/dev
W3TKAWSH8R W3TKAWSH8R
| URI | m2://inv/W3TKAWSH8R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19852#XP3D (definition). In SPW2D8X2PG/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
W3TZT334BR W3TZT334BR
| URI | m2://inv/W3TZT334BR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:bndmuldiff (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
W3VES6WXHD W3VES6WXHD
| URI | m2://inv/W3VES6WXHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#S9LL (statement). In G70Q2FB591/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
Prior knowledge for pattern recognition W3VFNHMBRX
| URI | m2://inv/W3VFNHMBRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VHWR, Prior knowledge for pattern recognition (definition)
History
- 2026-11-02: add by m2/dev
SSEP W3VFYBTXJZ
| URI | m2://inv/W3VFYBTXJZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#JPZC, SSEP (problem)
History
- 2026-11-01: add by m2/v0.6.15
Construction W3VH482ENF
| URI | m2://inv/W3VH482ENF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 65537-gon#DN7J, Construction (definition)
History
- 2026-11-02: add by m2/dev
Kuperberg--Lal\'{i}n , Theorem 1.3 W3VNZZ9JXV
| URI | m2://inv/W3VNZZ9JXV |
|---|---|
| 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#3NFO, Kuperberg--Lal\'{i}n , Theorem 1.3 (statement). In QS8R9BEJ8N/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
W3VZBGX3QV W3VZBGX3QV
| URI | m2://inv/W3VZBGX3QV |
|---|---|
| Kind | definition |
| 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 2609.25353#ETYU (definition)
History
- 2026-11-01: add by m2/v0.6.15
Computational algebraic geometry W3W73FFPNG
| URI | m2://inv/W3W73FFPNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#9ZCY, Computational algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
W3WA2P20CB W3WA2P20CB
| URI | m2://inv/W3WA2P20CB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#EN5J (example). In 8TSZ2E32K3/e1, example 1
History
- 2026-10-28: add by m2/v0.4.3
W3WDTR11BR W3WDTR11BR
| URI | m2://inv/W3WDTR11BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 26-XX, 46-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27570#M47F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example W3WE9TAJ19
| URI | m2://inv/W3WE9TAJ19 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrary-precision arithmetic#FA81, Example (example)
History
- 2026-11-02: add by m2/dev
Jacobi field W3WKMY1PKJ
| URI | m2://inv/W3WKMY1PKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi field, Jacobi field (definition). Also Wikidata Q1677714
History
- 2026-11-02: add by m2/dev
Dianalytic manifold W3WM2S82AM
| URI | m2://inv/W3WM2S82AM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dianalytic manifold, Dianalytic manifold (definition). Also Wikidata Q5271369
History
- 2026-11-02: add by m2/dev
Chung–Erdős inequality W3WSHQCTMX
| URI | m2://inv/W3WSHQCTMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chung–Erdős inequality, Chung–Erdős inequality (statement). Also Wikidata Q28406773
History
- 2026-11-02: add by m2/dev
Yann Brenier W3X68XJ68V
| URI | m2://inv/W3X68XJ68V |
|---|---|
| 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#EMGT, Yann Brenier (unknown)
History
- 2026-11-02: add by m2/dev
DomainKeys Identified Mail W3X7BN5813
| URI | m2://inv/W3X7BN5813 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DomainKeys Identified Mail, DomainKeys Identified Mail (definition). Also Wikidata Q2605645
History
- 2026-11-02: add by m2/dev
W3XCBTTKNT W3XCBTTKNT
| URI | m2://inv/W3XCBTTKNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#7LPO (statement). In 60CK7P5F36/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
W3XF7S9KP1 W3XF7S9KP1
| URI | m2://inv/W3XF7S9KP1 |
|---|---|
| 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.36622#I4WG (statement). In 9704QPRPR6/e1, proposition 3.10
History
- 2026-10-30: add by m2/v0.4.12
Definition W3XJMZ6H66
| URI | m2://inv/W3XJMZ6H66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita symbol#LOWS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition W3XTR3EHEJ
| URI | m2://inv/W3XTR3EHEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seshadri constant#BZ7R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Strong bellows conjecture W3XXMX68YN
| URI | m2://inv/W3XXMX68YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexible polyhedron#8PU9, Strong bellows conjecture (unknown)
History
- 2026-11-02: add by m2/dev
theory of algebraic numbers W3XZXGFBYS
| URI | m2://inv/W3XZXGFBYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11R04 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114498250, theory of algebraic numbers (topic)
History
- 2026-10-26: add by m2/dev
Abstract Wiener space W3Y6KDE5RV
| URI | m2://inv/W3Y6KDE5RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract Wiener space, Abstract Wiener space (definition). Also Wikidata Q4669933
History
- 2026-11-02: add by m2/dev
Statement W3Y7PV4FF3
| URI | m2://inv/W3Y7PV4FF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Six exponentials theorem#APFC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Asymptotically lossless operational graph entropy W3Y8PWC3NG
| URI | m2://inv/W3Y8PWC3NG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#ZC4X, Asymptotically lossless operational graph entropy (definition). In N7XJ16700B/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.10
antenna graph W3YD72SJVE
| URI | m2://inv/W3YD72SJVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115456, antenna graph (unknown). Also House of Graphs 947, MathWorld AntennaGraph
History
- 2026-10-26: add by m2/dev
W3YD8GAPYK W3YD8GAPYK
| URI | m2://inv/W3YD8GAPYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#IBQV (statement). In YA7H9PY3R1/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
W3YFXXN3DR W3YFXXN3DR
| URI | m2://inv/W3YFXXN3DR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
W3YGH1MN3F W3YGH1MN3F
| URI | m2://inv/W3YGH1MN3F |
|---|---|
| Kind | definition |
| 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 2112.14455#EGMD (definition). In VDE5R8HBS1/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
GAUSS W3YJ8VTT0V
| URI | m2://inv/W3YJ8VTT0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#DHSI, GAUSS (definition)
History
- 2026-11-02: add by m2/dev
Epsilon-induction W3YR6S7EN3
| URI | m2://inv/W3YR6S7EN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epsilon-induction, Epsilon-induction (definition). Also Wikidata Q5383944
History
- 2026-11-02: add by m2/dev
Approximability and area laws W3YVBQ6ACH
| URI | m2://inv/W3YVBQ6ACH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor network#TZ18, Approximability and area laws (statement)
History
- 2026-11-02: add by m2/dev
Arthur Jolliffe W3Z24MKSJ2
| URI | m2://inv/W3Z24MKSJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Jolliffe, Arthur Jolliffe (topic). Also Wikidata Q4799284
History
- 2026-11-02: add by m2/dev
W3Z8XC4NYW W3Z8XC4NYW
| URI | m2://inv/W3Z8XC4NYW |
|---|---|
| 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.01970#C25P (statement). In 1B400PB2NJ/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
W3ZBZSJM6X W3ZBZSJM6X
| URI | m2://inv/W3ZBZSJM6X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#RC1F (definition)
History
- 2026-11-01: add by m2/v0.6.15
degree of freedom W3ZCZP46R5
| URI | m2://inv/W3ZCZP46R5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q274502, degree of freedom (unknown). Also MathWorld DegreeofFreedom, nLab degree of freedom
- wikidata: Wikidata Q3253731, degrees of freedom (unknown). Also MathWorld DegreeofFreedom
- wikipedia: Wikipedia Degrees of freedom (statistics), Degrees of freedom (definition). Also Wikidata Q3253731
History
- 2026-10-26: add by m2/dev
W3ZRDP6E8K W3ZRDP6E8K
| URI | m2://inv/W3ZRDP6E8K |
|---|---|
| Kind | example |
| 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 2602.14912#U4NO (example). In A87BVH5DCM/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Unconditional Euler-product approximation W3ZRQXH30V
| URI | m2://inv/W3ZRQXH30V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22107#UKML, Unconditional Euler-product approximation (statement). In SN5RJPQ713/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
N-dimensional sequential move puzzle W3ZSEG23W0
| URI | m2://inv/W3ZSEG23W0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-dimensional sequential move puzzle, N-dimensional sequential move puzzle (problem). Also Wikidata Q5700732
History
- 2026-11-02: add by m2/dev