Inventory rows MJ
The cards of the rows of the inventory whose ids start with MJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MJ04NM74N5 MJ04NM74N5
| URI | m2://inv/MJ04NM74N5 |
|---|---|
| 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.19852#4L1F (statement). In SPW2D8X2PG/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Differential-operator integral MJ070MVRZW
| URI | m2://inv/MJ070MVRZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19175#OI55, Differential-operator integral (statement). In VR132Q5VFE/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
MJ079EF599 MJ079EF599
| URI | m2://inv/MJ079EF599 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#SCS3 (statement). In KFCJ5CFP3G/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Special case MJ0K6BZMVH
| URI | m2://inv/MJ0K6BZMVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedlander–Iwaniec theorem#21ZY, Special case (statement)
History
- 2026-11-02: add by m2/dev
Completed zeta from the invariant seam MJ0MDZTDDW
| URI | m2://inv/MJ0MDZTDDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#F86U, Completed zeta from the invariant seam (statement). In HF7YNMW39N/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
MJ0RZH6EVC MJ0RZH6EVC
| URI | m2://inv/MJ0RZH6EVC |
|---|---|
| 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.01802#49ZQ (definition). In XGPZ0G9E1Q/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
MJ0WQ6WFTQ MJ0WQ6WFTQ
| URI | m2://inv/MJ0WQ6WFTQ |
|---|---|
| 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.12014#THN8 (statement). In DR7BK4CQ0V/e1, proposition 5.27
History
- 2026-10-28: add by m2/v0.4.3
MJ0XXMWHYJ MJ0XXMWHYJ
| URI | m2://inv/MJ0XXMWHYJ |
|---|---|
| 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 2208.14274#JYJD (statement). In 2FKE7JPQ76/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
MJ1JZVB17J MJ1JZVB17J
| URI | m2://inv/MJ1JZVB17J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#6AKQ (statement). In SCC2N3WNYE/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
MJ1MXGKYHW MJ1MXGKYHW
| URI | m2://inv/MJ1MXGKYHW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-78 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
The overgroup $HS.2$ on 176 points MJ1V0QWDZC
| URI | m2://inv/MJ1V0QWDZC |
|---|---|
| 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.15340#D957, The overgroup $HS.2$ on 176 points (statement). In 9NVKKW8HDH/e1, proposition 2.88
History
- 2026-10-28: add by m2/v0.4.2
MJ1YZDCYPP MJ1YZDCYPP
| URI | m2://inv/MJ1YZDCYPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#W1W0 (statement). In GK1V5GEHTK/e1, corollary 5.6
History
- 2026-10-31: add by m2/v0.5.6
squared triangular number MJ271HFN68
| URI | m2://inv/MJ271HFN68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2197859, Nicomachus's theorem (statement). Also Wikidata Q2197859
- thousand_plus: thousand_plus Q2197859, Nicomachus's theorem (statement). Also Wikidata Q2197859, Wikipedia Nicomachus's theorem
- wikidata: Wikidata Q2197859, squared triangular number (object). Also MathWorld NicomachussTheorem, OEIS A000537
- wikipedia: Wikipedia Squared triangular number, Squared triangular number (definition). Also Wikidata Q2197859
History
- 2026-10-26: add by m2/dev
Derivation directly from the equivalence principle MJ2GC6534Y
| URI | m2://inv/MJ2GC6534Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesics in general relativity#I7CJ, Derivation directly from the equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
MJ2HXTXEN7 MJ2HXTXEN7
| URI | m2://inv/MJ2HXTXEN7 |
|---|---|
| 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.14652#DW1F (statement). In A50CHJ6Q4V/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
MJ2TNDCS6J MJ2TNDCS6J
| URI | m2://inv/MJ2TNDCS6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37580#VF3U (statement). In WJQQBTDARA/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
MJ2Y6VE8GQ MJ2Y6VE8GQ
| URI | m2://inv/MJ2Y6VE8GQ |
|---|---|
| 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.30480#UBLB (statement). In VP7MPRKH0M/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Properties MJ3048JT56
| URI | m2://inv/MJ3048JT56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link (simplicial complex)#XMM8, Properties (statement)
History
- 2026-11-02: add by m2/dev
MJ35SKV4FV MJ35SKV4FV
| URI | m2://inv/MJ35SKV4FV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#SYOS (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Csörgő, Sándor MJ36R4JGWP
| URI | m2://inv/MJ36R4JGWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#CJDN, Csörgő, Sándor (topic)
History
- 2026-11-02: add by m2/dev
starting position MJ3CFA7F54
| URI | m2://inv/MJ3CFA7F54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62092390, starting position (definition). Also ProofWiki Definition:Chess/Starting_Position
History
- 2026-10-26: add by m2/dev
Arnold Walfisz MJ3F06B670
| URI | m2://inv/MJ3F06B670 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZHSX, Arnold Walfisz (topic)
History
- 2026-11-02: add by m2/dev
Theorem (Lawton) MJ3H1D3PKW
| URI | m2://inv/MJ3H1D3PKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler measure#91MQ, Theorem (Lawton) (statement)
History
- 2026-11-02: add by m2/dev
MJ3J90P4NZ MJ3J90P4NZ
| URI | m2://inv/MJ3J90P4NZ |
|---|---|
| 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 2211.14214#KUZY (statement). In SY85Y9E45A/e1, proposition 54
History
- 2026-10-27: add by m2/v0.3.5
MJ3TX4734D MJ3TX4734D
| URI | m2://inv/MJ3TX4734D |
|---|---|
| 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.06310#R823 (statement). In WR5S1V9V8J/e1, corollary 6.6
History
- 2026-10-29: add by m2/v0.4.10
Examples MJ3VCHVQ61
| URI | m2://inv/MJ3VCHVQ61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic discrete choice#189A, Examples (example)
History
- 2026-11-02: add by m2/dev
MJ3X4W8YTV MJ3X4W8YTV
| URI | m2://inv/MJ3X4W8YTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37106#GUJX (statement). In XNK04XFP2C/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
MJ3XBWAK33 MJ3XBWAK33
| URI | m2://inv/MJ3XBWAK33 |
|---|---|
| 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.22311#59PN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Leakage Exponent at the End of the Spectrum MJ3Y8RW8ND
| URI | m2://inv/MJ3Y8RW8ND |
|---|---|
| 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.13222#IVVF, Leakage Exponent at the End of the Spectrum (statement). In Z6WA2R0J50/e1, corollary 2.13
History
- 2026-10-28: add by m2/v0.4.2
Lipschitz stability MJ44Z5KP88
| URI | m2://inv/MJ44Z5KP88 |
|---|---|
| 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.09001#LPZM, Lipschitz stability (statement). In HJC1JJZRSH/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
MJ4CF6H612 MJ4CF6H612
| URI | m2://inv/MJ4CF6H612 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#lem:q-proves-neq (statement). In PKGMM3P5QY, lem, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
MJ4JNG44KX MJ4JNG44KX
| URI | m2://inv/MJ4JNG44KX |
|---|---|
| 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.32599#Q8HH (definition). In E1Y93JNBJA/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Uhlenbeck's strong compactness theorem MJ4QH1RTPA
| URI | m2://inv/MJ4QH1RTPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uhlenbeck's compactness theorem#6LIB, Uhlenbeck's strong compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
true MJ4RJ9WEEM
| URI | m2://inv/MJ4RJ9WEEM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/true, true (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Skewplot MJ4VNS2HFB
| URI | m2://inv/MJ4VNS2HFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#BL5N, Skewplot (definition)
History
- 2026-11-02: add by m2/dev
MJ51MB01RM MJ51MB01RM
| URI | m2://inv/MJ51MB01RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#OE7M (statement)
History
- 2026-11-01: add by m2/v0.6.15
MJ52AFH7N1 MJ52AFH7N1
| URI | m2://inv/MJ52AFH7N1 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#VR2E (conjecture). In JQ4JYAXCMK/e1, conjecture 30
History
- 2026-10-27: add by m2/v0.3.5
Hildegarde Kneeland MJ53N7SSGS
| URI | m2://inv/MJ53N7SSGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2FQV, Hildegarde Kneeland (unknown)
History
- 2026-11-02: add by m2/dev
MJ55BTVMV4 MJ55BTVMV4
| URI | m2://inv/MJ55BTVMV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10559#LH6G (statement). In WEP0PNJW09/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Woodin MJ5BZK2DDK
| URI | m2://inv/MJ5BZK2DDK |
|---|---|
| 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.32338#EI5P, Woodin (definition). In HVY45JQRNK/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Boole's inequality MJ5PA6JYAM
| URI | m2://inv/MJ5PA6JYAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Boole's inequality 0EGSEE9J9R |
Mentions
- wikidata: Wikidata Q517378, Boole's inequality (statement). Also MathWorld BonferroniInequalities
- wikipedia: Wikipedia Boole's inequality, Boole's inequality (statement). Also Wikidata Q517378
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Generalized gamma distribution MJ5SPW5WBX
| URI | m2://inv/MJ5SPW5WBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized gamma distribution, Generalized gamma distribution (definition). Also Wikidata Q5532478
History
- 2026-11-02: add by m2/dev
MJ5SYAMF7N MJ5SYAMF7N
| URI | m2://inv/MJ5SYAMF7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#N6A2 (definition). In V97F4YZ8B0/e1, definition 1.11
History
- 2026-10-28: add by m2/v0.4.2
Examples MJ5TPW75Y8
| URI | m2://inv/MJ5TPW75Y8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Seidel method#WDQY, Examples (example)
History
- 2026-11-02: add by m2/dev
centralizer MJ6214DWKM
| URI | m2://inv/MJ6214DWKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190629, centralizer (unknown). Also MathWorld Centralizer, nLab centralizer
- wikipedia: Wikipedia Centralizer and normalizer, Centralizer and normalizer (definition). Also Wikidata Q190629
History
- 2026-10-26: add by m2/dev
MJ68RY6K3X MJ68RY6K3X
| URI | m2://inv/MJ68RY6K3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16233#7PBK (statement). In RNXMADQ33J/e1, corollary B.1
History
- 2026-10-28: add by m2/v0.4.2
Small contrast MJ69BV15C0
| URI | m2://inv/MJ69BV15C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17026#CPOO, Small contrast (statement). In 76G7J23DNZ/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Criterion MJ6G6B81Z2
| URI | m2://inv/MJ6G6B81Z2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis of mixed data#UUPO, Criterion (statement)
History
- 2026-11-02: add by m2/dev
Ridge regression MJ6NBV4GRA
| URI | m2://inv/MJ6NBV4GRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K70X, Ridge regression (definition)
History
- 2026-11-02: add by m2/dev
State-space representation MJ6RFNYW69
| URI | m2://inv/MJ6RFNYW69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State-space representation, State-space representation (definition). Also Wikidata Q230945
History
- 2026-11-02: add by m2/dev
MJ6T7647HS MJ6T7647HS
| URI | m2://inv/MJ6T7647HS |
|---|---|
| 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 1709.01658#PWQW (statement). In 90A5Q9HRQK/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
MJ6WZ7JSB3 MJ6WZ7JSB3
| URI | m2://inv/MJ6WZ7JSB3 |
|---|---|
| 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.10813#OZR8 (statement). In G8F4P7GDMA/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.3
Lathrop, Mark MJ70EQR8CK
| URI | m2://inv/MJ70EQR8CK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RTQZ, Lathrop, Mark (topic)
History
- 2026-11-02: add by m2/dev
MJ70F8A5T3 MJ70F8A5T3
| URI | m2://inv/MJ70F8A5T3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#ex-1 (example). In PKGMM3P5QY, ex, section 8.12
History
- 2026-11-01: add by m2/v0.6.13
MJ75C3RAKN MJ75C3RAKN
| URI | m2://inv/MJ75C3RAKN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10212#TI9A (definition). In E9ZQM8449P/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Moore's law MJ75PZH42V
| URI | m2://inv/MJ75PZH42V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#0K8E, Moore's law (unknown)
History
- 2026-11-02: add by m2/dev
Definitions MJ75RRP13N
| URI | m2://inv/MJ75RRP13N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley's reciprocity theorem#DZI2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Hadamard Formulae MJ76022ZZD
| URI | m2://inv/MJ76022ZZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#TPF8, Hadamard Formulae (statement)
History
- 2026-11-01: add by m2/v0.6.15
MJ7DX1CG14 MJ7DX1CG14
| URI | m2://inv/MJ7DX1CG14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1010.3284#X95B (statement). In 7D3VBRZGMY/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Neural Computation MJ7KX92WE4
| URI | m2://inv/MJ7KX92WE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural Computation (journal), Neural Computation (definition). Also Wikidata Q15708807
History
- 2026-11-02: add by m2/dev
Implementation MJ7NYESAC2
| URI | m2://inv/MJ7NYESAC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares spectral analysis#9M22, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Star polygon MJ87NFF3XR
| URI | m2://inv/MJ87NFF3XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of self-intersecting polygons#WX9A, Star polygon (definition)
History
- 2026-11-02: add by m2/dev
Marilyn Seastrom MJ8879G1JF
| URI | m2://inv/MJ8879G1JF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#THFO, Marilyn Seastrom (unknown)
History
- 2026-11-02: add by m2/dev
Idealised population MJ89Q3A34V
| URI | m2://inv/MJ89Q3A34V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idealised population, Idealised population (definition). Also Wikidata Q16938832
History
- 2026-11-02: add by m2/dev
Foreign instrumentation signals intelligence MJ8D8SJM6T
| URI | m2://inv/MJ8D8SJM6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foreign instrumentation signals intelligence, Foreign instrumentation signals intelligence (definition). Also Wikidata Q1437104
History
- 2026-11-02: add by m2/dev
MJ8GJXHESZ MJ8GJXHESZ
| URI | m2://inv/MJ8GJXHESZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#SKF9 (statement). In ZJQB9W60T6/e1, theorem 8.6
History
- 2026-10-28: add by m2/v0.4.2
MJ8SMFG4AB MJ8SMFG4AB
| URI | m2://inv/MJ8SMFG4AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#7QGW (statement). In CGA36VE1C5/e1, lemma 3.6.1
History
- 2026-10-27: add by m2/v0.3.6
interpretation MJ8W4VXB72
| URI | m2://inv/MJ8W4VXB72 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17101792, interpretation (concept). Also MathWorld Interpretation, nLab interpretation
- wikidata: Wikidata Q523607, interpretation (concept). Also MathWorld Interpretation
- wikipedia: Wikipedia Interpretation (logic), Interpretation (definition). Also Wikidata Q523607
- wikipedia: Wikipedia Interpretation (model theory), Interpretation (definition). Also Wikidata Q17101792
History
- 2026-10-26: add by m2/dev
MJ908JFMRE MJ908JFMRE
| URI | m2://inv/MJ908JFMRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#S4CN (statement). In F5STMSPR6X/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
Griffiths inequality MJ9B87SGHB
| URI | m2://inv/MJ9B87SGHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ising model#XKWA, Griffiths inequality (statement)
History
- 2026-11-02: add by m2/dev
MJ9JKVDYTJ MJ9JKVDYTJ
| URI | m2://inv/MJ9JKVDYTJ |
|---|---|
| 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 0809.4587#2MAT (statement). In KQ8JPHDKKE/e1, theorem 9.5.3
History
- 2026-10-27: add by m2/v0.3.5
Long tail MJ9P1HY2XG
| URI | m2://inv/MJ9P1HY2XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Long tail, Long tail (definition). Also Wikidata Q534685
History
- 2026-11-02: add by m2/dev
MJ9TJZXVW6 MJ9TJZXVW6
| URI | m2://inv/MJ9TJZXVW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40138#KNL8 (statement). In R60HR493TS/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Existence and uniqueness of the Hermite normal form MJ9Y2YYBQW
| URI | m2://inv/MJ9Y2YYBQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite normal form#GU52, Existence and uniqueness of the Hermite normal form (statement)
History
- 2026-11-02: add by m2/dev
Examples MJA2CBCXME
| URI | m2://inv/MJA2CBCXME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal quadratic form#2IB0, Examples (example)
History
- 2026-11-02: add by m2/dev
Mathew Bullimore MJA2NFJ9QR
| URI | m2://inv/MJA2NFJ9QR |
|---|---|
| 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 Q61054174, Mathew Bullimore (unknown). Also nLab Mathew Bullimore
History
- 2026-10-26: add by m2/dev
James Robert Crosby MJA4K2QXND
| URI | m2://inv/MJA4K2QXND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#DZX4, James Robert Crosby (unknown)
History
- 2026-11-02: add by m2/dev
Rademacher complexity MJA506E29P
| URI | m2://inv/MJA506E29P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher complexity, Rademacher complexity (definition). Also Wikidata Q22305517
History
- 2026-11-02: add by m2/dev
Marsaglia polar method MJA5VHM9XQ
| URI | m2://inv/MJA5VHM9XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZBOD, Marsaglia polar method (definition)
History
- 2026-11-02: add by m2/dev
Generalizations MJA792MMFV
| URI | m2://inv/MJA792MMFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigma-additive set function#S4ZX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MJAB3GV0QA MJAB3GV0QA
| URI | m2://inv/MJAB3GV0QA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Forecast skill MJAG85YAG4
| URI | m2://inv/MJAG85YAG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U1DF, Forecast skill (definition)
History
- 2026-11-02: add by m2/dev
Examples MJAHB1M0NN
| URI | m2://inv/MJAHB1M0NN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge–Kutta methods#XED0, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement MJAQ5V30AV
| URI | m2://inv/MJAQ5V30AV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed angle#7KV4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Commutator (group theory) MJAVSW8GBH
| URI | m2://inv/MJAVSW8GBH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator#0TN8, Commutator (group theory) (unknown)
History
- 2026-11-02: add by m2/dev
MJAW090G1T MJAW090G1T
| URI | m2://inv/MJAW090G1T |
|---|---|
| Kind | definition |
| 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.13833#IFG4 (definition). In VD4JP4HVBX/e1, definition 6.13
History
- 2026-10-28: add by m2/v0.4.2
Definition MJB6BR170J
| URI | m2://inv/MJB6BR170J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute difference#TC0E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Depth--width tradeoff MJBBZ855P1
| URI | m2://inv/MJBBZ855P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#HN1M, Depth--width tradeoff (statement). In R6RF3P6D5A/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
MJBNT63AZG MJBNT63AZG
| URI | m2://inv/MJBNT63AZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#ZZ9V (statement). In 6DJR9DKY5W/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Weak enrichment MJBSK4NTG5
| URI | m2://inv/MJBSK4NTG5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#SOQ9, Weak enrichment (definition). In 80S2NP05HJ/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.0
MJBYJK6GMM MJBYJK6GMM
| URI | m2://inv/MJBYJK6GMM |
|---|---|
| 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 2607.28337#8B73 (definition). In 7ZJFWBTBKM/e1, definition 2.2.3
History
- 2026-10-27: add by m2/v0.3.6
Properties MJCB6KK46C
| URI | m2://inv/MJCB6KK46C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise syndetic set#3WEP, Properties (statement)
History
- 2026-11-02: add by m2/dev
MJCCQFQQQE MJCCQFQQQE
| URI | m2://inv/MJCCQFQQQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#LNPK (statement). In SVJYA0171G/e1, proposition 8.2
History
- 2026-10-30: add by m2/v0.4.12
MJCY0VWSJX MJCY0VWSJX
| URI | m2://inv/MJCY0VWSJX |
|---|---|
| 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.03144#KIR8 (statement). In 9QW88325GS/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
MJD2ARQ5RR MJD2ARQ5RR
| URI | m2://inv/MJD2ARQ5RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#2HZX (statement). In STRVMT83HE/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
MJD4RYBTZ9 MJD4RYBTZ9
| URI | m2://inv/MJD4RYBTZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-1 (example). In RZP28ERRZV, example, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
Michael Aschbacher MJD8R66SPT
| URI | m2://inv/MJD8R66SPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7DO4, Michael Aschbacher (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#99QY, Michael Aschbacher (topic)
History
- 2026-11-02: add by m2/dev
MJD9G1A713 MJD9G1A713
| URI | m2://inv/MJD9G1A713 |
|---|---|
| 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.01928#80JY (statement). In BSJRRHKGX0/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
Examples MJDHM60N6A
| URI | m2://inv/MJDHM60N6A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive language#VKAS, Examples (example)
History
- 2026-11-02: add by m2/dev
normal closure MJDK111PHT
| URI | m2://inv/MJDK111PHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 153099) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#MJM8, normal closure (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Quadratic gain from the cascade MJDMGBKJBW
| URI | m2://inv/MJDMGBKJBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#SBQT, Quadratic gain from the cascade (statement). In KVYG6R7CGJ/e1, lemma 3.19
History
- 2026-10-31: add by m2/v0.5.6
Jim Morrison MJDTVERTSE
| URI | m2://inv/MJDTVERTSE |
|---|---|
| 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#BAQW, Jim Morrison (unknown)
History
- 2026-11-02: add by m2/dev
Full Type II realiser parametrisation MJDYT1MEBA
| URI | m2://inv/MJDYT1MEBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26055#58JP, Full Type II realiser parametrisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Axiom 5 MJE034YTNX
| URI | m2://inv/MJE034YTNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axiomatization of the reals#XPO6, Axiom 5 (statement)
History
- 2026-11-02: add by m2/dev
linear system MJE7AQKD4V
| URI | m2://inv/MJE7AQKD4V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.1.2/linear-system, linear system (concept). In 649HGZKE96, index, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
Poincar\'e--Siegel dichotomy for the canonical real action MJE8EATES5
| URI | m2://inv/MJE8EATES5 |
|---|---|
| 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#V28M, Poincar\'e--Siegel dichotomy for the canonical real action (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed forms at the triple point MJEJT1KBP2
| URI | m2://inv/MJEJT1KBP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#2F9L, Closed forms at the triple point (statement). In P3RTT99C41/e1, lemma 7.12
History
- 2026-10-30: add by m2/v0.4.12
\probname{SteinerTree MJERD2ABR5
| URI | m2://inv/MJERD2ABR5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#HQRZ, \probname{SteinerTree (problem). In 702AF3E4AF/e1, problem 6.1
History
- 2026-10-30: add by m2/v0.4.12
MJEY8XK8SW MJEY8XK8SW
| URI | m2://inv/MJEY8XK8SW |
|---|---|
| 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 2108.06308#O5ZC (statement). In F8BXF46972/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Copy detection pattern MJF39VMYWQ
| URI | m2://inv/MJF39VMYWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copy detection pattern, Copy detection pattern (definition). Also Wikidata Q96375476
History
- 2026-11-02: add by m2/dev
MJF9HH1ZCH MJF9HH1ZCH
| URI | m2://inv/MJF9HH1ZCH |
|---|---|
| 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.20013#SY1Y (statement). In SC5JZQKZH6/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
MJFCRWKSHB MJFCRWKSHB
| URI | m2://inv/MJFCRWKSHB |
|---|---|
| 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.10519#C2AJ (statement). In 83MMH8VF1X/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
MJFG3Y9AV0 MJFG3Y9AV0
| URI | m2://inv/MJFG3Y9AV0 |
|---|---|
| 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.08766#9CYR (statement). In QA4JM9SHPA/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
MJFXTZDVZ2 MJFXTZDVZ2
| URI | m2://inv/MJFXTZDVZ2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
MJG3WEB3PM MJG3WEB3PM
| URI | m2://inv/MJG3WEB3PM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.13811#ZP0P (definition). In HGKYMFSDEM/e1, definition 4
History
- 2026-10-27: add by m2/v0.4.0
Discretization of continuous features MJGA4PD4E2
| URI | m2://inv/MJGA4PD4E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6TI5, Discretization of continuous features (definition)
History
- 2026-11-02: add by m2/dev
Jennifer L. Green MJGB4XHQEY
| URI | m2://inv/MJGB4XHQEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#XZBM, Jennifer L. Green (unknown)
History
- 2026-11-02: add by m2/dev
Christoph Gudermann MJGER8FDYN
| URI | m2://inv/MJGER8FDYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoph Gudermann, Christoph Gudermann (topic). Also Wikidata Q77316
History
- 2026-11-02: add by m2/dev
MJGFT9T8MH MJGFT9T8MH
| URI | m2://inv/MJGFT9T8MH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#B2D7 (definition). In MVSGDTN2PB/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.10
MJGP34ZC4H MJGP34ZC4H
| URI | m2://inv/MJGP34ZC4H |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#SEJD (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
rhombic enneacontahedron MJGRX1MS1C
| URI | m2://inv/MJGRX1MS1C |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4896670, rhombic enneacontahedron (object). Also MathWorld RhombicEnneacontahedron
- wikipedia: Wikipedia Rhombic enneacontahedron, Rhombic enneacontahedron (object). Also Wikidata Q4896670
History
- 2026-10-26: add by m2/dev
MJGZEKKS86 MJGZEKKS86
| URI | m2://inv/MJGZEKKS86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#OV1G (statement). In X9WFC1D9ZS/e1, proposition 30
History
- 2026-10-27: add by m2/v0.4.2
MJH029N8AE MJH029N8AE
| URI | m2://inv/MJH029N8AE |
|---|---|
| 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 2303.00676#0OLE (statement). In 5351H04TJY/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
Jacobian variety MJHBZZ9TST
| URI | m2://inv/MJHBZZ9TST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobian variety ZQ84M9D9TC |
Mentions
- wikidata: Wikidata Q845729, Jacobian variety (unknown). Also EoM Jacobi_variety, nLab Jacobian variety
- wikipedia: Wikipedia Jacobian variety, Jacobian variety (definition). Also Wikidata Q845729
History
- 2026-10-26: add by m2/dev
One-level recovery estimate MJHD1X0ARV
| URI | m2://inv/MJHD1X0ARV |
|---|---|
| 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.04574#SMV3, One-level recovery estimate (statement). In XVPGDDE7WA/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Methods MJHP61WMJD
| URI | m2://inv/MJHP61WMJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive reasoning#172H, Methods (definition)
History
- 2026-11-02: add by m2/dev
446 (number) MJHW196807
| URI | m2://inv/MJHW196807 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#RAQH, 446 (number) (unknown)
History
- 2026-11-02: add by m2/dev
MJHX0574QZ MJHX0574QZ
| URI | m2://inv/MJHX0574QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#5J83 (statement). In M7NEWDTM32/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Homesh MJHZCJQZPY
| URI | m2://inv/MJHZCJQZPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SBBB, Homesh (unknown)
History
- 2026-11-02: add by m2/dev
Interpretability logic MJJ2G5F55B
| URI | m2://inv/MJJ2G5F55B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#IPW8, Interpretability logic (definition)
History
- 2026-11-02: add by m2/dev
A bound in terms of collinear points MJJ50CABSX
| URI | m2://inv/MJJ50CABSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#DGRZ, A bound in terms of collinear points (statement). In A5R31P82BK/e1, corollary 8.6
History
- 2026-10-30: add by m2/v0.4.12
MJJ5QZKRFG MJJ5QZKRFG
| URI | m2://inv/MJJ5QZKRFG |
|---|---|
| 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.33775#CWHH (statement). In VVQ1FMTHXB/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
MJJ68R0AJ3 MJJ68R0AJ3
| URI | m2://inv/MJJ68R0AJ3 |
|---|---|
| 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.33578#UN4G (statement). In 3XTDDKY6YE/e1, proposition 1.3
History
- 2026-10-30: add by m2/v0.4.12
MJJ7AQNY8N MJJ7AQNY8N
| URI | m2://inv/MJJ7AQNY8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36158#H16X (statement). In CVGHFQ6XGW/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
MJJ8YR9CVE MJJ8YR9CVE
| URI | m2://inv/MJJ8YR9CVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19533#FDZ8 (statement). In RG4Z9C6ANS/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
MJJ97710Y3 MJJ97710Y3
| URI | m2://inv/MJJ97710Y3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#proof-4 (proof). In QKM9DD2H56, proof, section B.11
History
- 2026-11-01: add by m2/v0.6.13
Australian Mathematical Society MJJFVPZJ67
| URI | m2://inv/MJJFVPZJ67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Australian Mathematical Society, Australian Mathematical Society (definition). Also Wikidata Q781585
History
- 2026-11-02: add by m2/dev
Applications to Euler's theorem MJJJKD56J5
| URI | m2://inv/MJJJKD56J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of Fermat's little theorem#1M5J, Applications to Euler's theorem (statement)
History
- 2026-11-02: add by m2/dev
MJJS66NCW5 MJJS66NCW5
| URI | m2://inv/MJJS66NCW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#P7BA (statement). In KS30K5JXGB/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
Half graph MJJS7NCKJM
| URI | m2://inv/MJJS7NCKJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half graph, Half graph (definition). Also Wikidata Q48999569
History
- 2026-11-02: add by m2/dev
MJJV6RK2JK MJJV6RK2JK
| URI | m2://inv/MJJV6RK2JK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#F2X5 (statement). In WRE0P7V6Z3/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
MJK4F2A6D6 MJK4F2A6D6
| URI | m2://inv/MJK4F2A6D6 |
|---|---|
| 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 2207.07461#ZHEI (statement). In GAG532VMPF/e1, theorem 8.2.1
History
- 2026-10-27: add by m2/v0.3.5
MJKCRW9JF3 MJKCRW9JF3
| URI | m2://inv/MJKCRW9JF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22247#2316 (statement). In SBNH1MWND8/e1, proposition 10
History
- 2026-10-27: add by m2/v0.4.0
MJKK65JS7E MJKK65JS7E
| URI | m2://inv/MJKK65JS7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#EJ23 (statement). In ZJQB9W60T6/e1, corollary 7.12
History
- 2026-10-28: add by m2/v0.4.2
MJKND56CHF MJKND56CHF
| URI | m2://inv/MJKND56CHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#SQW7 (statement). In JS5FKV1S9T/e1, lemma G.3
History
- 2026-10-27: add by m2/v0.3.5
Comparability graph MJKY7JY28H
| URI | m2://inv/MJKY7JY28H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20881#05X7, Comparability graph (definition)
History
- 2026-11-02: add by m2/v0.6.18
MJM00D8QEC MJM00D8QEC
| URI | m2://inv/MJM00D8QEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37920#GB91 (statement). In GZPF8R6BBF/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
MJM396YKGG MJM396YKGG
| URI | m2://inv/MJM396YKGG |
|---|---|
| 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 2212.11038#KKFV (statement). In M3E3ARMJXK/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
uniform MJMD9CS73H
| URI | m2://inv/MJMD9CS73H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#F3J0, uniform (object)
History
- 2026-11-02: add by m2/dev
MJMGDWD1JP MJMGDWD1JP
| URI | m2://inv/MJMGDWD1JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#O6R3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MJMKC0DKPQ
| URI | m2://inv/MJMKC0DKPQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CA-group#ZSWC, Examples (example)
History
- 2026-11-02: add by m2/dev
Global existence and monotonicity of $U$ MJMZ6XHRDZ
| URI | m2://inv/MJMZ6XHRDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#M29N, Global existence and monotonicity of $U$ (statement). In FJFJ3WR1SS/e1, proposition 5.5
History
- 2026-10-31: add by m2/v0.5.6
Cressy L. Wilbur MJN2KSG6ZJ
| URI | m2://inv/MJN2KSG6ZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EV27, Cressy L. Wilbur (unknown)
History
- 2026-11-02: add by m2/dev
multiplicity MJN4SNF3DK
| URI | m2://inv/MJN4SNF3DK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.2.4/multiplicity, multiplicity (concept). In 649HGZKE96, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Carathéodory function MJN50JBMHP
| URI | m2://inv/MJN50JBMHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory function, Carathéodory function (definition). Also Wikidata Q113364629
History
- 2026-11-02: add by m2/dev
Definition MJN5FDXVR3
| URI | m2://inv/MJN5FDXVR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh distribution#MP0K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Christiaan Huygens MJNYCMPYKY
| URI | m2://inv/MJNYCMPYKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39599, Christiaan Huygens (unknown). Also EoM Huygens,_Christiaan, ProofWiki Mathematician:Christiaan_Huygens
- wikipedia: Wikipedia Christiaan Huygens, Christiaan Huygens (topic). Also Wikidata Q39599
History
- 2026-10-26: add by m2/dev
MJPEZHJ1N9 MJPEZHJ1N9
| URI | m2://inv/MJPEZHJ1N9 |
|---|---|
| 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.21528#CQTM (statement)
History
- 2026-11-02: add by m2/v0.6.18
MJPJY6P4DR MJPJY6P4DR
| URI | m2://inv/MJPJY6P4DR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert–Pollak conjecture#FC77 (problem)
History
- 2026-11-02: add by m2/dev
Corona theorem MJPQG4GGM2
| URI | m2://inv/MJPQG4GGM2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#P75Y, Corona theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalized Darboux theorem, Section 4.7 MJQ110JMA6
| URI | m2://inv/MJQ110JMA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#0KKR, Generalized Darboux theorem, Section 4.7 (statement). In QX77AN49J0/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.4.2
MJQ408Y227 MJQ408Y227
| URI | m2://inv/MJQ408Y227 |
|---|---|
| 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.15472#8VYK (statement). In 5Z3FH46YSY/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
MJQ69QGD89 MJQ69QGD89
| URI | m2://inv/MJQ69QGD89 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#GDTA (definition). In BSWNH3NW1M/e1, definition 9.21
History
- 2026-10-27: add by m2/v0.4.0
MJQ9NWAG5R MJQ9NWAG5R
| URI | m2://inv/MJQ9NWAG5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36068#5NGV (statement). In CKNAB8QY5B/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Boothby-Wang construction MJQF924R59
| URI | m2://inv/MJQF924R59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boothby-Wang construction, Boothby-Wang construction (definition). Also Wikidata Q113929761
History
- 2026-11-02: add by m2/dev
Quantitative analytic continuation MJQPE1VGGV
| URI | m2://inv/MJQPE1VGGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.08980#RAOF, Quantitative analytic continuation (statement). In X407M6WFNR/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
Metaplectic group MJQZS1EHJH
| URI | m2://inv/MJQZS1EHJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#RD9H, Metaplectic group (definition)
History
- 2026-11-02: add by m2/dev
MJR5XFW4G7 MJR5XFW4G7
| URI | m2://inv/MJR5XFW4G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#LCU3 (statement). In WAJ5AZHF62/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Epstein zeta function MJRBPPYNQ5
| URI | m2://inv/MJRBPPYNQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real analytic Eisenstein series#GN16, Epstein zeta function (unknown)
History
- 2026-11-02: add by m2/dev
MJRG1YVJPE MJRG1YVJPE
| URI | m2://inv/MJRG1YVJPE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#NLCJ (definition). In 7ZBQ8WGQVB/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Direct sum of topological vector spaces MJRWZ0T8E0
| URI | m2://inv/MJRWZ0T8E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum#B6KF, Direct sum of topological vector spaces (unknown)
History
- 2026-11-02: add by m2/dev
Legendre's conjecture MJS23Z3S9T
| URI | m2://inv/MJS23Z3S9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's conjecture#EVDH, Legendre's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Johanna N. Y. Franklin MJS63CWK54
| URI | m2://inv/MJS63CWK54 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#N8AD, Johanna N. Y. Franklin (topic)
History
- 2026-11-02: add by m2/dev
Skein MJS7G18BP1
| URI | m2://inv/MJS7G18BP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skein (hash function), Skein (definition). Also Wikidata Q1142190
History
- 2026-11-02: add by m2/dev
Mostowski collapse lemma MJSZW5X2JK
| URI | m2://inv/MJSZW5X2JK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mostowski collapse lemma, Mostowski collapse lemma (statement). Also Wikidata Q138596
History
- 2026-11-02: add by m2/dev
null MJT21481FS
| URI | m2://inv/MJT21481FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#1OT6, null (definition)
History
- 2026-11-02: add by m2/dev
Accessory spectrum as asymptotic branch suppression MJT224GFXV
| URI | m2://inv/MJT224GFXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#UEVB, Accessory spectrum as asymptotic branch suppression (statement)
History
- 2026-11-01: add by m2/v0.6.15
Demographics of Pakistan MJT6DGBH6D
| URI | m2://inv/MJT6DGBH6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Pakistan, Demographics of Pakistan (definition). Also Wikidata Q679314
History
- 2026-11-02: add by m2/dev
MJT8T7PWH0 MJT8T7PWH0
| URI | m2://inv/MJT8T7PWH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#TM26 (statement). In 2BET1RE1F6/e1, lemma 3.18
History
- 2026-10-31: add by m2/v0.5.6
Definition and properties MJTB4347ZC
| URI | m2://inv/MJTB4347ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floor and ceiling functions#57EZ, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Nicolaas Govert de Bruijn MJTBTKYV3Z
| URI | m2://inv/MJTBTKYV3Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1078285, Nicolaas Govert de Bruijn (unknown). Also nLab Nicolaas de Bruijn
- wikipedia: Wikipedia Nicolaas Govert de Bruijn, Nicolaas Govert de Bruijn (topic). Also Wikidata Q1078285
History
- 2026-10-26: add by m2/dev
MJTFTTBHTP MJTFTTBHTP
| URI | m2://inv/MJTFTTBHTP |
|---|---|
| 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.33015#CA4T (statement). In W6Y6NPK648/e1, corollary 5.19
History
- 2026-10-27: add by m2/v0.3.5
MJTV739YZN MJTV739YZN
| URI | m2://inv/MJTV739YZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18503#KI6O (statement). In RW315W172S/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Carl Neumann MJTXVJ7Z5K
| URI | m2://inv/MJTXVJ7Z5K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WTJW, Carl Neumann (topic)
History
- 2026-11-02: add by m2/dev
MJV3N04BAS MJV3N04BAS
| URI | m2://inv/MJV3N04BAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#U716 (statement). In 29D4TTE3J2/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.2
George Mostow MJV7EA5YW0
| URI | m2://inv/MJV7EA5YW0 |
|---|---|
| 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 Q1507954, George Mostow (unknown). Also nLab George Mostow
History
- 2026-10-26: add by m2/dev
cl MJV8EQ863Q
| URI | m2://inv/MJV8EQ863Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5K7U, cl (definition)
History
- 2026-11-02: add by m2/dev
Jiangong You MJV8HA49PV
| URI | m2://inv/MJV8HA49PV |
|---|---|
| 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#TFIY, Jiangong You (unknown)
History
- 2026-11-02: add by m2/dev
Barbara Kaltenbacher MJV8YZ9J22
| URI | m2://inv/MJV8YZ9J22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Kaltenbacher, Barbara Kaltenbacher (topic). Also Wikidata Q82455847
History
- 2026-11-02: add by m2/dev
Rational roots at strength six MJV92N7JJ7
| URI | m2://inv/MJV92N7JJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#NDUE, Rational roots at strength six (statement). In Z7M2JSF6HA/e1, lemma 6.7
History
- 2026-10-31: add by m2/v0.5.6
Discrete Chebyshev transform MJVAX64J25
| URI | m2://inv/MJVAX64J25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#SO20, Discrete Chebyshev transform (definition)
History
- 2026-11-02: add by m2/dev
MJVB5YMZFN MJVB5YMZFN
| URI | m2://inv/MJVB5YMZFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#IL0F (statement). In 8QVWZ23N42/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
MJVC52TQ7W MJVC52TQ7W
| URI | m2://inv/MJVC52TQ7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39745#A7ZH (statement). In V276PQS61M/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
MJVKDQ5WF6 MJVKDQ5WF6
| URI | m2://inv/MJVKDQ5WF6 |
|---|---|
| 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.09300#9CJ1 (statement). In JP589KS01S/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Inverse-Wishart distribution MJVM743G82
| URI | m2://inv/MJVM743G82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N73E, Inverse-Wishart distribution (definition)
History
- 2026-11-02: add by m2/dev
inner product space $l^2$ MJVNNNSJ1J
| URI | m2://inv/MJVNNNSJ1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > inner product space $l^2$, inner product space $l^2$ (unknown). Also Mathlib lp.instInnerProductSpace
History
- 2026-10-26: add by m2/dev
Asymptotic efficiency (Bayes) MJVPV9NFW5
| URI | m2://inv/MJVPV9NFW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes estimator#DSZ0, Asymptotic efficiency (Bayes) (unknown)
History
- 2026-11-02: add by m2/dev
Optimal average score with a finite first moment MJVZP2STVW
| URI | m2://inv/MJVZP2STVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#SFUV, Optimal average score with a finite first moment (statement). In 9YAE8FNQST/e1, theorem 23.12
History
- 2026-10-30: add by m2/v0.4.12
2-bridge knot MJWA5NDPWT
| URI | m2://inv/MJWA5NDPWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#7N7L, 2-bridge knot (definition)
History
- 2026-11-02: add by m2/dev
MJWEC5YVXE MJWEC5YVXE
| URI | m2://inv/MJWEC5YVXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#IM1L (statement). In ZQ2YZ4P6P5/e1, lemma 4.7
History
- 2026-10-31: add by m2/v0.5.6
MJWF90W80A MJWF90W80A
| URI | m2://inv/MJWF90W80A |
|---|---|
| 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 2609.22825#8B2B (statement)
History
- 2026-11-02: add by m2/v0.6.17
List of works by Averroes MJWHADAMGH
| URI | m2://inv/MJWHADAMGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes, List of works by Averroes (topic). Also Wikidata Q6645591
History
- 2026-11-02: add by m2/dev
Width of a hypergraph MJWHH5XQBB
| URI | m2://inv/MJWHH5XQBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Width of a hypergraph, Width of a hypergraph (definition). Also Wikidata Q104845921
History
- 2026-11-02: add by m2/dev
Generalized discrete Fourier transform MJWSZZZM5R
| URI | m2://inv/MJWSZZZM5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform#HEGW, Generalized discrete Fourier transform (unknown)
History
- 2026-11-02: add by m2/dev
Complexity of the residual stopping rule MJWYRGTWT7
| URI | m2://inv/MJWYRGTWT7 |
|---|---|
| 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.39736#K29K, Complexity of the residual stopping rule (statement). In BB1XJ47PVW/e1, lemma 20
History
- 2026-10-30: add by m2/v0.4.12
MJX6KSK7FR MJX6KSK7FR
| URI | m2://inv/MJX6KSK7FR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#5I1V (statement). In T8BQ6HHZYT/e1, proposition 6.28
History
- 2026-10-27: add by m2/v0.3.5
Small-time asymptotic MJX941M6G8
| URI | m2://inv/MJX941M6G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39409#MX4D, Small-time asymptotic (statement). In CQ0Z7QA0A5/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
reduction MJX9D5T7SK
| URI | m2://inv/MJX9D5T7SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 37K10 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7306360, reduction (topic)
- wikipedia: Wikipedia Reduction (computability theory), Reduction (definition). Also Wikidata Q7306360
History
- 2026-10-26: add by m2/dev
bisection MJXB3KTVDW
| URI | m2://inv/MJXB3KTVDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bisection method 7VMYC7MB3Q |
Mentions
- wikidata: Wikidata Q3128632, bisection (concept). Also MathWorld Bisection
- wikidata: Wikidata Q866300, bisection method (unknown). Also MathWorld Bisection
- wikipedia: Wikipedia Bisection, Bisection (definition). Also Wikidata Q3128632
- wikipedia: Wikipedia Bisection method, Bisection method (definition). Also Wikidata Q866300
History
- 2026-10-26: add by m2/dev
MJXG9WYDMS MJXG9WYDMS
| URI | m2://inv/MJXG9WYDMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#YRK3 (statement). In X6E7P2ACAS/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
MJXJY1D0KS MJXJY1D0KS
| URI | m2://inv/MJXJY1D0KS |
|---|---|
| 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.28251#YFTI (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of integrals of Gaussian functions MJXSQR9C52
| URI | m2://inv/MJXSQR9C52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of Gaussian functions, List of integrals of Gaussian functions (topic). Also Wikidata Q635136
History
- 2026-11-02: add by m2/dev
Formulation MJXWWKBNPA
| URI | m2://inv/MJXWWKBNPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin's conjecture on primitive roots#3W8D, Formulation (definition)
History
- 2026-11-02: add by m2/dev
MJXYN96EE2 MJXYN96EE2
| URI | m2://inv/MJXYN96EE2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 24.4
History
- 2026-11-01: add by m2/v0.6.13
linear covariance MJXZKHTQZ8
| URI | m2://inv/MJXZKHTQZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#DX26, linear covariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
MJY1A8Y616 MJY1A8Y616
| URI | m2://inv/MJY1A8Y616 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#JR85 (statement). In BJGS6ZCQ12/e1, theorem 8.10
History
- 2026-10-27: add by m2/v0.3.6
Schur complement method MJY3BVFG22
| URI | m2://inv/MJY3BVFG22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur complement method, Schur complement method (definition). Also Wikidata Q17103137
History
- 2026-11-02: add by m2/dev
Application MJYGR8W6GZ
| URI | m2://inv/MJYGR8W6GZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reye configuration#CFQM, Application (example)
History
- 2026-11-02: add by m2/dev
Yakov Blumkin MJYJTTKWX9
| URI | m2://inv/MJYJTTKWX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#3OU2, Yakov Blumkin (unknown)
History
- 2026-11-02: add by m2/dev
MJYM0FYRYK MJYM0FYRYK
| URI | m2://inv/MJYM0FYRYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
MJYS2VXH7P MJYS2VXH7P
| URI | m2://inv/MJYS2VXH7P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#proof-2 (proof). In RZP28ERRZV, proof, section 14.3
History
- 2026-11-01: add by m2/v0.6.13
MJZ1M79K72 MJZ1M79K72
| URI | m2://inv/MJZ1M79K72 |
|---|---|
| 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.02481#ZX79 (statement). In 5HACFNFY0P/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.12
Chain rule MJZ2NGMYD8
| URI | m2://inv/MJZ2NGMYD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#prop-5, Chain rule (statement). In E59CDZA4DP, prop, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
MJZG8WZ043 MJZG8WZ043
| URI | m2://inv/MJZG8WZ043 |
|---|---|
| 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.10840#Z6VW (statement). In P0HKF5DY7M/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
MJZSJ46RRF MJZSJ46RRF
| URI | m2://inv/MJZSJ46RRF |
|---|---|
| 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.20368#13TV (statement)
History
- 2026-11-02: add by m2/v0.6.18