Inventory rows BW
The cards of the rows of the inventory whose ids start with BW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Olinde Rodrigues BW0702R7VP
| URI | m2://inv/BW0702R7VP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DO2X, Olinde Rodrigues (topic)
History
- 2026-11-02: add by m2/dev
BW0775BZPJ BW0775BZPJ
| URI | m2://inv/BW0775BZPJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
Decagram BW0VVM4WMV
| URI | m2://inv/BW0VVM4WMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FL5G, Decagram (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#UQ0B, Decagram (definition)
History
- 2026-11-02: add by m2/dev
polyradius of a polydisc BW0VYNCWWM
| URI | m2://inv/BW0VYNCWWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.1/polyradius-of-a-polydisc, polyradius of a polydisc (concept). In VNMV985MXX, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Statement BW0X6DZXJQ
| URI | m2://inv/BW0X6DZXJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balian–Low theorem#12SR, Statement (statement)
History
- 2026-11-02: add by m2/dev
BW11M5BXNZ BW11M5BXNZ
| URI | m2://inv/BW11M5BXNZ |
|---|---|
| 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.17408#76Q7 (statement). In QR8H4M1X4N/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.2
BW15712JAE BW15712JAE
| URI | m2://inv/BW15712JAE |
|---|---|
| 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 2610.07001#3QYX (statement). In 5DFTVG7FFF/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Blockmodeling BW1N763XX5
| URI | m2://inv/BW1N763XX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#03N5, Blockmodeling (definition)
History
- 2026-11-02: add by m2/dev
BW28MVNRC3 BW28MVNRC3
| URI | m2://inv/BW28MVNRC3 |
|---|---|
| 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 2105.08875#UGNA (statement). In QT8HPDAYPX/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Sieve H BW298NS93T
| URI | m2://inv/BW298NS93T |
|---|---|
| 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.16962#3UTZ, Sieve H (statement). In KJC9FRS3C2/e1, theorem 11.3
History
- 2026-10-28: add by m2/v0.4.2
Fermat's little theorem BW29DPMFA5
| URI | m2://inv/BW29DPMFA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4LU6, Fermat's little theorem (statement)
History
- 2026-11-02: add by m2/dev
Diregularity Lemma BW2APPY1F1
| URI | m2://inv/BW2APPY1F1 |
|---|---|
| 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 2603.21971#VNKJ, Diregularity Lemma (statement). In R6KSZ9H8CY/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Arthur Rosenthal BW2DPWGRKM
| URI | m2://inv/BW2DPWGRKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#AR5Q, Arthur Rosenthal (topic)
History
- 2026-11-02: add by m2/dev
Extensions BW2H3VRSQZ
| URI | m2://inv/BW2H3VRSQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear principal component analysis#3BYH, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Tensor rank decomposition BW2KG63VM6
| URI | m2://inv/BW2KG63VM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor rank decomposition, Tensor rank decomposition (definition). Also Wikidata Q5013788
History
- 2026-11-02: add by m2/dev
Stability of iterated barycenters BW31V2TVPH
| URI | m2://inv/BW31V2TVPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#ZJA2, Stability of iterated barycenters (statement). In YXZX6Z8S6A/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
BW3DPA6ENZ BW3DPA6ENZ
| URI | m2://inv/BW3DPA6ENZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08251#R1EL (statement). In YRJKC9DJEA/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Range of quantification BW3GABJTZV
| URI | m2://inv/BW3GABJTZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier (logic)#8VEC, Range of quantification (unknown)
History
- 2026-11-02: add by m2/dev
BW3HE5CEN5 BW3HE5CEN5
| URI | m2://inv/BW3HE5CEN5 |
|---|---|
| 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.28649#9IG8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BW3RCY6T4C BW3RCY6T4C
| URI | m2://inv/BW3RCY6T4C |
|---|---|
| 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 2602.07485#7TP5 (statement). In 8KAC1E81JQ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
BW3XGS8FAY BW3XGS8FAY
| URI | m2://inv/BW3XGS8FAY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-3.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
BW3ZAFC9TG BW3ZAFC9TG
| URI | m2://inv/BW3ZAFC9TG |
|---|---|
| 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.07828#HPMY (definition). In TWGMVT1N1G/e1, definition 8.2
History
- 2026-10-29: add by m2/v0.4.10
path, topological BW40C5RG08
| URI | m2://inv/BW40C5RG08 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/path-topological, path, topological (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
BW41MCMPVT BW41MCMPVT
| URI | m2://inv/BW41MCMPVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27136#7M96 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BW4MBXKXPE BW4MBXKXPE
| URI | m2://inv/BW4MBXKXPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#defn-7 (definition). In E59CDZA4DP, defn, section 1.8.3
History
- 2026-11-01: add by m2/v0.6.13
BW4RQC7Y9N BW4RQC7Y9N
| URI | m2://inv/BW4RQC7Y9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#SZTH (statement)
History
- 2026-11-01: add by m2/v0.6.15
András Hajnal BW4SFVA43P
| URI | m2://inv/BW4SFVA43P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YLYZ, András Hajnal (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D8H2, András Hajnal (topic)
History
- 2026-11-02: add by m2/dev
BW4X6SR2WR BW4X6SR2WR
| URI | m2://inv/BW4X6SR2WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#N9PT (statement). In 8XAKGH8S2D/e1, theorem 4.15
History
- 2026-10-29: add by m2/v0.4.10
BW582QEYF9 BW582QEYF9
| URI | m2://inv/BW582QEYF9 |
|---|---|
| Kind | problem |
| 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.20406#EMUA (problem). In 1YW6C6XGT3/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Multinomial logistic regression BW5ABGEQ5Q
| URI | m2://inv/BW5ABGEQ5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multinomial logistic regression, Multinomial logistic regression (definition). Also Wikidata Q1650843
History
- 2026-11-02: add by m2/dev
Applications BW5AD8G2S2
| URI | m2://inv/BW5AD8G2S2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic growth#7FYF, Applications (example)
History
- 2026-11-02: add by m2/dev
Vanishing auxiliary-input increments BW5G32RQRK
| URI | m2://inv/BW5G32RQRK |
|---|---|
| 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.03242#6ES1, Vanishing auxiliary-input increments (statement). In MJE6HRC6PX/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
History of control theory BW5PHR3VGH
| URI | m2://inv/BW5PHR3VGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control theory#9SCK, History of control theory (unknown)
History
- 2026-11-02: add by m2/dev
Definition BW5X5R00PR
| URI | m2://inv/BW5X5R00PR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux integral#9ML7, Definition (definition)
History
- 2026-11-02: add by m2/dev
BW5ZD856HG BW5ZD856HG
| URI | m2://inv/BW5ZD856HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#8ENN (statement). In M9VHCG48HB/e1, corollary 7.2
History
- 2026-10-27: add by m2/v0.3.5
elongated pentagonal gyrobirotunda BW5ZH6KGQP
| URI | m2://inv/BW5ZH6KGQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2019092, elongated pentagonal gyrobirotunda (object). Also MathWorld ElongatedPentagonalGyrobirotunda
- wikipedia: Wikipedia Elongated pentagonal gyrobirotunda, Elongated pentagonal gyrobirotunda (definition). Also Wikidata Q2019092
History
- 2026-10-26: add by m2/dev
BW63ZQDASJ BW63ZQDASJ
| URI | m2://inv/BW63ZQDASJ |
|---|---|
| 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.26922#Y8JC (statement)
History
- 2026-11-01: add by m2/v0.6.15
BW67XV0WK2 BW67XV0WK2
| URI | m2://inv/BW67XV0WK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#QTXT (statement). In X765ZXXVC3/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.12
Method BW6AEQA3GD
| URI | m2://inv/BW6AEQA3GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowball sampling#X8X5, Method (definition)
History
- 2026-11-02: add by m2/dev
\ac{pacf} \ac{islr} controllable modulation bases BW6C2BF6BD
| URI | m2://inv/BW6C2BF6BD |
|---|---|
| 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.21653#69TH, \ac{pacf} \ac{islr} controllable modulation bases (statement). In 266RE655Z2/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
BW6C894BPX BW6C894BPX
| URI | m2://inv/BW6C894BPX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-46 (exercise). In E59CDZA4DP, exercise, section 5.5.4
History
- 2026-11-01: add by m2/v0.6.13
BW6HX0RAV4 BW6HX0RAV4
| URI | m2://inv/BW6HX0RAV4 |
|---|---|
| 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.12810#0DGG (statement). In DR35633CPN/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Location BW6J2VCMNT
| URI | m2://inv/BW6J2VCMNT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#6H1Y, Location (definition). In WD2NCBV9F0/e1, definition 9.11
History
- 2026-10-27: add by m2/v0.3.5
BW6RB74VYD BW6RB74VYD
| URI | m2://inv/BW6RB74VYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#TQVI (statement). In RY2X22P6XW/e1, theorem 22
History
- 2026-10-27: add by m2/v0.3.5
pentakis dodecahedron BW6WHR66W0
| URI | m2://inv/BW6WHR66W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q277550, pentakis dodecahedron (object). Also MathWorld PentakisDodecahedron
- wikipedia: Wikipedia Pentakis dodecahedron, Pentakis dodecahedron (definition). Also Wikidata Q277550
History
- 2026-10-26: add by m2/dev
BW70S8AXGK BW70S8AXGK
| URI | m2://inv/BW70S8AXGK |
|---|---|
| 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.19249#YE9J (statement). In 2X586J6KQ1/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
BW76CSTRZX BW76CSTRZX
| URI | m2://inv/BW76CSTRZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#HYRT (statement). In D64RQ09KBP/e1, theorem 2.14
History
- 2026-10-29: add by m2/v0.4.12
Flow metrization of a spacelike slice BW77E23G9K
| URI | m2://inv/BW77E23G9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#I4HG, Flow metrization of a spacelike slice (statement). In VCHH2AC34R/e1, proposition 3.18
History
- 2026-10-29: add by m2/v0.4.10
BW79CHBXHR BW79CHBXHR
| URI | m2://inv/BW79CHBXHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.40123#WTKF (statement). In WK2YHYEDZ9/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
Gurzadyan theorem BW7C4K0E43
| URI | m2://inv/BW7C4K0E43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gurzadyan theorem, Gurzadyan theorem (statement). Also Wikidata Q115805424
History
- 2026-11-02: add by m2/dev
Properties BW7C9SF514
| URI | m2://inv/BW7C9SF514 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus (algebraic number theory)#SNUC, Properties (statement)
History
- 2026-11-02: add by m2/dev
BW7FVP1HEN BW7FVP1HEN
| URI | m2://inv/BW7FVP1HEN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#WYJ4 (definition). In 3N9E9T6AF5/e1, definition 2.12
History
- 2026-10-30: add by m2/v0.4.12
BW7MVEVPS7 BW7MVEVPS7
| URI | m2://inv/BW7MVEVPS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#ZSA9 (statement). In WCY07D1CJG/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Choice of sign BW7Y4XXWG5
| URI | m2://inv/BW7Y4XXWG5 |
|---|---|
| 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.06521#4IMO, Choice of sign (statement). In NVXWD513NM/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Cauchy's second law of motion BW89WPSQ5J
| URI | m2://inv/BW89WPSQ5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor#6LFC, Cauchy's second law of motion (statement)
History
- 2026-11-02: add by m2/dev
Mountain pass theorem BW8D8J931R
| URI | m2://inv/BW8D8J931R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 49-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6925496, Mountain pass theorem (statement). Also Wikidata Q6925496
- thousand_plus: thousand_plus Q6925496, Mountain pass theorem (statement). Also Wikidata Q6925496, Wikipedia Mountain pass theorem
- wikipedia: Wikipedia Mountain pass theorem, Mountain pass theorem (statement). Also Wikidata Q6925496
History
- 2026-10-26: add by m2/dev
A Sobolev estimate for $S_q$ BW8QG0K3X1
| URI | m2://inv/BW8QG0K3X1 |
|---|---|
| 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 2610.19410#O5RE, A Sobolev estimate for $S_q$ (statement). In GRESY1RPK6/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Direct imaging BW8R615E7K
| URI | m2://inv/BW8R615E7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of detecting exoplanets#MOXH, Direct imaging (unknown)
History
- 2026-11-02: add by m2/dev
BW8RV5XE01 BW8RV5XE01
| URI | m2://inv/BW8RV5XE01 |
|---|---|
| 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.29723#2A4M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cornelius Lanczos BW8S79XQQD
| URI | m2://inv/BW8S79XQQD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#9BH8, Cornelius Lanczos (topic)
History
- 2026-11-02: add by m2/dev
gyroelongated pentagonal rotunda BW8ZR81DS4
| URI | m2://inv/BW8ZR81DS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q581546, gyroelongated pentagonal rotunda (object). Also MathWorld GyroelongatedPentagonalRotunda
- wikipedia: Wikipedia Gyroelongated pentagonal rotunda, Gyroelongated pentagonal rotunda (definition). Also Wikidata Q581546
History
- 2026-10-26: add by m2/dev
Offset logarithmic integral BW961E7K13
| URI | m2://inv/BW961E7K13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic integral function#MIOB, Offset logarithmic integral (unknown)
History
- 2026-11-02: add by m2/dev
BW96VAKJD2 BW96VAKJD2
| URI | m2://inv/BW96VAKJD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#MVFV (statement). In 1K7M5TD0M2/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Significance BW9GWEA1HD
| URI | m2://inv/BW9GWEA1HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#4WVE, Significance (definition)
History
- 2026-11-02: add by m2/dev
Statement BW9STF28BX
| URI | m2://inv/BW9STF28BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ikeda lift#24QA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Milnor–Wood inequality BW9Z9D8PPB
| URI | m2://inv/BW9Z9D8PPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor–Wood inequality, Milnor–Wood inequality (statement). Also Wikidata Q56298550
History
- 2026-11-02: add by m2/dev
Louis Israel Dublin BWA0HARXE3
| URI | m2://inv/BWA0HARXE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LHT2, Louis Israel Dublin (unknown)
History
- 2026-11-02: add by m2/dev
Affine minimum BWA40F01EA
| URI | m2://inv/BWA40F01EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#IT4P, Affine minimum (statement). In 9QDRMZX8EY/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Ahmad al-Qalqashandi BWA8849N3H
| URI | m2://inv/BWA8849N3H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#GINQ, Ahmad al-Qalqashandi (topic)
History
- 2026-11-02: add by m2/dev
BWAEH5DRQ3 BWAEH5DRQ3
| URI | m2://inv/BWAEH5DRQ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#ex:figure8 (example). In RZP28ERRZV, example, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
BWAJDRXKCG BWAJDRXKCG
| URI | m2://inv/BWAJDRXKCG |
|---|---|
| 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.16233#6HV4 (statement). In RNXMADQ33J/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Generative pre-training BWB6PQNAV2
| URI | m2://inv/BWB6PQNAV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supervised learning#EYA0, Generative pre-training (unknown)
History
- 2026-11-02: add by m2/dev
BWB87RD0JB BWB87RD0JB
| URI | m2://inv/BWB87RD0JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#H2T7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BWBA6S35RD BWBA6S35RD
| URI | m2://inv/BWBA6S35RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#76A4 (statement). In CY1FE8W1ZW/e1, proposition 0.149
History
- 2026-10-27: add by m2/v0.4.0
Katia Sycara BWBBVJXMS2
| URI | m2://inv/BWBBVJXMS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#CFRG, Katia Sycara (unknown)
History
- 2026-11-02: add by m2/dev
BWBED6BV97 BWBED6BV97
| URI | m2://inv/BWBED6BV97 |
|---|---|
| Kind | problem |
| 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.31269#RCCD (problem). In ZPT9XCCAPQ/e1, problem 2.1.8
History
- 2026-10-31: add by m2/v0.5.6
BWC4ZW1TX0 BWC4ZW1TX0
| URI | m2://inv/BWC4ZW1TX0 |
|---|---|
| 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.22218#N12F (statement). In 338GKREFVP/e1, lemma 47
History
- 2026-10-27: add by m2/v0.4.0
BWC8RFJJ87 BWC8RFJJ87
| URI | m2://inv/BWC8RFJJ87 |
|---|---|
| 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 2208.06310#F2UD (statement). In 9YR0E0T9XA/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
Vincenzo Brunacci BWCK3RVCJX
| URI | m2://inv/BWCK3RVCJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#19AP, Vincenzo Brunacci (topic)
- wikipedia: Wikipedia List of Italian mathematicians#RG53, Vincenzo Brunacci (topic)
History
- 2026-11-02: add by m2/dev
vertex-labeled directed graph BWCPSW3N3G
| URI | m2://inv/BWCPSW3N3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130342346, vertex-labeled directed graph (unknown). Also MathWorld LabeledDigraph
History
- 2026-10-26: add by m2/dev
BWCT8Y0335 BWCT8Y0335
| URI | m2://inv/BWCT8Y0335 |
|---|---|
| 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.21972#2WL9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
BWCVZGE6FC BWCVZGE6FC
| URI | m2://inv/BWCVZGE6FC |
|---|---|
| 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.18555#5T8O (statement). In JPR62EY6A5/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Estelle Bee Dagum BWCYECRX8J
| URI | m2://inv/BWCYECRX8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#OZME, Estelle Bee Dagum (unknown)
History
- 2026-11-02: add by m2/dev
Inequality feasibility of the affine target BWD897ET1V
| URI | m2://inv/BWD897ET1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#ZJH6, Inequality feasibility of the affine target (statement). In K6CP8GP51H/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
BWDAA4KQ0M BWDAA4KQ0M
| URI | m2://inv/BWDAA4KQ0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/substitution.tex#prop:subst-primrec (statement). In PKGMM3P5QY, prop, section 27.8
History
- 2026-11-01: add by m2/v0.6.13
nth root BWDC2VBQ7E
| URI | m2://inv/BWDC2VBQ7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#SVWA, nth root (definition)
History
- 2026-11-02: add by m2/dev
Definitions BWDGGYX513
| URI | m2://inv/BWDGGYX513 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost open map#DLSL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
proof, assistant BWDPQ8V5PY
| URI | m2://inv/BWDPQ8V5PY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/proof-assistant, proof, assistant (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
BWDR8JTJVW BWDR8JTJVW
| URI | m2://inv/BWDR8JTJVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#D5A0 (statement). In BDN507RN7J/e1, proposition 4.5.9
History
- 2026-10-30: add by m2/v0.4.12
Epi Info BWDYW1F7R6
| URI | m2://inv/BWDYW1F7R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#QGRS, Epi Info (definition)
History
- 2026-11-02: add by m2/dev
complement BWEARFPZ0W
| URI | m2://inv/BWEARFPZ0W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.3/complement, complement (concept). In Y91XFCEVHQ, index, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
Szegő limit theorems BWEBY83G7Y
| URI | m2://inv/BWEBY83G7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3458641, Szegő limit theorems (statement). Also Wikidata Q3458641
- thousand_plus: thousand_plus Q3458641, Szegő limit theorems (statement). Also Wikidata Q3458641, Wikipedia Szegő limit theorems
- wikipedia: Wikipedia Szegő limit theorems, Szegő limit theorems (statement). Also Wikidata Q3458641
History
- 2026-10-26: add by m2/dev
Weil cohomology BWEDC0XQA7
| URI | m2://inv/BWEDC0XQA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#PSRT, Weil cohomology (definition)
History
- 2026-11-02: add by m2/dev
Applications BWEK1M7KCG
| URI | m2://inv/BWEK1M7KCG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahlfors theory#6Y0B, Applications (example)
History
- 2026-11-02: add by m2/dev
BWEW94K1PB BWEW94K1PB
| URI | m2://inv/BWEW94K1PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.04164#K1JB (statement). In KR7WXN4EWR/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Cartan pair BWEXDY14B1
| URI | m2://inv/BWEXDY14B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#RTGS, Cartan pair (definition)
History
- 2026-11-02: add by m2/dev
Quasiconvexity BWF3DXP5TF
| URI | m2://inv/BWF3DXP5TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiconvexity (calculus of variations), Quasiconvexity (definition). Also Wikidata Q113635253
History
- 2026-11-02: add by m2/dev
BWF50CY75H BWF50CY75H
| URI | m2://inv/BWF50CY75H |
|---|---|
| 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 math/9802134#CCNF (statement). In 235B1J1ETB/e1, fact 2.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations BWF8D2JSK7
| URI | m2://inv/BWF8D2JSK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balian–Low theorem#GJQI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition BWFBXGB2Z3
| URI | m2://inv/BWFBXGB2Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#U176, Definition (definition)
History
- 2026-11-02: add by m2/dev
BWFPFTR31C BWFPFTR31C
| URI | m2://inv/BWFPFTR31C |
|---|---|
| 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.33154#Q3AT (statement). In N28DEYRBW7/e1, corollary D.2
History
- 2026-10-30: add by m2/v0.4.12
algebraic set theory BWFPXWA95W
| URI | m2://inv/BWFPXWA95W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/algebraic-set-theory, algebraic set theory (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
BWFTQKGRYY BWFTQKGRYY
| URI | m2://inv/BWFTQKGRYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#3H7U (statement). In RYWAX33Z51/e1, corollary 10.12
History
- 2026-10-31: add by m2/v0.5.6
BWFXBFMJMA BWFXBFMJMA
| URI | m2://inv/BWFXBFMJMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#9SPH (statement). In XJVZSGCX5V/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Challenging BWG43957BK
| URI | m2://inv/BWG43957BK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-36, Challenging (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
Mario Wschebor BWG6TFGZQM
| URI | m2://inv/BWG6TFGZQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RMY1, Mario Wschebor (unknown)
History
- 2026-11-02: add by m2/dev
box topology BWG93CWGXE
| URI | m2://inv/BWG93CWGXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Box topology 0BWJTRE3X3 |
Mentions
- wikidata: Wikidata Q4951625, box topology (unknown). Also nLab box topology
- wikipedia: Wikipedia Box topology, Box topology (definition). Also Wikidata Q4951625
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
superset BWGETFG9FK
| URI | m2://inv/BWGETFG9FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15882515, superset (definition). Also MathWorld Superset, ProofWiki Definition:Subset/Superset
History
- 2026-10-26: add by m2/dev
BWGF4C9X0V BWGF4C9X0V
| URI | m2://inv/BWGF4C9X0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#LXET (statement). In Q4RZTN2EX6/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.4.2
BWGQNGTB3N BWGQNGTB3N
| URI | m2://inv/BWGQNGTB3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop:M-discrete (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Henagon BWGTHCM7N9
| URI | m2://inv/BWGTHCM7N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5S1S, Henagon (definition)
History
- 2026-11-02: add by m2/dev
Experimental benchmarking BWGVYSTG87
| URI | m2://inv/BWGVYSTG87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experimental benchmarking, Experimental benchmarking (definition). Also Wikidata Q60747769
History
- 2026-11-02: add by m2/dev
constrained pencil BWH38FG66P
| URI | m2://inv/BWH38FG66P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#WWVG, constrained pencil (statement)
History
- 2026-11-02: add by m2/v0.6.17
Locally convex vector lattice BWHF8Q8WWG
| URI | m2://inv/BWHF8Q8WWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex vector lattice, Locally convex vector lattice (definition). Also Wikidata Q96390663
History
- 2026-11-02: add by m2/dev
BWHGX8ZTE3 BWHGX8ZTE3
| URI | m2://inv/BWHGX8ZTE3 |
|---|---|
| Kind | conjecture |
| 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.12736#WVMV (conjecture). In 5350Q52F6P/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
Superpolynomial buffer decay BWHHYB8DR4
| URI | m2://inv/BWHHYB8DR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01669#C5TE, Superpolynomial buffer decay (statement). In 41AVNP6DJ9/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.12
Prime factor exponent notation BWHHYYWX8S
| URI | m2://inv/BWHHYYWX8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime factor exponent notation, Prime factor exponent notation (definition). Also Wikidata Q7243368
History
- 2026-11-02: add by m2/dev
Rayleigh distribution BWHMYTD04Y
| URI | m2://inv/BWHMYTD04Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZHE7, Rayleigh distribution (definition)
History
- 2026-11-02: add by m2/dev
Esakia duality BWHVE014M5
| URI | m2://inv/BWHVE014M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esakia duality, Esakia duality (definition). Also Wikidata Q5396694
History
- 2026-11-02: add by m2/dev
new riddle of induction BWHY90BC7B
| URI | m2://inv/BWHY90BC7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1469453, new riddle of induction (statement). Also ProofWiki Goodman's_Paradox
History
- 2026-10-26: add by m2/dev
Torsion-free abelian group of rank 1 BWJ6FJQ19H
| URI | m2://inv/BWJ6FJQ19H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion-free abelian group#R5VB, Torsion-free abelian group of rank 1 (unknown)
History
- 2026-11-02: add by m2/dev
Grégory Miermont BWJ6RXS92N
| URI | m2://inv/BWJ6RXS92N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grégory Miermont, Grégory Miermont (topic). Also Wikidata Q1551559
History
- 2026-11-02: add by m2/dev
Statement BWJA8YTD39
| URI | m2://inv/BWJA8YTD39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler's theorem#NY99, Statement (statement)
History
- 2026-11-02: add by m2/dev
BWJAX33Z7E BWJAX33Z7E
| URI | m2://inv/BWJAX33Z7E |
|---|---|
| Kind | example |
| 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.35467#C4ID (example). In FK89DQ9J4S/e1, example 4.6
History
- 2026-10-30: add by m2/v0.4.12
Robert Kilwardby BWJGF03NKS
| URI | m2://inv/BWJGF03NKS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Kilwardby, Robert Kilwardby (topic). Also Wikidata Q1364372
History
- 2026-11-02: add by m2/dev
BWJT6B1BYE BWJT6B1BYE
| URI | m2://inv/BWJT6B1BYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#DBIK (statement). In Z9ZXAC6TZQ/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.12
BWJWQ5XX8H BWJWQ5XX8H
| URI | m2://inv/BWJWQ5XX8H |
|---|---|
| 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.31556#JTVF (statement). In 1VBEMR0JXH/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Spherical pendulum BWJZZS98Q9
| URI | m2://inv/BWJZZS98Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical pendulum, Spherical pendulum (definition). Also Wikidata Q3299367
History
- 2026-11-02: add by m2/dev
BWKBTZSVS7 BWKBTZSVS7
| URI | m2://inv/BWKBTZSVS7 |
|---|---|
| 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.02628#X2LV (statement). In G4S9C5M1A4/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Pomeranchuk's theorem BWKCQES28S
| URI | m2://inv/BWKCQES28S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455003, Pomeranchuk's theorem (statement). Also Wikidata Q4455003
- thousand_plus: thousand_plus Q4455003, Pomeranchuk's theorem (statement). Also Wikidata Q4455003, Wikipedia Pomeranchuk's theorem
- wikipedia: Wikipedia Pomeranchuk's theorem, Pomeranchuk's theorem (statement). Also Wikidata Q4455003
History
- 2026-10-26: add by m2/dev
List of unsolved problems in statistics BWKJVXBR67
| URI | m2://inv/BWKJVXBR67 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics, List of unsolved problems in statistics (topic). Also Wikidata Q2690198
History
- 2026-11-02: add by m2/dev
Combinatorial $F$-polynomials BWKK91YZ5V
| URI | m2://inv/BWKK91YZ5V |
|---|---|
| Kind | definition |
| 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.30637#OYLT, Combinatorial $F$-polynomials (definition). In 6G1KBA0SXV/e1, definition 3.30
History
- 2026-10-31: add by m2/v0.5.6
non-alethic modal logic BWKMMVKFJM
| URI | m2://inv/BWKMMVKFJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0NXW, non-alethic modal logic (definition)
History
- 2026-11-02: add by m2/dev
BWKT53XD0R BWKT53XD0R
| URI | m2://inv/BWKT53XD0R |
|---|---|
| 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 2507.17002#4Q9W (statement). In 2EEBP88T16/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Lomax distribution BWKTN6XQDG
| URI | m2://inv/BWKTN6XQDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IK78, Lomax distribution (definition)
History
- 2026-11-02: add by m2/dev
Monotone class theorem for sets BWKX7K3XNV
| URI | m2://inv/BWKX7K3XNV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone class theorem#JNUG, Monotone class theorem for sets (statement)
History
- 2026-11-02: add by m2/dev
BWKZ7C5DA3 BWKZ7C5DA3
| URI | m2://inv/BWKZ7C5DA3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
foliate singularity BWM65EBCG4
| URI | m2://inv/BWM65EBCG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#R41T, foliate singularity (definition)
History
- 2026-11-02: add by m2/dev
BWM77K8CZ2 BWM77K8CZ2
| URI | m2://inv/BWM77K8CZ2 |
|---|---|
| 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#EO93 (statement). In 5KR3MHYVV6/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
BWM9ESJCKF BWM9ESJCKF
| URI | m2://inv/BWM9ESJCKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-9 (example). In RZP28ERRZV, example, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
BWMENWK97J BWMENWK97J
| URI | m2://inv/BWMENWK97J |
|---|---|
| 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#V36K (statement). In TJH58FRGEN/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
variable BWMRK3TF5N
| URI | m2://inv/BWMRK3TF5N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.10/variable, variable (concept). In N54F33XE07, index, section A.10
History
- 2026-11-01: add by m2/v0.6.13
BWN319ENSH BWN319ENSH
| URI | m2://inv/BWN319ENSH |
|---|---|
| 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.27902#9F1Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement of the conjecture BWN8QYQEFK
| URI | m2://inv/BWN8QYQEFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate conjecture#0LM1, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
BWN9Y15M3R BWN9Y15M3R
| URI | m2://inv/BWN9Y15M3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#UQ7L (statement). In AYG8HYGW6V/e1, lemma G.5
History
- 2026-10-28: add by m2/v0.4.3
BWNG44BGAD BWNG44BGAD
| URI | m2://inv/BWNG44BGAD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-4 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
BWNN7MAKVE BWNN7MAKVE
| URI | m2://inv/BWNN7MAKVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#K89Z (statement). In W9A0Z2NBMA/e1, lemma 36
History
- 2026-10-29: add by m2/v0.4.12
BWNQYYRSDD BWNQYYRSDD
| URI | m2://inv/BWNQYYRSDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-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.10247#OVSP (statement). In XWTMY44RF1/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10
National Health Interview Survey BWNSQE4JS0
| URI | m2://inv/BWNSQE4JS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z602, National Health Interview Survey (definition)
History
- 2026-11-02: add by m2/dev
root of unity BWNVNZSQA0
| URI | m2://inv/BWNVNZSQA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Root of unity 0S61N75H45 |
Mentions
- wikidata: Wikidata Q756747, root of unity (unknown). Also MathWorld RootofUnity, nLab root of unity
- wikipedia: Wikipedia Root of unity, Root of unity (definition). Also Wikidata Q756747
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Robert Fricke BWNW5NTJ01
| URI | m2://inv/BWNW5NTJ01 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Fricke, Robert Fricke (topic). Also Wikidata Q91664
History
- 2026-11-02: add by m2/dev
BWNY4VB1GA BWNY4VB1GA
| URI | m2://inv/BWNY4VB1GA |
|---|---|
| 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 2604.05177#K3VC (statement). In G04BKQV6YM/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
Jeff Cohen BWP2JHPYHV
| URI | m2://inv/BWP2JHPYHV |
|---|---|
| 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#6YHF, Jeff Cohen (unknown)
History
- 2026-11-02: add by m2/dev
red herring principle BWP5PWRNWM
| URI | m2://inv/BWP5PWRNWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/red-herring-principle, red herring principle (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Glivenko's theorem BWPB320K2Q
| URI | m2://inv/BWPB320K2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KLTO, Glivenko's theorem (definition)
History
- 2026-11-02: add by m2/dev
Annals of Applied Probability BWPH3HKHBB
| URI | m2://inv/BWPH3HKHBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#GWQK, Annals of Applied Probability (definition)
History
- 2026-11-02: add by m2/dev
Example 2 BWPQQCT01R
| URI | m2://inv/BWPQQCT01R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor (intrinsic definition)#6I61, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Number systems BWPTM2X11Y
| URI | m2://inv/BWPTM2X11Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number#GB0W, Number systems (unknown)
History
- 2026-11-02: add by m2/dev
BWPX1C9JKB BWPX1C9JKB
| URI | m2://inv/BWPX1C9JKB |
|---|---|
| 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.02295#BYQ8 (statement). In PEBD9ZMA1W/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Variants BWQ6558Y4M
| URI | m2://inv/BWQ6558Y4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post correspondence problem#37EC, Variants (statement)
History
- 2026-11-02: add by m2/dev
BWQJBNYH3E BWQJBNYH3E
| URI | m2://inv/BWQJBNYH3E |
|---|---|
| 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 1504.03271#VOWB (definition). In RY17N5T1NQ/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
John N. Shutt BWQRRAXHSD
| URI | m2://inv/BWQRRAXHSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive grammar#PQVS, John N. Shutt (unknown)
History
- 2026-11-02: add by m2/dev
Cosmotheoros BWQRTGFCWZ
| URI | m2://inv/BWQRTGFCWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christiaan Huygens#TYRN, Cosmotheoros (unknown)
History
- 2026-11-02: add by m2/dev
Either–or topology BWQZWNC9GG
| URI | m2://inv/BWQZWNC9GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Either–or topology, Either–or topology (definition). Also Wikidata Q5350023
History
- 2026-11-02: add by m2/dev
BWR3MF842A BWR3MF842A
| URI | m2://inv/BWR3MF842A |
|---|---|
| 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.18324#1CWF (statement). In C0EG2EY0M4/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
seventh power BWRG8SNZ6E
| URI | m2://inv/BWRG8SNZ6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37947505, seventh power (definition). Also ProofWiki Definition:Seventh_Power
- wikipedia: Wikipedia Seventh power, Seventh power (definition). Also Wikidata Q37947505
History
- 2026-10-26: add by m2/dev
Existence of a solution BWRNQMS2RZ
| URI | m2://inv/BWRNQMS2RZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKean–Vlasov process#HSDN, Existence of a solution (statement)
History
- 2026-11-02: add by m2/dev
Implicit function theorem BWRPX7Q4GH
| URI | m2://inv/BWRPX7Q4GH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#M1AJ, Implicit function theorem (statement)
History
- 2026-11-02: add by m2/dev
BWRTBDTBQH BWRTBDTBQH
| URI | m2://inv/BWRTBDTBQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36022#8HCD (statement). In ENH5XNBQWH/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Harald Wergeland BWS4X3E6PA
| URI | m2://inv/BWS4X3E6PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0WMT, Harald Wergeland (unknown)
History
- 2026-11-02: add by m2/dev
BWS6FFXR2H BWS6FFXR2H
| URI | m2://inv/BWS6FFXR2H |
|---|---|
| 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.19309#MSXU (statement). In XKENQH35DW/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
BWSBPYT3K6 BWSBPYT3K6
| URI | m2://inv/BWSBPYT3K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#B9UV (statement). In D16PSAVVWV/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
BWSJH6PBWF BWSJH6PBWF
| URI | m2://inv/BWSJH6PBWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/minimal-change-semantics/sphere-models.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Universal Hölder rate on the deep-cut band BWSR2ZMRC7
| URI | m2://inv/BWSR2ZMRC7 |
|---|---|
| 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.33383#MPHZ, Universal Hölder rate on the deep-cut band (statement). In 8AHWRHTP5G/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Yang Feng BWSXGP3VXB
| URI | m2://inv/BWSXGP3VXB |
|---|---|
| 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#RCU5, Yang Feng (topic)
History
- 2026-11-02: add by m2/dev
Birkhoff's theorem BWSZAXVZS2
| URI | m2://inv/BWSZAXVZS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff's representation theorem#R11C, Birkhoff's theorem (statement)
History
- 2026-11-02: add by m2/dev
Spherical symmetry BWTBSJRZ4H
| URI | m2://inv/BWTBSJRZ4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular symmetry#5H4A, Spherical symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Chinese restaurant process BWTES9ZV69
| URI | m2://inv/BWTES9ZV69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese restaurant process, Chinese restaurant process (definition). Also Wikidata Q4407236
History
- 2026-11-02: add by m2/dev
BWTM3R3YJY BWTM3R3YJY
| URI | m2://inv/BWTM3R3YJY |
|---|---|
| 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 2508.02432#SS16 (definition). In B366ACYB37/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
List of things named after Thomas Bayes BWTR5FKZ10
| URI | m2://inv/BWTR5FKZ10 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#4PKZ, List of things named after Thomas Bayes (topic)
History
- 2026-11-02: add by m2/dev
BWTR8KS308 BWTR8KS308
| URI | m2://inv/BWTR8KS308 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#B488 (statement). In TC5QA4AB4Z/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Definition BWTRZT7SF3
| URI | m2://inv/BWTRZT7SF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric product (topology)#2Y5D, Definition (definition)
History
- 2026-11-02: add by m2/dev
BWTSQ57ZY2 BWTSQ57ZY2
| URI | m2://inv/BWTSQ57ZY2 |
|---|---|
| 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 2304.09819#YB7B (statement). In FYKSPSVT37/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.0
John Edward Anderson BWTZKESNA9
| URI | m2://inv/BWTZKESNA9 |
|---|---|
| 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#5A8L, John Edward Anderson (unknown)
History
- 2026-11-02: add by m2/dev
Definition BWV0HYJDWB
| URI | m2://inv/BWV0HYJDWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear independence#YN1H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Prime number theorem BWV9VHP7VV
| URI | m2://inv/BWV9VHP7VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand's postulate#CZM4, Prime number theorem (statement)
History
- 2026-11-02: add by m2/dev
Mixed weighted products BWVDAES5RZ
| URI | m2://inv/BWVDAES5RZ |
|---|---|
| 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#OCAE, Mixed weighted products (statement). In 9YAE8FNQST/e1, theorem 21.1
History
- 2026-10-30: add by m2/v0.4.12
Burr–Erdős conjecture BWVJQCRVJS
| URI | m2://inv/BWVJQCRVJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#LHNE, Burr–Erdős conjecture (statement)
History
- 2026-11-02: add by m2/dev
Silver BWVR2PXCGX
| URI | m2://inv/BWVR2PXCGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2XRV, Silver (definition)
History
- 2026-11-02: add by m2/dev
Formulas involving the polynomials BWVWDAFVAA
| URI | m2://inv/BWVWDAFVAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian number#DUE1, Formulas involving the polynomials (statement)
History
- 2026-11-02: add by m2/dev
\probname{SetPacking BWVYQZF8XA
| URI | m2://inv/BWVYQZF8XA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#GSHS, \probname{SetPacking (problem). In 702AF3E4AF/e1, problem 5.4
History
- 2026-10-30: add by m2/v0.4.12
BWW6AJ87N7 BWW6AJ87N7
| URI | m2://inv/BWW6AJ87N7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-12 (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Anchored morphism BWW7WJF5PK
| URI | m2://inv/BWW7WJF5PK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#J84E, Anchored morphism (definition). In HX63A1PH1W/e1, definition 3.52
History
- 2026-10-28: add by m2/v0.4.3
BWWD8VSZEF BWWD8VSZEF
| URI | m2://inv/BWWD8VSZEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#X7HT (statement). In 9VPMHV0M4R/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Sophia Levy BWWE842KV5
| URI | m2://inv/BWWE842KV5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophia Levy, Sophia Levy (topic). Also Wikidata Q110969269
History
- 2026-11-02: add by m2/dev
Hausdorff measure BWWJ5XTM3D
| URI | m2://inv/BWWJ5XTM3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff#IK96, Hausdorff measure (definition)
History
- 2026-11-02: add by m2/dev
Constant-step projected SGD BWWKPMR0SX
| URI | m2://inv/BWWKPMR0SX |
|---|---|
| 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.04671#HYLH, Constant-step projected SGD (statement). In BYP65TRGDT/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.12
European countries by employment in agriculture BWWM0CERKT
| URI | m2://inv/BWWM0CERKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European countries by employment in agriculture (% of employed), European countries by employment in agriculture (definition). Also Wikidata Q25241927
History
- 2026-11-02: add by m2/dev
BWWRFNN7ND BWWRFNN7ND
| URI | m2://inv/BWWRFNN7ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#8SGU (statement). In A3KXZ2GBHN/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Generalizations BWWYV0P6HA
| URI | m2://inv/BWWYV0P6HA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DTIME#8MD4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Degree-zero divergence BWX3NY12SG
| URI | m2://inv/BWX3NY12SG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02714#IL3B, Degree-zero divergence (statement). In R9AXCJWK8F/e1, corollary 24
History
- 2026-10-29: add by m2/v0.4.12
Linear combinations and linear systems BWXG35ZN7P
| URI | m2://inv/BWXG35ZN7P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-1.xml#activity-2, Linear combinations and linear systems (exercise). In 649HGZKE96, activity, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Extreme value theorem BWXJ216WGK
| URI | m2://inv/BWXJ216WGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#WMHA, Extreme value theorem (statement)
History
- 2026-11-02: add by m2/dev
BWXQ15VVWA BWXQ15VVWA
| URI | m2://inv/BWXQ15VVWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#S1NH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Using the maximum principle for harmonic functions BWXQAFKP9A
| URI | m2://inv/BWXQAFKP9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum modulus principle#2QFJ, Using the maximum principle for harmonic functions (statement)
History
- 2026-11-02: add by m2/dev
slice theorem BWXSEX7ENT
| URI | m2://inv/BWXSEX7ENT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#2OL7, slice theorem (statement). In S1F2QW24YW/e1, theorem 2.25
History
- 2026-10-27: add by m2/v0.3.5
BWXT6MN4XF BWXT6MN4XF
| URI | m2://inv/BWXT6MN4XF |
|---|---|
| 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.02756#ZRAU (statement). In GCQ5YCQQHD/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Dual multiplier as a storage subgradient BWXTTNXE30
| URI | m2://inv/BWXTTNXE30 |
|---|---|
| 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.27744#3P0H, Dual multiplier as a storage subgradient (statement)
History
- 2026-11-01: add by m2/v0.6.15
BWXWPZJ402 BWXWPZJ402
| URI | m2://inv/BWXWPZJ402 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35474#7F1S (statement). In 9QWPGZ92ZN/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
BWXYHJW65Q BWXYHJW65Q
| URI | m2://inv/BWXYHJW65Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
BWY0FZYDWH BWY0FZYDWH
| URI | m2://inv/BWY0FZYDWH |
|---|---|
| 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.27641#1BQ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BWY8Q7DPF5 BWY8Q7DPF5
| URI | m2://inv/BWY8Q7DPF5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
BWYP0F026Y BWYP0F026Y
| URI | m2://inv/BWYP0F026Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#ZDK8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations BWYPW33VMN
| URI | m2://inv/BWYPW33VMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner's lemma#3TA0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Gödel’s Incompleteness Theorem BWYTA2YZSJ
| URI | m2://inv/BWYTA2YZSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 6, Gödel’s Incompleteness Theorem (statement)
History
- 2026-10-26: add by m2/dev
Meton of Athens BWYW4TN7PM
| URI | m2://inv/BWYW4TN7PM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#L3M6, Meton of Athens (unknown)
History
- 2026-11-02: add by m2/dev
BWYYHWSV8P BWYYHWSV8P
| URI | m2://inv/BWYYHWSV8P |
|---|---|
| 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 2507.12309#CMG6 (statement). In ZR53K3E0FR/e1, theorem 26
History
- 2026-10-27: add by m2/v0.3.6
undulation BWYYJSN7WA
| URI | m2://inv/BWYYJSN7WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#GG3Z, undulation (definition)
History
- 2026-11-02: add by m2/dev
BWZ0AM6EGC BWZ0AM6EGC
| URI | m2://inv/BWZ0AM6EGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#5LHA (statement). In HRCEFY172P/e1, lemma 3.29
History
- 2026-10-30: add by m2/v0.4.12
BWZA5NYQ74 BWZA5NYQ74
| URI | m2://inv/BWZA5NYQ74 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#G5CR (definition). In WWMHZKWZSM/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Babai, László BWZF2QK8WX
| URI | m2://inv/BWZF2QK8WX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#60PQ, Babai, László (topic)
History
- 2026-11-02: add by m2/dev
BWZGYNRXSC BWZGYNRXSC
| URI | m2://inv/BWZGYNRXSC |
|---|---|
| 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.38014#Y541 (statement). In F3X5W4E0AJ/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
6-cube BWZTSWV427
| URI | m2://inv/BWZTSWV427 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-cube, 6-cube (definition). Also Wikidata Q2527813
History
- 2026-11-02: add by m2/dev
BWZX7NQ3PG BWZX7NQ3PG
| URI | m2://inv/BWZX7NQ3PG |
|---|---|
| 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.06544#WB1Z (statement). In VCRB27RMN6/e1, proposition 18.4
History
- 2026-10-29: add by m2/v0.4.10
Definition BWZY4S3GV3
| URI | m2://inv/BWZY4S3GV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham–Lorentz force#IFKG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Strategic enrollment management BWZYK3WZTT
| URI | m2://inv/BWZYK3WZTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategic enrollment management, Strategic enrollment management (definition). Also Wikidata Q7621787
History
- 2026-11-02: add by m2/dev