Inventory rows 2W
The cards of the rows of the inventory whose ids start with 2W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
2W00T3Q83B 2W00T3Q83B
| URI | m2://inv/2W00T3Q83B |
|---|---|
| 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 2207.11097#Y5ZS (statement). In 13H5BTAXHF/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Applications 2W02Q5T9ZD
| URI | m2://inv/2W02Q5T9ZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nichols algebra#XXGW, Applications (example)
History
- 2026-11-02: add by m2/dev
2W07ZMTJV8 2W07ZMTJV8
| URI | m2://inv/2W07ZMTJV8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.24355#LE6E (problem). In VV3AJMWWCR/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.6
completion 2W09R7CY09
| URI | m2://inv/2W09R7CY09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Completion of a ring KBN13NPYJQ |
Mentions
- wikidata: Wikidata Q3685258, completion (unknown). Also MathWorld TopologicalCompletion
- wikipedia: Wikipedia Completion of a ring, Completion of a ring (definition). Also Wikidata Q3685258
History
- 2026-10-26: add by m2/dev
Concentrated symbols 2W0FDN3SKW
| URI | m2://inv/2W0FDN3SKW |
|---|---|
| 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.24930#HWOM, Concentrated symbols (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples of inertial degrees 2W0JW3G9YB
| URI | m2://inv/2W0JW3G9YB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#example-2, Examples of inertial degrees (example). In RZP28ERRZV, example, section 18.3
History
- 2026-11-01: add by m2/v0.6.13
2W0K239G9J 2W0K239G9J
| URI | m2://inv/2W0K239G9J |
|---|---|
| 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 2107.00792#9OXQ (statement). In TD16A541ZN/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
Basu's theorem 2W0Z0B7KXT
| URI | m2://inv/2W0Z0B7KXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (statistics)#WBBE, Basu's theorem (statement)
History
- 2026-11-02: add by m2/dev
sphere spectrum 2W0ZPHQD7S
| URI | m2://inv/2W0ZPHQD7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sphere spectrum 14CGGHA85T |
Mentions
- wikidata: Wikidata Q7576683, sphere spectrum (unknown). Also nLab sphere spectrum
- wikipedia: Wikipedia Sphere spectrum, Sphere spectrum (definition). Also Wikidata Q7576683
History
- 2026-10-26: add by m2/dev
Definition 2W107RFX6H
| URI | m2://inv/2W107RFX6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure subgroup#GCF9, Definition (definition)
History
- 2026-11-02: add by m2/dev
projective space 2W1E90JDWK
| URI | m2://inv/2W1E90JDWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Projective space ZT9A6JK8QF |
Mentions
- wikidata: Wikidata Q877775, projective space (unknown). Also EoM Projective_space, LMFDB knowl ag.projective_space, MathWorld ProjectiveSpace, nLab projective space
- wikipedia: Wikipedia Projective space, Projective space (definition). Also Wikidata Q877775
History
- 2026-10-26: add by m2/dev
2W1KSW7J8C 2W1KSW7J8C
| URI | m2://inv/2W1KSW7J8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.13782#DE3T (statement). In 12RSHWCNMX/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Gompertz distribution 2W1MH4SXGJ
| URI | m2://inv/2W1MH4SXGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gompertz distribution, Gompertz distribution (definition). Also Wikidata Q1011784
History
- 2026-11-02: add by m2/dev
2W28RHZ3RZ 2W28RHZ3RZ
| URI | m2://inv/2W28RHZ3RZ |
|---|---|
| Kind | example |
| 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.20273#06RY (example). In AEGHDSD5S7/e1, example 3.6
History
- 2026-10-27: add by m2/v0.4.2
2W2D05EFZ0 2W2D05EFZ0
| URI | m2://inv/2W2D05EFZ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 58.8
History
- 2026-11-01: add by m2/v0.6.13
Shimshon Amitsur 2W2DHHEEKA
| URI | m2://inv/2W2DHHEEKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MP0J, Shimshon Amitsur (topic)
History
- 2026-11-02: add by m2/dev
2W2GVNBVGE 2W2GVNBVGE
| URI | m2://inv/2W2GVNBVGE |
|---|---|
| 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 2510.23812#HPZM (definition). In D8XZBXJPR5/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
2W2SH2MQT9 2W2SH2MQT9
| URI | m2://inv/2W2SH2MQT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#F9RP (statement). In FTEA0TM35J/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
2W2VQ00CDC 2W2VQ00CDC
| URI | m2://inv/2W2VQ00CDC |
|---|---|
| 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.17897#D4C0 (statement). In G116A4SMS4/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
2W38MXV4YM 2W38MXV4YM
| URI | m2://inv/2W38MXV4YM |
|---|---|
| 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.10576#9HQM (statement). In N3ZA5MDZBW/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
2W39941MG4 2W39941MG4
| URI | m2://inv/2W39941MG4 |
|---|---|
| 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.09298#34E0 (statement). In 1SPQ4J3AWY/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Payoffs 2W39K6Z0SJ
| URI | m2://inv/2W39K6Z0SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#ZFBD, Payoffs (definition)
History
- 2026-11-02: add by m2/dev
Formal definitions 2W3BCE0BGX
| URI | m2://inv/2W3BCE0BGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subanalytic set#61A2, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Ecological fallacy 2W3DVKGEWV
| URI | m2://inv/2W3DVKGEWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7AW2, Ecological fallacy (definition)
History
- 2026-11-02: add by m2/dev
2W3QZ4SDRF 2W3QZ4SDRF
| URI | m2://inv/2W3QZ4SDRF |
|---|---|
| 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.03384#3AS2 (statement). In J55JTTKG84/e1, proposition 4.15
History
- 2026-10-29: add by m2/v0.4.12
Properties 2W3RD8F4B8
| URI | m2://inv/2W3RD8F4B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication#I804, Properties (statement)
History
- 2026-11-02: add by m2/dev
2W3S81MFS5 2W3S81MFS5
| URI | m2://inv/2W3S81MFS5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 2W3VCK38TH
| URI | m2://inv/2W3VCK38TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorph (mathematics)#HS18, Properties (statement)
History
- 2026-11-02: add by m2/dev
Survey of Health, Ageing and Retirement in Europe 2W40H528MV
| URI | m2://inv/2W40H528MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey of Health, Ageing and Retirement in Europe, Survey of Health, Ageing and Retirement in Europe (definition). Also Wikidata Q2368722
History
- 2026-11-02: add by m2/dev
Department of Statistics Malaysia 2W42GKY1DA
| URI | m2://inv/2W42GKY1DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Department of Statistics Malaysia, Department of Statistics Malaysia (definition). Also Wikidata Q7354425
History
- 2026-11-02: add by m2/dev
2W4A6TCQV2 2W4A6TCQV2
| URI | m2://inv/2W4A6TCQV2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#4Y5R (definition). In VQA35Q7C00/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Definition 2W4EPKBHNR
| URI | m2://inv/2W4EPKBHNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal embedding#B5L8, Definition (definition)
History
- 2026-11-02: add by m2/dev
homotopy fiber product 2W4ND62YPM
| URI | m2://inv/2W4ND62YPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Y6C8, homotopy fiber product (definition)
History
- 2026-11-02: add by m2/dev
Shadowing Theorem 2W4V4HHNDJ
| URI | m2://inv/2W4V4HHNDJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332771, Shadowing Theorem (concept). Also MathWorld ShadowingTheorem
History
- 2026-10-26: add by m2/dev
Definition 2W51GZNDFZ
| URI | m2://inv/2W51GZNDFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apparent contour#J8P1, Definition (definition)
History
- 2026-11-02: add by m2/dev
2W52SQTZHK 2W52SQTZHK
| URI | m2://inv/2W52SQTZHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.26417#TQXC (statement)
History
- 2026-11-01: add by m2/v0.6.15
2W53EQ6SB5 2W53EQ6SB5
| URI | m2://inv/2W53EQ6SB5 |
|---|---|
| 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 2407.05730#YV6U (statement). In VQ7STN4KDC/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
2W5B3J11EM 2W5B3J11EM
| URI | m2://inv/2W5B3J11EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#CDTO (statement)
History
- 2026-11-01: add by m2/v0.6.15
2W5JZ0ADCC 2W5JZ0ADCC
| URI | m2://inv/2W5JZ0ADCC |
|---|---|
| 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 2609.19908#KTQW (definition)
History
- 2026-11-02: add by m2/v0.6.18
Rosenthal 2W5N3GC69V
| URI | m2://inv/2W5N3GC69V |
|---|---|
| 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 2109.12716#SM3P, Rosenthal (statement). In 6X76XBE3HV/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Rado's theorem 2W5ZA13991
| URI | m2://inv/2W5ZA13991 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado's theorem (Ramsey theory), Rado's theorem (statement). Also Wikidata Q3527146
History
- 2026-11-02: add by m2/dev
A. Cayley 2W61D325VP
| URI | m2://inv/2W61D325VP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#F8JP, A. Cayley (topic)
History
- 2026-11-02: add by m2/dev
Angelo Marchetti 2W648GRDN7
| URI | m2://inv/2W648GRDN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelo Marchetti, Angelo Marchetti (topic). Also Wikidata Q18945002
History
- 2026-11-02: add by m2/dev
Existence theorem for limits 2W6546DYNY
| URI | m2://inv/2W6546DYNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#TSU2, Existence theorem for limits (unknown)
History
- 2026-11-02: add by m2/dev
2W6G33SQ3B 2W6G33SQ3B
| URI | m2://inv/2W6G33SQ3B |
|---|---|
| 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#YYTD (statement). In CY1FE8W1ZW/e1, theorem 0.6
History
- 2026-10-27: add by m2/v0.3.5
the full threshold 2W6VW5S008
| URI | m2://inv/2W6VW5S008 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#E5ZU, the full threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
\bf Generic nonconvex guarantees 2W6Z4RCSAG
| URI | m2://inv/2W6Z4RCSAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#XPPZ, \bf Generic nonconvex guarantees (statement). In S988ZVA1QE/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
eulerian, circuit 2W71C59TDE
| URI | m2://inv/2W71C59TDE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.3/eulerian-circuit, eulerian, circuit (concept). In QKM9DD2H56, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
2W73Z6DMRB 2W73Z6DMRB
| URI | m2://inv/2W73Z6DMRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#X3AO (statement). In 52HWCGK5QJ/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
2W7552FWZ8 2W7552FWZ8
| URI | m2://inv/2W7552FWZ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#5S0X (definition)
History
- 2026-11-02: add by m2/v0.6.17
Adams-Riemann-Roch without denominators 2W77SEMR09
| URI | m2://inv/2W77SEMR09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2211.10178#108P, Adams-Riemann-Roch without denominators (statement). In 8T90H89HNB/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Romberg's method 2W78T2TXY4
| URI | m2://inv/2W78T2TXY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Romberg's method VP40T7MHGM |
Mentions
- wikidata: Wikidata Q1078449, Romberg's method (unknown). Also MathWorld RombergIntegration
- wikipedia: Wikipedia Romberg's method, Romberg's method (definition). Also Wikidata Q1078449
History
- 2026-10-26: add by m2/dev
2W78VZ6XSR 2W78VZ6XSR
| URI | m2://inv/2W78VZ6XSR |
|---|---|
| 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.27518#11AQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Excluded point topology 2W78YYDM5Q
| URI | m2://inv/2W78YYDM5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#03BX, Excluded point topology (definition)
History
- 2026-11-02: add by m2/dev
Etemadi's inequality 2W7J6DGDXY
| URI | m2://inv/2W7J6DGDXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#64L8, Etemadi's inequality (statement)
- wikipedia: Wikipedia List of probability topics#1OBM, Etemadi's inequality (statement)
- wikipedia: Wikipedia List of inequalities#N1MZ, Etemadi's inequality (statement)
History
- 2026-11-02: add by m2/dev
Positive-definiteness certificate 2W7P593SJ5
| URI | m2://inv/2W7P593SJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#0S1J, Positive-definiteness certificate (definition). In 6FY8BVP1F3/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.12
argon 2W7S5DA1WM
| URI | m2://inv/2W7S5DA1WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q696, argon (definition). Also ProofWiki Definition:Argon
History
- 2026-10-26: add by m2/dev
gradient descent 2W86RRW0NX
| URI | m2://inv/2W86RRW0NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1199743, gradient descent (unknown). Also MathWorld MethodofSteepestDescent
- wikipedia: Wikipedia Gradient descent, Gradient descent (definition). Also Wikidata Q1199743
History
- 2026-10-26: add by m2/dev
Statement of the theorem 2W8CSPR34Z
| URI | m2://inv/2W8CSPR34Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux's theorem (analysis)#5KMK, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Contiguity 2W8DTC2Y8G
| URI | m2://inv/2W8DTC2Y8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contiguity (probability theory), Contiguity (definition). Also Wikidata Q5165214
History
- 2026-11-02: add by m2/dev
2W8M37D2TY 2W8M37D2TY
| URI | m2://inv/2W8M37D2TY |
|---|---|
| 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.25656#QAUY (statement)
History
- 2026-11-01: add by m2/v0.6.15
stability under $\bf m$-transform 2W8M8YAXV6
| URI | m2://inv/2W8M8YAXV6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#EZ0I, stability under $\bf m$-transform (definition). In 94RBNQA07A/e1, definition 2.26
History
- 2026-10-27: add by m2/v0.3.5
Properties 2W8TW4K99Q
| URI | m2://inv/2W8TW4K99Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill tetrahedron#JO1S, Properties (statement)
History
- 2026-11-02: add by m2/dev
News Corporation's 2W95WW078X
| URI | m2://inv/2W95WW078X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#B1SJ, News Corporation's (unknown)
History
- 2026-11-02: add by m2/dev
Particular point topology 2W9DSZZ3ZE
| URI | m2://inv/2W9DSZZ3ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#ZQMQ, Particular point topology (definition)
History
- 2026-11-02: add by m2/dev
Segal–Cover score 2W9ENBA8J9
| URI | m2://inv/2W9ENBA8J9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segal–Cover score, Segal–Cover score (definition). Also Wikidata Q7446195
History
- 2026-11-02: add by m2/dev
Zugzwang Lite 2W9EQ10T0P
| URI | m2://inv/2W9EQ10T0P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zugzwang#8GYO, Zugzwang Lite (unknown)
History
- 2026-11-02: add by m2/dev
Cosets and Lagrange's theorem 2W9F2BF4K7
| URI | m2://inv/2W9F2BF4K7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (a person holds the item: the section is about Lagrange's theorem, which has node 3C53TD) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup#9IEG, Cosets and Lagrange's theorem (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
2W9F42CZ5M 2W9F42CZ5M
| URI | m2://inv/2W9F42CZ5M |
|---|---|
| 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 2609.22240#OWS1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Turing degree 2W9JB29DNT
| URI | m2://inv/2W9JB29DNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#3JX0, Turing degree (definition)
- wikipedia: Wikipedia List of things named after Alan Turing#PT52, Turing degree (definition)
History
- 2026-11-02: add by m2/dev
2W9KGCKRDN 2W9KGCKRDN
| URI | m2://inv/2W9KGCKRDN |
|---|---|
| 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.13392#9IR7 (statement). In 2FVND41HVS/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Example 2W9MAE3A16
| URI | m2://inv/2W9MAE3A16 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Fischer theorem#SXUN, Example (example)
History
- 2026-11-02: add by m2/dev
2W9NFYPM4M 2W9NFYPM4M
| URI | m2://inv/2W9NFYPM4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#D6TX (definition). In 4VZV5V0YD6/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
2W9VBJ2QDP 2W9VBJ2QDP
| URI | m2://inv/2W9VBJ2QDP |
|---|---|
| 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#SK4R (statement). In E7W2HDNEKJ/e1, theorem 10.1
History
- 2026-10-30: add by m2/v0.4.12
Three-point certificate 2W9XCFX8RP
| URI | m2://inv/2W9XCFX8RP |
|---|---|
| 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.22077#6XDE, Three-point certificate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 2W9ZWCC529
| URI | m2://inv/2W9ZWCC529 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness measure#1U2X, Examples (example)
History
- 2026-11-02: add by m2/dev
693 (Number) 2WA2Z0BZVZ
| URI | m2://inv/2WA2Z0BZVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#Q61P, 693 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
2WA7259N77 2WA7259N77
| URI | m2://inv/2WA7259N77 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#Y5Q7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
orthogonal, vectors 2WA8CRWP3Z
| URI | m2://inv/2WA8CRWP3Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.2.2/orthogonal-vectors, orthogonal, vectors (concept). In E9HS8K3A52, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 2WANXS1FHF
| URI | m2://inv/2WANXS1FHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schottky group#QKMT, Definition (definition)
History
- 2026-11-02: add by m2/dev
A closure criterion for case (C 2WAZYN4XHK
| URI | m2://inv/2WAZYN4XHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#1285, A closure criterion for case (C (statement). In QPJ6FWG5HD/e1, corollary 2.54
History
- 2026-10-29: add by m2/v0.4.12
Simplex realization with indispensable coordinates 2WB829EM05
| URI | m2://inv/2WB829EM05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#QGKV, Simplex realization with indispensable coordinates (statement)
History
- 2026-11-01: add by m2/v0.6.15
2WB99FFRM1 2WB99FFRM1
| URI | m2://inv/2WB99FFRM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#PG79 (statement). In ETRT1R1CQ8/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
University of South Carolina 2WBD0KTKSF
| URI | m2://inv/2WBD0KTKSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#Y6TX, University of South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
Thorup's algorithm 2WBN70CM6F
| URI | m2://inv/2WBN70CM6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reachability#9RIP, Thorup's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Applications 2WBSJV0KV7
| URI | m2://inv/2WBSJV0KV7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Morse theory#HZGU, Applications (example)
History
- 2026-11-02: add by m2/dev
2WBVFQMNHS 2WBVFQMNHS
| URI | m2://inv/2WBVFQMNHS |
|---|---|
| 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#QXR6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
2WBXKADAT3 2WBXKADAT3
| URI | m2://inv/2WBXKADAT3 |
|---|---|
| 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 2512.08487#85A6 (statement). In 77TVQVYN0Z/e1, proposition 31
History
- 2026-10-27: add by m2/v0.3.6
C: existence of finite orbits 2WC7AD36WV
| URI | m2://inv/2WC7AD36WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#SEN9, C: existence of finite orbits (statement). In 9J7TJYKGYX/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
2WCC0SBA03 2WCC0SBA03
| URI | m2://inv/2WCC0SBA03 |
|---|---|
| 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.25524#TA54 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Notation 2WCC5GYYJ2
| URI | m2://inv/2WCC5GYYJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical conjunction#4VJO, Notation (definition)
History
- 2026-11-02: add by m2/dev
open, relation 2WCKNQ66W8
| URI | m2://inv/2WCKNQ66W8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/open-relation, open, relation (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Results 2WCMH5H5MV
| URI | m2://inv/2WCMH5H5MV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia North East Asian Mathematics Competition#NXOD, Results (statement)
History
- 2026-11-02: add by m2/dev
First law of thermodynamics for open systems 2WCNNRZNW3
| URI | m2://inv/2WCNNRZNW3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First law of thermodynamics#XQIT, First law of thermodynamics for open systems (statement)
History
- 2026-11-02: add by m2/dev
Nikolai Chernov 2WCSCAKC98
| URI | m2://inv/2WCSCAKC98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Chernov, Nikolai Chernov (topic). Also Wikidata Q29960312
History
- 2026-11-02: add by m2/dev
Theorem 2WCY9VZRXB
| URI | m2://inv/2WCY9VZRXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creative and productive sets#9240, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Level coverage 2WD18MVHPC
| URI | m2://inv/2WD18MVHPC |
|---|---|
| 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.14988#WYQB, Level coverage (statement). In B29M4E6KGC/e1, lemma J.9
History
- 2026-10-28: add by m2/v0.4.2
Roberto Peccei 2WD713P1N1
| URI | m2://inv/2WD713P1N1 |
|---|---|
| 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 Q2159576, Roberto Peccei (unknown). Also nLab Roberto Peccei
History
- 2026-10-26: add by m2/dev
2WD9HEYT1K 2WD9HEYT1K
| URI | m2://inv/2WD9HEYT1K |
|---|---|
| Kind | definition |
| 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.33018#X4RK (definition). In 8XVS0QJ2AH/e1, definition 48
History
- 2026-10-31: add by m2/v0.5.6
Log Lane Village 2WD9T67XB1
| URI | m2://inv/2WD9T67XB1 |
|---|---|
| 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#LD6E, Log Lane Village (unknown)
History
- 2026-11-02: add by m2/dev
Topological vector space 2WDE8TGPEV
| URI | m2://inv/2WDE8TGPEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#DV5V, Topological vector space (definition)
History
- 2026-11-02: add by m2/dev
Blaschke–Lebesgue inequality 2WDG0XAVXF
| URI | m2://inv/2WDG0XAVXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#KY58, Blaschke–Lebesgue inequality (statement)
History
- 2026-11-02: add by m2/dev
Base change theorems 2WDQGC7943
| URI | m2://inv/2WDQGC7943 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4866385, Base change theorems (statement). Also Wikidata Q4866385
- mathlib_1000: mathlib_1000 Q4866385X, Proper base change theorem (statement). Also Wikidata Q4866385
- thousand_plus: thousand_plus Q4866385, Base change theorems (statement). Also Wikidata Q4866385, Wikipedia Base change theorems
- thousand_plus: thousand_plus Q4866385X, Proper base change theorem (statement). Also Wikidata Q4866385, Wikipedia Proper base change theorem
- wikipedia: Wikipedia Base change theorems, Base change theorems (statement). Also Wikidata Q4866385
History
- 2026-10-26: add by m2/dev
Eli Turkel 2WDS6P9ARY
| URI | m2://inv/2WDS6P9ARY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AIQS, Eli Turkel (topic)
History
- 2026-11-02: add by m2/dev
Coarse median structure 2WDT99G0Q1
| URI | m2://inv/2WDT99G0Q1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#AQT1, Coarse median structure (definition). In TAPS8P2VYS/e1, definition 1.24
History
- 2026-10-29: add by m2/v0.4.10
Three Rivers Proper 2WDYH7WAEZ
| URI | m2://inv/2WDYH7WAEZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q962, Three Rivers Proper (unknown)
History
- 2026-11-02: add by m2/dev
Class Library for Numbers 2WE8E5BNRZ
| URI | m2://inv/2WE8E5BNRZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#A9R7, Class Library for Numbers (unknown)
History
- 2026-11-02: add by m2/dev
Older adults 2WEEQDDHSW
| URI | m2://inv/2WEEQDDHSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#NFJ0, Older adults (unknown)
History
- 2026-11-02: add by m2/dev
Leibniz's test 2WEKYMWG1N
| URI | m2://inv/2WEKYMWG1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#8P06, Leibniz's test (definition)
History
- 2026-11-02: add by m2/dev
2WEQBCKZBF 2WEQBCKZBF
| URI | m2://inv/2WEQBCKZBF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#SPY4 (definition). In XYYEJN00D8/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Kunita–Watanabe inequality 2WERTT6NZX
| URI | m2://inv/2WERTT6NZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#RKHB, Kunita–Watanabe inequality (statement)
History
- 2026-11-02: add by m2/dev
Primorial 2WET9CZJW2
| URI | m2://inv/2WET9CZJW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#MLVP, Primorial (definition)
History
- 2026-11-02: add by m2/dev
Peter McMullen 2WF2P854B7
| URI | m2://inv/2WF2P854B7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KS6O, Peter McMullen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YPET, Peter McMullen (topic)
History
- 2026-11-02: add by m2/dev
2WF3DGA27H 2WF3DGA27H
| URI | m2://inv/2WF3DGA27H |
|---|---|
| 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 2403.01959#GLFQ (statement). In 5YMNGJRC6Y/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
2WF4B08MNS 2WF4B08MNS
| URI | m2://inv/2WF4B08MNS |
|---|---|
| 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 1008.2055#P5W2 (statement). In 76JR4WFT4B/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
2WFGQZKGAS 2WFGQZKGAS
| URI | m2://inv/2WFGQZKGAS |
|---|---|
| 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.27483#AYTD (statement)
History
- 2026-11-01: add by m2/v0.6.15
2WFNFFPJG0 2WFNFFPJG0
| URI | m2://inv/2WFNFFPJG0 |
|---|---|
| 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.16941#ONWG (statement). In T96MPYB0KT/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
BnF, Mélanges de Colbert 60 2WFPRRZZMW
| URI | m2://inv/2WFPRRZZMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BnF, Mélanges de Colbert 60, BnF, Mélanges de Colbert 60 (definition). Also Wikidata Q125768381
History
- 2026-11-02: add by m2/dev
Free product 2WG1MZPP83
| URI | m2://inv/2WG1MZPP83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FW8K, Free product (definition)
History
- 2026-11-02: add by m2/dev
D. J. Finney 2WG2N4FVDV
| URI | m2://inv/2WG2N4FVDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D. J. Finney, D. J. Finney (topic). Also Wikidata Q5203644
History
- 2026-11-02: add by m2/dev
straw man 2WGCFTQ8CC
| URI | m2://inv/2WGCFTQ8CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AJ77, straw man (definition)
History
- 2026-11-02: add by m2/dev
Hajnal–Szemerédi theorem 2WGTM8VSJZ
| URI | m2://inv/2WGTM8VSJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DT84, Hajnal–Szemerédi theorem (definition)
History
- 2026-11-02: add by m2/dev
Doubling formulas 2WGVHJ4HQ7
| URI | m2://inv/2WGVHJ4HQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves#MJKA, Doubling formulas (statement)
History
- 2026-11-02: add by m2/dev
2WGWEJ081B 2WGWEJ081B
| URI | m2://inv/2WGWEJ081B |
|---|---|
| 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 2403.02207#QZH6 (statement). In 1T3ZYPQZF0/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.6
Joseph Kruskal 2WH6JNENN1
| URI | m2://inv/2WH6JNENN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N2XA, Joseph Kruskal (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I2F6, Joseph Kruskal (unknown)
History
- 2026-11-02: add by m2/dev
2WHHW824SG 2WHHW824SG
| URI | m2://inv/2WHHW824SG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#C7W8 (statement). In 5GDDS20Q3D/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
950 (number) 2WHM4590WH
| URI | m2://inv/2WHM4590WH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#21L9, 950 (number) (unknown)
History
- 2026-11-02: add by m2/dev
2WHNRYC1TB 2WHNRYC1TB
| URI | m2://inv/2WHNRYC1TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#C5TU (statement). In PWXT7J9JX3/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Dominated convergence theorem 2WHNYYW12F
| URI | m2://inv/2WHNYYW12F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner integral#ZBLP, Dominated convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
The block filter 2WHP02P6SZ
| URI | m2://inv/2WHP02P6SZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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 2609.20683#9CXS, The block filter (statement)
History
- 2026-11-02: add by m2/v0.6.18
2WHQQ46V7Y 2WHQQ46V7Y
| URI | m2://inv/2WHQQ46V7Y |
|---|---|
| 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.18335#94AL (statement). In XKN1C8Y9SD/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Derivation of Kirchhoff's diffraction formula 2WJ0X59J79
| URI | m2://inv/2WJ0X59J79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's diffraction formula#XIP5, Derivation of Kirchhoff's diffraction formula (statement)
History
- 2026-11-02: add by m2/dev
G. Yu 2WJ73JJTMM
| URI | m2://inv/2WJ73JJTMM |
|---|---|
| Kind | definition |
| 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#OLTB, G. Yu (definition). In Q4RZTN2EX6/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Smooth infinitesimal analysis 2WJ7ZGPBZE
| URI | m2://inv/2WJ7ZGPBZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth infinitesimal analysis, Smooth infinitesimal analysis (definition). Also Wikidata Q4139289
History
- 2026-11-02: add by m2/dev
Uniform negative blocks 2WJ84AZWTH
| URI | m2://inv/2WJ84AZWTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#L4D6, Uniform negative blocks (statement). In YCRZC9SDCE/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Alan E. Gelfand 2WJ8PAM8EF
| URI | m2://inv/2WJ8PAM8EF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5NNF, Alan E. Gelfand (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3STF, Alan E. Gelfand (topic)
History
- 2026-11-02: add by m2/dev
Examples 2WJPS252AG
| URI | m2://inv/2WJPS252AG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian wavelet#4NKI, Examples (example)
History
- 2026-11-02: add by m2/dev
Peter of Spain 2WK3E0RFHQ
| URI | m2://inv/2WK3E0RFHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter of Spain, Peter of Spain (topic). Also Wikidata Q320546
History
- 2026-11-02: add by m2/dev
Akhiezer's theorem 2WK4WMZEJP
| URI | m2://inv/2WK4WMZEJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W94R, Akhiezer's theorem (statement)
History
- 2026-11-02: add by m2/dev
square pyramid 2WK5PM16J6
| URI | m2://inv/2WK5PM16J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1075704, square pyramid (object). Also MathWorld SquarePyramid
- wikipedia: Wikipedia Square pyramid, Square pyramid (definition). Also Wikidata Q1075704
History
- 2026-10-26: add by m2/dev
Pragmatic pedagogy 2WK6SWNYB5
| URI | m2://inv/2WK6SWNYB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatism#3H4O, Pragmatic pedagogy (unknown)
History
- 2026-11-02: add by m2/dev
2WKE0EYWG3 2WKE0EYWG3
| URI | m2://inv/2WKE0EYWG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22180#CF9T (statement). In VXQXVZ7SE7/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
Subbundle 2WKEA27RZG
| URI | m2://inv/2WKEA27RZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subbundle, Subbundle (definition). Also Wikidata Q7630879
History
- 2026-11-02: add by m2/dev
convolution 2WKF44JHPV
| URI | m2://inv/2WKF44JHPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#N83B, convolution (definition)
History
- 2026-11-02: add by m2/dev
Nitsa Movshovitz-Hadar 2WKF6ZGGN3
| URI | m2://inv/2WKF6ZGGN3 |
|---|---|
| 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#EX59, Nitsa Movshovitz-Hadar (unknown)
History
- 2026-11-02: add by m2/dev
Estermann, 1928; Dahlquist, 1952 2WKRCD77SM
| URI | m2://inv/2WKRCD77SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#6CXO, Estermann, 1928; Dahlquist, 1952 (statement). In R9BC934K3E/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 2WKV2V6M6K
| URI | m2://inv/2WKV2V6M6K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive function#3NJJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Ingebrigt Johansson 2WKW7DM45B
| URI | m2://inv/2WKW7DM45B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingebrigt Johansson, Ingebrigt Johansson (topic). Also Wikidata Q3150927
History
- 2026-11-02: add by m2/dev
\bf Maximal modularity at distance at most $1/k$ 2WKYS0071Z
| URI | m2://inv/2WKYS0071Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2605.10911#C4IV, \bf Maximal modularity at distance at most $1/k$ (statement). In Y23VR7N90M/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Transcendental analytic 2WM9BA98MB
| URI | m2://inv/2WM9BA98MB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critique of Pure Reason#OLU0, Transcendental analytic (unknown)
History
- 2026-11-02: add by m2/dev
2WMETX8CW2 2WMETX8CW2
| URI | m2://inv/2WMETX8CW2 |
|---|---|
| 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.22040#FML1 (statement). In 2QP93JHYNB/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.4.2
Applications 2WMQTMDJWJ
| URI | m2://inv/2WMQTMDJWJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excision theorem#KXY1, Applications (example)
History
- 2026-11-02: add by m2/dev
2WMX781DXT 2WMX781DXT
| URI | m2://inv/2WMX781DXT |
|---|---|
| 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.12873#2CSA (statement). In 9MMD2N7DQ1/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
L-curve 2WN41HVFEW
| URI | m2://inv/2WN41HVFEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-curve, L-curve (definition). Also Wikidata Q136463112
History
- 2026-11-02: add by m2/dev
2WN4ZNHATV 2WN4ZNHATV
| URI | m2://inv/2WN4ZNHATV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#4F28 (statement). In SNWC76WKWT/e1, lemma F.3
History
- 2026-10-31: add by m2/v0.5.6
Theorem 2WN78Y75TR
| URI | m2://inv/2WN78Y75TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz integral rule#04N9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
German tank problem 2WN7CS2C7Z
| URI | m2://inv/2WN7CS2C7Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AI7T, German tank problem (problem)
History
- 2026-11-02: add by m2/dev
The law of a plot 2WN8ET7J3H
| URI | m2://inv/2WN8ET7J3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.26270#E8EV, The law of a plot (definition)
History
- 2026-11-01: add by m2/v0.6.15
2WNB2A76PV 2WNB2A76PV
| URI | m2://inv/2WNB2A76PV |
|---|---|
| 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.14838#16C9 (statement). In J7ZX3WWRQP/e1, lemma 2.18
History
- 2026-10-28: add by m2/v0.4.2
Last iterate 2WNHAGG7A4
| URI | m2://inv/2WNHAGG7A4 |
|---|---|
| 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.01599#D0YB, Last iterate (statement). In K2KYNCWER3/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.12
Kalai's 3d conjecture 2WNMCNWJFB
| URI | m2://inv/2WNMCNWJFB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#XNGI, Kalai's 3d conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
2WNPY88JT3 2WNPY88JT3
| URI | m2://inv/2WNPY88JT3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#NZX5 (definition). In R589MXXHX4/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Symmetric difference 2WNRJR6HY6
| URI | m2://inv/2WNRJR6HY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric difference#Z2XK, Symmetric difference (statement)
History
- 2026-11-02: add by m2/dev
Mean value problem 2WNSBRQFZH
| URI | m2://inv/2WNSBRQFZH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#EO78, Mean value problem (conjecture)
History
- 2026-11-02: add by m2/dev
Concentration inequality 2WNW00V7W2
| URI | m2://inv/2WNW00V7W2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality, Concentration inequality (statement). Also Wikidata Q5158328
History
- 2026-11-02: add by m2/dev
John O'Connor 2WP1XGGBW2
| URI | m2://inv/2WP1XGGBW2 |
|---|---|
| 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 Q14525478, John O'Connor (unknown). Also ProofWiki Mathematician:John_J._O'Connor
History
- 2026-10-26: add by m2/dev
Algorithm 2WP8TMPDPV
| URI | m2://inv/2WP8TMPDPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gomory–Hu tree#GMU5, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Lexell's theorem 2WPCC3G75T
| URI | m2://inv/2WPCC3G75T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2JEY, Lexell's theorem (statement)
History
- 2026-11-02: add by m2/dev
Thomas Harriot 2WPD8FK61R
| URI | m2://inv/2WPD8FK61R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Harriot, Thomas Harriot (topic). Also Wikidata Q315402
History
- 2026-11-02: add by m2/dev
2WPGF1RN1W 2WPGF1RN1W
| URI | m2://inv/2WPGF1RN1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#OFTO (statement). In 8SXY7Y68HV/e1, corollary 6.15
History
- 2026-10-28: add by m2/v0.4.2
2WPM7C3YF3 2WPM7C3YF3
| URI | m2://inv/2WPM7C3YF3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#SWEZ (definition). In V7VCEA0VAA/e1, definition 3.13
History
- 2026-10-29: add by m2/v0.4.10
2WPMSX6Z04 2WPMSX6Z04
| URI | m2://inv/2WPMSX6Z04 |
|---|---|
| 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.04252#804H (statement). In ZF0Z61VQ96/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Lp space 2WQ0EVM4WM
| URI | m2://inv/2WQ0EVM4WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lp space SASP14MA1Z |
Mentions
- wikidata: Wikidata Q305936, Lp space (definition). Also ProofWiki Definition:Lp_Space
- wikipedia: Wikipedia Lp space, Lp space (definition). Also Wikidata Q305936
History
- 2026-10-26: add by m2/dev
Plus and minus signs 2WQ2SGE6DG
| URI | m2://inv/2WQ2SGE6DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plus and minus signs, Plus and minus signs (definition). Also Wikidata Q747083
History
- 2026-11-02: add by m2/dev
The Disk 2WQ389AHDP
| URI | m2://inv/2WQ389AHDP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#OPWC, The Disk (example). In SQZGKRDVBX/e1, example 2.3
History
- 2026-10-31: add by m2/v0.5.6
List of geometers 2WQ3N0K892
| URI | m2://inv/2WQ3N0K892 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers, List of geometers (topic). Also Wikidata Q3235798
History
- 2026-11-02: add by m2/dev
George P. McCabe 2WQ4WD6W1X
| URI | m2://inv/2WQ4WD6W1X |
|---|---|
| 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#4R6U, George P. McCabe (topic)
History
- 2026-11-02: add by m2/dev
Maekawa's theorem 2WQDPRHVRG
| URI | m2://inv/2WQDPRHVRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13365745, Maekawa's theorem (statement). Also MathWorld MaekawasTheorem
- wikipedia: Wikipedia Maekawa's theorem, Maekawa's theorem (statement). Also Wikidata Q13365745
History
- 2026-10-26: add by m2/dev
Projection (order theory) 2WQE8A6FJ9
| URI | m2://inv/2WQE8A6FJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of order theory#TNG8, Projection (order theory) (unknown)
History
- 2026-11-02: add by m2/dev
pointed object 2WQGS3GM5C
| URI | m2://inv/2WQGS3GM5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91431286, pointed object (unknown). Also EoM Pointed_object, nLab pointed object
History
- 2026-10-26: add by m2/dev
Jordan superalgebra 2WQJY67ZDN
| URI | m2://inv/2WQJY67ZDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan algebra#9BKJ, Jordan superalgebra (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry 2WQQ9212JX
| URI | m2://inv/2WQQ9212JX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIC-POVM#DXEP, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Multi-layer SSM gradient second-moment constant 2WQQS3WJFV
| URI | m2://inv/2WQQS3WJFV |
|---|---|
| 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.02659#ULKF, Multi-layer SSM gradient second-moment constant (statement). In EV933413SJ/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.12
Application to the isoperimetric inequality 2WQRZ7B00X
| URI | m2://inv/2WQRZ7B00X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger's inequality for functions#LVQM, Application to the isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
Pattern recognition 2WQS6F54K8
| URI | m2://inv/2WQS6F54K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern recognition, Pattern recognition (definition). Also Wikidata Q378859
History
- 2026-11-02: add by m2/dev
2WQVA4Y8EX 2WQVA4Y8EX
| URI | m2://inv/2WQVA4Y8EX |
|---|---|
| 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.04349#Q5IS (statement). In GWF7VKMY61/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Betensky, Rebecca 2WQX6VVT2R
| URI | m2://inv/2WQX6VVT2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#70TJ, Betensky, Rebecca (topic)
History
- 2026-11-02: add by m2/dev
Probability matching 2WQYMTSJVM
| URI | m2://inv/2WQYMTSJVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#8MKE, Probability matching (definition)
History
- 2026-11-02: add by m2/dev
Dennis DeTurck 2WR1HQPP81
| URI | m2://inv/2WR1HQPP81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dennis DeTurck, Dennis DeTurck (topic). Also Wikidata Q4411209
History
- 2026-11-02: add by m2/dev
2WR4SY3ST6 2WR4SY3ST6
| URI | m2://inv/2WR4SY3ST6 |
|---|---|
| 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.28403#YIGB (statement)
History
- 2026-11-01: add by m2/v0.6.15
order of an element 2WR87G5VKX
| URI | m2://inv/2WR87G5VKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Order of an element 0JPYSD5E0B |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > order of an element, order of an element (unknown). Also Mathlib orderOf
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Schultz, Henry 2WRAP39B2M
| URI | m2://inv/2WRAP39B2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#6QGU, Schultz, Henry (unknown)
History
- 2026-11-02: add by m2/dev
2WRKS9ABAD 2WRKS9ABAD
| URI | m2://inv/2WRKS9ABAD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ex:slice-precategory (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Paul Joseph Cohen 2WRRYFAETM
| URI | m2://inv/2WRRYFAETM |
|---|---|
| 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#4HDM, Paul Joseph Cohen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OMQ8, Paul Joseph Cohen (topic)
History
- 2026-11-02: add by m2/dev
Applications 2WRSB2AXGC
| URI | m2://inv/2WRSB2AXGC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour integration#KJ38, Applications (example)
History
- 2026-11-02: add by m2/dev
Competitive altruism 2WRZF6ED4V
| URI | m2://inv/2WRZF6ED4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive altruism, Competitive altruism (definition). Also Wikidata Q5156349
History
- 2026-11-02: add by m2/dev
2WS07HHERC 2WS07HHERC
| URI | m2://inv/2WS07HHERC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#UM32 (statement). In 1463YCCRP5/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
2WSBZY7RKR 2WSBZY7RKR
| URI | m2://inv/2WSBZY7RKR |
|---|---|
| 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.12983#0L5P (statement). In M6TFZ6E060/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.2
primitive root modulo n 2WSCW76EPT
| URI | m2://inv/2WSCW76EPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Primitive root modulo n 0F33KX9Q6F |
Mentions
- wikidata: Wikidata Q948010, primitive root modulo n (unknown). Also MathWorld PrimitiveRoot
- wikipedia: Wikipedia Primitive root modulo n, Primitive root modulo n (definition). Also Wikidata Q948010
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2WSFQCA328 2WSFQCA328
| URI | m2://inv/2WSFQCA328 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-4 (definition). In RZP28ERRZV, definition, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
2WSJNBQ383 2WSJNBQ383
| URI | m2://inv/2WSJNBQ383 |
|---|---|
| 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 2102.09374#GL6U (statement). In TGAHH1F8K5/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.6
Kleene's Normal Form Theorem 2WSK5YK7WB
| URI | m2://inv/2WSK5YK7WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/normal-form.tex#thm:normal-form, Kleene's Normal Form Theorem (statement). In PKGMM3P5QY, thm, section 3.10
History
- 2026-11-01: add by m2/v0.6.13
Caputo--M\"unch--Salez 2WSNQBN562
| URI | m2://inv/2WSNQBN562 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#VCXB, Caputo--M\"unch--Salez (statement). In NKW6YQ04QW/e1, theorem 9.1
History
- 2026-10-30: add by m2/v0.4.12
Perceptron convergence theorem 2WST1Y635T
| URI | m2://inv/2WST1Y635T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#IO6K, Perceptron convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Five color theorem 2WT1CBRSX2
| URI | m2://inv/2WT1CBRSX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9HE6, Five color theorem (statement)
History
- 2026-11-02: add by m2/dev
Henri Brocard 2WT4D03SM5
| URI | m2://inv/2WT4D03SM5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Brocard, Henri Brocard (topic). Also Wikidata Q572312
History
- 2026-11-02: add by m2/dev
Held–Karp algorithm 2WT4PF9MRM
| URI | m2://inv/2WT4PF9MRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Held–Karp algorithm, Held–Karp algorithm (definition). Also Wikidata Q20203442
History
- 2026-11-02: add by m2/dev
2WTCNV32M8 2WTCNV32M8
| URI | m2://inv/2WTCNV32M8 |
|---|---|
| Kind | definition |
| 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.19208#4STL (definition). In Z4R05936J8/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
2WTPJGBDY0 2WTPJGBDY0
| URI | m2://inv/2WTPJGBDY0 |
|---|---|
| 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.12908#M099 (statement). In TNC658NVMQ/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
2WTRF150CJ 2WTRF150CJ
| URI | m2://inv/2WTRF150CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#MI9M (statement). In 3CQJND929F/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Bag-noninteracting fill set 2WV2CP2TC3
| URI | m2://inv/2WV2CP2TC3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-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.19669#JLD7, Bag-noninteracting fill set (definition). In 1QPAA94Q76/e1, definition 25
History
- 2026-10-28: add by m2/v0.4.2
2WV57ZM7YA 2WV57ZM7YA
| URI | m2://inv/2WV57ZM7YA |
|---|---|
| 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 1808.00180#748N (definition). In XDYCG8DVHE/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Ford-Fulkerson labeling algorithm 2WVBBH0RHW
| URI | m2://inv/2WVBBH0RHW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.4/ford-fulkerson-labeling-algorithm, Ford-Fulkerson labeling algorithm (concept). In QKM9DD2H56, index, section 13.4
History
- 2026-11-01: add by m2/v0.6.13
Autonomous convergence theorem 2WVJP43QYC
| URI | m2://inv/2WVJP43QYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QF4O, Autonomous convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Allan Gray 2WVKBT1S27
| URI | m2://inv/2WVKBT1S27 |
|---|---|
| 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 Q214147, Allan Gray (unknown). Also nLab 000059522260
History
- 2026-10-26: add by m2/dev
2WVS7JM8E3 2WVS7JM8E3
| URI | m2://inv/2WVS7JM8E3 |
|---|---|
| Kind | conjecture |
| 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.26701#CVO8 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
2WVSHP5NZS 2WVSHP5NZS
| URI | m2://inv/2WVSHP5NZS |
|---|---|
| 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 1903.07030#36HS (statement). In 9H45HQE7AZ/e1, proposition 6.12
History
- 2026-10-27: add by m2/v0.3.5
2WVZF6ZK68 2WVZF6ZK68
| URI | m2://inv/2WVZF6ZK68 |
|---|---|
| Kind | statement |
| 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#GY5P (statement). In WWMHZKWZSM/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
ABX test 2WW02QHZWH
| URI | m2://inv/2WW02QHZWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#42CM, ABX test (definition)
History
- 2026-11-02: add by m2/dev
2WW3DJBEVX 2WW3DJBEVX
| URI | m2://inv/2WW3DJBEVX |
|---|---|
| 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.04172#MPTO (statement). In 9Q1D1NMTTS/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Hypsometric equation 2WWF07FJSE
| URI | m2://inv/2WWF07FJSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypsometric equation, Hypsometric equation (definition). Also Wikidata Q1786344
History
- 2026-11-02: add by m2/dev
One unrestricted stage per coordinate 2WWF66YMQ6
| URI | m2://inv/2WWF66YMQ6 |
|---|---|
| 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.25101#RC4M, One unrestricted stage per coordinate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Apophenia 2WWK9DKR4E
| URI | m2://inv/2WWK9DKR4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#4VZB, Apophenia (unknown)
History
- 2026-11-02: add by m2/dev
Divergence along the kernel line 2WWRCHXRZM
| URI | m2://inv/2WWRCHXRZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#D0PQ, Divergence along the kernel line (statement)
History
- 2026-11-01: add by m2/v0.6.15
Axioms 2WXA02P8G3
| URI | m2://inv/2WXA02P8G3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic logic (modal logic)#Z0FQ, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Portable Tor 2WXCCC17H9
| URI | m2://inv/2WXCCC17H9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tor (network)#BITN, Portable Tor (unknown)
History
- 2026-11-02: add by m2/dev
Tatsuo Itoh 2WXCZ0BBPC
| URI | m2://inv/2WXCZ0BBPC |
|---|---|
| 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#L8BM, Tatsuo Itoh (unknown)
History
- 2026-11-02: add by m2/dev
Homotopy induction 2WXH51TZ3F
| URI | m2://inv/2WXH51TZ3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm:htpy-induction, Homotopy induction (statement). In N54F33XE07, cor, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
2WXQ70F1NP 2WXQ70F1NP
| URI | m2://inv/2WXQ70F1NP |
|---|---|
| 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/9602216#YXY8 (statement). In SD43497T8C/e1, fact 1.16
History
- 2026-10-27: add by m2/v0.3.5
Abeltoppen 2WXW1XE59Q
| URI | m2://inv/2WXW1XE59Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#A2QT, Abeltoppen (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Uniform-in-time fourth-moment bounds of U-ULMC 2WY056Y00P
| URI | m2://inv/2WY056Y00P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#KDQ5, \textbf{Uniform-in-time fourth-moment bounds of U-ULMC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Thurston–Bennequin number 2WY42ARHGE
| URI | m2://inv/2WY42ARHGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston–Bennequin number, Thurston–Bennequin number (definition). Also Wikidata Q7799465
History
- 2026-11-02: add by m2/dev
Jacob Bronowski 2WY71XZGCP
| URI | m2://inv/2WY71XZGCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Bronowski, Jacob Bronowski (topic). Also Wikidata Q374117
History
- 2026-11-02: add by m2/dev
2WYAZBM66M 2WYAZBM66M
| URI | m2://inv/2WYAZBM66M |
|---|---|
| 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.26496#3N39 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 2WYC3R25M7
| URI | m2://inv/2WYC3R25M7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic functional calculus#ZLNF, Properties (statement)
History
- 2026-11-02: add by m2/dev
$(H, \beta,\eps)$-Gibbs Sampling Problem 2WYHZY1WPA
| URI | m2://inv/2WYHZY1WPA |
|---|---|
| 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 2609.40345#EREQ, $(H, \beta,\eps)$-Gibbs Sampling Problem (definition). In WK0PT95WW1/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
2WYJ4VPJ9X 2WYJ4VPJ9X
| URI | m2://inv/2WYJ4VPJ9X |
|---|---|
| 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.36334#P2H3 (statement). In YVB70SBGN1/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
2WYM638A22 2WYM638A22
| URI | m2://inv/2WYM638A22 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17267#U7QG (conjecture). In 5VWB4A47R5/e1, conjecture 7.3
History
- 2026-10-28: add by m2/v0.4.2
2WYQ7Q35T7 2WYQ7Q35T7
| URI | m2://inv/2WYQ7Q35T7 |
|---|---|
| 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 0904.2839#1PXS (statement). In 2P34N0GWS1/e1, corollary 5.2.2
History
- 2026-10-27: add by m2/v0.3.5
2WYTNPJ0Z4 2WYTNPJ0Z4
| URI | m2://inv/2WYTNPJ0Z4 |
|---|---|
| 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.10365#OU64 (statement). In PRVQPSBVHK/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
2WZ4Z3DZ8J 2WZ4Z3DZ8J
| URI | m2://inv/2WZ4Z3DZ8J |
|---|---|
| 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 2607.28337#2JMN (statement). In 7ZJFWBTBKM/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.6
Spherical law of tangents 2WZ7SC6WR2
| URI | m2://inv/2WZ7SC6WR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of tangents#GV0E, Spherical law of tangents (unknown)
History
- 2026-11-02: add by m2/dev
Tail equivalence 2WZCKK78XA
| URI | m2://inv/2WZCKK78XA |
|---|---|
| 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.21765#UJRH, Tail equivalence (definition)
History
- 2026-11-02: add by m2/v0.6.18
Filesystem-level encryption 2WZKXBXEQG
| URI | m2://inv/2WZKXBXEQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filesystem-level encryption, Filesystem-level encryption (definition). Also Wikidata Q5448402
History
- 2026-11-02: add by m2/dev
2WZZBR2K4N 2WZZBR2K4N
| URI | m2://inv/2WZZBR2K4N |
|---|---|
| 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#1J40 (definition). In HX63A1PH1W/e1, definition 3.51
History
- 2026-10-28: add by m2/v0.4.3