Inventory rows HW
The cards of the rows of the inventory whose ids start with HW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HW00YCKNQD HW00YCKNQD
| URI | m2://inv/HW00YCKNQD |
|---|---|
| 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 2501.00810#5EWR (statement). In H0MY884WNF/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.6
Interior Cauchy data HW03S51VYC
| URI | m2://inv/HW03S51VYC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17519#UV1D, Interior Cauchy data (definition). In H2DNTQ5MKV/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Methodos HW07N24W9Q
| URI | m2://inv/HW07N24W9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#LQ7B, Methodos (unknown)
History
- 2026-11-02: add by m2/dev
HW0BBGWZPB HW0BBGWZPB
| URI | m2://inv/HW0BBGWZPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-1 (statement). In E59CDZA4DP, prop, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
HW0EQ9BXK1 HW0EQ9BXK1
| URI | m2://inv/HW0EQ9BXK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#V887 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HW0FQ2F7V5 HW0FQ2F7V5
| URI | m2://inv/HW0FQ2F7V5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#prob:another relation on finite (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
HW0QJSSE7X HW0QJSSE7X
| URI | m2://inv/HW0QJSSE7X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#XQ13 (example). In X1J5HKPS3R/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.10
Signature operator HW0V8ZMDVA
| URI | m2://inv/HW0V8ZMDVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature operator, Signature operator (definition). Also Wikidata Q48995679
History
- 2026-11-02: add by m2/dev
loopless multigraph HW15H3QBQB
| URI | m2://inv/HW15H3QBQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Multigraph 0C62PZXX02 |
Mentions
- wikidata: Wikidata Q2642629, loopless multigraph (definition). Also MathWorld Multigraph, nLab multigraph, ProofWiki Definition:Multigraph
- wikipedia: Wikipedia Multigraph, Multigraph (definition). Also Wikidata Q2642629
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
List of things named after Emil Artin HW19Z5326Y
| URI | m2://inv/HW19Z5326Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#7NIB, List of things named after Emil Artin (topic)
History
- 2026-11-02: add by m2/dev
Picture function HW1FSKZPKE
| URI | m2://inv/HW1FSKZPKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image#54NW, Picture function (unknown)
History
- 2026-11-02: add by m2/dev
Abū Kāmil Shujāʿ ibn Aslam HW1H5K5JBZ
| URI | m2://inv/HW1H5K5JBZ |
|---|---|
| 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 Q335103, Abū Kāmil Shujāʿ ibn Aslam (unknown). Also ProofWiki Mathematician:Abu_Kamil
- wikipedia: Wikipedia Abu Kamil, Abu Kamil (topic). Also Wikidata Q335103
History
- 2026-10-26: add by m2/dev
Kummer variety HW1R6YVP2C
| URI | m2://inv/HW1R6YVP2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer variety, Kummer variety (definition). Also Wikidata Q6443987
History
- 2026-11-02: add by m2/dev
HW1XA9PKH2 HW1XA9PKH2
| URI | m2://inv/HW1XA9PKH2 |
|---|---|
| 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 2610.16768#B25A (definition). In 8FWK676AQX/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.2
HW1ZYF5QCV HW1ZYF5QCV
| URI | m2://inv/HW1ZYF5QCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#6AGM (statement). In 6HJQXZS0A6/e1, proposition 1.28
History
- 2026-10-29: add by m2/v0.4.12
HW218MKZ82 HW218MKZ82
| URI | m2://inv/HW218MKZ82 |
|---|---|
| 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.02276#G0GI (statement). In 3X0RCNDNZA/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Lexicographic order HW22YTJSF8
| URI | m2://inv/HW22YTJSF8 |
|---|---|
| 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 2609.23350#ERYX, Lexicographic order (definition)
History
- 2026-11-02: add by m2/v0.6.17
M/D/1 queue HW23A0SV96
| URI | m2://inv/HW23A0SV96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T2JX, M/D/1 queue (definition)
History
- 2026-11-02: add by m2/dev
Floris Takens HW29Z39MFE
| URI | m2://inv/HW29Z39MFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S94I, Floris Takens (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0LOB, Floris Takens (topic)
History
- 2026-11-02: add by m2/dev
HW2A7WSJF6 HW2A7WSJF6
| URI | m2://inv/HW2A7WSJF6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-62 (exercise). In E59CDZA4DP, exercise, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
HW2AEX59SM HW2AEX59SM
| URI | m2://inv/HW2AEX59SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#JW9H (statement). In X47RYAZF8P/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
inverse trigonometric functions HW2JFKN047
| URI | m2://inv/HW2JFKN047 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Inverse trigonometric functions 02HTDK1FBD |
Mentions
- mathlib_overview: mathlib_overview Analysis > Special functions > inverse trigonometric functions, inverse trigonometric functions (unknown). Also Mathlib Real.arcsin
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > inverse trigonometric functions, inverse trigonometric functions (unknown). Also Mathlib Real.arcsin
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
HW2JKPT1B2 HW2JKPT1B2
| URI | m2://inv/HW2JKPT1B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2507.20176#K37L (statement). In CX4WDA2KAR/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Sobolev size of the saturated bubble HW2JVHMVTA
| URI | m2://inv/HW2JVHMVTA |
|---|---|
| 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.27813#APU0, Sobolev size of the saturated bubble (statement)
History
- 2026-11-01: add by m2/v0.6.15
HW2MYS0Q7E HW2MYS0Q7E
| URI | m2://inv/HW2MYS0Q7E |
|---|---|
| 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.20568#5UBH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Commuting-shift criterion HW2V0SNY9E
| URI | m2://inv/HW2V0SNY9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14044#C6EM, Commuting-shift criterion (statement). In 5452SJRWDT/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Examples HW2X6CRPMR
| URI | m2://inv/HW2X6CRPMR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey theory#3O1E, Examples (example)
History
- 2026-11-02: add by m2/dev
HW2XGNG0YC HW2XGNG0YC
| URI | m2://inv/HW2XGNG0YC |
|---|---|
| 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.28669#DPSQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rupture field HW3AJC39N6
| URI | m2://inv/HW3AJC39N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rupture field, Rupture field (definition). Also Wikidata Q2997763
History
- 2026-11-02: add by m2/dev
Discounted fixed point HW3CGZ39MQ
| URI | m2://inv/HW3CGZ39MQ |
|---|---|
| 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#B77T, Discounted fixed point (statement). In B29M4E6KGC/e1, lemma G.4
History
- 2026-10-28: add by m2/v0.4.2
HW3GA21YQ6 HW3GA21YQ6
| URI | m2://inv/HW3GA21YQ6 |
|---|---|
| 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.00914#L3TI (statement). In TQ9CKHBTWN/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
HW3GTVV0F6 HW3GTVV0F6
| URI | m2://inv/HW3GTVV0F6 |
|---|---|
| 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.20593#YLKO (statement). In 7GMD8J4200/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
Equivalence of the second and third laws HW3HZSTY4Q
| URI | m2://inv/HW3HZSTY4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcsine laws (Wiener process)#05NT, Equivalence of the second and third laws (statement)
History
- 2026-11-02: add by m2/dev
The Bauer–Fike Theorem HW3P71Y0T4
| URI | m2://inv/HW3P71Y0T4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bauer–Fike theorem#BKWV, The Bauer–Fike Theorem (statement)
History
- 2026-11-02: add by m2/dev
HW43QNQQ0C HW43QNQQ0C
| URI | m2://inv/HW43QNQQ0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.37313#8NH5 (statement). In Z1F6SXQ6XW/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Convergence after row-stochastic normalization HW4AVVDNAT
| URI | m2://inv/HW4AVVDNAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-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.26066#H3B0, Convergence after row-stochastic normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convolution theorem for tempered distributions HW4EXPGJYA
| URI | m2://inv/HW4EXPGJYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution theorem#87E2, Convolution theorem for tempered distributions (statement)
History
- 2026-11-02: add by m2/dev
Properties HW4FAXMNJP
| URI | m2://inv/HW4FAXMNJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grzegorczyk hierarchy#5E2Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
HW4GV7M8NF HW4GV7M8NF
| URI | m2://inv/HW4GV7M8NF |
|---|---|
| Kind | problem |
| 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.04809#QYGT (problem). In 2VHV0RNTNV/e1, problem 10.3
History
- 2026-10-29: add by m2/v0.4.12
McKay conjecture HW4KKVS5BP
| URI | m2://inv/HW4KKVS5BP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#GFZ1, McKay conjecture (statement)
History
- 2026-11-02: add by m2/dev
HW4NW2MFR0 HW4NW2MFR0
| URI | m2://inv/HW4NW2MFR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#9IR6 (statement). In 6NVP3YRWVA/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
HW4YTHAE1H HW4YTHAE1H
| URI | m2://inv/HW4YTHAE1H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#0O19 (example). In 1KSE33PVS6/e1, example 4
History
- 2026-10-30: add by m2/v0.4.12
Jean-Claude Falmagne HW4ZRNPT29
| URI | m2://inv/HW4ZRNPT29 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Claude Falmagne, Jean-Claude Falmagne (topic). Also Wikidata Q6169109
History
- 2026-11-02: add by m2/dev
completely dissipative HW50B6QT4A
| URI | m2://inv/HW50B6QT4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wandering set#3U6F, completely dissipative (definition)
History
- 2026-11-02: add by m2/dev
HW54P3GMXK HW54P3GMXK
| URI | m2://inv/HW54P3GMXK |
|---|---|
| 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.19093#X683 (statement). In S2K79KESZ4/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
HW57XE339C HW57XE339C
| URI | m2://inv/HW57XE339C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-55 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Edwin C. Horrell HW5AE8BM5N
| URI | m2://inv/HW5AE8BM5N |
|---|---|
| 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#UQCI, Edwin C. Horrell (unknown)
History
- 2026-11-02: add by m2/dev
HW5BW0ZVC1 HW5BW0ZVC1
| URI | m2://inv/HW5BW0ZVC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13980#VLSY (statement). In 6DNZE6RT72/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
De Morgan's laws HW5C0SEJTF
| URI | m2://inv/HW5C0SEJTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | De Morgan's laws 09PKJKA6J0 |
Mentions
- wikidata: Wikidata Q173300, De Morgan's laws (statement). Also EoM De_Morgan_laws, MathWorld deMorgansLaws
- wikipedia: Wikipedia De Morgan's laws, De Morgan's laws (statement). Also Wikidata Q173300
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
HW5JEX2S47 HW5JEX2S47
| URI | m2://inv/HW5JEX2S47 |
|---|---|
| Kind | definition |
| 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 1002.0879#QEX8 (definition). In M0SQY5EZN5/e1, definition 2.9.3
History
- 2026-10-27: add by m2/v0.3.5
Quotient HW5R6QPF4R
| URI | m2://inv/HW5R6QPF4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient (universal algebra), Quotient (definition). Also Wikidata Q2589508
History
- 2026-11-02: add by m2/dev
estimate HW65W6B71J
| URI | m2://inv/HW65W6B71J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37113960, estimate (unknown). Also MathWorld Estimate
History
- 2026-10-26: add by m2/dev
Definition HW6ACTWWAG
| URI | m2://inv/HW6ACTWWAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede−Kadison determinant#ZQF4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Oscillatory integral operator HW6ECTHV0Q
| URI | m2://inv/HW6ECTHV0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillatory integral operator, Oscillatory integral operator (definition). Also Wikidata Q4274197
History
- 2026-11-02: add by m2/dev
Randomized algorithm HW6JY1PBWM
| URI | m2://inv/HW6JY1PBWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#1D87, Randomized algorithm (definition)
History
- 2026-11-02: add by m2/dev
Two streams HW6P9NSKEP
| URI | m2://inv/HW6P9NSKEP |
|---|---|
| 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.06653#22Y4, Two streams (statement). In 9D2N76AJAT/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.10
HW6SVAYT12 HW6SVAYT12
| URI | m2://inv/HW6SVAYT12 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
HW6TKNB78J HW6TKNB78J
| URI | m2://inv/HW6TKNB78J |
|---|---|
| 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#J8X1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Boolean minimization HW75PQVFG3
| URI | m2://inv/HW75PQVFG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic optimization#DM4A, Boolean minimization (unknown)
History
- 2026-11-02: add by m2/dev
HW768FR20V HW768FR20V
| URI | m2://inv/HW768FR20V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#JHSA (statement). In XX1J2REXY2/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
HW7C685N92 HW7C685N92
| URI | m2://inv/HW7C685N92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#seqflimitinf:lemma (statement). In E59CDZA4DP, lemma, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
Finite-sample exact support recovery ($L_0$ estimator HW7DMC2V90
| URI | m2://inv/HW7DMC2V90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37944#A5S7, Finite-sample exact support recovery ($L_0$ estimator (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Heteroclinic cycle HW7ECFCYVH
| URI | m2://inv/HW7ECFCYVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heteroclinic cycle, Heteroclinic cycle (definition). Also Wikidata Q16948232
History
- 2026-11-02: add by m2/dev
$\mathcal{D}_{\mathcal{RS}}$-non-private heterogeneous scheme HW7EMH1ATA
| URI | m2://inv/HW7EMH1ATA |
|---|---|
| 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.13914#IO0V, $\mathcal{D}_{\mathcal{RS}}$-non-private heterogeneous scheme (definition). In M974J0V5EZ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Multivariate median HW7FC7ED6G
| URI | m2://inv/HW7FC7ED6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#QXYF, Multivariate median (unknown)
History
- 2026-11-02: add by m2/dev
HW7QVQ2ARF HW7QVQ2ARF
| URI | m2://inv/HW7QVQ2ARF |
|---|---|
| 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.16233#5DH9 (definition). In RNXMADQ33J/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
HW7SVVHY23 HW7SVVHY23
| URI | m2://inv/HW7SVVHY23 |
|---|---|
| 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.19535#3C6M (statement). In MJXSE9QR4X/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
HW7VHNPJ5Q HW7VHNPJ5Q
| URI | m2://inv/HW7VHNPJ5Q |
|---|---|
| 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.03255#V7N5 (statement). In DCC0Y18670/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
HW81XKAJV5 HW81XKAJV5
| URI | m2://inv/HW81XKAJV5 |
|---|---|
| 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.36423#9FXS (statement). In Q5Z178SAHP/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Pentagrammic-order 600-cell honeycomb HW89MVSA4Z
| URI | m2://inv/HW89MVSA4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagrammic-order 600-cell honeycomb, Pentagrammic-order 600-cell honeycomb (definition). Also Wikidata Q17078130
History
- 2026-11-02: add by m2/dev
Pursuit–evasion HW8CTQR24Y
| URI | m2://inv/HW8CTQR24Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pursuit–evasion, Pursuit–evasion (definition). Also Wikidata Q7261573
History
- 2026-11-02: add by m2/dev
Banach–Stone theorem HW8E3MXZQ0
| URI | m2://inv/HW8E3MXZQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IN35, Banach–Stone theorem (statement)
History
- 2026-11-02: add by m2/dev
Araki estimates HW8FTS31M4
| URI | m2://inv/HW8FTS31M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#PT7A, Araki estimates (statement). In 14AMXF6X2V/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Characterizations HW8NN3GC4S
| URI | m2://inv/HW8NN3GC4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-matrix#3JKE, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Hole filling HW8P3CWZTW
| URI | m2://inv/HW8P3CWZTW |
|---|---|
| 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.00339#44FI, Hole filling (statement). In ZRG6NY1ECH/e1, lemma 20
History
- 2026-10-30: add by m2/v0.4.12
Isallobar HW8SA72AEK
| URI | m2://inv/HW8SA72AEK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#Y9TK, Isallobar (unknown)
History
- 2026-11-02: add by m2/dev
Julia Mary Parsons HW910XKMWX
| URI | m2://inv/HW910XKMWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Mary Parsons, Julia Mary Parsons (topic). Also Wikidata Q134365029
History
- 2026-11-02: add by m2/dev
Methods for solving the Duffing equation HW9608S0GD
| URI | m2://inv/HW9608S0GD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duffing equation#OYHO, Methods for solving the Duffing equation (unknown)
History
- 2026-11-02: add by m2/dev
Arithmetic lifting and smoothing HW9AE148JK
| URI | m2://inv/HW9AE148JK |
|---|---|
| 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.06225#TCQI, Arithmetic lifting and smoothing (statement). In RQVG8V4FJA/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Group isomorphism problem HW9E5744NS
| URI | m2://inv/HW9E5744NS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#U0Y9, Group isomorphism problem (problem)
History
- 2026-11-02: add by m2/dev
Supersaturation in the smooths HW9HC2BZGE
| URI | m2://inv/HW9HC2BZGE |
|---|---|
| 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 1806.05002#7YOT, Supersaturation in the smooths (statement). In JBAQ7DTW7B/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
geographic coordinate system HW9M13T9R7
| URI | m2://inv/HW9M13T9R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22664, geographic coordinate system (definition). Also ProofWiki Definition:Geographical_Coordinates
History
- 2026-10-26: add by m2/dev
744 (Number) HW9WK850JN
| URI | m2://inv/HW9WK850JN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#MSA7, 744 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Residual under arbitrary Gaussian polynomial information HWA6JC3BE9
| URI | m2://inv/HWA6JC3BE9 |
|---|---|
| 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.12641#DZGG, Residual under arbitrary Gaussian polynomial information (statement). In X5BYGZZHPF/e1, proposition E.5
History
- 2026-10-28: add by m2/v0.4.2
Prime factorization works HWAB1S6KQS
| URI | m2://inv/HWAB1S6KQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#theorem-1, Prime factorization works (statement). In RZP28ERRZV, theorem, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
MLS with good data HWAEQWX7N7
| URI | m2://inv/HWAEQWX7N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39200#48TY, MLS with good data (statement). In 974856VX59/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
HWAR9QN7PD HWAR9QN7PD
| URI | m2://inv/HWAR9QN7PD |
|---|---|
| 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 2608.23797#IPQH (statement). In PZCA01JXVR/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.5
HWAT348VKQ HWAT348VKQ
| URI | m2://inv/HWAT348VKQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
HWB330M1ND HWB330M1ND
| URI | m2://inv/HWB330M1ND |
|---|---|
| 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 2202.10212#F7DQ (statement). In E9ZQM8449P/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.6
Linearized self-similar universality, \protect HWB6NX8PQ8
| URI | m2://inv/HWB6NX8PQ8 |
|---|---|
| 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.00770#PYZ0, Linearized self-similar universality, \protect (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Planted Law HWB7Q238G4
| URI | m2://inv/HWB7Q238G4 |
|---|---|
| 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 2610.16705#HH73, Planted Law (definition). In B48YQVGAF5/e1, definition 6.7
History
- 2026-10-28: add by m2/v0.4.2
HWBGQ39285 HWBGQ39285
| URI | m2://inv/HWBGQ39285 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#TUXP (unknown). In QNBFHFZ3H0/e1, unknown 105
History
- 2026-10-28: add by m2/v0.4.2
Mary Celine Fasenmyer HWBPN8JNSN
| URI | m2://inv/HWBPN8JNSN |
|---|---|
| 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 Q3296158 (unknown). Also MathWorld SisterCelinesMethod
- wikipedia: Wikipedia Mary Celine Fasenmyer, Mary Celine Fasenmyer (topic). Also Wikidata Q3296158
History
- 2026-10-26: add by m2/dev
Use HWBQN3F9V8
| URI | m2://inv/HWBQN3F9V8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCD test#UZ8Z, Use (example)
History
- 2026-11-02: add by m2/dev
Reflexive Hartogs extension HWBR7QZ435
| URI | m2://inv/HWBR7QZ435 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#E7OJ, Reflexive Hartogs extension (statement). In PZJDV6SJ9E/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Master of Mathematics HWBZ4R73MJ
| URI | m2://inv/HWBZ4R73MJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Master of Mathematics, Master of Mathematics (topic). Also Wikidata Q6785212
History
- 2026-11-02: add by m2/dev
525 (number) HWC7AX709H
| URI | m2://inv/HWC7AX709H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#2LV8, 525 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Uses of the median voter theorem HWC7G6W4AA
| URI | m2://inv/HWC7G6W4AA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median voter theorem#PX0F, Uses of the median voter theorem (example)
History
- 2026-11-02: add by m2/dev
Psephology HWC88TR6Z1
| URI | m2://inv/HWC88TR6Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psephology, Psephology (definition). Also Wikidata Q1412461
History
- 2026-11-02: add by m2/dev
Kuratowski convergence HWCD5K10A9
| URI | m2://inv/HWCD5K10A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski convergence, Kuratowski convergence (definition). Also Wikidata Q6445660
History
- 2026-11-02: add by m2/dev
Point prevalence HWCDM75JYK
| URI | m2://inv/HWCDM75JYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevalence#Z8H6, Point prevalence (unknown)
History
- 2026-11-02: add by m2/dev
Conway's Game of Life HWCE518T7R
| URI | m2://inv/HWCE518T7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q244615, Conway's Game of Life (definition). Also MathWorld GameofLife, ProofWiki Definition:Conway_Life
- wikipedia: Wikipedia Conway's Game of Life, Conway's Game of Life (definition). Also Wikidata Q244615
History
- 2026-10-26: add by m2/dev
Gell-Mann and Low theorem HWCGFEYQ89
| URI | m2://inv/HWCGFEYQ89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NR42, Gell-Mann and Low theorem (statement)
History
- 2026-11-02: add by m2/dev
Wang tile HWCHRK47F7
| URI | m2://inv/HWCHRK47F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang tile, Wang tile (definition). Also Wikidata Q474147
History
- 2026-11-02: add by m2/dev
Conway's Game of Life HWCMCYQP2P
| URI | m2://inv/HWCMCYQP2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#9J8U, Conway's Game of Life (definition)
History
- 2026-11-02: add by m2/dev
Bochner's theorem HWCN4CX8T8
| URI | m2://inv/HWCN4CX8T8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BAHW, Bochner's theorem (statement)
History
- 2026-11-02: add by m2/dev
HWCR8QY3EE HWCR8QY3EE
| URI | m2://inv/HWCR8QY3EE |
|---|---|
| Kind | example |
| 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.30544#L8ZO (example). In CB35ZBBBPT/e1, example 3.21
History
- 2026-10-31: add by m2/v0.5.6
HWCW5HRHAW HWCW5HRHAW
| URI | m2://inv/HWCW5HRHAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#I40Y (statement). In D68KBZQ4Q6/e1, lemma 3.28
History
- 2026-10-28: add by m2/v0.4.2
HWD1CGSRXR HWD1CGSRXR
| URI | m2://inv/HWD1CGSRXR |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34283#5XEW (unknown). In DF1S2FHKJE/e1, unknown disclosure
History
- 2026-10-30: add by m2/v0.4.12
Split interval HWD1F4VCF3
| URI | m2://inv/HWD1F4VCF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split interval, Split interval (definition). Also Wikidata Q7578693
History
- 2026-11-02: add by m2/dev
HWD6PZQVFD HWD6PZQVFD
| URI | m2://inv/HWD6PZQVFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.13667#SSFQ (statement). In 820GZB4VEN/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
Category of monoids HWD8GBD05F
| URI | m2://inv/HWD8GBD05F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid (category theory)#AIDW, Category of monoids (unknown)
History
- 2026-11-02: add by m2/dev
Half Moon Bay, California HWDCNGRZ56
| URI | m2://inv/HWDCNGRZ56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#51ZB, Half Moon Bay, California (unknown)
History
- 2026-11-02: add by m2/dev
smooth scheme HWDWE9JX8M
| URI | m2://inv/HWDWE9JX8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7546431, smooth scheme (unknown). Also EoM Smooth_scheme, nLab smooth scheme
- wikipedia: Wikipedia Smooth scheme, Smooth scheme (definition). Also Wikidata Q7546431
History
- 2026-10-26: add by m2/dev
hyperbolic spiral HWE0WZRPAJ
| URI | m2://inv/HWE0WZRPAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q732141, hyperbolic spiral (unknown). Also MathWorld HyperbolicSpiral
- wikipedia: Wikipedia Hyperbolic spiral, Hyperbolic spiral (definition). Also Wikidata Q732141
History
- 2026-10-26: add by m2/dev
HWE540HGTG HWE540HGTG
| URI | m2://inv/HWE540HGTG |
|---|---|
| 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.23872#RQ52 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rarefied gas dynamics HWE8KDG57N
| URI | m2://inv/HWE8KDG57N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rarefied gas dynamics, Rarefied gas dynamics (definition). Also Wikidata Q137783479
History
- 2026-11-02: add by m2/dev
Sieve E HWESECVDSD
| URI | m2://inv/HWESECVDSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#COVL, Sieve E (statement). In KJC9FRS3C2/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
Mutation testing HWF1P6S9GJ
| URI | m2://inv/HWF1P6S9GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#PVTD, Mutation testing (unknown)
History
- 2026-11-02: add by m2/dev
Petrus Apianus HWF4535E4J
| URI | m2://inv/HWF4535E4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#11Q4, Petrus Apianus (unknown)
History
- 2026-11-02: add by m2/dev
Localized radii, exit time and localized constants HWF5BZ5BDT
| URI | m2://inv/HWF5BZ5BDT |
|---|---|
| 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 2610.14988#IKS3, Localized radii, exit time and localized constants (definition). In B29M4E6KGC/e1, definition H.2
History
- 2026-10-28: add by m2/v0.4.2
Symmetry of second derivatives HWF7YX9TT1
| URI | m2://inv/HWF7YX9TT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#F6MO, Symmetry of second derivatives (definition)
History
- 2026-11-02: add by m2/dev
HWFXRHT3J7 HWFXRHT3J7
| URI | m2://inv/HWFXRHT3J7 |
|---|---|
| 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#J444 (statement). In ZJQB9W60T6/e1, theorem 7.14
History
- 2026-10-28: add by m2/v0.4.2
HWGF4NK0QY HWGF4NK0QY
| URI | m2://inv/HWGF4NK0QY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#DJFD (definition). In TPA3E67MKK/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Two-way analysis of variance HWGFNYE8E8
| URI | m2://inv/HWGFNYE8E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BNCY, Two-way analysis of variance (definition)
History
- 2026-11-02: add by m2/dev
Lower bounds on extractor error HWGGNTP1QE
| URI | m2://inv/HWGGNTP1QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#U7F3, Lower bounds on extractor error (statement). In ZZER8ZBSCR/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Formula and calculation HWGMQJ4AMG
| URI | m2://inv/HWGMQJ4AMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-test#4T6S, Formula and calculation (statement)
History
- 2026-11-02: add by m2/dev
Ernst Kötter HWGND0FMZ0
| URI | m2://inv/HWGND0FMZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Kötter, Ernst Kötter (topic). Also Wikidata Q17388527
History
- 2026-11-02: add by m2/dev
HWGQNGME95 HWGQNGME95
| URI | m2://inv/HWGQNGME95 |
|---|---|
| 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.38131#GPD6 (statement). In GM3S19KFDH/e1, corollary 3.21
History
- 2026-10-30: add by m2/v0.4.12
HWGTCBZC1P HWGTCBZC1P
| URI | m2://inv/HWGTCBZC1P |
|---|---|
| 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 2504.13802#0WWZ (statement). In MH358B1GVQ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Herschfeld's convergence theorem HWGVEABB6J
| URI | m2://inv/HWGVEABB6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested radical#9IV5, Herschfeld's convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Perturbation theory HWGZJX8QJK
| URI | m2://inv/HWGZJX8QJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PDNJ, Perturbation theory (definition)
History
- 2026-11-02: add by m2/dev
Hilbert's seventeenth problem HWH20R9JKS
| URI | m2://inv/HWH20R9JKS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's seventeenth problem, Hilbert's seventeenth problem (problem). Also Wikidata Q2496877
History
- 2026-11-02: add by m2/dev
Example HWHH2HHZFR
| URI | m2://inv/HWHH2HHZFR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential tilting#ARB9, Example (example)
History
- 2026-11-02: add by m2/dev
XDH assumption HWHK94XT4R
| URI | m2://inv/HWHK94XT4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XDH assumption, XDH assumption (definition). Also Wikidata Q8041743
History
- 2026-11-02: add by m2/dev
HWHM3D70QT HWHM3D70QT
| URI | m2://inv/HWHM3D70QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#G18O (statement)
History
- 2026-11-02: add by m2/v0.6.17
HWHMANMXC3 HWHMANMXC3
| URI | m2://inv/HWHMANMXC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#OTOF (statement). In PEXJPV3NP8/e1, theorem 6.12
History
- 2026-10-27: add by m2/v0.3.5
Shaun Wylie HWHMC924SE
| URI | m2://inv/HWHMC924SE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shaun Wylie, Shaun Wylie (topic). Also Wikidata Q836653
History
- 2026-11-02: add by m2/dev
Approximation of timelike Ricci curvature bounds HWHNB6AR6N
| URI | m2://inv/HWHNB6AR6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#WKL2, Approximation of timelike Ricci curvature bounds (statement). In 5BYE5NYB89/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.3
HWHQXWC9N4 HWHQXWC9N4
| URI | m2://inv/HWHQXWC9N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25000#7JAT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications HWHVJHS0W1
| URI | m2://inv/HWHVJHS0W1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Art gallery problem#VGBL, Applications (example)
History
- 2026-11-02: add by m2/dev
HWHWVVEDDD HWHWVVEDDD
| URI | m2://inv/HWHWVVEDDD |
|---|---|
| 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.35762#Z7G9 (statement). In C9QEPN1E56/e1, theorem F.5
History
- 2026-10-30: add by m2/v0.4.12
HWJ0BB1M6S HWJ0BB1M6S
| URI | m2://inv/HWJ0BB1M6S |
|---|---|
| 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#NI8B (definition). In VD4JP4HVBX/e1, definition 10.6
History
- 2026-10-28: add by m2/v0.4.2
HWJ3MZ9ZGZ HWJ3MZ9ZGZ
| URI | m2://inv/HWJ3MZ9ZGZ |
|---|---|
| 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.25094#8JOO (statement)
History
- 2026-11-01: add by m2/v0.6.15
DTIME HWJ50GBQ1R
| URI | m2://inv/HWJ50GBQ1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DTIME, DTIME (definition). Also Wikidata Q1155831
History
- 2026-11-02: add by m2/dev
Definitions HWJE7YKT5Q
| URI | m2://inv/HWJE7YKT5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing (factorial experiments)#Z1UB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
U. K. Anandavardhanan HWJPM6NRDT
| URI | m2://inv/HWJPM6NRDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U. K. Anandavardhanan, U. K. Anandavardhanan (topic). Also Wikidata Q105085591
History
- 2026-11-02: add by m2/dev
The principle of inertia and the various impetuses observed on different inclined planes HWK0FDGZ9X
| URI | m2://inv/HWK0FDGZ9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Le Mecaniche#DKMK, The principle of inertia and the various impetuses observed on different inclined planes (statement)
History
- 2026-11-02: add by m2/dev
HWK1F846MW HWK1F846MW
| URI | m2://inv/HWK1F846MW |
|---|---|
| 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#CB0I (statement). In SD43497T8C/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Estimates related to $\tilde h_{\tau,\varepsilon}(T),\Jm^kh_{\tau,\varepsilon}(T)$ HWK2NPEPZ6
| URI | m2://inv/HWK2NPEPZ6 |
|---|---|
| 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.24451#S8WH, Estimates related to $\tilde h_{\tau,\varepsilon}(T),\Jm^kh_{\tau,\varepsilon}(T)$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
HWK6192E4F HWK6192E4F
| URI | m2://inv/HWK6192E4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#4CNO (statement)
History
- 2026-11-01: add by m2/v0.6.15
pentagonal triangular number HWK74E4ZNB
| URI | m2://inv/HWK74E4ZNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20383004, pentagonal triangular number (unknown). Also MathWorld PentagonalTriangularNumber
History
- 2026-10-26: add by m2/dev
The Gauss–Bonnet theorem HWKCG0QY1Y
| URI | m2://inv/HWKCG0QY1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#RODQ, The Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
Relative graded determination HWKMH5XF5A
| URI | m2://inv/HWKMH5XF5A |
|---|---|
| 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.14509#3UNT, Relative graded determination (statement). In N6GD8392QB/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
HWKTHVXXRS HWKTHVXXRS
| URI | m2://inv/HWKTHVXXRS |
|---|---|
| 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.18992#9ONM (statement). In S7PNTM0GZC/e1, proposition 1.17
History
- 2026-10-28: add by m2/v0.4.2
HWKXXTRGDD HWKXXTRGDD
| URI | m2://inv/HWKXXTRGDD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-9 (example). In RZP28ERRZV, example, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
Biorthonormal step-line systems HWM1MVJZHC
| URI | m2://inv/HWM1MVJZHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#Q7K7, Biorthonormal step-line systems (statement)
History
- 2026-11-01: add by m2/v0.6.15
3407 (number) HWM99YFQ0A
| URI | m2://inv/HWM99YFQ0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#KCOI, 3407 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Alphasyllabic numeral system HWMCWBGZBJ
| URI | m2://inv/HWMCWBGZBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alphasyllabic numeral system, Alphasyllabic numeral system (definition). Also Wikidata Q69872234
History
- 2026-11-02: add by m2/dev
triangle geometry HWMFVXR0G3
| URI | m2://inv/HWMFVXR0G3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1257470, triangle geometry (topic). Also MathWorld TriangleGeometry
History
- 2026-10-26: add by m2/dev
Noether's second isomorphism theorem HWMMHERAJK
| URI | m2://inv/HWMMHERAJK |
|---|---|
| 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.27056#8LRO, Noether's second isomorphism theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition HWMPPGD1RS
| URI | m2://inv/HWMPPGD1RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective plane#AWJ8, Definition (definition)
History
- 2026-11-02: add by m2/dev
HWMPY12N35 HWMPY12N35
| URI | m2://inv/HWMPY12N35 |
|---|---|
| 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#G69Y (statement). In P0HKF5DY7M/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
HWMR1RR4CS HWMR1RR4CS
| URI | m2://inv/HWMR1RR4CS |
|---|---|
| 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.37897#4DCR (statement). In RBQ5FNCVNZ/e1, lemma C.4
History
- 2026-10-30: add by m2/v0.4.12
HWMW73A095 HWMW73A095
| URI | m2://inv/HWMW73A095 |
|---|---|
| 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 2103.02468#RRIT (statement). In Q7C6G66CWM/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Robbins HWND1H2BRP
| URI | m2://inv/HWND1H2BRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#210W, Robbins (statement)
History
- 2026-11-01: add by m2/v0.6.15
HWNEZH31AX HWNEZH31AX
| URI | m2://inv/HWNEZH31AX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
HWNH227YQ4 HWNH227YQ4
| URI | m2://inv/HWNH227YQ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Two diagonal inputs suffice HWNPD279K6
| URI | m2://inv/HWNPD279K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#ZDSB, Two diagonal inputs suffice (statement). In RWNP4FEE65/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.3
the exact floor for $\alpha<\beta$ HWNPH1XZCA
| URI | m2://inv/HWNPH1XZCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23922#MUGX, the exact floor for $\alpha<\beta$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Proposition A.23. HWNTG730HB
| URI | m2://inv/HWNTG730HB |
|---|---|
| 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.21017#14HR, Proposition A.23. (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ideal gas HWNWK93ZCD
| URI | m2://inv/HWNWK93ZCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal gas, Ideal gas (definition). Also Wikidata Q172280
History
- 2026-11-02: add by m2/dev
HWNY5QQNCV HWNY5QQNCV
| URI | m2://inv/HWNY5QQNCV |
|---|---|
| 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.39274#7C1Y (statement). In HVC7RVEM6V/e1, fact 2
History
- 2026-10-30: add by m2/v0.4.12
Terdragon HWNZNHNH0Z
| URI | m2://inv/HWNZNHNH0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon curve#RKNQ, Terdragon (unknown)
History
- 2026-11-02: add by m2/dev
HWPC4M76S5 HWPC4M76S5
| URI | m2://inv/HWPC4M76S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.12612#UX1L (statement). In 8A0VZV8PBN/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Markov parameter matrix of order $k$ HWPCHHJF7J
| URI | m2://inv/HWPCHHJF7J |
|---|---|
| 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 2610.21935#36HB, Markov parameter matrix of order $k$ (definition). In YDNK7E99JW/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
Aram Arutyunov HWPCRHXVK9
| URI | m2://inv/HWPCRHXVK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aram Arutyunov, Aram Arutyunov (topic). Also Wikidata Q20510293
History
- 2026-11-02: add by m2/dev
Example HWPMCETN2C
| URI | m2://inv/HWPMCETN2C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Kovalevskaya theorem#AUOS, Example (example)
History
- 2026-11-02: add by m2/dev
HWPMQS7CHV HWPMQS7CHV
| URI | m2://inv/HWPMQS7CHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#EWI5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HWPN2A0VXV HWPN2A0VXV
| URI | m2://inv/HWPN2A0VXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn-2 (definition). In N54F33XE07, defn, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
HWPNYHSF2B HWPNYHSF2B
| URI | m2://inv/HWPNYHSF2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-86 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Discrete modelling HWPR1Y6P6E
| URI | m2://inv/HWPR1Y6P6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete modelling, Discrete modelling (definition). Also Wikidata Q5282053
History
- 2026-11-02: add by m2/dev
Applications HWPSP9VCRH
| URI | m2://inv/HWPSP9VCRH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation propagation#SGLJ, Applications (example)
History
- 2026-11-02: add by m2/dev
exponential HWPX6ZF6TK
| URI | m2://inv/HWPX6ZF6TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#WLMB, exponential (definition)
History
- 2026-11-02: add by m2/dev
finitely generated HWQ8SB6NTP
| URI | m2://inv/HWQ8SB6NTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#GQIQ, finitely generated (definition)
History
- 2026-11-02: add by m2/dev
sqbf HWQDXQ86A9
| URI | m2://inv/HWQDXQ86A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#IFRR, sqbf (definition)
History
- 2026-11-02: add by m2/dev
HWQE923Q3D HWQE923Q3D
| URI | m2://inv/HWQE923Q3D |
|---|---|
| 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 2204.01073#02DO (statement). In W4TYN4PGE8/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.5
Frames and locales HWQGN82MV0
| URI | m2://inv/HWQGN82MV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete Heyting algebra#A6B1, Frames and locales (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2 HWQPZEXG8M
| URI | m2://inv/HWQPZEXG8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#65OO, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
Giordano Bruno HWQTJ3H5Z9
| URI | m2://inv/HWQTJ3H5Z9 |
|---|---|
| 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 Q36330, Giordano Bruno (unknown). Also nLab Giordano Bruno
History
- 2026-10-26: add by m2/dev
HWQV5KVMFH HWQV5KVMFH
| URI | m2://inv/HWQV5KVMFH |
|---|---|
| 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.06899#9GIS (statement). In 5Z2K9JGFSS/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.10
Isomorphism normal form HWQVB66TBZ
| URI | m2://inv/HWQVB66TBZ |
|---|---|
| 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.14135#GMYG, Isomorphism normal form (statement). In C304J64Q79/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
$D_4(a_1)$ in type $E_6$ HWR1BDMJ49
| URI | m2://inv/HWR1BDMJ49 |
|---|---|
| Kind | example |
| 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 2610.16931#1KFJ, $D_4(a_1)$ in type $E_6$ (example). In H7DMRWBBJN/e1, example 8.13
History
- 2026-10-28: add by m2/v0.4.2
Fuquan Fang HWR66JKJTY
| URI | m2://inv/HWR66JKJTY |
|---|---|
| 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#9SEH, Fuquan Fang (unknown)
History
- 2026-11-02: add by m2/dev
HWR6Q7NG89 HWR6Q7NG89
| URI | m2://inv/HWR6Q7NG89 |
|---|---|
| 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.21762#8TC3 (statement). In CYDJ6JGD4A/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.4.2
HWR79CVEXB HWR79CVEXB
| URI | m2://inv/HWR79CVEXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#WMNG (statement). In KTQS6YPA4E/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
HWRBCP7413 HWRBCP7413
| URI | m2://inv/HWRBCP7413 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
De Bruijn's theorem HWRK6032ZA
| URI | m2://inv/HWRK6032ZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5244285, de Bruijn's theorem (statement). Also Wikidata Q5244285
- thousand_plus: thousand_plus Q5244285, de Bruijn's theorem (statement). Also Wikidata Q5244285, Wikipedia de Bruijn's theorem
- wikidata: Wikidata Q5244285, De Bruijn's theorem (statement). Also MathWorld deBruijnsTheorem
- wikipedia: Wikipedia De Bruijn's theorem, De Bruijn's theorem (statement). Also Wikidata Q5244285
History
- 2026-10-26: add by m2/dev
σ-algebra HWRM6ADM5E
| URI | m2://inv/HWRM6ADM5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#GA22, σ-algebra (definition)
History
- 2026-11-02: add by m2/dev
HWRR8C36P3 HWRR8C36P3
| URI | m2://inv/HWRR8C36P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21578#3F08 (statement). In 6M96RM3T7N/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
HWRVXD65KN HWRVXD65KN
| URI | m2://inv/HWRVXD65KN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's conjecture#G9M1 (problem)
History
- 2026-11-02: add by m2/dev
Misuse of p-values HWRYM0BRKM
| URI | m2://inv/HWRYM0BRKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misuse of p-values, Misuse of p-values (definition). Also Wikidata Q25304808
History
- 2026-11-02: add by m2/dev
HWSKMMNJZ2 HWSKMMNJZ2
| URI | m2://inv/HWSKMMNJZ2 |
|---|---|
| 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.23332#OSLV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Compound Poisson process HWSTNTBG41
| URI | m2://inv/HWSTNTBG41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound Poisson process, Compound Poisson process (definition). Also Wikidata Q2055750
History
- 2026-11-02: add by m2/dev
HWSXWBQAHH HWSXWBQAHH
| URI | m2://inv/HWSXWBQAHH |
|---|---|
| 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.18017#HRG5 (statement). In EBSQEQYECS/e1, theorem 0.6
History
- 2026-10-28: add by m2/v0.4.2
Examples HWSYS954H3
| URI | m2://inv/HWSYS954H3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clélie#PEGE, Examples (example)
History
- 2026-11-02: add by m2/dev
David George Kendall HWSZSKM42R
| URI | m2://inv/HWSZSKM42R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David George Kendall, David George Kendall (topic). Also Wikidata Q1174535
History
- 2026-11-02: add by m2/dev
Kummer primes HWT1MWSGZ4
| URI | m2://inv/HWT1MWSGZ4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PV1Y, Kummer primes (conjecture)
History
- 2026-11-02: add by m2/dev
Ree extension: orbit reduction HWT3SWCGCT
| URI | m2://inv/HWT3SWCGCT |
|---|---|
| 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#QUW2, Ree extension: orbit reduction (statement). In 9NVKKW8HDH/e1, proposition 2.79
History
- 2026-10-28: add by m2/v0.4.2
HWT4KA0RKR HWT4KA0RKR
| URI | m2://inv/HWT4KA0RKR |
|---|---|
| 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.13631#4X7N (statement). In N6PQQSYN73/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Madan L. Puri HWTF5AXEF2
| URI | m2://inv/HWTF5AXEF2 |
|---|---|
| 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#6XK0, Madan L. Puri (topic)
History
- 2026-11-02: add by m2/dev
self-polar HWTVC91V4B
| URI | m2://inv/HWTVC91V4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HQNI, self-polar (definition)
History
- 2026-11-02: add by m2/dev
HWTVNG79W6 HWTVNG79W6
| URI | m2://inv/HWTVNG79W6 |
|---|---|
| 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.15360#ESL6 (statement). In DJCXDQQK7Y/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
HWTXJWBA54 HWTXJWBA54
| URI | m2://inv/HWTXJWBA54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#XRY9 (statement). In J9C7YMKJ33/e1, theorem 4.21
History
- 2026-10-27: add by m2/v0.3.5
boundary degree HWTXZ8SACK
| URI | m2://inv/HWTXZ8SACK |
|---|---|
| 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#2S83, boundary degree (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples. HWV2AYJSYV
| URI | m2://inv/HWV2AYJSYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strictly singular operator#SN73, Examples. (example)
History
- 2026-11-02: add by m2/dev
Corollary 3. Compound angle sine (+) HWV3PP6RTB
| URI | m2://inv/HWV3PP6RTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's theorem#I0VT, Corollary 3. Compound angle sine (+) (statement)
History
- 2026-11-02: add by m2/dev
HWV45E5N63 HWV45E5N63
| URI | m2://inv/HWV45E5N63 |
|---|---|
| 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.01359#61HC (statement). In V2RVS5VC1Y/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
HWV7HN22SJ HWV7HN22SJ
| URI | m2://inv/HWV7HN22SJ |
|---|---|
| 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.25111#73K4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Women's Resource Center HWV9K2P5Y9
| URI | m2://inv/HWV9K2P5Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#ZZN5, Women's Resource Center (unknown)
History
- 2026-11-02: add by m2/dev
Applications HWV9Q24G2M
| URI | m2://inv/HWV9Q24G2M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclomatic number#YW6L, Applications (example)
History
- 2026-11-02: add by m2/dev
HWVA6PHMZ8 HWVA6PHMZ8
| URI | m2://inv/HWVA6PHMZ8 |
|---|---|
| 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 2009.11127#ULM5 (statement). In QEFS0Y021A/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
HWVYTXWZCA HWVYTXWZCA
| URI | m2://inv/HWVYTXWZCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 26-XX, 46-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.27570#D7GB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples HWVZ4909GG
| URI | m2://inv/HWVZ4909GG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized polygon#G7MU, Examples (example)
History
- 2026-11-02: add by m2/dev
Higman HWW2N3CY2Y
| URI | m2://inv/HWW2N3CY2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#3LSS, Higman (statement)
History
- 2026-11-02: add by m2/v0.6.17
HWW35ZDJCR HWW35ZDJCR
| URI | m2://inv/HWW35ZDJCR |
|---|---|
| Kind | definition |
| 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#98TR (definition). In JS5FKV1S9T/e1, definition B.4
History
- 2026-10-27: add by m2/v0.3.5
Definition HWW4ZTY95V
| URI | m2://inv/HWW4ZTY95V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized polygon#91O8, Definition (definition)
History
- 2026-11-02: add by m2/dev
HWW60WCCTD HWW60WCCTD
| URI | m2://inv/HWW60WCCTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#BLCA (statement). In 67GE5M1GGD/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
HWW8Q37F2D HWW8Q37F2D
| URI | m2://inv/HWW8Q37F2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#A25U (statement). In ZZER8ZBSCR/e1, corollary 3.12
History
- 2026-10-29: add by m2/v0.4.12
HWWA851SP1 HWWA851SP1
| URI | m2://inv/HWWA851SP1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#ZDCB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Semyon Aranovich Gershgorin HWWH390WAR
| URI | m2://inv/HWWH390WAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#HC5Q, Semyon Aranovich Gershgorin (topic)
History
- 2026-11-02: add by m2/dev
HWWH6EEJCQ HWWH6EEJCQ
| URI | m2://inv/HWWH6EEJCQ |
|---|---|
| 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#MM24 (statement). In E7W2HDNEKJ/e1, lemma 9.33
History
- 2026-10-30: add by m2/v0.4.12
Flora Lewis HWWTTEJ030
| URI | m2://inv/HWWTTEJ030 |
|---|---|
| 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#4MS0, Flora Lewis (unknown)
History
- 2026-11-02: add by m2/dev
enumerative combinatorics HWWYXNSB3P
| URI | m2://inv/HWWYXNSB3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 05Axx |
| Sources | 2 |
| Outcome | open |
| Node | Enumerative combinatorics EX382NQTGP |
Mentions
- wikidata: Wikidata Q336787, enumerative combinatorics (topic). Also nLab enumerative combinatorics
- wikipedia: Wikipedia Enumerative combinatorics, Enumerative combinatorics (topic). Also Wikidata Q336787
History
- 2026-10-26: add by m2/dev
HWX3TE6M1Y HWX3TE6M1Y
| URI | m2://inv/HWX3TE6M1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-5.xml#proposition-2 (statement). In 649HGZKE96, proposition, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
HWX47CYTGG HWX47CYTGG
| URI | m2://inv/HWX47CYTGG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#OU0W (example). In GPK6W5XQM3/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
Nature Reviews Methods Primers HWX61Y4HEB
| URI | m2://inv/HWX61Y4HEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nature Reviews Methods Primers, Nature Reviews Methods Primers (definition). Also Wikidata Q116181211
History
- 2026-11-02: add by m2/dev
HWX6KJASV3 HWX6KJASV3
| URI | m2://inv/HWX6KJASV3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#URBL (example). In 5EKTECQ2P1/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.10
Clifford module HWXCM7N1MN
| URI | m2://inv/HWXCM7N1MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Clifford module 31Q0RDPZ00 |
Mentions
- wikidata: Wikidata Q7879936, Clifford module (unknown). Also nLab Clifford module
- wikipedia: Wikipedia Clifford module, Clifford module (definition). Also Wikidata Q7879936
History
- 2026-10-26: add by m2/dev
HWXFCRHY6T HWXFCRHY6T
| URI | m2://inv/HWXFCRHY6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34522#W5DN (statement). In 1HJGW3Z6Q8/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Prüfer sequence HWXJMM6M3H
| URI | m2://inv/HWXJMM6M3H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Prüfer sequence 09PV9JSY6E |
Mentions
- wikidata: Wikidata Q1087829, Prüfer sequence (concept). Also MathWorld PrueferCode
- wikipedia: Wikipedia Prüfer sequence, Prüfer sequence (definition). Also Wikidata Q1087829
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Identification of the limiting mass HWXM27P7S0
| URI | m2://inv/HWXM27P7S0 |
|---|---|
| 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.13753#IG9O, Identification of the limiting mass (statement). In AHM0PBKZZN/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Strong Convergence HWXMJ3EFZ0
| URI | m2://inv/HWXMJ3EFZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-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.08484#Y14O, Strong Convergence (statement). In C2HJ1CCJ0S/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Altıeylül, Köşk HWXNE8CQMN
| URI | m2://inv/HWXNE8CQMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9JCD, Altıeylül, Köşk (unknown)
History
- 2026-11-02: add by m2/dev
Namtok Chet Sao Noi HWY01PAR2W
| URI | m2://inv/HWY01PAR2W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6N02, Namtok Chet Sao Noi (unknown)
History
- 2026-11-02: add by m2/dev
Two ends and the choice of core metric HWY11JXXV0
| URI | m2://inv/HWY11JXXV0 |
|---|---|
| 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#NRUX, Two ends and the choice of core metric (statement). In HF7YNMW39N/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.0
HWY3AS9A6C HWY3AS9A6C
| URI | m2://inv/HWY3AS9A6C |
|---|---|
| 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.00789#UFUR (statement). In 4WPYBTARS2/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.12
Ivan Cherednik HWYB040HJZ
| URI | m2://inv/HWYB040HJZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Cherednik, Ivan Cherednik (topic). Also Wikidata Q1676013
History
- 2026-11-02: add by m2/dev
HWYD3J3A55 HWYD3J3A55
| URI | m2://inv/HWYD3J3A55 |
|---|---|
| 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.06724#1OTL (statement). In W5XG3PGVF1/e1, corollary C.5
History
- 2026-10-29: add by m2/v0.4.10
HWYENWGWSZ HWYENWGWSZ
| URI | m2://inv/HWYENWGWSZ |
|---|---|
| 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 2609.36423#8DLR (definition). In Q5Z178SAHP/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
HWYFJMJDCJ HWYFJMJDCJ
| URI | m2://inv/HWYFJMJDCJ |
|---|---|
| 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#5EWE (statement). In CVGHFQ6XGW/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Mario Pulvirenti HWYVFSKR3D
| URI | m2://inv/HWYVFSKR3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mario Pulvirenti, Mario Pulvirenti (topic). Also Wikidata Q3849009
History
- 2026-11-02: add by m2/dev
HWYVSWAE5E HWYVSWAE5E
| URI | m2://inv/HWYVSWAE5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#ZTWF (statement). In CM2YEK9T4F/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Darboux sum HWYY8AAV7F
| URI | m2://inv/HWYY8AAV7F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.1.1/darboux-sum, Darboux sum (concept). In E59CDZA4DP, index, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
derived symplectic geometry HWZ0TM4NQD
| URI | m2://inv/HWZ0TM4NQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#XJ2T, derived symplectic geometry (definition)
History
- 2026-11-02: add by m2/dev
C-group HWZ1B3CY66
| URI | m2://inv/HWZ1B3CY66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-group, C-group (definition). Also Wikidata Q5005940
History
- 2026-11-02: add by m2/dev
Stark conjectures HWZ54RXWMX
| URI | m2://inv/HWZ54RXWMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#0UST, Stark conjectures (statement)
History
- 2026-11-02: add by m2/dev
HWZ6W7H9DP HWZ6W7H9DP
| URI | m2://inv/HWZ6W7H9DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#HC5D (statement). In WJD9YPGGYH/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Stochastic process HWZAGP9N1R
| URI | m2://inv/HWZAGP9N1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#VR85, Stochastic process (definition)
- wikipedia: Wikipedia List of statistics articles#IWK6, Stochastic process (definition)
History
- 2026-11-02: add by m2/dev
HWZFCTDWJ6 HWZFCTDWJ6
| URI | m2://inv/HWZFCTDWJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#GONU (statement). In CC6S1HVK0T/e1, lemma 8.5
History
- 2026-10-28: add by m2/v0.4.2
HWZJJ7FHQ6 HWZJJ7FHQ6
| URI | m2://inv/HWZJJ7FHQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26922#C4MD (statement)
History
- 2026-11-01: add by m2/v0.6.15
HWZKF98PW9 HWZKF98PW9
| URI | m2://inv/HWZKF98PW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#5WPN (statement). In D64RQ09KBP/e1, lemma 6.13
History
- 2026-10-29: add by m2/v0.4.12
Horatio Pollock HWZT5C7HFN
| URI | m2://inv/HWZT5C7HFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horatio Pollock, Horatio Pollock (topic). Also Wikidata Q18912205
History
- 2026-11-02: add by m2/dev
HWZVTVX5DX HWZVTVX5DX
| URI | m2://inv/HWZVTVX5DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#7JO2 (statement). In F1CYVYK7YB/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
HWZZS4SDJ7 HWZZS4SDJ7
| URI | m2://inv/HWZZS4SDJ7 |
|---|---|
| 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.21036#I17H (statement). In G0M4N3E0CG/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.2