Inventory rows WG
The cards of the rows of the inventory whose ids start with WG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Healing WG098NH1TG
| URI | m2://inv/WG098NH1TG |
|---|---|
| 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 math/0003117#TOR0, Healing (statement). In WD2NCBV9F0/e1, lemma 17.2
History
- 2026-10-27: add by m2/v0.3.5
Proprism WG0FTHNA37
| URI | m2://inv/WG0FTHNA37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proprism, Proprism (definition). Also Wikidata Q7250438
History
- 2026-11-02: add by m2/dev
Griffith Baley Price WG0G1MHDAD
| URI | m2://inv/WG0G1MHDAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griffith Baley Price, Griffith Baley Price (topic). Also Wikidata Q5608866
History
- 2026-11-02: add by m2/dev
WG0K0BWKDK WG0K0BWKDK
| URI | m2://inv/WG0K0BWKDK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28306#713T (definition)
History
- 2026-11-01: add by m2/v0.6.15
Winner transfer through observation WG0QR48A9Z
| URI | m2://inv/WG0QR48A9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#RJM6, Winner transfer through observation (statement). In 5PN85N6EJF/e1, theorem 6.2
History
- 2026-10-31: add by m2/v0.5.6
Structural induction WG0S57VR5M
| URI | m2://inv/WG0S57VR5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural induction, Structural induction (definition). Also Wikidata Q1932759
History
- 2026-11-02: add by m2/dev
A History of Greek Mathematics WG0ZTVVTWY
| URI | m2://inv/WG0ZTVVTWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A History of Greek Mathematics, A History of Greek Mathematics (definition). Also Wikidata Q119806226
History
- 2026-11-02: add by m2/dev
WG12312N3D WG12312N3D
| URI | m2://inv/WG12312N3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#VHOE (definition). In 46370P3Y9S/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.4.2
WG12ZZJESF WG12ZZJESF
| URI | m2://inv/WG12ZZJESF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#GWJR (example). In 9DQKY7KGE8/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
the description $D$ WG14RRP54E
| URI | m2://inv/WG14RRP54E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#VGQP, the description $D$ (definition). In JY50YXMH5N/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.12
WG1E5SNK14 WG1E5SNK14
| URI | m2://inv/WG1E5SNK14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#PLOA (statement). In Q5Z178SAHP/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Romeo WG1HG1E8X3
| URI | m2://inv/WG1HG1E8X3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#1T51, Romeo (unknown)
History
- 2026-11-02: add by m2/dev
WG1M24P58Q WG1M24P58Q
| URI | m2://inv/WG1M24P58Q |
|---|---|
| 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.22296#9TYO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Existence WG1QF8RPDQ
| URI | m2://inv/WG1QF8RPDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-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.08484#I6IL, Existence (statement). In C2HJ1CCJ0S/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Successful application of NoBLE analysis WG1RVX2Q46
| URI | m2://inv/WG1RVX2Q46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#UZLU, Successful application of NoBLE analysis (statement). In PF9KV74Q02/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
WG20Q2Y8B7 WG20Q2Y8B7
| URI | m2://inv/WG20Q2Y8B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#P33O (statement). In QBAP8C82FG/e1, corollary 25
History
- 2026-10-30: add by m2/v0.4.12
Coats, Robert H. WG241534W5
| URI | m2://inv/WG241534W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PO1Y, Coats, Robert H. (unknown)
History
- 2026-11-02: add by m2/dev
Definition WG2EATWF2B
| URI | m2://inv/WG2EATWF2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational mapping#Z0G6, Definition (definition)
History
- 2026-11-02: add by m2/dev
WG2X9ZH77D WG2X9ZH77D
| URI | m2://inv/WG2X9ZH77D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#9CGZ (statement). In YXRKS451PK/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Wilhelm Blaschke WG3043MSDA
| URI | m2://inv/WG3043MSDA |
|---|---|
| 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#2C7C, Wilhelm Blaschke (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T1XH, Wilhelm Blaschke (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UFNH, Wilhelm Blaschke (topic)
History
- 2026-11-02: add by m2/dev
Just-About-Right scale WG32ZKYAET
| URI | m2://inv/WG32ZKYAET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Just-About-Right scale, Just-About-Right scale (definition). Also Wikidata Q130357280
History
- 2026-11-02: add by m2/dev
A necessary $H_2(\D)$ optimality condition WG34G84ZMM
| URI | m2://inv/WG34G84ZMM |
|---|---|
| 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.16249#GE6S, A necessary $H_2(\D)$ optimality condition (statement). In JER0CZXTGF/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
A short linear combination as a coordinate WG395D2QA2
| URI | m2://inv/WG395D2QA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#4QXC, A short linear combination as a coordinate (statement). In Y4TP36M0C7/e1, lemma 27
History
- 2026-10-28: add by m2/v0.4.2
WG3A0SE01G WG3A0SE01G
| URI | m2://inv/WG3A0SE01G |
|---|---|
| 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 1803.10042#KQAJ (example). In 718SP8YERQ/e1, example A8
History
- 2026-10-27: add by m2/v0.3.5
Diameter sharpness for contraction WG3AKYN095
| URI | m2://inv/WG3AKYN095 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#KBJC, Diameter sharpness for contraction (statement). In FTPW1SZ8D3/e1, lemma A.16
History
- 2026-10-30: add by m2/v0.4.12
Directed subset WG3B0MY8M4
| URI | m2://inv/WG3B0MY8M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed set#X943, Directed subset (unknown)
History
- 2026-11-02: add by m2/dev
WG3BZCJMZ3 WG3BZCJMZ3
| URI | m2://inv/WG3BZCJMZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#87DG (statement). In VGJVFCDV8A/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
intrinsic derivative WG3DXNFX3K
| URI | m2://inv/WG3DXNFX3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric calculus#JOY3, intrinsic derivative (definition)
History
- 2026-11-02: add by m2/dev
Use WG3KFCFX89
| URI | m2://inv/WG3KFCFX89 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous Authentication of Equals#YB4L, Use (example)
History
- 2026-11-02: add by m2/dev
Reeb graph WG3Q7FW7X2
| URI | m2://inv/WG3Q7FW7X2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#LR2O, Reeb graph (definition). In ZJ6VQCRDVR/e1, definition 12
History
- 2026-10-29: add by m2/v0.4.12
WG3R31PCQA WG3R31PCQA
| URI | m2://inv/WG3R31PCQA |
|---|---|
| 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 2303.13891#83S7 (statement). In TC91C5DGTG/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Klein four-group WG3V518CQ0
| URI | m2://inv/WG3V518CQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#M3I6, Klein four-group (definition)
- wikipedia: Wikipedia List of things named after Felix Klein#SM4A, Klein four-group (definition)
History
- 2026-11-02: add by m2/dev
WG3VJB8XV2 WG3VJB8XV2
| URI | m2://inv/WG3VJB8XV2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
The Strange Logic of Random Graphs WG3Y5GRQEN
| URI | m2://inv/WG3Y5GRQEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Strange Logic of Random Graphs, The Strange Logic of Random Graphs (definition). Also Wikidata Q96409643
History
- 2026-11-02: add by m2/dev
disdyakis triacontahedral graph WG436WZAPE
| URI | m2://inv/WG436WZAPE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115565, disdyakis triacontahedral graph (unknown). Also House of Graphs 1041, MathWorld DisdyakisTriacontahedralGraph
History
- 2026-10-26: add by m2/dev
Examples WG450K14AX
| URI | m2://inv/WG450K14AX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite measure#J8Z2, Examples (example)
History
- 2026-11-02: add by m2/dev
Uniform estimate from the measurement WG4D030MAQ
| URI | m2://inv/WG4D030MAQ |
|---|---|
| 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.26743#KLZO, Uniform estimate from the measurement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem WG4E44KXGG
| URI | m2://inv/WG4E44KXGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's lemma#N9TV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Dominating and maximal transmittable algebras WG4J2QKN5W
| URI | m2://inv/WG4J2QKN5W |
|---|---|
| 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.40054#FG9P, Dominating and maximal transmittable algebras (definition). In CA4C9PFM1E/e1, definition 4.0.1
History
- 2026-10-30: add by m2/v0.4.12
WG4PFAYEEA WG4PFAYEEA
| URI | m2://inv/WG4PFAYEEA |
|---|---|
| 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 2109.09268#T1OH (example). In SYZFEVFHC3/e1, example 1.2
History
- 2026-10-27: add by m2/v0.3.5
Lemma WG4RKVP8Z1
| URI | m2://inv/WG4RKVP8Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cochran's theorem#UJQ5, Lemma (statement)
History
- 2026-11-02: add by m2/dev
C WG508GDHPN
| URI | m2://inv/WG508GDHPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3NM3, C (definition)
History
- 2026-11-02: add by m2/dev
Kernel WG537MJXQQ
| URI | m2://inv/WG537MJXQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (statistics), Kernel (definition). Also Wikidata Q3345662
History
- 2026-11-02: add by m2/dev
WG57MG5PCN WG57MG5PCN
| URI | m2://inv/WG57MG5PCN |
|---|---|
| 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.13103#0RZA (statement). In GG2ZZV6KEQ/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Applications WG58E47ZND
| URI | m2://inv/WG58E47ZND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell's demon#C04L, Applications (example)
History
- 2026-11-02: add by m2/dev
WG5JZWBDMM WG5JZWBDMM
| URI | m2://inv/WG5JZWBDMM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.20229#AHLD (definition). In 1B85G2QJC2/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.6
WG5MWKSH09 WG5MWKSH09
| URI | m2://inv/WG5MWKSH09 |
|---|---|
| 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 2511.07697#U2TU (statement). In 57P5P33HS3/e1, lemma 16
History
- 2026-10-27: add by m2/v0.3.5
WG5QRGC3NF WG5QRGC3NF
| URI | m2://inv/WG5QRGC3NF |
|---|---|
| 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.06724#UZKT (statement). In W5XG3PGVF1/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
Generalized arithmetic progression WG5TYC07KW
| URI | m2://inv/WG5TYC07KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized arithmetic progression, Generalized arithmetic progression (definition). Also Wikidata Q5532461
History
- 2026-11-02: add by m2/dev
WG5W88QV8Z WG5W88QV8Z
| URI | m2://inv/WG5W88QV8Z |
|---|---|
| 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 2501.12834#FJZ9 (definition). In 25JX9GN5TE/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
etale WG69S51PTX
| URI | m2://inv/WG69S51PTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#9VQZ, etale (definition)
History
- 2026-11-02: add by m2/dev
Fredholm module WG6MHJ3Y1W
| URI | m2://inv/WG6MHJ3Y1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5499350, Fredholm module (unknown). Also nLab Fredholm module
- wikipedia: Wikipedia Fredholm module, Fredholm module (definition). Also Wikidata Q5499350
History
- 2026-10-26: add by m2/dev
Unambiguous Turing machine WG6SQQS7EP
| URI | m2://inv/WG6SQQS7EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unambiguous Turing machine, Unambiguous Turing machine (definition). Also Wikidata Q22909536
History
- 2026-11-02: add by m2/dev
WG6THSA5PF WG6THSA5PF
| URI | m2://inv/WG6THSA5PF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04172#6XNV (definition). In 9Q1D1NMTTS/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
relative dimension WG6WWV2BEG
| URI | m2://inv/WG6WWV2BEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7310789, relative dimension (unknown). Also nLab relative dimension
- wikipedia: Wikipedia Relative dimension, Relative dimension (definition). Also Wikidata Q7310789
History
- 2026-10-26: add by m2/dev
WG6ZQW325F WG6ZQW325F
| URI | m2://inv/WG6ZQW325F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#proof-2 (proof). In RZP28ERRZV, proof, section 93.7
History
- 2026-11-01: add by m2/v0.6.13
Hardy space WG79CAP4WM
| URI | m2://inv/WG79CAP4WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#61I8, Hardy space (definition)
- wikipedia: Wikipedia List of complex analysis topics#XF2R, Hardy space (definition)
- wikipedia: Wikipedia List of functional analysis topics#DA64, Hardy space (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#ZNX3, Hardy space (definition)
History
- 2026-11-02: add by m2/dev
WG7DNC4YE3 WG7DNC4YE3
| URI | m2://inv/WG7DNC4YE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#1A1G (statement). In 29D4TTE3J2/e1, corollary 2.19
History
- 2026-10-27: add by m2/v0.4.2
Moving horizon estimation WG7G5CS8YB
| URI | m2://inv/WG7G5CS8YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving horizon estimation, Moving horizon estimation (definition). Also Wikidata Q6927137
History
- 2026-11-02: add by m2/dev
Tom Sanders WG7R4THAPN
| URI | m2://inv/WG7R4THAPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Sanders (mathematician), Tom Sanders (topic). Also Wikidata Q2440058
History
- 2026-11-02: add by m2/dev
Comparison theorem WG7T30HVAQ
| URI | m2://inv/WG7T30HVAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeeman's comparison theorem#Q14N, Comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
WG7TZRVCMC WG7TZRVCMC
| URI | m2://inv/WG7TZRVCMC |
|---|---|
| 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 1904.09810#JR4Q (statement). In T1VFA7TXPA/e1, lemma 67
History
- 2026-10-27: add by m2/v0.3.5
Digital signature in Estonia WG7XJGBYD9
| URI | m2://inv/WG7XJGBYD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature in Estonia, Digital signature in Estonia (definition). Also Wikidata Q16829654
History
- 2026-11-02: add by m2/dev
finite length WG7ZKD0TA8
| URI | m2://inv/WG7ZKD0TA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#J4OP, finite length (definition)
History
- 2026-11-02: add by m2/dev
snub dodecadodecahedron WG89XMQ6W1
| URI | m2://inv/WG89XMQ6W1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83769, snub dodecadodecahedron (unknown). Also MathWorld SnubDodecadodecahedron
- wikipedia: Wikipedia Snub dodecadodecahedron, Snub dodecadodecahedron (object). Also Wikidata Q83769
History
- 2026-10-26: add by m2/dev
WG8ENWJG1V WG8ENWJG1V
| URI | m2://inv/WG8ENWJG1V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#UB28 (definition). In 5KR3MHYVV6/e1, definition 2.0
History
- 2026-10-28: add by m2/v0.4.2
WG8JW730JA WG8JW730JA
| URI | m2://inv/WG8JW730JA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
A prescribed-phase instance WG8X24ZKDP
| URI | m2://inv/WG8X24ZKDP |
|---|---|
| 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.01329#HVO7, A prescribed-phase instance (definition). In 7XEVYJKJ5C/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Baer's criterion WG8YER8ZH3
| URI | m2://inv/WG8YER8ZH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective module#6LIC, Baer's criterion (statement)
History
- 2026-11-02: add by m2/dev
WG8Z2MPYG4 WG8Z2MPYG4
| URI | m2://inv/WG8Z2MPYG4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
WG91KEMX7V WG91KEMX7V
| URI | m2://inv/WG91KEMX7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#8QGF (statement). In QPJ6FWG5HD/e1, proposition 2.19
History
- 2026-10-29: add by m2/v0.4.12
WG931QVBWE WG931QVBWE
| URI | m2://inv/WG931QVBWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#9N5X (statement). In T8BQ6HHZYT/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.3.5
The method WG976ZHEPN
| URI | m2://inv/WG976ZHEPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power iteration#QCOR, The method (definition)
History
- 2026-11-02: add by m2/dev
$\Lambda$-minimality WG97C2NABS
| URI | m2://inv/WG97C2NABS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15088#6P36, $\Lambda$-minimality (definition). In 2BRTT5ZFC6/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Properties WG999TA1D1
| URI | m2://inv/WG999TA1D1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#HXAB, Properties (statement)
History
- 2026-11-02: add by m2/dev
{$\ZZ[\sqrt7]$} is a UFD WG9BAPTQ5T
| URI | m2://inv/WG9BAPTQ5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proposition-2, {$\ZZ[\sqrt7]$} is a UFD (statement). In RZP28ERRZV, proposition, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
WG9HNC5XXV WG9HNC5XXV
| URI | m2://inv/WG9HNC5XXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#1V0L (statement). In E7BPGPP9Z5/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
WG9PZFBCD5 WG9PZFBCD5
| URI | m2://inv/WG9PZFBCD5 |
|---|---|
| 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 2411.10658#81LZ (statement). In 3PY22ABV4Y/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
WG9QB9HJJN WG9QB9HJJN
| URI | m2://inv/WG9QB9HJJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#DVNC (statement). In W9Z6S1PDTP/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
WG9RRZSFHR WG9RRZSFHR
| URI | m2://inv/WG9RRZSFHR |
|---|---|
| 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.01354#Q41N (statement). In BWD76W20W8/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Sharp universal upper bound for the maximum expectation WG9VK6B502
| URI | m2://inv/WG9VK6B502 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25062#SGNT, Sharp universal upper bound for the maximum expectation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional change model WG9Y9YB0RG
| URI | m2://inv/WG9Y9YB0RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9X1Y, Conditional change model (definition)
History
- 2026-11-02: add by m2/dev
Crime and mental disorder WG9YP0J5FJ
| URI | m2://inv/WG9YP0J5FJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlates of crime#B2J0, Crime and mental disorder (unknown)
History
- 2026-11-02: add by m2/dev
WGA51AQ5NK WGA51AQ5NK
| URI | m2://inv/WGA51AQ5NK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#2E2S (definition). In 879ZDHVK7N/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.2
WGA7CTVM3S WGA7CTVM3S
| URI | m2://inv/WGA7CTVM3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#6285 (definition)
History
- 2026-11-02: add by m2/v0.6.18
WGA8AXDHSC WGA8AXDHSC
| URI | m2://inv/WGA8AXDHSC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#ERS7 (example). In A1GWWGRXPA/e1, example 1.10
History
- 2026-10-27: add by m2/v0.4.2
Singular solution WGAAKZWEQX
| URI | m2://inv/WGAAKZWEQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#L2J7, Singular solution (definition)
- wikipedia: Wikipedia List of curves topics#KQ7Q, Singular solution (definition)
History
- 2026-11-02: add by m2/dev
Wolfgang Wasow WGAC0Z4543
| URI | m2://inv/WGAC0Z4543 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#D7KW, Wolfgang Wasow (unknown)
History
- 2026-11-02: add by m2/dev
Robertson--Schr\"odinger uncertainty relation WGAF5KC0C7
| URI | m2://inv/WGAF5KC0C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#DIFT, Robertson--Schr\"odinger uncertainty relation (statement). In MM8P5CJR18/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
WGAW425926 WGAW425926
| URI | m2://inv/WGAW425926 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#YQOC (statement). In E3EK0ESPA7/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
WGAYJWXCV6 WGAYJWXCV6
| URI | m2://inv/WGAYJWXCV6 |
|---|---|
| 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#E9PQ (statement). In XV70TXYS5A/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
General relativity resources WGB17CK19C
| URI | m2://inv/WGB17CK19C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General relativity#Z67Q, General relativity resources (unknown)
History
- 2026-11-02: add by m2/dev
WGB5R4CKNH WGB5R4CKNH
| URI | m2://inv/WGB5R4CKNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#7PKL (statement)
History
- 2026-11-01: add by m2/v0.6.15
WGB7NYEWEX WGB7NYEWEX
| URI | m2://inv/WGB7NYEWEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#6RYM (statement). In SD28S3K7BT/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.12
Properties WGBA285RWG
| URI | m2://inv/WGBA285RWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective logic#H7DM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Subadditive set function WGBF9G59FZ
| URI | m2://inv/WGBF9G59FZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditive set function, Subadditive set function (definition). Also Wikidata Q12368921
History
- 2026-11-02: add by m2/dev
WGBJC7J0N0 WGBJC7J0N0
| URI | m2://inv/WGBJC7J0N0 |
|---|---|
| Kind | problem |
| 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 2610.01596#G4DR (problem). In 40VTEP7WH8/e1, problem 7.3
History
- 2026-10-29: add by m2/v0.4.12
Birnbaum's theorem WGBMDVXSH1
| URI | m2://inv/WGBMDVXSH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birnbaum's theorem, Birnbaum's theorem (statement). Also Wikidata Q137673359
History
- 2026-11-02: add by m2/dev
Henri Louis Vanderlinden WGBMFS49DB
| URI | m2://inv/WGBMFS49DB |
|---|---|
| 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#GPB8, Henri Louis Vanderlinden (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MD5J, Henri Louis Vanderlinden (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WX1B, Henri Louis Vanderlinden (unknown)
History
- 2026-11-02: add by m2/dev
WGBMGZPY8J WGBMGZPY8J
| URI | m2://inv/WGBMGZPY8J |
|---|---|
| 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.14450#HBJX (statement). In ZHTGQT07PE/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Zero Knowledge Systems WGC2YACEBT
| URI | m2://inv/WGC2YACEBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero Knowledge Systems, Zero Knowledge Systems (definition). Also Wikidata Q17103066
History
- 2026-11-02: add by m2/dev
WGC4GGCEG3 WGC4GGCEG3
| URI | m2://inv/WGC4GGCEG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm-1 (statement). In E59CDZA4DP, thm, section 4.5.2
History
- 2026-11-01: add by m2/v0.6.13
Formal definition WGC6W9HXR6
| URI | m2://inv/WGC6W9HXR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix grammar#N9JW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
WGC82CAP0X WGC82CAP0X
| URI | m2://inv/WGC82CAP0X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 55.3.1
History
- 2026-11-01: add by m2/v0.6.13
WGCBHVEWGX WGCBHVEWGX
| URI | m2://inv/WGCBHVEWGX |
|---|---|
| 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.10330#ZYAK (statement). In CDXQHNX1P8/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Algorithm WGCG2602SG
| URI | m2://inv/WGCG2602SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liénard–Chipart criterion#2YWI, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Pfaffian orientation WGCJSWGJRT
| URI | m2://inv/WGCJSWGJRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian orientation, Pfaffian orientation (definition). Also Wikidata Q49000601
History
- 2026-11-02: add by m2/dev
A finite-product scalar sampler WGDBPZ4CAY
| URI | m2://inv/WGDBPZ4CAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#40KP, A finite-product scalar sampler (statement). In AVDZGC7976/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Path WGDE10S81G
| URI | m2://inv/WGDE10S81G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#FG47, Path (definition)
History
- 2026-11-02: add by m2/dev
Eric Reissner WGDE4B34JD
| URI | m2://inv/WGDE4B34JD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#5NRA, Eric Reissner (unknown)
History
- 2026-11-02: add by m2/dev
disjunctive normal form WGDFKKYSKQ
| URI | m2://inv/WGDFKKYSKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1TSI, disjunctive normal form (definition)
History
- 2026-11-02: add by m2/dev
WGDQFQVAAW WGDQFQVAAW
| URI | m2://inv/WGDQFQVAAW |
|---|---|
| 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 2609.31389#2HGT (statement). In YS0YFQEYE1/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
WGDS182458 WGDS182458
| URI | m2://inv/WGDS182458 |
|---|---|
| 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 2210.16706#G3I1 (statement). In JSRVKPT87E/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
WGDW8SR25V WGDW8SR25V
| URI | m2://inv/WGDW8SR25V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Typex WGDYB6MFBN
| URI | m2://inv/WGDYB6MFBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Typex, Typex (definition). Also Wikidata Q635774
History
- 2026-11-02: add by m2/dev
Complex-base system WGE3EN5HM3
| URI | m2://inv/WGE3EN5HM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex-base system, Complex-base system (definition). Also Wikidata Q5156566
History
- 2026-11-02: add by m2/dev
WGE3EW2D0F WGE3EW2D0F
| URI | m2://inv/WGE3EW2D0F |
|---|---|
| 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.12188#FD52 (statement). In 52HWCGK5QJ/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
WGE4K3R6JH WGE4K3R6JH
| URI | m2://inv/WGE4K3R6JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1802.02910#PQHJ (statement). In AY2MA29921/e1, theorem 02
History
- 2026-10-27: add by m2/v0.3.5
Remaining duration at the decision WGE5DMGP9Z
| URI | m2://inv/WGE5DMGP9Z |
|---|---|
| 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.18445#687Y, Remaining duration at the decision (statement). In X63FGXZP4F/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Routing and small sets WGE8Y0F6BW
| URI | m2://inv/WGE8Y0F6BW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#BO9E, Routing and small sets (statement). In NKW6YQ04QW/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Hoppean WGEBX8HXRW
| URI | m2://inv/WGEBX8HXRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Hermann Hoppe#V77V, Hoppean (unknown)
History
- 2026-11-02: add by m2/dev
Bill Parry WGENWFT1QS
| URI | m2://inv/WGENWFT1QS |
|---|---|
| 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#6MSB, Bill Parry (topic)
History
- 2026-11-02: add by m2/dev
Hyperparameter optimization WGEPD5QCBN
| URI | m2://inv/WGEPD5QCBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#CLJV, Hyperparameter optimization (definition)
History
- 2026-11-02: add by m2/dev
WGEPWK877M WGEPWK877M
| URI | m2://inv/WGEPWK877M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-21 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
WGF1K3AHTM WGF1K3AHTM
| URI | m2://inv/WGF1K3AHTM |
|---|---|
| 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.05646#ZRLA (statement). In K7Z6TZDFYK/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
WGF1KHM970 WGF1KHM970
| URI | m2://inv/WGF1KHM970 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#1L7P (definition)
History
- 2026-11-02: add by m2/v0.6.18
Computation WGF8TZA4XA
| URI | m2://inv/WGF8TZA4XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Törnqvist index#H2EB, Computation (definition)
History
- 2026-11-02: add by m2/dev
Fano's inequality with list decoding WGF93RRAB1
| URI | m2://inv/WGF93RRAB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.33291#Q6KI, Fano's inequality with list decoding (statement). In HQN1Y9RP53/e1, theorem A.1
History
- 2026-10-30: add by m2/v0.4.12
Abraham Wald WGF9KDMBJ3
| URI | m2://inv/WGF9KDMBJ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7ALH, Abraham Wald (topic)
History
- 2026-11-02: add by m2/dev
WGFBCMMR7K WGFBCMMR7K
| URI | m2://inv/WGFBCMMR7K |
|---|---|
| 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.02751#WW3E (statement). In MWGXPXF3BW/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
Relationship to the binomial theorem WGFC6SSTJP
| URI | m2://inv/WGFC6SSTJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General Leibniz rule#DD36, Relationship to the binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Internet censorship circumvention WGFEKMV9RZ
| URI | m2://inv/WGFEKMV9RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internet censorship circumvention, Internet censorship circumvention (definition). Also Wikidata Q839180
History
- 2026-11-02: add by m2/dev
WGFHGWRR4T WGFHGWRR4T
| URI | m2://inv/WGFHGWRR4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#HBWY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Busemann function WGFR9A0GJG
| URI | m2://inv/WGFR9A0GJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busemann function, Busemann function (definition). Also Wikidata Q16849676
History
- 2026-11-02: add by m2/dev
$\delta$-annular region WGG29QYEE4
| URI | m2://inv/WGG29QYEE4 |
|---|---|
| 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 2609.26592#SREN, $\delta$-annular region (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties WGG2G7DZQ4
| URI | m2://inv/WGG2G7DZQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological manifold#G4ZI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Philip Tanedo WGG3BPG9C5
| URI | m2://inv/WGG3BPG9C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q58374499, Philip Tanedo (unknown). Also nLab Philip Tanedo
History
- 2026-10-26: add by m2/dev
Asymptotic curve WGG4NVA7DQ
| URI | m2://inv/WGG4NVA7DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#9XWV, Asymptotic curve (definition)
- wikipedia: Wikipedia List of curves topics#56SO, Asymptotic curve (definition)
History
- 2026-11-02: add by m2/dev
Rigid origami WGGB96JTP7
| URI | m2://inv/WGGB96JTP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid origami, Rigid origami (definition). Also Wikidata Q17087012
History
- 2026-11-02: add by m2/dev
WGGKY8WXDE WGGKY8WXDE
| URI | m2://inv/WGGKY8WXDE |
|---|---|
| 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 2204.07961#VQTY (statement). In 4DK4VRKZVM/e1, corollary 1.10
History
- 2026-10-27: add by m2/v0.3.5
WGGW8A2TRH WGGW8A2TRH
| URI | m2://inv/WGGW8A2TRH |
|---|---|
| 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.38659#LF4D (statement). In DCJ23ZYXGK/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
Dianna Xu WGH0JMJA52
| URI | m2://inv/WGH0JMJA52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dianna Xu, Dianna Xu (topic). Also Wikidata Q56651200
History
- 2026-11-02: add by m2/dev
WGH8H13KP2 WGH8H13KP2
| URI | m2://inv/WGH8H13KP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13953#X8HI (statement). In D8258MF12E/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Lifted Hamming codes WGH94X6B63
| URI | m2://inv/WGH94X6B63 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#0OHV, Lifted Hamming codes (example). In YZNK67K060/e1, example 4.9
History
- 2026-10-29: add by m2/v0.4.12
Beatrice S. Orleans WGHB773HHT
| URI | m2://inv/WGHB773HHT |
|---|---|
| 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#63GY, Beatrice S. Orleans (unknown)
History
- 2026-11-02: add by m2/dev
Adventures Among the Toroids WGHHD2M3YY
| URI | m2://inv/WGHHD2M3YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adventures Among the Toroids, Adventures Among the Toroids (definition). Also Wikidata Q98078468
History
- 2026-11-02: add by m2/dev
Poisson-type random measure WGHKPFN01R
| URI | m2://inv/WGHKPFN01R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson-type random measure, Poisson-type random measure (definition). Also Wikidata Q96399641
History
- 2026-11-02: add by m2/dev
Linear complementarity problem WGHMTTB5XV
| URI | m2://inv/WGHMTTB5XV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#PIKC, Linear complementarity problem (problem)
History
- 2026-11-02: add by m2/dev
Hilbert's program WGHQC01DS3
| URI | m2://inv/WGHQC01DS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2H9U, Hilbert's program (definition)
History
- 2026-11-02: add by m2/dev
torsionless WGHTSXDS1N
| URI | m2://inv/WGHTSXDS1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#5BZG, torsionless (definition)
History
- 2026-11-02: add by m2/dev
List of convolutions of probability distributions WGHV8YNJQZ
| URI | m2://inv/WGHV8YNJQZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convolutions of probability distributions, List of convolutions of probability distributions (topic). Also Wikidata Q1654713
History
- 2026-11-02: add by m2/dev
Bhaskara I WGHZWGMMP2
| URI | m2://inv/WGHZWGMMP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#Y6DD, Bhaskara I (topic)
History
- 2026-11-02: add by m2/dev
Data cleansing WGJ17FJ4DH
| URI | m2://inv/WGJ17FJ4DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3TNC, Data cleansing (definition)
History
- 2026-11-02: add by m2/dev
Amplitude observability WGJ42N8KFM
| URI | m2://inv/WGJ42N8KFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29147#3VXZ, Amplitude observability (statement)
History
- 2026-11-01: add by m2/v0.6.15
WGJ4E4VQ7J WGJ4E4VQ7J
| URI | m2://inv/WGJ4E4VQ7J |
|---|---|
| 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 2608.24190#STFA (statement). In DW7FVA587C/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Leibniz Institute of Agricultural Development in Transition Economies WGJAQ455RN
| URI | m2://inv/WGJAQ455RN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#ZITT, Leibniz Institute of Agricultural Development in Transition Economies (unknown)
History
- 2026-11-02: add by m2/dev
WGJBPXF6YW WGJBPXF6YW
| URI | m2://inv/WGJBPXF6YW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#TT9L (definition). In WJD9YPGGYH/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
WGJEQV054D WGJEQV054D
| URI | m2://inv/WGJEQV054D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#TMEC (statement). In KJY735KSMF/e1, corollary 10.10
History
- 2026-10-28: add by m2/v0.4.2
Ninet Sinaii WGJEYZHNGF
| URI | m2://inv/WGJEYZHNGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ninet Sinaii, Ninet Sinaii (topic). Also Wikidata Q63928297
History
- 2026-11-02: add by m2/dev
p.m. WGJMAEFDEN
| URI | m2://inv/WGJMAEFDEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55313907, p.m. (definition). Also ProofWiki Definition:Post_Meridiem
History
- 2026-10-26: add by m2/dev
CW complex WGJPZ16MT7
| URI | m2://inv/WGJPZ16MT7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/cw-complex, CW complex (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Existence of theories that satisfy the axioms WGJTC0W5X7
| URI | m2://inv/WGJTC0W5X7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wightman axioms#12QB, Existence of theories that satisfy the axioms (statement)
History
- 2026-11-02: add by m2/dev
WGK0JCJVJT WGK0JCJVJT
| URI | m2://inv/WGK0JCJVJT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#3XGC (example). In A5YJDDM0NX/e1, example 1.10
History
- 2026-10-29: add by m2/v0.4.10
List of unsolved problems in information theory WGK3QKKJEP
| URI | m2://inv/WGK3QKKJEP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in information theory, List of unsolved problems in information theory (topic). Also Wikidata Q18208307
History
- 2026-11-02: add by m2/dev
WGK5XT1QJR WGK5XT1QJR
| URI | m2://inv/WGK5XT1QJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#QBR1 (statement). In TX0H26X4VX/e1, corollary 7.10
History
- 2026-10-29: add by m2/v0.4.12
WGK6TRX0AE WGK6TRX0AE
| URI | m2://inv/WGK6TRX0AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#1JQ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WGKA7WK0R4 WGKA7WK0R4
| URI | m2://inv/WGKA7WK0R4 |
|---|---|
| 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.14086#Z39X (statement). In J6EZ2RQW2F/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
WGKQBN0WR1 WGKQBN0WR1
| URI | m2://inv/WGKQBN0WR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#CEQT (statement). In SMTJDX0Q6R/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
WGKQSW257K WGKQSW257K
| URI | m2://inv/WGKQSW257K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#6BCO (statement). In KXWYE4SJY3/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
WGKTVVK50R WGKTVVK50R
| URI | m2://inv/WGKTVVK50R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03730#4CTG (statement). In ADEX39KM1T/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.4.0
WGKW0CW4XG WGKW0CW4XG
| URI | m2://inv/WGKW0CW4XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16193#VQNG (statement). In 1Q0A9HSTVP/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
The Fibonacci Association WGM8HFFCZB
| URI | m2://inv/WGM8HFFCZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Fibonacci Association, The Fibonacci Association (definition). Also Wikidata Q3520860
History
- 2026-11-02: add by m2/dev
Ending lamination theorem WGM9QQ0JRW
| URI | m2://inv/WGM9QQ0JRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ending lamination theorem, Ending lamination theorem (statement). Also Wikidata Q5376147
History
- 2026-11-02: add by m2/dev
WGMP4K0P9N WGMP4K0P9N
| URI | m2://inv/WGMP4K0P9N |
|---|---|
| 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.15352#JI9P (statement). In R39P7AFXM8/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
WGMVQJSKPZ WGMVQJSKPZ
| URI | m2://inv/WGMVQJSKPZ |
|---|---|
| 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 2210.11778#KIEZ (statement). In PPAJZ2JBCE/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
WGMZEMFNAR WGMZEMFNAR
| URI | m2://inv/WGMZEMFNAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#O6K3 (statement). In 95YZVAPGJA/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Natural language semantics and type theory WGN2T6B3T1
| URI | m2://inv/WGN2T6B3T1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type theory#27FT, Natural language semantics and type theory (unknown)
History
- 2026-11-02: add by m2/dev
Examples WGN6FMX9AW
| URI | m2://inv/WGN6FMX9AW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand structure#FI3L, Examples (example)
History
- 2026-11-02: add by m2/dev
WGNA5HRGY9 WGNA5HRGY9
| URI | m2://inv/WGNA5HRGY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#Q05D (statement). In RW315W172S/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
Criticism of pragmatism WGNA7HX3SJ
| URI | m2://inv/WGNA7HX3SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatism#Z170, Criticism of pragmatism (unknown)
History
- 2026-11-02: add by m2/dev
WGNBEDPWSW WGNBEDPWSW
| URI | m2://inv/WGNBEDPWSW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#MPVT (definition)
History
- 2026-11-01: add by m2/v0.6.15
WGNDG156ZE WGNDG156ZE
| URI | m2://inv/WGNDG156ZE |
|---|---|
| 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.02681#9GER (statement). In 7BBJMB97N7/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
WGNE47ACFH WGNE47ACFH
| URI | m2://inv/WGNE47ACFH |
|---|---|
| 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.18740#QI8C (statement). In 82815Z5JR7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
WGNJR0ZJV1 WGNJR0ZJV1
| URI | m2://inv/WGNJR0ZJV1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#E5FK (definition). In QHFP0837Q8/e1, definition 5.11
History
- 2026-10-29: add by m2/v0.4.12
Injective canonical simulation WGNSV82ZN6
| URI | m2://inv/WGNSV82ZN6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#DDON, Injective canonical simulation (definition). In WD2NCBV9F0/e1, definition 7.15
History
- 2026-10-27: add by m2/v0.3.5
Properties WGNT907H7K
| URI | m2://inv/WGNT907H7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choi–Williams distribution function#4Z5M, Properties (statement)
History
- 2026-11-02: add by m2/dev
WGP5W3W733 WGP5W3W733
| URI | m2://inv/WGP5W3W733 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#LB8U (definition)
History
- 2026-11-02: add by m2/v0.6.18
Sample size in each interval WGPCSK4PC2
| URI | m2://inv/WGPCSK4PC2 |
|---|---|
| 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.25388#NKOB, Sample size in each interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
logarithmic (series) distribution WGPJ8GSSYF
| URI | m2://inv/WGPJ8GSSYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#9MP9, logarithmic (series) distribution (definition)
History
- 2026-11-02: add by m2/dev
WGPKE5PCD3 WGPKE5PCD3
| URI | m2://inv/WGPKE5PCD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#G2DT (statement). In TT9BA4VMTW/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
WGPM9K82V8 WGPM9K82V8
| URI | m2://inv/WGPM9K82V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#8EL4 (statement). In XYYEJN00D8/e1, lemma 2.14
History
- 2026-10-30: add by m2/v0.4.12
homotopy excision theorem WGPT3GDCKD
| URI | m2://inv/WGPT3GDCKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#TBE9, homotopy excision theorem (definition)
History
- 2026-11-02: add by m2/dev
Hinterlaces WGQ0Q9PSYD
| URI | m2://inv/WGQ0Q9PSYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polls in Venezuela#V9QN, Hinterlaces (unknown)
History
- 2026-11-02: add by m2/dev
Lens space WGQ10758CP
| URI | m2://inv/WGQ10758CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#F62Z, Lens space (definition)
- wikipedia: Wikipedia List of manifolds#PW63, Lens space (definition)
History
- 2026-11-02: add by m2/dev
Dieudonné plank WGQ1CAJQQT
| URI | m2://inv/WGQ1CAJQQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné plank, Dieudonné plank (definition). Also Wikidata Q5275224
History
- 2026-11-02: add by m2/dev
Finite-block lemma WGQ2RA4CNC
| URI | m2://inv/WGQ2RA4CNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#ELXI, Finite-block lemma (statement). In 11JNM66Z09/e1, lemma G.4
History
- 2026-10-28: add by m2/v0.4.2
Tevian Dray WGQ4WKVAHM
| URI | m2://inv/WGQ4WKVAHM |
|---|---|
| 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 Q7707133, Tevian Dray (unknown). Also nLab Tevian Dray
- wikipedia: Wikipedia Tevian Dray, Tevian Dray (topic). Also Wikidata Q7707133
History
- 2026-10-26: add by m2/dev
WGQDA2WCY3 WGQDA2WCY3
| URI | m2://inv/WGQDA2WCY3 |
|---|---|
| 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 2610.16731#A25W (statement). In D68KBZQ4Q6/e1, lemma 3.18
History
- 2026-10-28: add by m2/v0.4.2
WGQFM7QGCJ WGQFM7QGCJ
| URI | m2://inv/WGQFM7QGCJ |
|---|---|
| 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.16358#T8UP (statement). In RJA3YJ9NYK/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Examples WGQGJXQ2PR
| URI | m2://inv/WGQGJXQ2PR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract L-space#DV6E, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples WGQK09HY7X
| URI | m2://inv/WGQK09HY7X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation of a poset#ZAW7, Examples (example)
History
- 2026-11-02: add by m2/dev
WGQK1PDC95 WGQK1PDC95
| URI | m2://inv/WGQK1PDC95 |
|---|---|
| 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.07930#8VU4 (statement). In CFM4KVB1R2/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
norm residue isomorphism theorem WGQM59G2B8
| URI | m2://inv/WGQM59G2B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Norm residue isomorphism theorem 5Q5VN56QH4 |
Mentions
- wikidata: Wikidata Q7051622, norm residue isomorphism theorem (statement). Also nLab norm residue isomorphism theorem
- wikipedia: Wikipedia Norm residue isomorphism theorem, Norm residue isomorphism theorem (statement). Also Wikidata Q7051622
History
- 2026-10-26: add by m2/dev
WGQQJQMXSW WGQQJQMXSW
| URI | m2://inv/WGQQJQMXSW |
|---|---|
| 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 2601.22681#FBCL (statement). In 68VEQQX68G/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
UFRGS Famous Alumni WGQYQ5HNMN
| URI | m2://inv/WGQYQ5HNMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federal University of Rio Grande do Sul#2D5S, UFRGS Famous Alumni (unknown)
History
- 2026-11-02: add by m2/dev
WGR0D9GYAG WGR0D9GYAG
| URI | m2://inv/WGR0D9GYAG |
|---|---|
| Kind | definition |
| 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 2610.03661#CST9 (definition). In ESDKTYDHC8/e1, definition 32
History
- 2026-10-29: add by m2/v0.4.12
WGR4QZR59C WGR4QZR59C
| URI | m2://inv/WGR4QZR59C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#JC7T (statement). In YQT2APQPWD/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
James R. Jackson WGR7X3D7SD
| URI | m2://inv/WGR7X3D7SD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James R. Jackson, James R. Jackson (topic). Also Wikidata Q6141651
History
- 2026-11-02: add by m2/dev
Lanczos algorithm WGRGGGVSNA
| URI | m2://inv/WGRGGGVSNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#CFND, Lanczos algorithm (definition)
History
- 2026-11-02: add by m2/dev
HJO WGRNMEK42B
| URI | m2://inv/WGRNMEK42B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#YKAU, HJO (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Hardy–Littlewood maximal inequality WGRPZBJQEE
| URI | m2://inv/WGRPZBJQEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Littlewood maximal function#ZDLH, Hardy–Littlewood maximal inequality (statement)
History
- 2026-11-02: add by m2/dev
Electrical resistivity tomography WGRQQY8XWW
| URI | m2://inv/WGRQQY8XWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrical resistivity tomography, Electrical resistivity tomography (definition). Also Wikidata Q488986
History
- 2026-11-02: add by m2/dev
WGRY7RGRM0 WGRY7RGRM0
| URI | m2://inv/WGRY7RGRM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:linv-rinv (definition). In N54F33XE07, defn, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
WGRZP8Y928 WGRZP8Y928
| URI | m2://inv/WGRZP8Y928 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#KFD9 (statement). In 7JPHSV4NXW/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Variations WGS0FZD0QY
| URI | m2://inv/WGS0FZD0QY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nim#1A8Q, Variations (statement)
History
- 2026-11-02: add by m2/dev
WGS0WZPBS1 WGS0WZPBS1
| URI | m2://inv/WGS0WZPBS1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#6YEI (definition). In 54ATJS74DT/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Example WGS2JKKRSR
| URI | m2://inv/WGS2JKKRSR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unmatched count#3106, Example (example)
History
- 2026-11-02: add by m2/dev
Polynomial function WGS428CQ5V
| URI | m2://inv/WGS428CQ5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#4GLQ, Polynomial function (definition)
History
- 2026-11-02: add by m2/dev
WGSEBSSS8B WGSEBSSS8B
| URI | m2://inv/WGSEBSSS8B |
|---|---|
| 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.16518#ZRWZ (statement). In SAQBDG4FK1/e1, lemma F.2
History
- 2026-10-28: add by m2/v0.4.2
WGSNMFHB33 WGSNMFHB33
| URI | m2://inv/WGSNMFHB33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#PLDY (statement). In Q4RZTN2EX6/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
dense WGSSMFXNWA
| URI | m2://inv/WGSSMFXNWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#5J6Y, dense (definition)
History
- 2026-11-02: add by m2/dev
Examples WGST9NSPGS
| URI | m2://inv/WGST9NSPGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigma-additive set function#4SQD, Examples (example)
History
- 2026-11-02: add by m2/dev
WGSVFP83G1 WGSVFP83G1
| URI | m2://inv/WGSVFP83G1 |
|---|---|
| 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#WY7Q (statement). In RBQ5FNCVNZ/e1, lemma C.11
History
- 2026-10-30: add by m2/v0.4.12
Rescaling WGSY3TBWZN
| URI | m2://inv/WGSY3TBWZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#ERPM, Rescaling (statement). In FJFJ3WR1SS/e1, lemma B.2
History
- 2026-10-31: add by m2/v0.5.6
Definition WGT3917KK4
| URI | m2://inv/WGT3917KK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero ring#CS8W, Definition (definition)
History
- 2026-11-02: add by m2/dev
WGT7X1DYNW WGT7X1DYNW
| URI | m2://inv/WGT7X1DYNW |
|---|---|
| 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.23833#UL6S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Picture superiority effect WGT9AKA6ND
| URI | m2://inv/WGT9AKA6ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#WT4C, Picture superiority effect (definition)
History
- 2026-11-02: add by m2/dev
Winding number along a limit cycle WGTF0EGR28
| URI | m2://inv/WGTF0EGR28 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#CHI3, Winding number along a limit cycle (definition). In 4HCK722M2G/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Cosine inequality along geodesics WGTGVRXVBQ
| URI | m2://inv/WGTGVRXVBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#6WL2, Cosine inequality along geodesics (statement). In YXZX6Z8S6A/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Second-order limit of the intercept-estimator difference WGTQ554YR5
| URI | m2://inv/WGTQ554YR5 |
|---|---|
| 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.23339#Y2ZD, Second-order limit of the intercept-estimator difference (statement)
History
- 2026-11-02: add by m2/v0.6.17
WGV521KQWZ WGV521KQWZ
| URI | m2://inv/WGV521KQWZ |
|---|---|
| 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 2412.12141#4FFS (statement). In V980ZMH759/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
Jacobian conjecture counterexample WGVD264MWM
| URI | m2://inv/WGVD264MWM |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levent Alpöge#9IH7, Jacobian conjecture counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
WGVEX5MBF0 WGVEX5MBF0
| URI | m2://inv/WGVEX5MBF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#FHAC (statement). In RYWAX33Z51/e1, lemma 9.2
History
- 2026-10-31: add by m2/v0.5.6
closed formula WGVPWVGT8B
| URI | m2://inv/WGVPWVGT8B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/closed-formula, closed formula (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Archimedean property WGVRPCGT0M
| URI | m2://inv/WGVRPCGT0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#DIIN, Archimedean property (definition)
History
- 2026-11-02: add by m2/dev
WGVS6TVB7H WGVS6TVB7H
| URI | m2://inv/WGVS6TVB7H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Stone lattice WGVX1814JE
| URI | m2://inv/WGVX1814JE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4394137, Stone lattice (unknown). Also EoM Stone_lattice
History
- 2026-10-26: add by m2/dev
Trigyrate rhombicosidodecahedron WGW2KH9M9C
| URI | m2://inv/WGW2KH9M9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IP7T, Trigyrate rhombicosidodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IPPW, Trigyrate rhombicosidodecahedron (definition)
History
- 2026-11-02: add by m2/dev
Combinatorial expressivity WGW5JNN4TV
| URI | m2://inv/WGW5JNN4TV |
|---|---|
| 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.02528#OUIH, Combinatorial expressivity (statement). In 5FQHVY6RXK/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
WGW7T75HTB WGW7T75HTB
| URI | m2://inv/WGW7T75HTB |
|---|---|
| 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 2609.30067#Y7DD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thomas von Randow WGWASEGH8H
| URI | m2://inv/WGWASEGH8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#UJX0, Thomas von Randow (topic)
History
- 2026-11-02: add by m2/dev
WGWAVHMFKD WGWAVHMFKD
| URI | m2://inv/WGWAVHMFKD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#9QBH (definition). In 317GZJ38HS/e1, definition 5.11
History
- 2026-10-29: add by m2/v0.4.12
WGWBW5J2YH WGWBW5J2YH
| URI | m2://inv/WGWBW5J2YH |
|---|---|
| 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.20991#WP46 (statement). In H98ZC5YBSD/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.2
Definition WGWS4VXJNA
| URI | m2://inv/WGWS4VXJNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regenerative process#WY89, Definition (definition)
History
- 2026-11-02: add by m2/dev
WGWSBVWYRC WGWSBVWYRC
| URI | m2://inv/WGWSBVWYRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#JINZ (statement). In KJY735KSMF/e1, proposition 10.2
History
- 2026-10-28: add by m2/v0.4.2
Rep-tiling and Golomb's tromino theorem WGWXGMTZT3
| URI | m2://inv/WGWXGMTZT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tromino#L8MT, Rep-tiling and Golomb's tromino theorem (statement)
History
- 2026-11-02: add by m2/dev
Calculus on Manifolds WGX4H5R6R8
| URI | m2://inv/WGX4H5R6R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#BQK8, Calculus on Manifolds (definition)
History
- 2026-11-02: add by m2/dev
WGXA7TYY1D WGXA7TYY1D
| URI | m2://inv/WGXA7TYY1D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#OYPF (definition). In H21X3FHNYJ/e1, definition 6.5
History
- 2026-10-27: add by m2/v0.4.2
Properties WGXE2KYBJA
| URI | m2://inv/WGXE2KYBJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beatty sequence#51RY, Properties (statement)
History
- 2026-11-02: add by m2/dev
WGXHCCC46Z WGXHCCC46Z
| URI | m2://inv/WGXHCCC46Z |
|---|---|
| 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.07644#5E9T (statement). In TFAN2DR6FD/e1, corollary 14
History
- 2026-10-27: add by m2/v0.3.5
WGXQDQEBAS WGXQDQEBAS
| URI | m2://inv/WGXQDQEBAS |
|---|---|
| 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.11377#PVSG (statement). In YCV4YA6FC2/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
Mertens conjecture WGXQK6C49A
| URI | m2://inv/WGXQK6C49A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2600201, Mertens conjecture (conjecture). Also MathWorld MertensConjecture
- wikipedia: Wikipedia Mertens conjecture, Mertens conjecture (statement). Also Wikidata Q2600201
History
- 2026-10-26: add by m2/dev
WGXY70E539 WGXY70E539
| URI | m2://inv/WGXY70E539 |
|---|---|
| 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.23279#H4AJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
WGXYPM875W WGXYPM875W
| URI | m2://inv/WGXYPM875W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23470#7IFK (statement)
History
- 2026-11-02: add by m2/v0.6.17
WGY305PVFC WGY305PVFC
| URI | m2://inv/WGY305PVFC |
|---|---|
| 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.14841#6X5V (statement). In 6V5HP8W1ZG/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Complete refined providers WGY4YA3413
| URI | m2://inv/WGY4YA3413 |
|---|---|
| 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.18214#9XGV, Complete refined providers (statement). In S4NXHVGB0Q/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
WGYCMP4GZR WGYCMP4GZR
| URI | m2://inv/WGYCMP4GZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#FO6W (statement). In 3KTZ6Z615H/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Lorentz gas WGYCSB3JFT
| URI | m2://inv/WGYCSB3JFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical billiards#M0UU, Lorentz gas (unknown)
History
- 2026-11-02: add by m2/dev
WGYEF3AW8B WGYEF3AW8B
| URI | m2://inv/WGYEF3AW8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#KRZL (statement). In H3FDP8S1Z7/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Hodge theory WGYJ1BKECE
| URI | m2://inv/WGYJ1BKECE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NNV6, Hodge theory (definition)
History
- 2026-11-02: add by m2/dev
Game III $\geqslant$ Game VI$_{\sf m}$ WGYXET0P57
| URI | m2://inv/WGYXET0P57 |
|---|---|
| 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 1803.10042#VVX6, Game III $\geqslant$ Game VI$_{\sf m}$ (statement). In 718SP8YERQ/e1, corollary A4
History
- 2026-10-27: add by m2/v0.3.5
Algebraic integer WGYYY8QBGW
| URI | m2://inv/WGYYY8QBGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#HA4H, Algebraic integer (definition)
History
- 2026-11-02: add by m2/dev
WGYZ84A1GH WGYZ84A1GH
| URI | m2://inv/WGYZ84A1GH |
|---|---|
| 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.01700#SMYW (statement). In FC5PVA100K/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
David Spiegelhalter WGZFJN18RM
| URI | m2://inv/WGZFJN18RM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4O3S, David Spiegelhalter (topic)
History
- 2026-11-02: add by m2/dev
Fejér's theorem WGZMJ98FT2
| URI | m2://inv/WGZMJ98FT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fejér's theorem, Fejér's theorem (statement). Also Wikidata Q571154
History
- 2026-11-02: add by m2/dev
Wykeham Professor of Ancient History WGZMN37B3Q
| URI | m2://inv/WGZMN37B3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wykeham Professor#MHM9, Wykeham Professor of Ancient History (unknown)
History
- 2026-11-02: add by m2/dev
Willy Fischler WGZTF6Z1EY
| URI | m2://inv/WGZTF6Z1EY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#3J4E, Willy Fischler (unknown)
History
- 2026-11-02: add by m2/dev
Implementations WGZTGV9MJQ
| URI | m2://inv/WGZTGV9MJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear graph grammar#U8HX, Implementations (definition)
History
- 2026-11-02: add by m2/dev
spherical design WGZVPNWA5E
| URI | m2://inv/WGZVPNWA5E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7576703, spherical design (concept). Also MathWorld SphericalDesign
- wikipedia: Wikipedia Spherical design, Spherical design (definition). Also Wikidata Q7576703
History
- 2026-10-26: add by m2/dev
Crinkled arc WGZX08Y5ZJ
| URI | m2://inv/WGZX08Y5ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crinkled arc, Crinkled arc (definition). Also Wikidata Q56291792
History
- 2026-11-02: add by m2/dev
Financial models with long-tailed distributions and volatility clustering WGZY12PJXW
| URI | m2://inv/WGZY12PJXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#317I, Financial models with long-tailed distributions and volatility clustering (definition)
History
- 2026-11-02: add by m2/dev