Inventory rows R7
The cards of the rows of the inventory whose ids start with R7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ordinary double curve R704XAXPEJ
| URI | m2://inv/R704XAXPEJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#5OZC, Ordinary double curve (definition)
History
- 2026-11-02: add by m2/v0.6.17
Derivation of the parametrized nome cube theorem R7054SJ4MG
| URI | m2://inv/R7054SJ4MG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#WHS1, Derivation of the parametrized nome cube theorem (statement)
History
- 2026-11-02: add by m2/dev
R7060BG961 R7060BG961
| URI | m2://inv/R7060BG961 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Uniformity in $q$ R70CJQ49JA
| URI | m2://inv/R70CJQ49JA |
|---|---|
| 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#Y727, Uniformity in $q$ (statement). In QPJ6FWG5HD/e1, lemma 2.23
History
- 2026-10-29: add by m2/v0.4.12
Schönfinkeling R70D3F382M
| URI | m2://inv/R70D3F382M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Currying#G89O, Schönfinkeling (unknown)
History
- 2026-11-02: add by m2/dev
R70DNBVSZP R70DNBVSZP
| URI | m2://inv/R70DNBVSZP |
|---|---|
| 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.02079#4UI0 (statement). In CNS2J2E4T2/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.12
R70HR854Q1 R70HR854Q1
| URI | m2://inv/R70HR854Q1 |
|---|---|
| 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.20568#5ZZU (statement). In BCD0ATARNZ/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.4.2
Fuzzy measure theory R70NXN8C7S
| URI | m2://inv/R70NXN8C7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QD6L, Fuzzy measure theory (topic)
History
- 2026-11-02: add by m2/dev
sort R70X9JTPV5
| URI | m2://inv/R70X9JTPV5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#97WK, sort (definition). In GW23NX78SB/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
quasinormed space R70XFR6P75
| URI | m2://inv/R70XFR6P75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91672132, quasinormed space (unknown). Also EoM Quasi-normed_space
History
- 2026-10-26: add by m2/dev
James Harvey Rogers R70YAR7S4F
| URI | m2://inv/R70YAR7S4F |
|---|---|
| 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#H9KH, James Harvey Rogers (unknown)
History
- 2026-11-02: add by m2/dev
Wolfgang Doeblin R70ZRGJX06
| URI | m2://inv/R70ZRGJX06 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#12FU, Wolfgang Doeblin (topic)
History
- 2026-11-02: add by m2/dev
Example R7127V39DJ
| URI | m2://inv/R7127V39DJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertain database#4T9W, Example (example)
History
- 2026-11-02: add by m2/dev
R712Y19X2K R712Y19X2K
| URI | m2://inv/R712Y19X2K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
R71BVHQWRQ R71BVHQWRQ
| URI | m2://inv/R71BVHQWRQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-16 (proof). In E59CDZA4DP, proof, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
Symmetric part of a tensor R71J09JTQX
| URI | m2://inv/R71J09JTQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric tensor#66S5, Symmetric part of a tensor (unknown)
History
- 2026-11-02: add by m2/dev
R71Y4K72Y0 R71Y4K72Y0
| URI | m2://inv/R71Y4K72Y0 |
|---|---|
| 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.16386#9FKH (definition). In RAF0BFY3Z3/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
R72032BZBH R72032BZBH
| URI | m2://inv/R72032BZBH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
R722DCKAEF R722DCKAEF
| URI | m2://inv/R722DCKAEF |
|---|---|
| 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.07963#0UDA (statement). In HAGJKEZ1CK/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Saunders Mac Lane R726JZNFX5
| URI | m2://inv/R726JZNFX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#D5L8, Saunders Mac Lane (topic)
History
- 2026-11-02: add by m2/dev
R7292XA8B8 R7292XA8B8
| URI | m2://inv/R7292XA8B8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#N302 (definition). In ZQ2YZ4P6P5/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
R72AZ7WY3Q R72AZ7WY3Q
| URI | m2://inv/R72AZ7WY3Q |
|---|---|
| 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 2408.03317#R7JN (statement). In T2ESY2PE1R/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
Alison Brown R72F8KPY07
| URI | m2://inv/R72F8KPY07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#XODJ, Alison Brown (unknown)
History
- 2026-11-02: add by m2/dev
Local rigidity R72JXREXG5
| URI | m2://inv/R72JXREXG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local rigidity, Local rigidity (definition). Also Wikidata Q25143915
History
- 2026-11-02: add by m2/dev
Heinz Prüfer R72KMPFHSG
| URI | m2://inv/R72KMPFHSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#LA32, Heinz Prüfer (topic)
History
- 2026-11-02: add by m2/dev
Demographics of the Supreme Court of the United States R72N0RJ9ED
| URI | m2://inv/R72N0RJ9ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the Supreme Court of the United States, Demographics of the Supreme Court of the United States (definition). Also Wikidata Q5256118
History
- 2026-11-02: add by m2/dev
Alexandre Eremenko R72TYHJHTH
| URI | m2://inv/R72TYHJHTH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6K2P, Alexandre Eremenko (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5SPG, Alexandre Eremenko (topic)
History
- 2026-11-02: add by m2/dev
R72V4081FJ R72V4081FJ
| URI | m2://inv/R72V4081FJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#6V1C (example)
History
- 2026-11-02: add by m2/v0.6.18
R72X8QWTBQ R72X8QWTBQ
| URI | m2://inv/R72X8QWTBQ |
|---|---|
| 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#U4SN (definition). In 46370P3Y9S/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Alexander Mielke R735WNPD1K
| URI | m2://inv/R735WNPD1K |
|---|---|
| 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#V4MI, Alexander Mielke (topic)
History
- 2026-11-02: add by m2/dev
R7365H5HKZ R7365H5HKZ
| URI | m2://inv/R7365H5HKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#C1LL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Degaussing R73CBME3RW
| URI | m2://inv/R73CBME3RW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#IJBZ, Degaussing (unknown)
History
- 2026-11-02: add by m2/dev
Spherical harmonic lighting R73EJPTB4H
| URI | m2://inv/R73EJPTB4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#QY0W, Spherical harmonic lighting (unknown)
History
- 2026-11-02: add by m2/dev
A fully numerical finite-width GD certificate R73GHBCGD2
| URI | m2://inv/R73GHBCGD2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#76JN, A fully numerical finite-width GD certificate (example). In 6FY8BVP1F3/e1, example D.3
History
- 2026-10-29: add by m2/v0.4.12
Interval edge coloring R73Z28179W
| URI | m2://inv/R73Z28179W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval edge coloring, Interval edge coloring (definition). Also Wikidata Q25304016
History
- 2026-11-02: add by m2/dev
R742M1TB5A R742M1TB5A
| URI | m2://inv/R742M1TB5A |
|---|---|
| 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 1001.3429#LMHZ (statement). In 6S4BVGS1VP/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
R7461C2TYH R7461C2TYH
| URI | m2://inv/R7461C2TYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#WBM5 (statement). In GSN5YTQS2K/e1, lemma 1.2
History
- 2026-10-31: add by m2/v0.5.6
R746N15AA6 R746N15AA6
| URI | m2://inv/R746N15AA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13734#KZMR (statement). In XB23QP7GK9/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
R748KXXSPK R748KXXSPK
| URI | m2://inv/R748KXXSPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#9K9Y (statement). In AB2EMMXC7X/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Dirk Kreimer R74BF728DA
| URI | m2://inv/R74BF728DA |
|---|---|
| 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 Q118448, Dirk Kreimer (unknown). Also nLab Dirk Kreimer
History
- 2026-10-26: add by m2/dev
Feit–Thompson theorem R74GM11TDG
| URI | m2://inv/R74GM11TDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QU23, Feit–Thompson theorem (statement)
History
- 2026-11-02: add by m2/dev
Superintelligence ban R74MKCKZ4B
| URI | m2://inv/R74MKCKZ4B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superintelligence ban, Superintelligence ban (conjecture). Also Wikidata Q136718385
History
- 2026-11-02: add by m2/dev
subrepresentation R74PQGFSER
| URI | m2://inv/R74PQGFSER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55648664, subrepresentation (unknown). Also nLab subrepresentation
- wikipedia: Wikipedia Subrepresentation, Subrepresentation (definition). Also Wikidata Q55648664
History
- 2026-10-26: add by m2/dev
Mountains of Kong R74QZ70SEE
| URI | m2://inv/R74QZ70SEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#19PT, Mountains of Kong (unknown)
History
- 2026-11-02: add by m2/dev
R7528ZB0GP R7528ZB0GP
| URI | m2://inv/R7528ZB0GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#PK3B (statement). In BJGS6ZCQ12/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.6
R756FVWYDE R756FVWYDE
| URI | m2://inv/R756FVWYDE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-25 (proof). In E59CDZA4DP, proof, section 11.5
History
- 2026-11-01: add by m2/v0.6.13
Ordinal collapsing function R7570RE03X
| URI | m2://inv/R7570RE03X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal collapsing function, Ordinal collapsing function (definition). Also Wikidata Q7100784
History
- 2026-11-02: add by m2/dev
R75749J52R R75749J52R
| URI | m2://inv/R75749J52R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10413#GWC2 (statement). In 68MTQ59QTQ/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.10
R75C5AM192 R75C5AM192
| URI | m2://inv/R75C5AM192 |
|---|---|
| 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.20126#ILH8 (statement). In KVXDWX9B11/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.4.2
R75ERKQTTE R75ERKQTTE
| URI | m2://inv/R75ERKQTTE |
|---|---|
| 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.02993#VGR1 (statement). In TJH58FRGEN/e1, lemma 8.17
History
- 2026-10-29: add by m2/v0.4.12
Open Morse--surgery theorem R75FFFSANT
| URI | m2://inv/R75FFFSANT |
|---|---|
| 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.30685#0IDL, Open Morse--surgery theorem (statement). In WNNNWV7741/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
*{Theorem 4 (Variational characterisation of the information R75KHVN85G
| URI | m2://inv/R75KHVN85G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.19076#5OHI, *{Theorem 4 (Variational characterisation of the information (statement). In M77QPWHHRX/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
R75MK6YRVH R75MK6YRVH
| URI | m2://inv/R75MK6YRVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2110.11143#IPKV (statement). In VTVC0TCWSB/e1, lemma 6.17
History
- 2026-10-27: add by m2/v0.3.5
Statement R75XKCVF32
| URI | m2://inv/R75XKCVF32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov's theorem on groups of polynomial growth#I61V, Statement (statement)
History
- 2026-11-02: add by m2/dev
R765A1J5MF R765A1J5MF
| URI | m2://inv/R765A1J5MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19171#PSTR (statement). In SJWP1EE3T8/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
R767ZPN3CT R767ZPN3CT
| URI | m2://inv/R767ZPN3CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#M0HW (statement). In QX77AN49J0/e1, theorem 8.22
History
- 2026-10-27: add by m2/v0.4.2
Bálint Tóth R76A1Q2QC6
| URI | m2://inv/R76A1Q2QC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bálint Tóth, Bálint Tóth (topic). Also Wikidata Q5004787
History
- 2026-11-02: add by m2/dev
Janina Hosiasson-Lindenbaum R76X1DHT4B
| URI | m2://inv/R76X1DHT4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UQ0T, Janina Hosiasson-Lindenbaum (topic)
History
- 2026-11-02: add by m2/dev
Peter J. Olver R76Z665JCQ
| URI | m2://inv/R76Z665JCQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#73U8, Peter J. Olver (topic)
History
- 2026-11-02: add by m2/dev
R773B9N3FC R773B9N3FC
| URI | m2://inv/R773B9N3FC |
|---|---|
| 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 2303.14022#4J6Q (statement). In NSYR6W27FP/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
R775HDA5AR R775HDA5AR
| URI | m2://inv/R775HDA5AR |
|---|---|
| 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.02489#UQJO (statement). In ZCJDWDR16Z/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
Wedge R778C4RVK3
| URI | m2://inv/R778C4RVK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#KQZI, Wedge (definition)
History
- 2026-11-02: add by m2/v0.6.18
Bezoutiod R77BZQHY5E
| URI | m2://inv/R77BZQHY5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ELTL, Bezoutiod (definition)
History
- 2026-11-02: add by m2/dev
The Geometry of Musical Rhythm R77CFBPRMQ
| URI | m2://inv/R77CFBPRMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Geometry of Musical Rhythm, The Geometry of Musical Rhythm (definition). Also Wikidata Q96408775
History
- 2026-11-02: add by m2/dev
toroid R77G7AM0M0
| URI | m2://inv/R77G7AM0M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SC8X, toroid (definition)
History
- 2026-11-02: add by m2/dev
Casting out nines R77HHFKEHZ
| URI | m2://inv/R77HHFKEHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#TG55, Casting out nines (definition)
History
- 2026-11-02: add by m2/dev
Applications R77SJJ70B6
| URI | m2://inv/R77SJJ70B6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet character#QS1J, Applications (example)
History
- 2026-11-02: add by m2/dev
K-nearest neighbors R77TEM9F1D
| URI | m2://inv/R77TEM9F1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#Y4LZ, K-nearest neighbors (definition)
History
- 2026-11-02: add by m2/dev
Autocovariance R77V5YS0G3
| URI | m2://inv/R77V5YS0G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MXLP, Autocovariance (definition)
History
- 2026-11-02: add by m2/dev
Correlation consequence R782B183H9
| URI | m2://inv/R782B183H9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#96YI, Correlation consequence (statement). In DQB4YR2DFH/e1, proposition 10.3
History
- 2026-10-29: add by m2/v0.4.12
Theorem R78349AMRB
| URI | m2://inv/R78349AMRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine and Wilf's theorem#8GQK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
R784G9BG8M R784G9BG8M
| URI | m2://inv/R784G9BG8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00584#C1EG (statement). In 3CRSR95BNA/e1, proposition 4.10
History
- 2026-10-30: add by m2/v0.4.12
R786VPMV1Z R786VPMV1Z
| URI | m2://inv/R786VPMV1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#definition-1 (definition). In P1C114YBXG, definition, section F
History
- 2026-11-01: add by m2/v0.6.13
Frobenius method R78EEMANTW
| URI | m2://inv/R78EEMANTW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.3.2/frobenius-method, Frobenius method (concept). In E9HS8K3A52, index, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
Interpretation (model theory) R78HS1X1A3
| URI | m2://inv/R78HS1X1A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#RB67, Interpretation (model theory) (definition)
History
- 2026-11-02: add by m2/dev
R79167VDGX R79167VDGX
| URI | m2://inv/R79167VDGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#Y5XQ (statement). In 6GK9EJMWY4/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
The component-disintegration formulation R791SCYQX7
| URI | m2://inv/R791SCYQX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#OYJC, The component-disintegration formulation (statement). In 9YAE8FNQST/e1, corollary 11.11
History
- 2026-10-30: add by m2/v0.4.12
Measure weights R792AQBYYR
| URI | m2://inv/R792AQBYYR |
|---|---|
| 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.16294#NW8O, Measure weights (statement). In N7HRE31BBH/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
R793RD3BX9 R793RD3BX9
| URI | m2://inv/R793RD3BX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28814#XB67 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tensor product bundle R793ZPZMBN
| URI | m2://inv/R793ZPZMBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product bundle, Tensor product bundle (definition). Also Wikidata Q25098871
History
- 2026-11-02: add by m2/dev
R795NCSHWX R795NCSHWX
| URI | m2://inv/R795NCSHWX |
|---|---|
| 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.17825#2SWG (statement). In T0ADPX1S05/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Surface harmonics of degrees $\ell = 0$ and $\ell = 1$ R795WB05Z9
| URI | m2://inv/R795WB05Z9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08028#UWCU, Surface harmonics of degrees $\ell = 0$ and $\ell = 1$ (definition). In Z19XDA8QY9/e1, definition 25
History
- 2026-10-29: add by m2/v0.4.10
Elementary theory R7979JFPS4
| URI | m2://inv/R7979JFPS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary theory, Elementary theory (definition). Also Wikidata Q5358916
History
- 2026-11-02: add by m2/dev
R798TX4HWA R798TX4HWA
| URI | m2://inv/R798TX4HWA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34551#30MS (example). In 3AF7G56AGE/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
R799JCS4E9 R799JCS4E9
| URI | m2://inv/R799JCS4E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#A7UK (statement). In FYM5XFD9RR/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Inventory theory R79D2MWZ6D
| URI | m2://inv/R79D2MWZ6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inventory theory, Inventory theory (definition). Also Wikidata Q252073
History
- 2026-11-02: add by m2/dev
Optimal instruments R79FBFFGBY
| URI | m2://inv/R79FBFFGBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal instruments, Optimal instruments (definition). Also Wikidata Q48996133
History
- 2026-11-02: add by m2/dev
Criticism of nonstandard analysis R79YNQSM55
| URI | m2://inv/R79YNQSM55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Criticism of nonstandard analysis, Criticism of nonstandard analysis (definition). Also Wikidata Q5186846
History
- 2026-11-02: add by m2/dev
Weinstein splitting theorem R7A34VGQWX
| URI | m2://inv/R7A34VGQWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson manifold#I8ZK, Weinstein splitting theorem (statement)
History
- 2026-11-02: add by m2/dev
William F. Friedman R7A6DF0D0R
| URI | m2://inv/R7A6DF0D0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#I4TP, William F. Friedman (topic)
History
- 2026-11-02: add by m2/dev
R7AA39NYSZ R7AA39NYSZ
| URI | m2://inv/R7AA39NYSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#VQTH (statement). In GAAZD3SGPN/e1, corollary
History
- 2026-10-27: add by m2/v0.3.5
Statistical proof R7AD85X0PA
| URI | m2://inv/R7AD85X0PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical proof, Statistical proof (definition). Also Wikidata Q7604409
History
- 2026-11-02: add by m2/dev
Lemma 4 R7AFFVY708
| URI | m2://inv/R7AFFVY708 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's theorem (differential geometry)#R6CZ, Lemma 4 (statement)
History
- 2026-11-02: add by m2/dev
Qrpff R7AFK1XEXS
| URI | m2://inv/R7AFK1XEXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qrpff, Qrpff (definition). Also Wikidata Q2835331
History
- 2026-11-02: add by m2/dev
HM Revenue and Customs R7AFZEX6PA
| URI | m2://inv/R7AFZEX6PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#72BR, HM Revenue and Customs (unknown)
History
- 2026-11-02: add by m2/dev
R7AH8ZEXYY R7AH8ZEXYY
| URI | m2://inv/R7AH8ZEXYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#UQEN (definition). In HH35K7S17H/e1, definition A.25
History
- 2026-10-29: add by m2/v0.4.10
Lie derivative R7ANBCBZWF
| URI | m2://inv/R7ANBCBZWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lie derivative PJWK0PKN6Q |
Mentions
- wikidata: Wikidata Q579267, Lie derivative (unknown). Also EoM Lie_derivative, MathWorld LieDerivative, nLab Lie derivative
- wikipedia: Wikipedia Lie derivative, Lie derivative (definition). Also Wikidata Q579267
History
- 2026-10-26: add by m2/dev
Definition R7AQY8B6MK
| URI | m2://inv/R7AQY8B6MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy space#824X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition R7AWKEXN83
| URI | m2://inv/R7AWKEXN83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puig subgroup#SW3G, Definition (definition)
History
- 2026-11-02: add by m2/dev
R7AWRV4JN7 R7AWRV4JN7
| URI | m2://inv/R7AWRV4JN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#9ERR (statement). In A93R925Z24/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
ambient isotopy R7B30N1BTR
| URI | m2://inv/R7B30N1BTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2037595, ambient isotopy (unknown). Also MathWorld AmbientIsotopy
- wikipedia: Wikipedia Ambient isotopy, Ambient isotopy (definition). Also Wikidata Q2037595
History
- 2026-10-26: add by m2/dev
R7B44FECBS R7B44FECBS
| URI | m2://inv/R7B44FECBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36412#U9GM (statement). In 6HKGGCMBCK/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Susan R. Wilson R7B6CMQXTZ
| URI | m2://inv/R7B6CMQXTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BAOU, Susan R. Wilson (topic)
History
- 2026-11-02: add by m2/dev
Edinburgh Mathematical Notes R7BG0HN66M
| URI | m2://inv/R7BG0HN66M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edinburgh Mathematical Notes, Edinburgh Mathematical Notes (definition). Also Wikidata Q17119214
History
- 2026-11-02: add by m2/dev
R7BH1QP9BW R7BH1QP9BW
| URI | m2://inv/R7BH1QP9BW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21552#48XH (statement)
History
- 2026-11-02: add by m2/v0.6.18
R7BP1SGX3X R7BP1SGX3X
| URI | m2://inv/R7BP1SGX3X |
|---|---|
| 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.29943#B9CV (statement)
History
- 2026-11-01: add by m2/v0.6.15
R7BPC0SNW3 R7BPC0SNW3
| URI | m2://inv/R7BPC0SNW3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
R7BZF96RJ3 R7BZF96RJ3
| URI | m2://inv/R7BZF96RJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#IWNF (statement). In 5KR3MHYVV6/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
Minimum and maximum angle conditions R7C180SXAV
| URI | m2://inv/R7C180SXAV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29153#09HL, Minimum and maximum angle conditions (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mental model theory of reasoning R7C2A33M5K
| URI | m2://inv/R7C2A33M5K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental model theory of reasoning, Mental model theory of reasoning (topic). Also Wikidata Q13461038
History
- 2026-11-02: add by m2/dev
R\'enyi stability under spherical $W_{\infty,\mathrm{geo}}$ mismatch R7C7WYABAZ
| URI | m2://inv/R7C7WYABAZ |
|---|---|
| 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.11834#LJ9W, R\'enyi stability under spherical $W_{\infty,\mathrm{geo}}$ mismatch (statement). In SMC03CWP4R/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
R7CJFQ227N R7CJFQ227N
| URI | m2://inv/R7CJFQ227N |
|---|---|
| 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 2507.05923#4L61 (statement). In ZFKZ6YDT62/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
Norma Hernández R7CS6KFR4T
| URI | m2://inv/R7CS6KFR4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norma Hernández, Norma Hernández (topic). Also Wikidata Q96936404
History
- 2026-11-02: add by m2/dev
R7CWFTGH50 R7CWFTGH50
| URI | m2://inv/R7CWFTGH50 |
|---|---|
| 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.10372#9RW6 (statement). In P77W283VXT/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Noli turbare circulos meos! R7CY2JP50A
| URI | m2://inv/R7CY2JP50A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noli turbare circulos meos!, Noli turbare circulos meos! (definition). Also Wikidata Q3877898
History
- 2026-11-02: add by m2/dev
R7CYGPE3C4 R7CYGPE3C4
| URI | m2://inv/R7CYGPE3C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#4FJ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R7D45VYQTW R7D45VYQTW
| URI | m2://inv/R7D45VYQTW |
|---|---|
| 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 2410.10337#DGUP (statement). In RBBF0XNZ5E/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
R7D5JWVPFX R7D5JWVPFX
| URI | m2://inv/R7D5JWVPFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#W0SS (statement). In P3HWTYFDBX/e1, corollary 5.8
History
- 2026-10-29: add by m2/v0.4.12
Conjectures regarding the role of the neuron in the wider context of the brain principle of operation R7DE1DYVQA
| URI | m2://inv/R7DE1DYVQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biological neuron model#YOZK, Conjectures regarding the role of the neuron in the wider context of the brain principle of operation (statement)
History
- 2026-11-02: add by m2/dev
R7DESRTVE9 R7DESRTVE9
| URI | m2://inv/R7DESRTVE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#L8L7 (statement). In 6NVP3YRWVA/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
R7DGVJJ8MZ R7DGVJJ8MZ
| URI | m2://inv/R7DGVJJ8MZ |
|---|---|
| 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.23230#ZRVN (statement)
History
- 2026-11-02: add by m2/v0.6.17
R7DHEXM3YV R7DHEXM3YV
| URI | m2://inv/R7DHEXM3YV |
|---|---|
| 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.04675#CMKU (statement). In RDXNFF2CZP/e1, proposition 16
History
- 2026-10-29: add by m2/v0.4.12
R7DJ30HAED R7DJ30HAED
| URI | m2://inv/R7DJ30HAED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#009O (definition)
History
- 2026-11-02: add by m2/v0.6.18
R7DM2WGT7H R7DM2WGT7H
| URI | m2://inv/R7DM2WGT7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#0F5E (statement). In 1PR73ECTZB/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Matched growth is needed R7DTJY0SC0
| URI | m2://inv/R7DTJY0SC0 |
|---|---|
| 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.09206#L6AM, Matched growth is needed (statement). In T7R1Q29DQK/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.10
R7DTZ9AGQS R7DTZ9AGQS
| URI | m2://inv/R7DTZ9AGQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/WellOrderingPrinciple.tex#definition-1 (definition). In P1C114YBXG, definition, section K
History
- 2026-11-01: add by m2/v0.6.13
R7E0D1THPY R7E0D1THPY
| URI | m2://inv/R7E0D1THPY |
|---|---|
| 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.29227#JEVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
R7E0KM797C R7E0KM797C
| URI | m2://inv/R7E0KM797C |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25348#1SWF (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
R7E53A11CW R7E53A11CW
| URI | m2://inv/R7E53A11CW |
|---|---|
| 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#RHGN (statement). In 6V5HP8W1ZG/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
R7E8MYF9NB R7E8MYF9NB
| URI | m2://inv/R7E8MYF9NB |
|---|---|
| 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.20682#D5LE (statement)
History
- 2026-11-02: add by m2/v0.6.18
G–criterion R7EBZ9CQ8T
| URI | m2://inv/R7EBZ9CQ8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress intensity factor#OTVA, G–criterion (statement)
History
- 2026-11-02: add by m2/dev
The case \(b>0\ R7ECFD60DF
| URI | m2://inv/R7ECFD60DF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39218#TA1H, The case \(b>0\ (example). In VPZSCE8HFP/e1, example 4.6
History
- 2026-10-30: add by m2/v0.4.12
Robert Bruner R7EEJCY6SQ
| URI | m2://inv/R7EEJCY6SQ |
|---|---|
| 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 Q7342467, Robert Bruner (unknown). Also nLab Robert Bruner
History
- 2026-10-26: add by m2/dev
Definition R7EF6FWAJT
| URI | m2://inv/R7EF6FWAJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bialgebroid#ABIK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uses R7ETR7DB85
| URI | m2://inv/R7ETR7DB85 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#6A9I, Uses (example)
History
- 2026-11-02: add by m2/dev
Lie's third theorem R7EWY3NGS2
| URI | m2://inv/R7EWY3NGS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 22-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15080987, Lie's third theorem (statement). Also Wikidata Q15080987
- thousand_plus: thousand_plus Q15080987, Lie's third theorem (statement). Also Wikidata Q15080987, Wikipedia Lie's third theorem
- wikipedia: Wikipedia Lie's third theorem, Lie's third theorem (statement). Also Wikidata Q15080987
History
- 2026-10-26: add by m2/dev
George Sinclair R7EZ634FF9
| URI | m2://inv/R7EZ634FF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Sinclair (mathematician), George Sinclair (topic). Also Wikidata Q5544569
History
- 2026-11-02: add by m2/dev
Gossard perspector R7F0D1N8E0
| URI | m2://inv/R7F0D1N8E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gossard perspector, Gossard perspector (definition). Also Wikidata Q5587475
History
- 2026-11-02: add by m2/dev
Concentration bound with effective sample size R7F32V4ZW8
| URI | m2://inv/R7F32V4ZW8 |
|---|---|
| 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.07162#S5WJ, Concentration bound with effective sample size (statement). In MQEB9ZHQAT/e1, proposition C.2
History
- 2026-10-29: add by m2/v0.4.10
R7F4ZHGWKJ R7F4ZHGWKJ
| URI | m2://inv/R7F4ZHGWKJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-1 (proof). In E59CDZA4DP, proof, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
R7F7W8KTF3 R7F7W8KTF3
| URI | m2://inv/R7F7W8KTF3 |
|---|---|
| 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.20687#VQ96 (statement)
History
- 2026-11-02: add by m2/v0.6.18
R7FTXRHGTN R7FTXRHGTN
| URI | m2://inv/R7FTXRHGTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#G9NP (statement). In DKEX05SEXS/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Institut national d'études démographiques R7FXAGAXT3
| URI | m2://inv/R7FXAGAXT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institut national d'études démographiques, Institut national d'études démographiques (definition). Also Wikidata Q3152388
History
- 2026-11-02: add by m2/dev
Robert Abelson R7FXQVB69N
| URI | m2://inv/R7FXQVB69N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#7CDF, Robert Abelson (topic)
History
- 2026-11-02: add by m2/dev
R7G1NRA0BS R7G1NRA0BS
| URI | m2://inv/R7G1NRA0BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22002#SR4R (statement). In JTND2BM263/e1, fact 2.2
History
- 2026-10-27: add by m2/v0.4.2
Generalizations R7G4SWNJYT
| URI | m2://inv/R7G4SWNJYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Favard operator#D4IC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Applications R7G5C2FAY3
| URI | m2://inv/R7G5C2FAY3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#P1LP, Applications (example)
History
- 2026-11-02: add by m2/dev
Eigenvalues and eigenvectors of the second derivative R7G5K2PKS6
| URI | m2://inv/R7G5K2PKS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors of the second derivative, Eigenvalues and eigenvectors of the second derivative (definition). Also Wikidata Q5348916
History
- 2026-11-02: add by m2/dev
R7G8J79W21 R7G8J79W21
| URI | m2://inv/R7G8J79W21 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#CMVB (definition). In 4RPXT0YCS5/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Global dissipativity estimate R7GCYQPTBA
| URI | m2://inv/R7GCYQPTBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37944#Z6BG, Global dissipativity estimate (statement). In KP94WJVJXY/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Example R7GJTEPBD0
| URI | m2://inv/R7GJTEPBD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List scheduling#HHTS, Example (example)
History
- 2026-11-02: add by m2/dev
T-norm fuzzy logics R7GR6WEX70
| URI | m2://inv/R7GR6WEX70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-norm fuzzy logics, T-norm fuzzy logics (definition). Also Wikidata Q7667918
History
- 2026-11-02: add by m2/dev
proper subset R7GX3QZ905
| URI | m2://inv/R7GX3QZ905 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59489332, proper subset (definition). Also MathWorld ProperSubset, nLab proper subset, ProofWiki Definition:Proper_Subset
History
- 2026-10-26: add by m2/dev
gravitational wave R7GZ48KK3R
| URI | m2://inv/R7GZ48KK3R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| MSC | 83C35 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190035, gravitational wave (topic). Also nLab gravitational wave
- wikipedia: Wikipedia Gravitational wave, Gravitational wave (conjecture). Also Wikidata Q190035
History
- 2026-10-26: add by m2/dev
R7H2YB52VR R7H2YB52VR
| URI | m2://inv/R7H2YB52VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#U8UD (statement). In X47RYAZF8P/e1, lemma 6.11
History
- 2026-10-28: add by m2/v0.4.2
Mersenne number R7H5GWTX2D
| URI | m2://inv/R7H5GWTX2D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#P214, Mersenne number (conjecture)
History
- 2026-11-02: add by m2/dev
R7H7HJVHY4 R7H7HJVHY4
| URI | m2://inv/R7H7HJVHY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/log.tex#thm:holomorphic_log (statement). In RZP28ERRZV, theorem, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
\bf Existence of reduced echelon form R7HBG20J7Q
| URI | m2://inv/R7HBG20J7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.37893#H4ZM, \bf Existence of reduced echelon form (statement). In 8H0KHK7AMN/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
\bf Outer-loop guarantee R7HHRRNS7S
| URI | m2://inv/R7HHRRNS7S |
|---|---|
| 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#YMQC, \bf Outer-loop guarantee (statement). In TT9BA4VMTW/e1, proposition D.3
History
- 2026-10-29: add by m2/v0.4.12
Explicit regions R7HKF7GJ98
| URI | m2://inv/R7HKF7GJ98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#RXJX, Explicit regions (statement). In 65TJENWK7X/e1, corollary 19
History
- 2026-10-29: add by m2/v0.4.10
First digits of pi R7HND76TSP
| URI | m2://inv/R7HND76TSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Six nines in pi#W6HT, First digits of pi (unknown)
History
- 2026-11-02: add by m2/dev
R7HV0YH7QK R7HV0YH7QK
| URI | m2://inv/R7HV0YH7QK |
|---|---|
| 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 2106.09062#GY2E (statement). In 8HAH8QVKDF/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
4×4 Sudoku graph R7HV8V00X4
| URI | m2://inv/R7HV8V00X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137761568, 4×4 Sudoku graph (unknown). Also House of Graphs 56142
History
- 2026-10-26: add by m2/dev
R7J3PW6142 R7J3PW6142
| URI | m2://inv/R7J3PW6142 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#1I8L (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
SQL language revisions R7J5W7PQ0T
| URI | m2://inv/R7J5W7PQ0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQL#SLZ6, SQL language revisions (unknown)
History
- 2026-11-02: add by m2/dev
R7J6ZWTBG1 R7J6ZWTBG1
| URI | m2://inv/R7J6ZWTBG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#3TIC (statement). In 9ZSNSJRJ5N/e1, corollary 4
History
- 2026-10-27: add by m2/v0.4.2
Using Cauchy's Integral Formula R7J8ZTHQFA
| URI | m2://inv/R7J8ZTHQFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum modulus principle#JERR, Using Cauchy's Integral Formula (statement)
History
- 2026-11-02: add by m2/dev
R7JAF2YEP1 R7JAF2YEP1
| URI | m2://inv/R7JAF2YEP1 |
|---|---|
| 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 2407.08976#4FKN (statement). In ZVNM9X4NNG/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.5
Definition R7JCW66N95
| URI | m2://inv/R7JCW66N95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rook polynomial#DNHN, Definition (definition)
History
- 2026-11-02: add by m2/dev
scaled complementary error function R7JFXCXKE3
| URI | m2://inv/R7JFXCXKE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#Z8YT, scaled complementary error function (definition)
History
- 2026-11-02: add by m2/dev
Angelo Felice Capelli R7JJFW8221
| URI | m2://inv/R7JJFW8221 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelo Felice Capelli, Angelo Felice Capelli (topic). Also Wikidata Q18944999
History
- 2026-11-02: add by m2/dev
R7JJV2R1QQ R7JJV2R1QQ
| URI | m2://inv/R7JJV2R1QQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
R7JK7DK707 R7JK7DK707
| URI | m2://inv/R7JK7DK707 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#thm:stalks_local_ring (statement). In RZP28ERRZV, theorem, section 27.4.1
History
- 2026-11-01: add by m2/v0.6.13
R7JMPZ4VE4 R7JMPZ4VE4
| URI | m2://inv/R7JMPZ4VE4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-131 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Two dimensions, connected R7JN8V8TB3
| URI | m2://inv/R7JN8V8TB3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#FLZO, Two dimensions, connected (example). In QA7EPHDTV2/e1, example 1.10
History
- 2026-10-27: add by m2/v0.4.0
two-sided effective mean R7JPG1YF9D
| URI | m2://inv/R7JPG1YF9D |
|---|---|
| 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.26134#TAOI, two-sided effective mean (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterizations R7JTYS3XQ1
| URI | m2://inv/R7JTYS3XQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#FUFC, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Relation to the "Pareto principle" R7K8W49FPE
| URI | m2://inv/R7K8W49FPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto distribution#ECQ6, Relation to the "Pareto principle" (statement)
History
- 2026-11-02: add by m2/dev
Multivariate Gaussian mixture model R7KFXCJGZQ
| URI | m2://inv/R7KFXCJGZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture model#LL3V, Multivariate Gaussian mixture model (unknown)
History
- 2026-11-02: add by m2/dev
R7KK0PAW7T R7KK0PAW7T
| URI | m2://inv/R7KK0PAW7T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-6 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
Examples R7KS5FKT38
| URI | m2://inv/R7KS5FKT38 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncation error#1QOR, Examples (example)
History
- 2026-11-02: add by m2/dev
Countable fibers after normalization R7M0AAW1K0
| URI | m2://inv/R7M0AAW1K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#34GQ, Countable fibers after normalization (statement). In TTNKABAYVB/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Constance van Eeden R7MC6X7R9J
| URI | m2://inv/R7MC6X7R9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constance van Eeden, Constance van Eeden (topic). Also Wikidata Q42585036
History
- 2026-11-02: add by m2/dev
syzygy R7MD5BD9V3
| URI | m2://inv/R7MD5BD9V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#QDD7, syzygy (definition)
History
- 2026-11-02: add by m2/dev
Greg Moore (physicist) R7MDPE90CD
| URI | m2://inv/R7MDPE90CD |
|---|---|
| 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#H6FB, Greg Moore (physicist) (unknown)
History
- 2026-11-02: add by m2/dev
R7MEGQYMVH R7MEGQYMVH
| URI | m2://inv/R7MEGQYMVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#LC7Z (statement). In 8SVVEVGMNE/e1, theorem 5.14
History
- 2026-10-27: add by m2/v0.3.5
R7MK1E9PER R7MK1E9PER
| URI | m2://inv/R7MK1E9PER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31489#O0UY (statement). In ZKBG58PN1J/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Fourier number R7MWY04VBD
| URI | m2://inv/R7MWY04VBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier number, Fourier number (definition). Also Wikidata Q901793
History
- 2026-11-02: add by m2/dev
Fixed point R7N5A4TRR2
| URI | m2://inv/R7N5A4TRR2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#0NFG, Fixed point (definition). In GPK6W5XQM3/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.10
Sun-Yung Alice Chang R7N81Y8005
| URI | m2://inv/R7N81Y8005 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sun-Yung Alice Chang, Sun-Yung Alice Chang (topic). Also Wikidata Q1440827
History
- 2026-11-02: add by m2/dev
normal vector R7N8FHPH16
| URI | m2://inv/R7N8FHPH16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Normal vector 0WQJJCCTC8 |
Mentions
- wikidata: Wikidata Q56353263, normal vector (unknown). Also MathWorld NormalVector, nLab normal vector
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
The sine density R7N9GG0ZAG
| URI | m2://inv/R7N9GG0ZAG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#VQS5, The sine density (definition). In JY6RYSNXMJ/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Applications R7N9SQP869
| URI | m2://inv/R7N9SQP869 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclostationary process#ALRB, Applications (example)
History
- 2026-11-02: add by m2/dev
degenerate R7NE0ZEPZZ
| URI | m2://inv/R7NE0ZEPZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#435F, degenerate (definition)
History
- 2026-11-02: add by m2/dev
R7NEATVDMM R7NEATVDMM
| URI | m2://inv/R7NEATVDMM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#ZQ5A (problem). In 60CK7P5F36/e1, problem 8.2
History
- 2026-10-27: add by m2/v0.3.5
R7NKG1H0QP R7NKG1H0QP
| URI | m2://inv/R7NKG1H0QP |
|---|---|
| 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.18544#Z2X5 (statement). In HT5MC1SPD9/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
R7NKQK3QJ6 R7NKQK3QJ6
| URI | m2://inv/R7NKQK3QJ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14162#1L3H (definition). In JC1XF1JE6J/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
R7NN15N2KD R7NN15N2KD
| URI | m2://inv/R7NN15N2KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00358#498I (statement). In C5WGCSPM6W/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
R7NPARG16D R7NPARG16D
| URI | m2://inv/R7NPARG16D |
|---|---|
| Kind | statement |
| 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.02061#VS1I (statement). In F5STMSPR6X/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.12
5500 R7NWH6CJ9W
| URI | m2://inv/R7NWH6CJ9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5000 (number)#MBZ1, 5500 (unknown)
History
- 2026-11-02: add by m2/dev
R7NZZC9N60 R7NZZC9N60
| URI | m2://inv/R7NZZC9N60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#1WX9 (statement). In P3RTT99C41/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Action-value convergence R7P1K5W9XH
| URI | m2://inv/R7P1K5W9XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39837#EYHM, Action-value convergence (statement). In MDQXTBEK0F/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
7-simplex R7P9K0MVEB
| URI | m2://inv/R7P9K0MVEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4Y3Y, 7-simplex (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#B7FT, 7-simplex (definition)
History
- 2026-11-02: add by m2/dev
Falling cat problem R7PHWE3KDG
| URI | m2://inv/R7PHWE3KDG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falling cat problem, Falling cat problem (problem). Also Wikidata Q5432366
History
- 2026-11-02: add by m2/dev
Carleman's inequality R7PJ0BAAC8
| URI | m2://inv/R7PJ0BAAC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#Q3DQ, Carleman's inequality (statement)
History
- 2026-11-02: add by m2/dev
Geometrically regular ring R7PNMVPSV5
| URI | m2://inv/R7PNMVPSV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrically regular ring, Geometrically regular ring (definition). Also Wikidata Q17097939
History
- 2026-11-02: add by m2/dev
R7PQJ0RN6D R7PQJ0RN6D
| URI | m2://inv/R7PQJ0RN6D |
|---|---|
| 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.40345#KKKT (statement). In WK0PT95WW1/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Applications R7PRN534NY
| URI | m2://inv/R7PRN534NY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-Assessment Manikin#8A1H, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples R7PT3GYZ8Z
| URI | m2://inv/R7PT3GYZ8Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löb's theorem#Z3UK, Examples (example)
History
- 2026-11-02: add by m2/dev
R7PZSDTTP0 R7PZSDTTP0
| URI | m2://inv/R7PZSDTTP0 |
|---|---|
| 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.12329#LR55 (statement). In ZJQB9W60T6/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Rhombitrihexagonal tiling R7Q7SDKYAS
| URI | m2://inv/R7Q7SDKYAS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#1AM2, Rhombitrihexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
Examples R7Q8YCW047
| URI | m2://inv/R7Q8YCW047 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indecomposable module#RWEV, Examples (example)
History
- 2026-11-02: add by m2/dev
Characteristic word R7QEVWX85B
| URI | m2://inv/R7QEVWX85B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturmian word#EXJV, Characteristic word (unknown)
History
- 2026-11-02: add by m2/dev
Normalised slope form R7QMBDZXTH
| URI | m2://inv/R7QMBDZXTH |
|---|---|
| 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 2610.07905#WFHA, Normalised slope form (statement). In 88GEN3Z5VG/e1, theorem 9.2
History
- 2026-10-29: add by m2/v0.4.10
R7QQRX6PR1 R7QQRX6PR1
| URI | m2://inv/R7QQRX6PR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#ZNNU (statement). In RK0ZMDJ23T/e1, lemma 1.4.2
History
- 2026-10-31: add by m2/v0.5.6
The Independence of the Parallel Postulate R7QVMXCY4T
| URI | m2://inv/R7QVMXCY4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 12, The Independence of the Parallel Postulate (statement)
History
- 2026-10-26: add by m2/dev
R7QWB2M4DY R7QWB2M4DY
| URI | m2://inv/R7QWB2M4DY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.00606#XMHO (statement). In 3WBQFVX65D/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
Jacobi's formula R7QWMRYKDJ
| URI | m2://inv/R7QWMRYKDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjugate matrix#PBYJ, Jacobi's formula (statement)
History
- 2026-11-02: add by m2/dev
Thom's first isotopy lemma R7QZ2NQ6XH
| URI | m2://inv/R7QZ2NQ6XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom's first isotopy lemma, Thom's first isotopy lemma (statement). Also Wikidata Q113134061
History
- 2026-11-02: add by m2/dev
R7R6W61452 R7R6W61452
| URI | m2://inv/R7R6W61452 |
|---|---|
| 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.22759#30R8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
imperative programming R7RG3F37AH
| URI | m2://inv/R7RG3F37AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q275596, imperative programming (unknown). Also nLab imperative programming
History
- 2026-10-26: add by m2/dev
R7RKY8E88B R7RKY8E88B
| URI | m2://inv/R7RKY8E88B |
|---|---|
| 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.27114#HBA8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
syntactic consequence R7RR1EBBAT
| URI | m2://inv/R7RR1EBBAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XCZV, syntactic consequence (definition)
History
- 2026-11-02: add by m2/dev
Modified Struve function R7RTNYB54H
| URI | m2://inv/R7RTNYB54H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754616, Modified Struve function (unknown). Also MathWorld ModifiedStruveFunction
History
- 2026-10-26: add by m2/dev
R7RY2BK8C3 R7RY2BK8C3
| URI | m2://inv/R7RY2BK8C3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/reducts-and-expansions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
Three Houses, Barbados R7S0PMP5G1
| URI | m2://inv/R7S0PMP5G1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UUXW, Three Houses, Barbados (unknown)
History
- 2026-11-02: add by m2/dev
Hedetniemi's conjecture R7S8JY0JR7
| URI | m2://inv/R7S8JY0JR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#JWLD, Hedetniemi's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Limit of the partition correction factor R7SAC904G5
| URI | m2://inv/R7SAC904G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#JE4I, Limit of the partition correction factor (statement). In V13TE1RWT9/e1, lemma 10.7
History
- 2026-10-30: add by m2/v0.4.12
R7SC1K6EHQ R7SC1K6EHQ
| URI | m2://inv/R7SC1K6EHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#60DQ (statement). In DQ6P0P6N78/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
R7SC2MJ9H0 R7SC2MJ9H0
| URI | m2://inv/R7SC2MJ9H0 |
|---|---|
| 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.15831#7XGL (statement). In CVESAPNMCQ/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
quadratic form R7SK7C1BRA
| URI | m2://inv/R7SK7C1BRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > quadratic form, quadratic form (unknown). Also Mathlib QuadraticForm
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Quadratic forms > quadratic form, quadratic form (unknown). Also Mathlib QuadraticForm
History
- 2026-10-26: add by m2/dev
R7SMJZN6N1 R7SMJZN6N1
| URI | m2://inv/R7SMJZN6N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#3KCQ (statement). In ZHP1MFSACN/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Denominator data R7SQ69X3PY
| URI | m2://inv/R7SQ69X3PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denominator data, Denominator data (definition). Also Wikidata Q5259274
History
- 2026-11-02: add by m2/dev
Anderson–Darling test R7SZ8ZD3BM
| URI | m2://inv/R7SZ8ZD3BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson–Darling test, Anderson–Darling test (definition). Also Wikidata Q491401
History
- 2026-11-02: add by m2/dev
R7SZ9J8JVS R7SZ9J8JVS
| URI | m2://inv/R7SZ9J8JVS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#E1WL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Relation between modified extension of the classical beta function and the classical beta function R7SZNG5WFQ
| URI | m2://inv/R7SZNG5WFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.08191#Z4PO, Relation between modified extension of the classical beta function and the classical beta function (statement). In 8DATR785BJ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet boundary condition R7T5F7QM7R
| URI | m2://inv/R7T5F7QM7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#33N1, Dirichlet boundary condition (definition)
History
- 2026-11-02: add by m2/dev
Extremal path configurations, {*{Definition 7.2 R7T67FGQMF
| URI | m2://inv/R7T67FGQMF |
|---|---|
| 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.09650#HWGW, Extremal path configurations, {*{Definition 7.2 (definition). In 628KM8869P/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Rajit Gadh R7TJCV5WDE
| URI | m2://inv/R7TJCV5WDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#UJRI, Rajit Gadh (unknown)
History
- 2026-11-02: add by m2/dev
Properties R7TMKJVFPK
| URI | m2://inv/R7TMKJVFPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly disconnected space#2EDJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Rank tail and mean R7TNX44MSG
| URI | m2://inv/R7TNX44MSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16069#V2L9, Rank tail and mean (statement). In MBJA03ES8N/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Perlin noise R7TW7SWQX5
| URI | m2://inv/R7TW7SWQX5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ILUA, Perlin noise (unknown)
History
- 2026-11-02: add by m2/dev
R7TYJ5DJX4 R7TYJ5DJX4
| URI | m2://inv/R7TYJ5DJX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#JZB2 (statement). In E7W2HDNEKJ/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
R7TYYH5NSN R7TYYH5NSN
| URI | m2://inv/R7TYYH5NSN |
|---|---|
| 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.30527#XFF4 (definition). In E3WQDZY388/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
compound of great icosahedron and great stellated dodecahedron R7VCH28K5K
| URI | m2://inv/R7VCH28K5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156874, compound of great icosahedron and great stellated dodecahedron (unknown). Also MathWorld GreatIcosahedron-GreatStellatedDodecahedronCompound
- wikipedia: Wikipedia Compound of great icosahedron and great stellated dodecahedron, Compound of great icosahedron and great stellated dodecahedron (definition). Also Wikidata Q5156874
History
- 2026-10-26: add by m2/dev
R7VJA5J3RD R7VJA5J3RD
| URI | m2://inv/R7VJA5J3RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20599#WDUM (statement)
History
- 2026-11-02: add by m2/v0.6.18
R7VP2KP954 R7VP2KP954
| URI | m2://inv/R7VP2KP954 |
|---|---|
| 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.37815#AOGC (statement). In SVJYA0171G/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
R7VRGH968Z R7VRGH968Z
| URI | m2://inv/R7VRGH968Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18242#AR7Z (statement). In VVC2FHQZZR/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Precise statement R7VZ3PVFEM
| URI | m2://inv/R7VZ3PVFEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Kac theorem#WS76, Precise statement (statement)
History
- 2026-11-02: add by m2/dev
Brams–Taylor procedure R7W1V5H1N3
| URI | m2://inv/R7W1V5H1N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brams–Taylor procedure, Brams–Taylor procedure (definition). Also Wikidata Q14811112
History
- 2026-11-02: add by m2/dev
Examples R7W5EWT80N
| URI | m2://inv/R7W5EWT80N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set function#LDDN, Examples (example)
History
- 2026-11-02: add by m2/dev
Double dabble R7W9NPNJNX
| URI | m2://inv/R7W9NPNJNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#GNFL, Double dabble (unknown)
History
- 2026-11-02: add by m2/dev
R7WB0R11M0 R7WB0R11M0
| URI | m2://inv/R7WB0R11M0 |
|---|---|
| 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 2309.16041#EI61 (statement). In 2GD6NWJVRM/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
R7WMJQHHYE R7WMJQHHYE
| URI | m2://inv/R7WMJQHHYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#X5IS (statement). In XXN6KKXPYF/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Menaechmus R7WRN2FYHB
| URI | m2://inv/R7WRN2FYHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#22WP, Menaechmus (topic)
History
- 2026-11-02: add by m2/dev
R7WT4SA4D2 R7WT4SA4D2
| URI | m2://inv/R7WT4SA4D2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#proof-1 (proof). In RZP28ERRZV, proof, section 45.2
History
- 2026-11-01: add by m2/v0.6.13
Example R7X14QEQMH
| URI | m2://inv/R7X14QEQMH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm#SAWP, Example (example)
History
- 2026-11-02: add by m2/dev
R7XA5F5TQQ R7XA5F5TQQ
| URI | m2://inv/R7XA5F5TQQ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26500#KSFH (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Forest (graph theory) R7XBTSKETA
| URI | m2://inv/R7XBTSKETA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (graph theory)#2QE6, Forest (graph theory) (unknown)
History
- 2026-11-02: add by m2/dev
closed subscheme R7XF7F6P2V
| URI | m2://inv/R7XF7F6P2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123172485, closed subscheme (definition). Also EoM Closed_subscheme, nLab closed subscheme, ProofWiki Definition:Closed_Subscheme_defined_by_Sheaf_of_Ideals
History
- 2026-10-26: add by m2/dev
R7XFR902X7 R7XFR902X7
| URI | m2://inv/R7XFR902X7 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#T101 (conjecture). In RGXQ50RWXV/e1, conjecture 5
History
- 2026-10-28: add by m2/v0.4.2
Christopher Hooley R7XH25FPB9
| URI | m2://inv/R7XH25FPB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher Hooley, Christopher Hooley (topic). Also Wikidata Q1086757
History
- 2026-11-02: add by m2/dev
Murray H. Protter R7XT5JHTQB
| URI | m2://inv/R7XT5JHTQB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murray H. Protter, Murray H. Protter (topic). Also Wikidata Q1406510
History
- 2026-11-02: add by m2/dev
R7XTZSF5EW R7XTZSF5EW
| URI | m2://inv/R7XTZSF5EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#P65E (statement). In 4GRNWWH88J/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Gauss R7XZNSHXJ5
| URI | m2://inv/R7XZNSHXJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#8JBY, Gauss (topic)
History
- 2026-11-02: add by m2/dev
Applications R7Y0PDN8ZZ
| URI | m2://inv/R7Y0PDN8ZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán sieve#5L0Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem R7Y3NR7JSJ
| URI | m2://inv/R7Y3NR7JSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jucys–Murphy element#K7P1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
R7Y64ARDS2 R7Y64ARDS2
| URI | m2://inv/R7Y64ARDS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#DIKJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-oblivious and oblivious degree-$2$ decision-tree depth R7YAHYRGGY
| URI | m2://inv/R7YAHYRGGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#Y8VV, Non-oblivious and oblivious degree-$2$ decision-tree depth (statement). In ZZER8ZBSCR/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.12
R7YGEYYXPT R7YGEYYXPT
| URI | m2://inv/R7YGEYYXPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#OOOG (statement). In KFCJ5CFP3G/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
R7YM6JV9PC R7YM6JV9PC
| URI | m2://inv/R7YM6JV9PC |
|---|---|
| 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 0910.5574#N8HX (statement). In 2TJRBRKYAY/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
Twelvefold way R7YY975PKD
| URI | m2://inv/R7YY975PKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#ZP17, Twelvefold way (definition)
- wikipedia: Wikipedia List of partition topics#KZ6A, Twelvefold way (definition)
History
- 2026-11-02: add by m2/dev
R7Z4PXFXW7 R7Z4PXFXW7
| URI | m2://inv/R7Z4PXFXW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.22288#4H7I (statement). In X38P26DK6S/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.0
R7ZG6P6Q84 R7ZG6P6Q84
| URI | m2://inv/R7ZG6P6Q84 |
|---|---|
| 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.27800#BFQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
R7ZGH2GNV7 R7ZGH2GNV7
| URI | m2://inv/R7ZGH2GNV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14321#TR9T (definition). In 7EGFPFKD5T/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Manuel Sadosky R7ZGVXEV70
| URI | m2://inv/R7ZGVXEV70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#R7D0, Manuel Sadosky (unknown)
History
- 2026-11-02: add by m2/dev
Densely defined operator R7ZPCBCKMW
| URI | m2://inv/R7ZPCBCKMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Densely defined operator, Densely defined operator (definition). Also Wikidata Q5259314
History
- 2026-11-02: add by m2/dev
Companion Pell number R7ZS313BEW
| URI | m2://inv/R7ZS313BEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pell number#QGXO, Companion Pell number (unknown)
History
- 2026-11-02: add by m2/dev