Inventory rows 41
The cards of the rows of the inventory whose ids start with 41. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
41076T6EVS 41076T6EVS
| URI | m2://inv/41076T6EVS |
|---|---|
| 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 2501.02331#XDS5 (statement). In N9J5DJCTJZ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
410K0BB4HW 410K0BB4HW
| URI | m2://inv/410K0BB4HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#WNFZ (statement). In 59016RQTW6/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.12
Alternative definitions 410PF0WYGB
| URI | m2://inv/410PF0WYGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma function#RRJU, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
cluster prime 410QN2S4S9
| URI | m2://inv/410QN2S4S9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110010499, cluster prime (unknown). Also MathWorld ClusterPrime, OEIS A038134
- wikipedia: Wikipedia Cluster prime, Cluster prime (object). Also Wikidata Q110010499
History
- 2026-10-26: add by m2/dev
Method of moments 410WJ1TGJB
| URI | m2://inv/410WJ1TGJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of moments (electromagnetics), Method of moments (definition). Also Wikidata Q1943821
History
- 2026-11-02: add by m2/dev
Grassmann bundle 4113K7KWMR
| URI | m2://inv/4113K7KWMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grassmann bundle, Grassmann bundle (definition). Also Wikidata Q25105043
History
- 2026-11-02: add by m2/dev
Hilbert 41188A14TR
| URI | m2://inv/41188A14TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JDYZ, Hilbert (definition)
History
- 2026-11-02: add by m2/dev
Rothe–Hagen identity 411A8GDPEZ
| URI | m2://inv/411A8GDPEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rothe–Hagen identity, Rothe–Hagen identity (statement). Also Wikidata Q7370472
History
- 2026-11-02: add by m2/dev
Band step 411DCD8FVD
| URI | m2://inv/411DCD8FVD |
|---|---|
| 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.06490#1MPB, Band step (statement). In NKXTXH59P1/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Cryptographic hash function 411EJC789E
| URI | m2://inv/411EJC789E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#EJVC, Cryptographic hash function (definition)
History
- 2026-11-02: add by m2/dev
SM3 411EJEJRV0
| URI | m2://inv/411EJEJRV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM3 (hash function), SM3 (definition). Also Wikidata Q28410000
History
- 2026-11-02: add by m2/dev
Tape diagram 411G0VT4TW
| URI | m2://inv/411G0VT4TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tape diagram, Tape diagram (definition). Also Wikidata Q25100019
History
- 2026-11-02: add by m2/dev
Dunnett's test 411MQ3VEZB
| URI | m2://inv/411MQ3VEZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dunnett's test, Dunnett's test (definition). Also Wikidata Q5315588
History
- 2026-11-02: add by m2/dev
Average 411R1PKS6S
| URI | m2://inv/411R1PKS6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average, Average (definition). Also Wikidata Q202785
History
- 2026-11-02: add by m2/dev
random sequence 411XGMMJRQ
| URI | m2://inv/411XGMMJRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q228191, random sequence (unknown). Also EoM Random_sequence
- wikipedia: Wikipedia Random sequence, Random sequence (definition). Also Wikidata Q228191
History
- 2026-10-26: add by m2/dev
Metaknowledge 41209FGR4H
| URI | m2://inv/41209FGR4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metaknowledge, Metaknowledge (definition). Also Wikidata Q1761230
History
- 2026-11-02: add by m2/dev
Aaron Galuten 4125D6XND4
| URI | m2://inv/4125D6XND4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aaron Galuten, Aaron Galuten (topic). Also Wikidata Q84607007
History
- 2026-11-02: add by m2/dev
Ian Ford 4128F9QM6N
| URI | m2://inv/4128F9QM6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ian Ford (statistician), Ian Ford (topic). Also Wikidata Q5981547
History
- 2026-11-02: add by m2/dev
Finiteness of the class number 412DAW3NA7
| URI | m2://inv/412DAW3NA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebraic Number Theory > Finiteness of the class number, Finiteness of the class number (unknown). Also Mathlib NumberField.RingOfIntegers.instFintypeClassGroup
History
- 2026-10-26: add by m2/dev
412GEDZ3JK 412GEDZ3JK
| URI | m2://inv/412GEDZ3JK |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.01436#OYB4 (proof). In FE59Q5BHKZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Remark 412TJR6DH0
| URI | m2://inv/412TJR6DH0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal (ring theory)#VBH6, Remark (unknown)
History
- 2026-11-02: add by m2/dev
data 412TVT3CA2
| URI | m2://inv/412TVT3CA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#DQK5, data (definition)
History
- 2026-11-02: add by m2/dev
Lindemann–Weierstrass theorem 412WBFVD38
| URI | m2://inv/412WBFVD38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schanuel's conjecture#LB9M, Lindemann–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
413A84ZW7A 413A84ZW7A
| URI | m2://inv/413A84ZW7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11946#J011 (statement). In VQ96F8CY5M/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Weighted \Lojasiewicz inequality 413BK83MJR
| URI | m2://inv/413BK83MJR |
|---|---|
| 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.10790#D9HD, Weighted \Lojasiewicz inequality (statement). In HHQ6P3RRB8/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
413DXMJ2RX 413DXMJ2RX
| URI | m2://inv/413DXMJ2RX |
|---|---|
| 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 2609.31274#WJJT (definition). In RK0ZMDJ23T/e1, definition 2.1.11
History
- 2026-10-31: add by m2/v0.5.6
Integral identity for equal Cauchy pairs 413QVZA5FD
| URI | m2://inv/413QVZA5FD |
|---|---|
| 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.17519#65HT, Integral identity for equal Cauchy pairs (statement). In H2DNTQ5MKV/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Kaplan–Yorke conjecture 413S2B4H9Y
| URI | m2://inv/413S2B4H9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#V53Q, Kaplan–Yorke conjecture (statement)
History
- 2026-11-02: add by m2/dev
José Mendieta 413XBDXY4G
| URI | m2://inv/413XBDXY4G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia José Mendieta, José Mendieta (topic). Also Wikidata Q114495982
History
- 2026-11-02: add by m2/dev
4143KAK79V 4143KAK79V
| URI | m2://inv/4143KAK79V |
|---|---|
| Kind | statement |
| 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.33531#GGKN (statement). In HNMJEAR2ER/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Reliability block diagram 4144H5GMZF
| URI | m2://inv/4144H5GMZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BPSJ, Reliability block diagram (definition)
History
- 2026-11-02: add by m2/dev
Rekeying 4145SF17Y2
| URI | m2://inv/4145SF17Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rekeying (cryptography), Rekeying (definition). Also Wikidata Q48790099
History
- 2026-11-02: add by m2/dev
Liouville–Bratu–Gelfand equation 414P2V12WX
| URI | m2://inv/414P2V12WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville–Bratu–Gelfand equation, Liouville–Bratu–Gelfand equation (definition). Also Wikidata Q30693537
History
- 2026-11-02: add by m2/dev
414PBTN5S6 414PBTN5S6
| URI | m2://inv/414PBTN5S6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#0G37 (definition)
History
- 2026-11-01: add by m2/v0.6.15
414RAYYNTY 414RAYYNTY
| URI | m2://inv/414RAYYNTY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 62-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.30529#JDVU (example). In NVB15RHFAV/e1, example 2
History
- 2026-10-31: add by m2/v0.5.6
Eady model 414X97G0C0
| URI | m2://inv/414X97G0C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eady model, Eady model (definition). Also Wikidata Q23579953
History
- 2026-11-02: add by m2/dev
Pierre Gabriel 4153XJTT54
| URI | m2://inv/4153XJTT54 |
|---|---|
| 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#HBUQ, Pierre Gabriel (topic)
History
- 2026-11-02: add by m2/dev
Brocard points 415CED5FX4
| URI | m2://inv/415CED5FX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#JX0N, Brocard points (definition)
History
- 2026-11-02: add by m2/dev
415DBYT5DR 415DBYT5DR
| URI | m2://inv/415DBYT5DR |
|---|---|
| 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.11336#KHRH (statement). In X1R1GDAJ0Y/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.3
Properties 415FWKBEJ9
| URI | m2://inv/415FWKBEJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final topology#7EZ5, Properties (statement)
History
- 2026-11-02: add by m2/dev
415HSJQP74 415HSJQP74
| URI | m2://inv/415HSJQP74 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#TD1F (definition). In VGJVFCDV8A/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Conor McBride 415JM57MJ6
| URI | m2://inv/415JM57MJ6 |
|---|---|
| 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 Q5162250, Conor McBride (unknown). Also nLab Conor McBride
History
- 2026-10-26: add by m2/dev
Regular matroid 415KY1GE1B
| URI | m2://inv/415KY1GE1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular matroid, Regular matroid (definition). Also Wikidata Q7309609
History
- 2026-11-02: add by m2/dev
Examples 415MVAKSWZ
| URI | m2://inv/415MVAKSWZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler product#U2NC, Examples (example)
History
- 2026-11-02: add by m2/dev
415S4B9CQM 415S4B9CQM
| URI | m2://inv/415S4B9CQM |
|---|---|
| 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 2504.00267#T4YQ (statement). In 38XJWDZ2PH/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem 415Z06YH0T
| URI | m2://inv/415Z06YH0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#4BGU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Konstantin Lerner 4165QYEXSD
| URI | m2://inv/4165QYEXSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#6O4S, Konstantin Lerner (unknown)
History
- 2026-11-02: add by m2/dev
Joaquin Mazdak Luttinger 4166HHMK69
| URI | m2://inv/4166HHMK69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FLQR, Joaquin Mazdak Luttinger (unknown)
History
- 2026-11-02: add by m2/dev
416C9HWRJ6 416C9HWRJ6
| URI | m2://inv/416C9HWRJ6 |
|---|---|
| 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#F2V1 (statement). In KVXDWX9B11/e1, proposition A.2
History
- 2026-10-27: add by m2/v0.4.2
416HF47B0Z 416HF47B0Z
| URI | m2://inv/416HF47B0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#0JIU (statement). In 8JDQ9FWFRK/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
416J2SSTQ0 416J2SSTQ0
| URI | m2://inv/416J2SSTQ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
416JJ7E9CG 416JJ7E9CG
| URI | m2://inv/416JJ7E9CG |
|---|---|
| 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 2609.29759#C36Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Yang–Mills existence and mass gap 416QEJWZEJ
| URI | m2://inv/416QEJWZEJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QB2M, Yang–Mills existence and mass gap (conjecture)
History
- 2026-11-02: add by m2/dev
416TH7690J 416TH7690J
| URI | m2://inv/416TH7690J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#Z27H (statement). In YVK8EFSYNJ/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
4172EERD3S 4172EERD3S
| URI | m2://inv/4172EERD3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#WP8F (definition)
History
- 2026-11-01: add by m2/v0.6.15
417509A8SC 417509A8SC
| URI | m2://inv/417509A8SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#LHJK (statement). In S8EGCJQ0JV/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
4175NVYS24 4175NVYS24
| URI | m2://inv/4175NVYS24 |
|---|---|
| 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#G2EO (statement)
History
- 2026-11-01: add by m2/v0.6.15
417A923EDX 417A923EDX
| URI | m2://inv/417A923EDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem:pik-nconnected (statement). In N54F33XE07, lem, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Logarithmic pair sums 417CTECWCE
| URI | m2://inv/417CTECWCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22107#FA0E, Logarithmic pair sums (statement). In SN5RJPQ713/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
power 417DBRDX3H
| URI | m2://inv/417DBRDX3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#9PSZ, power (definition)
History
- 2026-11-02: add by m2/dev
Gale-Ryser 417F6EWX0A
| URI | m2://inv/417F6EWX0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_zero-one-matrices.ptx#theorem-1, Gale-Ryser (statement). In QKM9DD2H56, theorem, section 16.5.1
History
- 2026-11-01: add by m2/v0.6.13
417WVNMN3X 417WVNMN3X
| URI | m2://inv/417WVNMN3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#JGRG (statement). In PEXJPV3NP8/e1, theorem 2.18
History
- 2026-10-27: add by m2/v0.3.5
Susana Urbina 4188AFPBX9
| URI | m2://inv/4188AFPBX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susana Urbina, Susana Urbina (topic). Also Wikidata Q7648620
History
- 2026-11-02: add by m2/dev
Margaret Merrell 418FA5BKCY
| URI | m2://inv/418FA5BKCY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Merrell, Margaret Merrell (topic). Also Wikidata Q42772732
History
- 2026-11-02: add by m2/dev
Heinrich Schenker 418GNE23ZR
| URI | m2://inv/418GNE23ZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#9XXA, Heinrich Schenker (unknown)
History
- 2026-11-02: add by m2/dev
Reduced/self-dual bridge 418KDD3JHJ
| URI | m2://inv/418KDD3JHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31189#UMX6, Reduced/self-dual bridge (statement). In 2D061MTT04/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Feferman–Schütte ordinal 418PWTF7MG
| URI | m2://inv/418PWTF7MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feferman–Schütte ordinal, Feferman–Schütte ordinal (definition). Also Wikidata Q2264170
History
- 2026-11-02: add by m2/dev
Difference quotient 418VKC8V1C
| URI | m2://inv/418VKC8V1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#OL63, Difference quotient (definition)
History
- 2026-11-02: add by m2/dev
Leaf power 4191TKB2SH
| URI | m2://inv/4191TKB2SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#62T8, Leaf power (definition)
History
- 2026-11-02: add by m2/dev
Seven Hills, Colorado 4194WBA6G2
| URI | m2://inv/4194WBA6G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JKEP, Seven Hills, Colorado (unknown)
History
- 2026-11-02: add by m2/dev
Definition 41950YT7Y9
| URI | m2://inv/41950YT7Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (algebraic geometry)#7UKH, Definition (definition)
History
- 2026-11-02: add by m2/dev
4199Z8SJVS 4199Z8SJVS
| URI | m2://inv/4199Z8SJVS |
|---|---|
| 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#D4PY (statement). In 1K7M5TD0M2/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
John H. Hubbard 419HNXJ0J2
| URI | m2://inv/419HNXJ0J2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John H. Hubbard, John H. Hubbard (topic). Also Wikidata Q464212
History
- 2026-11-02: add by m2/dev
Demazure character formula 419KA2GNJ1
| URI | m2://inv/419KA2GNJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demazure module#JBI6, Demazure character formula (statement)
History
- 2026-11-02: add by m2/dev
secant 419XFCG2T6
| URI | m2://inv/419XFCG2T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#5XNI, secant (definition)
History
- 2026-11-02: add by m2/dev
41A5GDXW3K 41A5GDXW3K
| URI | m2://inv/41A5GDXW3K |
|---|---|
| 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 2205.15365#0VLN (statement). In R2XC1SC9NZ/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
Definitions 41A7Y4D0NP
| URI | m2://inv/41A7Y4D0NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line field#TUKQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Marek Wolf 41AAQ5W3QT
| URI | m2://inv/41AAQ5W3QT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LFKX, Marek Wolf (unknown)
History
- 2026-11-02: add by m2/dev
Examples 41AGW5D8Q4
| URI | m2://inv/41AGW5D8Q4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius determinant theorem#ZXOW, Examples (example)
History
- 2026-11-02: add by m2/dev
41AK9SV7F9 41AK9SV7F9
| URI | m2://inv/41AK9SV7F9 |
|---|---|
| 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.24082#AZAT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Challenging 41AP4T6X5R
| URI | m2://inv/41AP4T6X5R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:cauchycondensation, Challenging (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Trithemius cipher 41AQH8RJD4
| URI | m2://inv/41AQH8RJD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tabula recta#QQ22, Trithemius cipher (unknown)
History
- 2026-11-02: add by m2/dev
David Kosower 41AWWTRES2
| URI | m2://inv/41AWWTRES2 |
|---|---|
| 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 Q15020902, David Kosower (unknown). Also nLab David Kosower
History
- 2026-10-26: add by m2/dev
Decided stems 41B7ZCYDSJ
| URI | m2://inv/41B7ZCYDSJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#BZFZ, Decided stems (definition). In JPC86V77CH/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Georg Alexander Pick 41B8DTWBKT
| URI | m2://inv/41B8DTWBKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M9CZ, Georg Alexander Pick (unknown)
History
- 2026-11-02: add by m2/dev
Properties 41BGT2TXFA
| URI | m2://inv/41BGT2TXFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hutchinson operator#6BHC, Properties (statement)
History
- 2026-11-02: add by m2/dev
41BP3BWBKF 41BP3BWBKF
| URI | m2://inv/41BP3BWBKF |
|---|---|
| Kind | definition |
| 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.03677#X5WZ (definition). In J1Y06VVYRG/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Haskell P. Rosenthal 41C6X8BT8P
| URI | m2://inv/41C6X8BT8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haskell P. Rosenthal, Haskell P. Rosenthal (topic). Also Wikidata Q102164507
History
- 2026-11-02: add by m2/dev
Fibred two-knots and closed monodromy 41CA8BJ2JE
| URI | m2://inv/41CA8BJ2JE |
|---|---|
| Kind | definition |
| 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.29839#EX8Y, Fibred two-knots and closed monodromy (definition)
History
- 2026-11-01: add by m2/v0.6.15
Katherine Wallman 41CACHCEXB
| URI | m2://inv/41CACHCEXB |
|---|---|
| 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#CT8W, Katherine Wallman (topic)
History
- 2026-11-02: add by m2/dev
The step size 41CB55ZS9V
| URI | m2://inv/41CB55ZS9V |
|---|---|
| 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.35418#N2LC, The step size (statement). In JHD3TW67QT/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
Certification path validation algorithm 41CFEPZXG1
| URI | m2://inv/41CFEPZXG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certification path validation algorithm, Certification path validation algorithm (definition). Also Wikidata Q5065130
History
- 2026-11-02: add by m2/dev
Benedict Gross 41CN4VX9SG
| URI | m2://inv/41CN4VX9SG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9YG2, Benedict Gross (topic)
History
- 2026-11-02: add by m2/dev
Nilpotence theorem 41CNC86N6X
| URI | m2://inv/41CNC86N6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1VE0, Nilpotence theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties 41D0DD0MX7
| URI | m2://inv/41D0DD0MX7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian path#BN6A, Properties (statement)
History
- 2026-11-02: add by m2/dev
41D6RW7AR1 41D6RW7AR1
| URI | m2://inv/41D6RW7AR1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#DBM9 (example). In VJTRH1S4JA/e1, example 3.12
History
- 2026-10-28: add by m2/v0.4.2
Esakia duality 41DG978VFB
| URI | m2://inv/41DG978VFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#CQU3, Esakia duality (definition)
History
- 2026-11-02: add by m2/dev
41DJ7WGVF7 41DJ7WGVF7
| URI | m2://inv/41DJ7WGVF7 |
|---|---|
| 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.05471#MKYH (statement). In WDWF9WKNK1/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
41DP1VW20F 41DP1VW20F
| URI | m2://inv/41DP1VW20F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#N8YS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Slushball Earth hypothesis 41DSFZG9JR
| URI | m2://inv/41DSFZG9JR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowball Earth#OUKM, Slushball Earth hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Giovanni Francesco Crivelli 41EABNDFFZ
| URI | m2://inv/41EABNDFFZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#C7Q0, Giovanni Francesco Crivelli (unknown)
History
- 2026-11-02: add by m2/dev
41EC8WC6E9 41EC8WC6E9
| URI | m2://inv/41EC8WC6E9 |
|---|---|
| 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#QY81 (statement). In 4GRNWWH88J/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Locally closed subset 41EE82W0F4
| URI | m2://inv/41EE82W0F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally closed subset, Locally closed subset (definition). Also Wikidata Q113518200
History
- 2026-11-02: add by m2/dev
Serre's positivity conjecture 41EG4W5CKA
| URI | m2://inv/41EG4W5CKA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2KXK, Serre's positivity conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
41ETJDVHQR 41ETJDVHQR
| URI | m2://inv/41ETJDVHQR |
|---|---|
| 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 2610.08935#5V82 (definition). In G02N9D40B9/e1, definition 6.1.3
History
- 2026-10-29: add by m2/v0.4.10
Einstein radius 41EWPGMCAS
| URI | m2://inv/41EWPGMCAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein radius, Einstein radius (definition). Also Wikidata Q5349805
History
- 2026-11-02: add by m2/dev
41F0QDJ26A 41F0QDJ26A
| URI | m2://inv/41F0QDJ26A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#ZOT2 (definition). In 9DQKY7KGE8/e1, definition B.9
History
- 2026-10-31: add by m2/v0.5.6
Definitions 41FAFTC24N
| URI | m2://inv/41FAFTC24N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhu algebra#XCFC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Gauge-Transformed Hamiltonian 41FF4MTCHA
| URI | m2://inv/41FF4MTCHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#1WPP, Gauge-Transformed Hamiltonian (statement). In B48YQVGAF5/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Cauchy's theorem 41FJPN7JKY
| URI | m2://inv/41FJPN7JKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Cauchy's theorem 0JM7PA288B |
Mentions
- mathlib_1000: mathlib_1000 Q1139041, Cauchy's theorem (group theory) (statement). Also Mathlib exists_prime_orderOf_dvd_card, Wikidata Q1139041
- thousand_plus: thousand_plus Q1139041, Cauchy's theorem (group theory) (statement). Also Mathlib exists_prime_orderOf_dvd_card, Wikidata Q1139041, Wikipedia Cauchy's theorem (group theory)
- wikipedia: Wikipedia Cauchy's theorem (group theory), Cauchy's theorem (statement). Also Wikidata Q1139041
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Statistical parametric mapping 41FN71573Y
| URI | m2://inv/41FN71573Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical parametric mapping, Statistical parametric mapping (definition). Also Wikidata Q2940624
History
- 2026-11-02: add by m2/dev
Examples 41FQ3SV1J6
| URI | m2://inv/41FQ3SV1J6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic subgroup of a reflection group#F7I0, Examples (example)
History
- 2026-11-02: add by m2/dev
41FR0F5BT8 41FR0F5BT8
| URI | m2://inv/41FR0F5BT8 |
|---|---|
| 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.20675#41YF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Real projective plane 41G5DNZWG6
| URI | m2://inv/41G5DNZWG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7PEE, Real projective plane (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#983F, Real projective plane (definition)
- wikipedia: Wikipedia List of surfaces#62YW, Real projective plane (definition)
History
- 2026-11-02: add by m2/dev
Near-ring 41G6JNPPWT
| URI | m2://inv/41G6JNPPWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-ring, Near-ring (definition). Also Wikidata Q1397835
History
- 2026-11-02: add by m2/dev
41GFSCDK0V 41GFSCDK0V
| URI | m2://inv/41GFSCDK0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#04VX (statement). In JW8HH6EPG2/e1, corollary 3.26
History
- 2026-10-29: add by m2/v0.4.10
41GKZKX11K 41GKZKX11K
| URI | m2://inv/41GKZKX11K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#6M9Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
41GNEWZ6G3 41GNEWZ6G3
| URI | m2://inv/41GNEWZ6G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#4ZPX (statement). In WRE0P7V6Z3/e1, theorem D.6
History
- 2026-10-30: add by m2/v0.4.12
Mervin E. Muller 41GNJQT0EM
| URI | m2://inv/41GNJQT0EM |
|---|---|
| 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#3ZYK, Mervin E. Muller (unknown)
History
- 2026-11-02: add by m2/dev
41GV37S01S 41GV37S01S
| URI | m2://inv/41GV37S01S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-69 (exercise). In E9HS8K3A52, exercise, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
Beta formula for the diagonal polynomial 41GZTZH1V8
| URI | m2://inv/41GZTZH1V8 |
|---|---|
| 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.18277#3PHZ, Beta formula for the diagonal polynomial (statement). In YFRNY7S92A/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
41H4QNQKZB 41H4QNQKZB
| URI | m2://inv/41H4QNQKZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#Z0IH (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
41H5AVMZZS 41H5AVMZZS
| URI | m2://inv/41H5AVMZZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#WQBB (statement). In BKGWH9ZN4J/e1, corollary 4.5
History
- 2026-10-31: add by m2/v0.5.6
41H6BJRXA4 41H6BJRXA4
| URI | m2://inv/41H6BJRXA4 |
|---|---|
| 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 1912.08672#V408 (statement). In 55X5V0M3K7/e1, lemma
History
- 2026-10-27: add by m2/v0.3.6
Implicit graph conjecture 41HDG9HFZC
| URI | m2://inv/41HDG9HFZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#D5FC, Implicit graph conjecture (definition)
History
- 2026-11-02: add by m2/dev
41HQXNYBZ6 41HQXNYBZ6
| URI | m2://inv/41HQXNYBZ6 |
|---|---|
| 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 2105.13129#K496 (statement). In J5Z1JD5VKR/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Order of integration 41HX3TRPDP
| URI | m2://inv/41HX3TRPDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of integration (calculus), Order of integration (definition). Also Wikidata Q3825182
History
- 2026-11-02: add by m2/dev
41J6MMYST4 41J6MMYST4
| URI | m2://inv/41J6MMYST4 |
|---|---|
| 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.27800#1CE9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hexahectogon 41JD8DH9X1
| URI | m2://inv/41JD8DH9X1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#R991, Hexahectogon (unknown)
History
- 2026-11-02: add by m2/dev
41JGYM1QA4 41JGYM1QA4
| URI | m2://inv/41JGYM1QA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#SCS5 (definition). In SD43497T8C/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
41JP36S8VY 41JP36S8VY
| URI | m2://inv/41JP36S8VY |
|---|---|
| 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#EW13 (statement). In E7W2HDNEKJ/e1, theorem 6.22
History
- 2026-10-30: add by m2/v0.4.12
41JQ1P6A37 41JQ1P6A37
| URI | m2://inv/41JQ1P6A37 |
|---|---|
| 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.29023#Q1FM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Relationship to the ideal gas law 41JRG1K7XF
| URI | m2://inv/41JRG1K7XF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waals equation#KUU1, Relationship to the ideal gas law (statement)
History
- 2026-11-02: add by m2/dev
Admissible primitive oracle 41JY7A866T
| URI | m2://inv/41JY7A866T |
|---|---|
| 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.01843#4C9N, Admissible primitive oracle (statement). In EDG9ZFDSWK/e1, lemma B.21
History
- 2026-10-29: add by m2/v0.4.12
41K0CDNJRX 41K0CDNJRX
| URI | m2://inv/41K0CDNJRX |
|---|---|
| Kind | definition |
| 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#81PE (definition)
History
- 2026-11-02: add by m2/v0.6.18
Patterns N9--N12 41K3YW5WEJ
| URI | m2://inv/41K3YW5WEJ |
|---|---|
| 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.08865#VU0X, Patterns N9--N12 (statement). In SJ5JKGH94M/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
41K5W672V5 41K5W672V5
| URI | m2://inv/41K5W672V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40156#LOOU (statement). In PP8BEHWK33/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
41K6MC6SSX 41K6MC6SSX
| URI | m2://inv/41K6MC6SSX |
|---|---|
| Kind | statement |
| 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 2610.22082#ANZL (statement). In 7PACGDW3N7/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Definition 41KH21106C
| URI | m2://inv/41KH21106C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#F2KE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 41KPBJNA7F
| URI | m2://inv/41KPBJNA7F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior Schwarzschild metric#AGKA, Examples (example)
History
- 2026-11-02: add by m2/dev
RadioGatun64 41KRW0FJ39
| URI | m2://inv/41KRW0FJ39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RadioGatún#DFEI, RadioGatun64 (unknown)
History
- 2026-11-02: add by m2/dev
41KV5SK9QK 41KV5SK9QK
| URI | m2://inv/41KV5SK9QK |
|---|---|
| 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.12034#F3MN (statement). In 1FRW4N1H90/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
Gauss's inequality 41KVSEC85A
| URI | m2://inv/41KVSEC85A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#2RRL, Gauss's inequality (statement)
- wikipedia: Wikipedia List of statistics articles#WJ8S, Gauss's inequality (statement)
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#HQZJ, Gauss's inequality (statement)
- wikipedia: Wikipedia List of inequalities#HGTE, Gauss's inequality (statement)
History
- 2026-11-02: add by m2/dev
Characterization of continuity of addition at 0 41KYTSW6Z6
| URI | m2://inv/41KYTSW6Z6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector space#PQ3R, Characterization of continuity of addition at 0 (statement)
History
- 2026-11-02: add by m2/dev
Sheaf theory 41KZTZV8QF
| URI | m2://inv/41KZTZV8QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AH0X, Sheaf theory (definition)
History
- 2026-11-02: add by m2/dev
Microfit 41MEWR81D4
| URI | m2://inv/41MEWR81D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#WKXB, Microfit (definition)
History
- 2026-11-02: add by m2/dev
41MRS6Z6WZ 41MRS6Z6WZ
| URI | m2://inv/41MRS6Z6WZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#LSYT (example)
History
- 2026-11-01: add by m2/v0.6.15
Constructible number 41MTEZ50VR
| URI | m2://inv/41MTEZ50VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#KKVY, Constructible number (definition)
History
- 2026-11-02: add by m2/dev
41NA0DJJ5M 41NA0DJJ5M
| URI | m2://inv/41NA0DJJ5M |
|---|---|
| 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#5746 (statement). In XXN6KKXPYF/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
41NCGWGJWQ 41NCGWGJWQ
| URI | m2://inv/41NCGWGJWQ |
|---|---|
| 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#8NWZ (statement). In 9YAE8FNQST/e1, theorem 22.6
History
- 2026-10-30: add by m2/v0.4.12
cf.\ or 41ND36TBMA
| URI | m2://inv/41ND36TBMA |
|---|---|
| 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.30410#T6XP, cf.\ or (statement). In 5HZX3JVJWF/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
Systematic SID Encoder 41NDYD0ZXV
| URI | m2://inv/41NDYD0ZXV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#JZGO, Systematic SID Encoder (definition). In D7NDCWSDJE/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Kip S. Thorne 41NTSGQZKT
| URI | m2://inv/41NTSGQZKT |
|---|---|
| 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 Q323320, Kip S. Thorne (unknown). Also nLab Kip Thorne
History
- 2026-10-26: add by m2/dev
Vectorial addition chain 41NY3FP4BJ
| URI | m2://inv/41NY3FP4BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vectorial addition chain, Vectorial addition chain (definition). Also Wikidata Q7917851
History
- 2026-11-02: add by m2/dev
Gamma group 41PABF2ZHN
| URI | m2://inv/41PABF2ZHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-dimensional gamma matrices#ZPAD, Gamma group (unknown)
History
- 2026-11-02: add by m2/dev
41PFV0PKKX 41PFV0PKKX
| URI | m2://inv/41PFV0PKKX |
|---|---|
| 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 2211.13105#W3CV (statement). In 5ACPY6CEDV/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Antipode (algebra) 41PWY1XJJY
| URI | m2://inv/41PWY1XJJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebra#KF36, Antipode (algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Local-information obstruction to connectedness 41Q2A4G6G6
| URI | m2://inv/41Q2A4G6G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14081#502U, Local-information obstruction to connectedness (statement). In DCCKKQ7Y21/e1, theorem II.7
History
- 2026-10-28: add by m2/v0.4.2
Localized spectral multipliers 41QA224YXQ
| URI | m2://inv/41QA224YXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29147#KTBF, Localized spectral multipliers (statement)
History
- 2026-11-01: add by m2/v0.6.15
41QQ9VYBS9 41QQ9VYBS9
| URI | m2://inv/41QQ9VYBS9 |
|---|---|
| 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.36818#8BI9 (statement). In SK6AP2B9JH/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
Hausdorff–Young inequality 41QW1QTKN0
| URI | m2://inv/41QW1QTKN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp space#SJV0, Hausdorff–Young inequality (statement)
History
- 2026-11-02: add by m2/dev
Permitting lemma 41R8GMSMRH
| URI | m2://inv/41R8GMSMRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#RUDC, Permitting lemma (statement)
History
- 2026-11-02: add by m2/dev
Triangular trade 41RA42BCVS
| URI | m2://inv/41RA42BCVS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#IJLS, Triangular trade (unknown)
History
- 2026-11-02: add by m2/dev
Nym Technologies 41RAXZQA9Q
| URI | m2://inv/41RAXZQA9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nym Technologies, Nym Technologies (definition). Also Wikidata Q133191757
History
- 2026-11-02: add by m2/dev
Albert Joseph McConnell 41RBXZ2ECQ
| URI | m2://inv/41RBXZ2ECQ |
|---|---|
| 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#BHPW, Albert Joseph McConnell (topic)
History
- 2026-11-02: add by m2/dev
Example 41RFBCSPBP
| URI | m2://inv/41RFBCSPBP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative test#9NHZ, Example (example)
History
- 2026-11-02: add by m2/dev
Lobster graph 41RXHPRVCC
| URI | m2://inv/41RXHPRVCC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphs#BV7H, Lobster graph (unknown)
History
- 2026-11-02: add by m2/dev
John Venn 41S1FVHEC1
| URI | m2://inv/41S1FVHEC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q216811, John Venn (unknown). Also EoM Venn,_John
- wikipedia: Wikipedia John Venn, John Venn (topic). Also Wikidata Q216811
History
- 2026-10-26: add by m2/dev
41S1HSXMWZ 41S1HSXMWZ
| URI | m2://inv/41S1HSXMWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24994#T0DV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two main sequences 41S9XED02M
| URI | m2://inv/41S9XED02M |
|---|---|
| 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 2311.03011#MKWE, Two main sequences (definition). In 776A3XQTTM/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
Properties 41SAZXA28R
| URI | m2://inv/41SAZXA28R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordell curve#6FI4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gromov–Hausdorff convergence 41SDDE6K0G
| URI | m2://inv/41SDDE6K0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov–Hausdorff convergence, Gromov–Hausdorff convergence (definition). Also Wikidata Q929777
History
- 2026-11-02: add by m2/dev
logical theorem 41SE5MBMGD
| URI | m2://inv/41SE5MBMGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1QCX, logical theorem (definition)
History
- 2026-11-02: add by m2/dev
41SJC87R36 41SJC87R36
| URI | m2://inv/41SJC87R36 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#proof-2 (proof). In RZP28ERRZV, proof, section 34.3
History
- 2026-11-01: add by m2/v0.6.13
Lévy–Khintchine formula 41SJJNWE49
| URI | m2://inv/41SJJNWE49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite divisibility (probability)#MULO, Lévy–Khintchine formula (statement)
History
- 2026-11-02: add by m2/dev
direction cosine 41SWDWBG52
| URI | m2://inv/41SWDWBG52 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2518906, direction cosine (concept). Also MathWorld DirectionCosine
- wikipedia: Wikipedia Direction cosine, Direction cosine (definition). Also Wikidata Q2518906
History
- 2026-10-26: add by m2/dev
41T2NRWV6X 41T2NRWV6X
| URI | m2://inv/41T2NRWV6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04503#ID1J (statement). In GWQP1XPM8E/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
41TEAXYF0Q 41TEAXYF0Q
| URI | m2://inv/41TEAXYF0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#PP1B (statement). In X6E7P2ACAS/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3
Floor 41TKFXZK8J
| URI | m2://inv/41TKFXZK8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27908#S14D, Floor (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dual basis in a field extension 41TNM2V051
| URI | m2://inv/41TNM2V051 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#9G89, Dual basis in a field extension (definition)
History
- 2026-11-02: add by m2/dev
History of computing 41TQNNBG3Z
| URI | m2://inv/41TQNNBG3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of computing, History of computing (definition). Also Wikidata Q2735691
History
- 2026-11-02: add by m2/dev
exact factorization 41TQVVFAAX
| URI | m2://inv/41TQVVFAAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of problems in loop theory and quasigroup theory#1P0L, exact factorization (definition)
History
- 2026-11-02: add by m2/dev
Sharpened Holley line 41TS836Z8V
| URI | m2://inv/41TS836Z8V |
|---|---|
| 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.22301#NW1K, Sharpened Holley line (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rio Rico Northwest 41TSC9W8VG
| URI | m2://inv/41TSC9W8VG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#PFY6, Rio Rico Northwest (unknown)
History
- 2026-11-02: add by m2/dev
41TV322SKV 41TV322SKV
| URI | m2://inv/41TV322SKV |
|---|---|
| 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 2610.17547#LW24 (problem). In XJ59TDP4HA/e1, problem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Properties 41TY8ENF44
| URI | m2://inv/41TY8ENF44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized normal distribution#IMKV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Marina Ratner 41V5B4YXK0
| URI | m2://inv/41V5B4YXK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marina Ratner, Marina Ratner (topic). Also Wikidata Q450297
History
- 2026-11-02: add by m2/dev
41VE449FF7 41VE449FF7
| URI | m2://inv/41VE449FF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#ZGER (statement). In P39MF3ZJC0/e1, proposition A.8
History
- 2026-10-27: add by m2/v0.3.5
Discrete entropy-dissipation inequality 41VE8RXXFM
| URI | m2://inv/41VE8RXXFM |
|---|---|
| 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.11034#XDPZ, Discrete entropy-dissipation inequality (statement). In 2KACPY9MMF/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.3
Weakenings 41VYRH1H45
| URI | m2://inv/41VYRH1H45 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#5WQZ, Weakenings (definition). In CPYWHRTPKC/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Example 41W3W56734
| URI | m2://inv/41W3W56734 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeotopy#9T6M, Example (example)
History
- 2026-11-02: add by m2/dev
Information ratio 41W5G3ET1X
| URI | m2://inv/41W5G3ET1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UADZ, Information ratio (definition)
History
- 2026-11-02: add by m2/dev
41W9XV603D 41W9XV603D
| URI | m2://inv/41W9XV603D |
|---|---|
| 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.35683#Y20V (statement). In A4S9A3X494/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Hanson-Wright inequality 41WDQ3SBW8
| URI | m2://inv/41WDQ3SBW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#B9YT, Hanson-Wright inequality (statement)
History
- 2026-11-02: add by m2/dev
alternativity 41WG3AS6WC
| URI | m2://inv/41WG3AS6WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q438727, alternativity (unknown). Also MathWorld AlternativeAlgebra
- wikipedia: Wikipedia Alternativity, Alternativity (definition). Also Wikidata Q438727
History
- 2026-10-26: add by m2/dev
41WK3GT7B3 41WK3GT7B3
| URI | m2://inv/41WK3GT7B3 |
|---|---|
| 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.04772#M1JI (statement). In WW08CYN4D4/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Definitions 41WMPDVZNF
| URI | m2://inv/41WMPDVZNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action (physics)#2OFL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Extracting the formula 41WMSC7K0A
| URI | m2://inv/41WMSC7K0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas precession#F7N0, Extracting the formula (statement)
History
- 2026-11-02: add by m2/dev
41WPPJ6XTB 41WPPJ6XTB
| URI | m2://inv/41WPPJ6XTB |
|---|---|
| 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.38749#8DYQ (statement). In 3ZPVZE3GZH/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
41WVHX7AM2 41WVHX7AM2
| URI | m2://inv/41WVHX7AM2 |
|---|---|
| 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 2610.00934#8YGC (problem). In SHCQDPCF2J/e1, problem 2.13
History
- 2026-10-29: add by m2/v0.4.12
Bilinear quadrilateral element 41X6X0N59S
| URI | m2://inv/41X6X0N59S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear quadrilateral element, Bilinear quadrilateral element (definition). Also Wikidata Q4907766
History
- 2026-11-02: add by m2/dev
41XACDHWQZ 41XACDHWQZ
| URI | m2://inv/41XACDHWQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#WIC0 (statement). In 8KKYZ4NKT2/e1, lemma 31
History
- 2026-10-27: add by m2/v0.4.2
Asaf Shapira 41XB60B6XE
| URI | m2://inv/41XB60B6XE |
|---|---|
| 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#MPD8, Asaf Shapira (unknown)
History
- 2026-11-02: add by m2/dev
SDE Transfer Theorem 41XCES2558
| URI | m2://inv/41XCES2558 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18739#92DO, SDE Transfer Theorem (statement). In VGJXQRC44C/e1, theorem 13
History
- 2026-10-28: add by m2/v0.4.2
Maxwell's equations 41XDPCC23P
| URI | m2://inv/41XDPCC23P |
|---|---|
| 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 2609.29847#N2JZ, Maxwell's equations (example)
History
- 2026-11-01: add by m2/v0.6.15
Hemicontinuity 41XE2JTR6Z
| URI | m2://inv/41XE2JTR6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity, Hemicontinuity (definition). Also Wikidata Q5711478
History
- 2026-11-02: add by m2/dev
vertex of a cocone 41XF1ZKVFC
| URI | m2://inv/41XF1ZKVFC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/vertex-of-a-cocone, vertex of a cocone (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
Algebraic poset 41XG384X89
| URI | m2://inv/41XG384X89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#2AT0, Algebraic poset (definition)
History
- 2026-11-02: add by m2/dev
Quintic formula 41XKZXYQMG
| URI | m2://inv/41XKZXYQMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbulb#GK52, Quintic formula (statement)
History
- 2026-11-02: add by m2/dev
WASP 41XQ2T3M8X
| URI | m2://inv/41XQ2T3M8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WASP (cricket calculation tool), WASP (definition). Also Wikidata Q17083563
History
- 2026-11-02: add by m2/dev
41XR07YB85 41XR07YB85
| URI | m2://inv/41XR07YB85 |
|---|---|
| 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#0C70 (statement). In 8SVVEVGMNE/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Fisher–Tippett–Gnedenko theorem 41XV12ECBZ
| URI | m2://inv/41XV12ECBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E30Q, Fisher–Tippett–Gnedenko theorem (statement)
History
- 2026-11-02: add by m2/dev
41XZXB98C5 41XZXB98C5
| URI | m2://inv/41XZXB98C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12801#XX0P (statement). In HMK2QT55G7/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Dragon king theory 41Y0T532ND
| URI | m2://inv/41Y0T532ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon king theory, Dragon king theory (definition). Also Wikidata Q24963754
History
- 2026-11-02: add by m2/dev
Deduction theorem for LTP 41Y2C31PZ6
| URI | m2://inv/41Y2C31PZ6 |
|---|---|
| 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#241H, Deduction theorem for LTP (statement). In NSYR6W27FP/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Georgios Remoundos 41Y2HC0GB3
| URI | m2://inv/41Y2HC0GB3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georgios Remoundos, Georgios Remoundos (topic). Also Wikidata Q16332852
History
- 2026-11-02: add by m2/dev
The Grothendieck–Lefschetz hyperplane theorem 41YHXGCYQS
| URI | m2://inv/41YHXGCYQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#SKJM, The Grothendieck–Lefschetz hyperplane theorem (statement)
History
- 2026-11-02: add by m2/dev
41YM7QX15V 41YM7QX15V
| URI | m2://inv/41YM7QX15V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09278#HQI9 (statement). In XREKHJHAT7/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Linda Laura Sabbadini 41YP15Q5J4
| URI | m2://inv/41YP15Q5J4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Laura Sabbadini, Linda Laura Sabbadini (topic). Also Wikidata Q23701719
History
- 2026-11-02: add by m2/dev
41YQQR5YR3 41YQQR5YR3
| URI | m2://inv/41YQQR5YR3 |
|---|---|
| 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 2308.05715#KV6X (definition). In FC0SB9JFWH/e1, definition 7.3
History
- 2026-10-27: add by m2/v0.3.5
41YQXWKDYV 41YQXWKDYV
| URI | m2://inv/41YQXWKDYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2504.07573#0040 (statement). In 78X5SKJX8J/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Law of exponents\index{law of exponents} 41Z1PWXXNB
| URI | m2://inv/41Z1PWXXNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-3, Law of exponents\index{law of exponents} (statement). In E59CDZA4DP, prop, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
Gaussian binomial coefficient 41Z2C6EQTG
| URI | m2://inv/41Z2C6EQTG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gaussian binomial coefficient YS09Z1YNEK |
Mentions
- wikidata: Wikidata Q5527834, Gaussian binomial coefficient (concept). Also MathWorld q-BinomialCoefficient
- wikipedia: Wikipedia Gaussian binomial coefficient, Gaussian binomial coefficient (definition). Also Wikidata Q5527834
History
- 2026-10-26: add by m2/dev
Seifert–Weber space 41ZBEN02JN
| URI | m2://inv/41ZBEN02JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seifert–Weber space, Seifert–Weber space (definition). Also Wikidata Q7446658
History
- 2026-11-02: add by m2/dev
Bounded complete poset 41ZBSQGDHJ
| URI | m2://inv/41ZBSQGDHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded complete poset, Bounded complete poset (definition). Also Wikidata Q4949980
History
- 2026-11-02: add by m2/dev
41ZER46DX1 41ZER46DX1
| URI | m2://inv/41ZER46DX1 |
|---|---|
| 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 2212.05398#ZK3B (statement). In WQKQ8438M7/e1, lemma 1.7
History
- 2026-10-27: add by m2/v0.3.5
Pointwise, local \(L^p\), and uniform profile limits 41ZFMDNE3M
| URI | m2://inv/41ZFMDNE3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#WBEU, Pointwise, local \(L^p\), and uniform profile limits (statement). In KP1THB2C09/e1, corollary 4.9
History
- 2026-10-29: add by m2/v0.4.10
41ZKSX3D6P 41ZKSX3D6P
| URI | m2://inv/41ZKSX3D6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20891#2MWX (statement). In WH55XAE8E2/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.4.2
\code{not\_powerful\_of\_witness 41ZT2RQ1M9
| URI | m2://inv/41ZT2RQ1M9 |
|---|---|
| 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.25011#49EN, \code{not\_powerful\_of\_witness (statement)
History
- 2026-11-01: add by m2/v0.6.15