Inventory rows PH
The cards of the rows of the inventory whose ids start with PH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nested Gibbs Probability Measures PH00P3GJNM
| URI | m2://inv/PH00P3GJNM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19988#FXDI, Nested Gibbs Probability Measures (definition)
History
- 2026-11-02: add by m2/v0.6.18
PH050ZD8HS PH050ZD8HS
| URI | m2://inv/PH050ZD8HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08104#AOZQ (statement). In AH6BX8RZTW/e1, proposition 1.10
History
- 2026-10-29: add by m2/v0.4.10
Henri Cartan PH07Z57WJ8
| URI | m2://inv/PH07Z57WJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ND0K, Henri Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3MB1, Henri Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3R71, Henri Cartan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LMGX, Henri Cartan (topic)
History
- 2026-11-02: add by m2/dev
induction principle, for integers PH0EFJJFXN
| URI | m2://inv/PH0EFJJFXN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.10/induction-principle-for-integers, induction principle, for integers (concept). In N54F33XE07, index, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Basic properties PH0NHCZ2SA
| URI | m2://inv/PH0NHCZ2SA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unilateral shift operator#J1JG, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
PH0PD7DNT7 PH0PD7DNT7
| URI | m2://inv/PH0PD7DNT7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-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.10925#4QYI (problem). In 9604WYX0BW/e1, problem 6.4
History
- 2026-10-28: add by m2/v0.4.3
Definition PH0YS1F8NZ
| URI | m2://inv/PH0YS1F8NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dunn index#697Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dreieich PH0YYB8W64
| URI | m2://inv/PH0YYB8W64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#X8DY, Dreieich (unknown)
History
- 2026-11-02: add by m2/dev
Regular tree grammar PH17F29K1J
| URI | m2://inv/PH17F29K1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tree grammar, Regular tree grammar (definition). Also Wikidata Q7309622
History
- 2026-11-02: add by m2/dev
PH18S5N80D PH18S5N80D
| URI | m2://inv/PH18S5N80D |
|---|---|
| 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 2401.05118#U31N (statement). In BT0T0QS2TN/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.0
PH19CW0F2G PH19CW0F2G
| URI | m2://inv/PH19CW0F2G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:reals-non-constant-into-Z (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
PH1D5M80VE PH1D5M80VE
| URI | m2://inv/PH1D5M80VE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25100#NSBM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Strict decrease of the invariant PH1FN5J6DW
| URI | m2://inv/PH1FN5J6DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#PVIX, Strict decrease of the invariant (statement). In XBAXW1YBAK/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Density state PH1JBYKHMS
| URI | m2://inv/PH1JBYKHMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#W2E7, Density state (definition)
History
- 2026-11-02: add by m2/dev
Exact norm formula PH1RAYK3ZD
| URI | m2://inv/PH1RAYK3ZD |
|---|---|
| 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.25027#49IZ, Exact norm formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Angle bisector of a triangle PH1VBMYQ15
| URI | m2://inv/PH1VBMYQ15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#U09N, Angle bisector of a triangle (definition)
History
- 2026-11-02: add by m2/dev
Karl Apfelbacher PH20SBQSZS
| URI | m2://inv/PH20SBQSZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7WJC, Karl Apfelbacher (topic)
History
- 2026-11-02: add by m2/dev
Theorem PH2259F2NY
| URI | m2://inv/PH2259F2NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descendant tree (group theory)#CYRB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
PH26K0CH5Y PH26K0CH5Y
| URI | m2://inv/PH26K0CH5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#S6BO (statement). In QFA8TMJPHZ/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Carnot's theorem PH285JQMQ8
| URI | m2://inv/PH285JQMQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carnot cycle#UB4N, Carnot's theorem (statement)
History
- 2026-11-02: add by m2/dev
Joseph Kampé de Fériet PH2AEQ4K8P
| URI | m2://inv/PH2AEQ4K8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5FS6, Joseph Kampé de Fériet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NB7X, Joseph Kampé de Fériet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WVFU, Joseph Kampé de Fériet (topic)
History
- 2026-11-02: add by m2/dev
Herman Chernoff PH2ECJJ8GR
| URI | m2://inv/PH2ECJJ8GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AYSV, Herman Chernoff (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#93PS, Herman Chernoff (topic)
History
- 2026-11-02: add by m2/dev
Steve Alford PH2M1D3V7C
| URI | m2://inv/PH2M1D3V7C |
|---|---|
| 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#0A7F, Steve Alford (unknown)
History
- 2026-11-02: add by m2/dev
truncated tetrahedron PH2NG7N086
| URI | m2://inv/PH2NG7N086 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864472, truncated tetrahedron (object). Also MathWorld TruncatedTetrahedron
- wikipedia: Wikipedia Truncated tetrahedron, Truncated tetrahedron (definition). Also Wikidata Q864472
History
- 2026-10-26: add by m2/dev
PH2VRKZ7KJ PH2VRKZ7KJ
| URI | m2://inv/PH2VRKZ7KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.1307#MCDD (statement). In TP09MNWY6B/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Vincenzo Brunacci PH33AZD7H2
| URI | m2://inv/PH33AZD7H2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincenzo Brunacci, Vincenzo Brunacci (topic). Also Wikidata Q2268975
History
- 2026-11-02: add by m2/dev
Weighted prime sums PH34696YJM
| URI | m2://inv/PH34696YJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29748#YDRE, Weighted prime sums (statement)
History
- 2026-11-01: add by m2/v0.6.15
David Harbater PH3HVKRM5J
| URI | m2://inv/PH3HVKRM5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QH5I, David Harbater (topic)
History
- 2026-11-02: add by m2/dev
PH3PE81CDT PH3PE81CDT
| URI | m2://inv/PH3PE81CDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17070#8SNS (statement). In W3G9Z9B32N/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
PH3QD2J9S8 PH3QD2J9S8
| URI | m2://inv/PH3QD2J9S8 |
|---|---|
| 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.03555#KF2C (statement). In 9JZJTRRVR1/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Gödel's ontological proof PH3QDYA0ZT
| URI | m2://inv/PH3QDYA0ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's ontological proof, Gödel's ontological proof (definition). Also Wikidata Q598840
History
- 2026-11-02: add by m2/dev
variance PH3QE9X2SG
| URI | m2://inv/PH3QE9X2SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Variance 0477R9PYAE |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > variance of a real-valued random variable, variance of a real-valued random variable (unknown). Also Mathlib ProbabilityTheory.variance
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > variance of a real-valued random variable, variance of a real-valued random variable (unknown). Also Mathlib ProbabilityTheory.variance
- wikidata: Wikidata Q175199, variance (unknown). Also Mathlib ProbabilityTheory.variance, MathWorld Variance
- wikipedia: Wikipedia Variance, Variance (definition). Also Wikidata Q175199
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
PH3QF62G0D PH3QF62G0D
| URI | m2://inv/PH3QF62G0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#I1UC (statement)
History
- 2026-11-01: add by m2/v0.6.15
PH3VASR7QD PH3VASR7QD
| URI | m2://inv/PH3VASR7QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#FJ36 (statement). In 9ZD87293QS/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.0
PH3VY47HBB PH3VY47HBB
| URI | m2://inv/PH3VY47HBB |
|---|---|
| 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 2402.05268#BC9X (statement). In MQZC12P7SA/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
hypohamiltonian graph PH46GKCS0F
| URI | m2://inv/PH46GKCS0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115577, hypohamiltonian graph (unknown). Also MathWorld HypohamiltonianGraph
- wikipedia: Wikipedia Hypohamiltonian graph, Hypohamiltonian graph (definition). Also Wikidata Q3115577
History
- 2026-10-26: add by m2/dev
Alexey Lyapunov PH4HX6WS6A
| URI | m2://inv/PH4HX6WS6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexey Lyapunov, Alexey Lyapunov (topic). Also Wikidata Q2008444
History
- 2026-11-02: add by m2/dev
Local window and identification PH4J2TSJQP
| URI | m2://inv/PH4J2TSJQP |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05864#SW7J, Local window and identification (unknown). In 31QPXWDZSH/e1, unknown A4
History
- 2026-10-29: add by m2/v0.4.10
PH4KTZH8EC PH4KTZH8EC
| URI | m2://inv/PH4KTZH8EC |
|---|---|
| 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#RR3A (statement). In E7W2HDNEKJ/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
Stationary Gaussian autoregressions PH4NA0GC6R
| URI | m2://inv/PH4NA0GC6R |
|---|---|
| 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.20772#6PXZ, Stationary Gaussian autoregressions (statement)
History
- 2026-11-02: add by m2/v0.6.18
Victor Norris Hamilton PH4PJ72K2X
| URI | m2://inv/PH4PJ72K2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Norris Hamilton, Victor Norris Hamilton (topic). Also Wikidata Q7926197
History
- 2026-11-02: add by m2/dev
Robert Kowalski PH4X8QMTGJ
| URI | m2://inv/PH4X8QMTGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Kowalski, Robert Kowalski (topic). Also Wikidata Q3490465
History
- 2026-11-02: add by m2/dev
PH50B5K747 PH50B5K747
| URI | m2://inv/PH50B5K747 |
|---|---|
| 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.20259#N3KM (statement). In VHNRE38D97/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
total, relation PH56K9VFB6
| URI | m2://inv/PH56K9VFB6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/total-relation, total, relation (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Martin Löb PH5BAPGYVD
| URI | m2://inv/PH5BAPGYVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#TD28, Martin Löb (topic)
History
- 2026-11-02: add by m2/dev
PH5DT65JJF PH5DT65JJF
| URI | m2://inv/PH5DT65JJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18084#W953 (statement). In PKPT8NY665/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Carrier criterion PH5FT9NVBF
| URI | m2://inv/PH5FT9NVBF |
|---|---|
| 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.14446#FJ71, Carrier criterion (statement). In AWRXXZR673/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
PH5G2F8JQ4 PH5G2F8JQ4
| URI | m2://inv/PH5G2F8JQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#WWHJ (statement). In 13GSWBXPCM/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
PH5HH3HVQM PH5HH3HVQM
| URI | m2://inv/PH5HH3HVQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem-1 (statement). In N54F33XE07, lem, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
PH5HR3AT21 PH5HR3AT21
| URI | m2://inv/PH5HR3AT21 |
|---|---|
| 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 1002.0879#IQWG (statement). In M0SQY5EZN5/e1, theorem 5.3.7
History
- 2026-10-27: add by m2/v0.3.5
Hemicompact PH5K3EZ59V
| URI | m2://inv/PH5K3EZ59V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#1TND, Hemicompact (definition)
History
- 2026-11-02: add by m2/dev
polygon of 65537 sides PH5M95WS7D
| URI | m2://inv/PH5M95WS7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#0Q4U, polygon of 65537 sides (definition)
History
- 2026-11-02: add by m2/dev
PH5TPE8YMC PH5TPE8YMC
| URI | m2://inv/PH5TPE8YMC |
|---|---|
| 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 2001.10234#9PMX (statement). In YYZHNNJR1P/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
PH5TXCMXYM PH5TXCMXYM
| URI | m2://inv/PH5TXCMXYM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-21 (proof). In N54F33XE07, proof, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Telescopic localization PH5X74RECJ
| URI | m2://inv/PH5X74RECJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#D8R1, Telescopic localization (definition). In TB1294GY5X/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.4.2
PH5Y6T0Q9B PH5Y6T0Q9B
| URI | m2://inv/PH5Y6T0Q9B |
|---|---|
| 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.16785#GBO4 (statement). In SXQQZ2MYKV/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
PH5YVB56BJ PH5YVB56BJ
| URI | m2://inv/PH5YVB56BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#EGS1 (statement). In FTEA0TM35J/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
PH649YEX41 PH649YEX41
| URI | m2://inv/PH649YEX41 |
|---|---|
| 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.08288#QNPR (statement). In CHVWYJM7RM/e1, lemma 4.21
History
- 2026-10-29: add by m2/v0.4.10
Ramsey's theorem PH65Q5VQCQ
| URI | m2://inv/PH65Q5VQCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Ramsey's theorem 00TQV3F5S4 |
Mentions
- mathlib_1000: mathlib_1000 Q918099, Ramsey's theorem (statement). Also Wikidata Q918099
- thousand_plus: thousand_plus Q918099, Ramsey's theorem (statement). Also Wikidata Q918099, Wikipedia Ramsey's theorem
- wikidata: Wikidata Q918099, Ramsey's theorem (statement). Also EoM Ramsey_theorem, MathWorld RamseysTheorem
- wikipedia: Wikipedia Ramsey's theorem, Ramsey's theorem (statement). Also Wikidata Q918099
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Model-relative Blackwell order PH6DWQ7QGK
| URI | m2://inv/PH6DWQ7QGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29348#VTQD, Model-relative Blackwell order (definition)
History
- 2026-11-01: add by m2/v0.6.15
Frank Proschan PH6W99TRKB
| URI | m2://inv/PH6W99TRKB |
|---|---|
| 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#7QC6, Frank Proschan (topic)
History
- 2026-11-02: add by m2/dev
GES on $\mathcal{D}$ PH6X5D6SV6
| URI | m2://inv/PH6X5D6SV6 |
|---|---|
| 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.24192#CXGQ, GES on $\mathcal{D}$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
PH6Y4QCJ47 PH6Y4QCJ47
| URI | m2://inv/PH6Y4QCJ47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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.17769#E2OK (statement). In 8GHQYNQW9Q/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
PH6YKXTQBJ PH6YKXTQBJ
| URI | m2://inv/PH6YKXTQBJ |
|---|---|
| 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.16554#QHUD (statement). In GWNT8HEZG1/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.6
Inversive geometry PH71F05C7H
| URI | m2://inv/PH71F05C7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WL9Z, Inversive geometry (definition)
History
- 2026-11-02: add by m2/dev
Moser's trick PH7334EQ5A
| URI | m2://inv/PH7334EQ5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser's trick, Moser's trick (definition). Also Wikidata Q3333609
History
- 2026-11-02: add by m2/dev
Diffraction measure of an equivariant kernel DPP PH75713FVM
| URI | m2://inv/PH75713FVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2503.01567#OVSW, Diffraction measure of an equivariant kernel DPP (statement). In GB0V23Q6C5/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.3.5
PH764M0M5M PH764M0M5M
| URI | m2://inv/PH764M0M5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#bvp:orthogonaleigen (statement). In E9HS8K3A52, theorem, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Question under discussion PH769G8VVA
| URI | m2://inv/PH769G8VVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Question under discussion, Question under discussion (definition). Also Wikidata Q106074169
History
- 2026-11-02: add by m2/dev
Fresnel diffraction PH7QEBK360
| URI | m2://inv/PH7QEBK360 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel diffraction, Fresnel diffraction (definition). Also Wikidata Q2286895
History
- 2026-11-02: add by m2/dev
Morphism of algebraic varieties PH7V0EN7V2
| URI | m2://inv/PH7V0EN7V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties, Morphism of algebraic varieties (definition). Also Wikidata Q7309604
History
- 2026-11-02: add by m2/dev
Ray Manzarek PH7V6X36X9
| URI | m2://inv/PH7V6X36X9 |
|---|---|
| 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#IUFV, Ray Manzarek (unknown)
History
- 2026-11-02: add by m2/dev
PH803945FR PH803945FR
| URI | m2://inv/PH803945FR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.08382#OEP2 (definition). In GYMGDQS25R/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.10
PH8BMKRKWE PH8BMKRKWE
| URI | m2://inv/PH8BMKRKWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#EVFZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Five lemma PH8F4BJ233
| URI | m2://inv/PH8F4BJ233 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#Z69G, Five lemma (statement)
- wikipedia: Wikipedia List of mathematical proofs#X2BU, Five lemma (statement)
- wikipedia: Wikipedia List of lemmas#FRKP, Five lemma (statement)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of Bass–Serre theory PH8QVC5PHN
| URI | m2://inv/PH8QVC5PHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Serre theory#5OKZ, Fundamental theorem of Bass–Serre theory (statement)
History
- 2026-11-02: add by m2/dev
Zero crossing PH98T90MS3
| URI | m2://inv/PH98T90MS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero crossing, Zero crossing (definition). Also Wikidata Q462383
History
- 2026-11-02: add by m2/dev
Francesco Faà di Bruno PH9F0FVRMT
| URI | m2://inv/PH9F0FVRMT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#A7H9, Francesco Faà di Bruno (unknown)
History
- 2026-11-02: add by m2/dev
Walescki's theorem for hypergraphs PH9J1KR81E
| URI | m2://inv/PH9J1KR81E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#I1NF, Walescki's theorem for hypergraphs (definition)
History
- 2026-11-02: add by m2/dev
PH9K2Y97QK PH9K2Y97QK
| URI | m2://inv/PH9K2Y97QK |
|---|---|
| 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.35030#3UTJ (statement). In DPT4P2BTEW/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Victor Vâlcovici PH9KVNETC3
| URI | m2://inv/PH9KVNETC3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Vâlcovici, Victor Vâlcovici (topic). Also Wikidata Q18549117
History
- 2026-11-02: add by m2/dev
PH9NAG5EGY PH9NAG5EGY
| URI | m2://inv/PH9NAG5EGY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#9Q65 (definition). In E63NRC7MBE/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
PH9TREYSVA PH9TREYSVA
| URI | m2://inv/PH9TREYSVA |
|---|---|
| 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.02692#0GO2 (statement). In P482WJSQSN/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.12
Green's identities PH9V8QMFNB
| URI | m2://inv/PH9V8QMFNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Green's identities QDXXWA1QGF |
Mentions
- wikidata: Wikidata Q1544810, Green's identities (unknown). Also MathWorld GreensIdentities
- wikipedia: Wikipedia Green's identities, Green's identities (definition). Also Wikidata Q1544810
History
- 2026-10-26: add by m2/dev
Formal statement PHA0RACETR
| URI | m2://inv/PHA0RACETR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanna Neumann conjecture#U19P, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
PHA8G9E0TB PHA8G9E0TB
| URI | m2://inv/PHA8G9E0TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#2C56 (statement). In VVQ1FMTHXB/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
The admissible horizon PHA8HDB3T8
| URI | m2://inv/PHA8HDB3T8 |
|---|---|
| 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#YCNX, The admissible horizon (statement). In X5BYGZZHPF/e1, lemma G.7
History
- 2026-10-28: add by m2/v0.4.2
PHAER8HD3H PHAER8HD3H
| URI | m2://inv/PHAER8HD3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.3741#J41E (statement). In BBXEQ9QE7K/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
-adic conjecture PHAK0RJPRQ
| URI | m2://inv/PHAK0RJPRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#YT87, -adic conjecture (statement)
History
- 2026-11-02: add by m2/dev
Applications PHAKFNQXA8
| URI | m2://inv/PHAKFNQXA8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval edge coloring#M1VY, Applications (example)
History
- 2026-11-02: add by m2/dev
Mabel Minerva Young PHB1VB59GN
| URI | m2://inv/PHB1VB59GN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mabel Minerva Young, Mabel Minerva Young (topic). Also Wikidata Q79669189
History
- 2026-11-02: add by m2/dev
Examples PHB7CK1YS7
| URI | m2://inv/PHB7CK1YS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic method (combinatorics)#MWKF, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications PHB82YBV73
| URI | m2://inv/PHB82YBV73 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable distribution#BM8L, Applications (example)
History
- 2026-11-02: add by m2/dev
PHB8HSERCW PHB8HSERCW
| URI | m2://inv/PHB8HSERCW |
|---|---|
| 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 2306.08237#ZSA8 (statement). In E22A2MFR4Y/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.6
PHB9BZAW6J PHB9BZAW6J
| URI | m2://inv/PHB9BZAW6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12810#K3S3 (statement). In DR35633CPN/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
PHBC4C608G PHBC4C608G
| URI | m2://inv/PHBC4C608G |
|---|---|
| Kind | statement |
| 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#S640 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PHBMNZSGQW PHBMNZSGQW
| URI | m2://inv/PHBMNZSGQW |
|---|---|
| Kind | definition |
| 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.06541#CD5B (definition). In R604B78EVK/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
piecewise smooth boundary PHBMPZ5ZF5
| URI | m2://inv/PHBMPZ5ZF5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.6/piecewise-smooth-boundary, piecewise smooth boundary (concept). In E59CDZA4DP, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Chebyshev's sum inequality PHBZ7T1JAX
| URI | m2://inv/PHBZ7T1JAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#0KBG, Chebyshev's sum inequality (statement)
History
- 2026-11-02: add by m2/dev
PHC4B057HW PHC4B057HW
| URI | m2://inv/PHC4B057HW |
|---|---|
| Kind | definition |
| 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.18016#7CM9 (definition). In V5PVKDKGGG/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Rongwei Fu PHC4VRRGXV
| URI | m2://inv/PHC4VRRGXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rongwei Fu, Rongwei Fu (topic). Also Wikidata Q42739820
History
- 2026-11-02: add by m2/dev
Symmetric power, symmetric algebra PHC6AM6KFZ
| URI | m2://inv/PHC6AM6KFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#DWC0, Symmetric power, symmetric algebra (definition)
History
- 2026-11-02: add by m2/dev
PHCMTHHNYV PHCMTHHNYV
| URI | m2://inv/PHCMTHHNYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.17116#8B8M (statement). In A02X6MX28Y/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Morse theorem PHCSYBXZQ0
| URI | m2://inv/PHCSYBXZQ0 |
|---|---|
| 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 1303.4328#MIO9, Morse theorem (statement). In HCTYW6VH87/e1, proposition 9.2
History
- 2026-10-27: add by m2/v0.3.5
Box–Pierce test PHCT9QB3SV
| URI | m2://inv/PHCT9QB3SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IO1O, Box–Pierce test (definition)
History
- 2026-11-02: add by m2/dev
Brehon Law Commission PHCX8E40EB
| URI | m2://inv/PHCX8E40EB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Graves (bishop)#AOK7, Brehon Law Commission (statement)
History
- 2026-11-02: add by m2/dev
PHD25W7GF4 PHD25W7GF4
| URI | m2://inv/PHD25W7GF4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
PHD7KWDQXJ PHD7KWDQXJ
| URI | m2://inv/PHD7KWDQXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#2NTT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kempe chain PHD8NM80N6
| URI | m2://inv/PHD8NM80N6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6387048, Kempe chain (concept). Also MathWorld KempeChain
- wikipedia: Wikipedia Kempe chain, Kempe chain (definition). Also Wikidata Q6387048
History
- 2026-10-26: add by m2/dev
Batched sampling from a Laplace estimate PHDCJXTPQ0
| URI | m2://inv/PHDCJXTPQ0 |
|---|---|
| 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.14615#VMQP, Batched sampling from a Laplace estimate (statement). In 7D5MMP8XB5/e1, corollary 2.16
History
- 2026-10-28: add by m2/v0.4.2
Definition (Strong Set Order) PHDF1XYBKB
| URI | m2://inv/PHDF1XYBKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#XP9V, Definition (Strong Set Order) (definition)
History
- 2026-11-02: add by m2/dev
PHDHVR8B37 PHDHVR8B37
| URI | m2://inv/PHDHVR8B37 |
|---|---|
| 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.07508#GO9B (statement). In TPA3E67MKK/e1, proposition 7.7
History
- 2026-10-29: add by m2/v0.4.10
Dirac-Motzkin conjecture PHDNBSQ70E
| URI | m2://inv/PHDNBSQ70E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester–Gallai theorem#584A, Dirac-Motzkin conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Melanie Wall PHDPBQNZB5
| URI | m2://inv/PHDPBQNZB5 |
|---|---|
| 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#A417, Melanie Wall (topic)
History
- 2026-11-02: add by m2/dev
Douglas Conner Ravenel PHDW6EWZ0T
| URI | m2://inv/PHDW6EWZ0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K4TM, Douglas Conner Ravenel (topic)
History
- 2026-11-02: add by m2/dev
Synathroesmus PHDX3NESKM
| URI | m2://inv/PHDX3NESKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synathroesmus, Synathroesmus (definition). Also Wikidata Q140690652
History
- 2026-11-02: add by m2/dev
PHE0GW15HZ PHE0GW15HZ
| URI | m2://inv/PHE0GW15HZ |
|---|---|
| Kind | example |
| 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 2404.18704#TJL5 (example). In T4MQVXFGWC/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
Stiff equation PHE4KVKSZ1
| URI | m2://inv/PHE4KVKSZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stiff equation, Stiff equation (definition). Also Wikidata Q29744
History
- 2026-11-02: add by m2/dev
Snaith's theorem PHE67W9MK9
| URI | m2://inv/PHE67W9MK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JNIK, Snaith's theorem (statement)
History
- 2026-11-02: add by m2/dev
Uban number PHE8D4P950
| URI | m2://inv/PHE8D4P950 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336340, Uban number (object). Also MathWorld UbanNumber, OEIS A089590
History
- 2026-10-26: add by m2/dev
Maria Aparecida Soares Ruas PHECWB7QTW
| URI | m2://inv/PHECWB7QTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Aparecida Soares Ruas, Maria Aparecida Soares Ruas (topic). Also Wikidata Q102111974
History
- 2026-11-02: add by m2/dev
PHEG2JXGT0 PHEG2JXGT0
| URI | m2://inv/PHEG2JXGT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#Q1AQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Discrete transform PHEHRVCE4V
| URI | m2://inv/PHEHRVCE4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete transform, Discrete transform (definition). Also Wikidata Q5282065
History
- 2026-11-02: add by m2/dev
Almost stacked configurations on trees PHEM70V8QP
| URI | m2://inv/PHEM70V8QP |
|---|---|
| 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.09650#BJ3Y, Almost stacked configurations on trees (statement). In 628KM8869P/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
Dependent polynomial functor PHEME1605Z
| URI | m2://inv/PHEME1605Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Container (type theory)#FP63, Dependent polynomial functor (unknown)
History
- 2026-11-02: add by m2/dev
Igor Khavkine PHES42VYDM
| URI | m2://inv/PHES42VYDM |
|---|---|
| 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 Q64007986, Igor Khavkine (unknown). Also nLab Igor Khavkine
History
- 2026-10-26: add by m2/dev
Matroid intersection PHEVK3JX8F
| URI | m2://inv/PHEVK3JX8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid intersection, Matroid intersection (definition). Also Wikidata Q6787903
History
- 2026-11-02: add by m2/dev
*{Lemma 3.3 PHEZKWV6G6
| URI | m2://inv/PHEZKWV6G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#1X9C, *{Lemma 3.3 (statement). In 371P9QASSJ/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
PHF3CFNCF5 PHF3CFNCF5
| URI | m2://inv/PHF3CFNCF5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-5 (example). In E59CDZA4DP, example, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
PHF6092G4S PHF6092G4S
| URI | m2://inv/PHF6092G4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:holvectmap (statement). In VNMV985MXX, prop, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
PHF6HKVR2N PHF6HKVR2N
| URI | m2://inv/PHF6HKVR2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#TNL3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
PHF7R3QZNG PHF7R3QZNG
| URI | m2://inv/PHF7R3QZNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#0S12 (statement). In FV78KV64B9/e1, theorem 9.6
History
- 2026-10-27: add by m2/v0.4.2
George Marinescu PHFBG4Z7EJ
| URI | m2://inv/PHFBG4Z7EJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Marinescu (mathematician), George Marinescu (topic). Also Wikidata Q67092146
History
- 2026-11-02: add by m2/dev
PHFXZF5JRC PHFXZF5JRC
| URI | m2://inv/PHFXZF5JRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.03909#ZLTT (statement). In WWFAVFGPQQ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Unique prime PHG7K8E5G9
| URI | m2://inv/PHG7K8E5G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#H005, Unique prime (definition)
History
- 2026-11-02: add by m2/dev
PHGEYQJNE9 PHGEYQJNE9
| URI | m2://inv/PHGEYQJNE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#2WC0 (statement). In DG9TF5X0EG/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.0
linear PHGHB4NH1R
| URI | m2://inv/PHGHB4NH1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#CGQY, linear (definition)
History
- 2026-11-02: add by m2/dev
SHAZAM (Econometrics and Statistics Software) PHGQPP56KG
| URI | m2://inv/PHGQPP56KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#V1DK, SHAZAM (Econometrics and Statistics Software) (definition)
History
- 2026-11-02: add by m2/dev
Antonio Cagnoli PHGW9GB4CH
| URI | m2://inv/PHGW9GB4CH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Cagnoli, Antonio Cagnoli (topic). Also Wikidata Q601082
History
- 2026-11-02: add by m2/dev
Bryna Kra PHH4F3Q142
| URI | m2://inv/PHH4F3Q142 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BC7F, Bryna Kra (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5BVM, Bryna Kra (topic)
History
- 2026-11-02: add by m2/dev
Francis B. Wai PHHG5FHC5X
| URI | m2://inv/PHHG5FHC5X |
|---|---|
| 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#49UU, Francis B. Wai (unknown)
History
- 2026-11-02: add by m2/dev
metalogic PHHM3N0TCY
| URI | m2://inv/PHHM3N0TCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#07BH, metalogic (definition)
History
- 2026-11-02: add by m2/dev
DR and KKT encoding PHHT417THH
| URI | m2://inv/PHHT417THH |
|---|---|
| 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.20270#PGJA, DR and KKT encoding (statement). In GV0QGZH67P/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.4.2
Alexander Evensohn PHJARFM8W9
| URI | m2://inv/PHJARFM8W9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#9N6X, Alexander Evensohn (unknown)
History
- 2026-11-02: add by m2/dev
PHJBQ7DP9T PHJBQ7DP9T
| URI | m2://inv/PHJBQ7DP9T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Properties of one iteration PHJJQ3ABJN
| URI | m2://inv/PHJJQ3ABJN |
|---|---|
| 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#VGAY, Properties of one iteration (statement). In ZZER8ZBSCR/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
PHJSV1RJH6 PHJSV1RJH6
| URI | m2://inv/PHJSV1RJH6 |
|---|---|
| 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 2604.23212#GPMC (statement). In 4X12V9RS0D/e1, corollary F.1
History
- 2026-10-27: add by m2/v0.3.5
PHJW48ZWXV PHJW48ZWXV
| URI | m2://inv/PHJW48ZWXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21532#8I0Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
PHK4WE8ER1 PHK4WE8ER1
| URI | m2://inv/PHK4WE8ER1 |
|---|---|
| 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.21501#LGYJ (statement). In 1H64QT301C/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.2
Reactance PHK69W09Y1
| URI | m2://inv/PHK69W09Y1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#IZTU, Reactance (unknown)
History
- 2026-11-02: add by m2/dev
Rigidity theorems PHK7EKQTGV
| URI | m2://inv/PHK7EKQTGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#UAQS, Rigidity theorems (statement)
History
- 2026-11-02: add by m2/dev
PHK8TTBSS2 PHK8TTBSS2
| URI | m2://inv/PHK8TTBSS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21717#ZQHO (statement). In CE603VK92S/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Transverse mode PHK9DCW8SR
| URI | m2://inv/PHK9DCW8SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transverse mode, Transverse mode (definition). Also Wikidata Q597069
History
- 2026-11-02: add by m2/dev
Moments of Gaussian quadratic forms PHKC1EE7D2
| URI | m2://inv/PHKC1EE7D2 |
|---|---|
| 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.10080#9P1Q, Moments of Gaussian quadratic forms (statement). In N6EBNRZCYX/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Definitions PHKC2D7JKQ
| URI | m2://inv/PHKC2D7JKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular numerical predicate#1HM3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Minimal surface PHKG3CP515
| URI | m2://inv/PHKG3CP515 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#OLCN, Minimal surface (definition)
History
- 2026-11-02: add by m2/dev
PHKT7N1496 PHKT7N1496
| URI | m2://inv/PHKT7N1496 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22296#VR6L (statement)
History
- 2026-11-02: add by m2/v0.6.17
PHKXNEK6C0 PHKXNEK6C0
| URI | m2://inv/PHKXNEK6C0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-17 (proof). In E59CDZA4DP, proof, section 11.3.1
History
- 2026-11-01: add by m2/v0.6.13
PHM34HKMX7 PHM34HKMX7
| URI | m2://inv/PHM34HKMX7 |
|---|---|
| Kind | example |
| 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.09810#FFW3 (example). In B6PCH930FV/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
Virgilio Trettenero PHM6FT9NCW
| URI | m2://inv/PHM6FT9NCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#YR04, Virgilio Trettenero (unknown)
History
- 2026-11-02: add by m2/dev
coalgebra PHM8DH9WMF
| URI | m2://inv/PHM8DH9WMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#7QJQ, coalgebra (definition). In 9ZSNSJRJ5N/e1, definition 11
History
- 2026-10-27: add by m2/v0.4.2
Minimal obstruction, $d=k=1$ PHMFX6MTXB
| URI | m2://inv/PHMFX6MTXB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.27966#Q97W, Minimal obstruction, $d=k=1$ (example)
History
- 2026-11-01: add by m2/v0.6.15
PHMNG8B4Z2 PHMNG8B4Z2
| URI | m2://inv/PHMNG8B4Z2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#example-3 (example). In E9HS8K3A52, example, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
PHMT3XJVRB PHMT3XJVRB
| URI | m2://inv/PHMT3XJVRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#UY1P (statement). In 7ZBQ8WGQVB/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
Golden–Thompson inequality PHMVG1FPYB
| URI | m2://inv/PHMVG1FPYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#6541, Golden–Thompson inequality (statement)
History
- 2026-11-02: add by m2/dev
Order-six periodicity and the geometry of $\M$ PHN3H41Q5A
| URI | m2://inv/PHN3H41Q5A |
|---|---|
| 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.29839#U4JU, Order-six periodicity and the geometry of $\M$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Marginal onset PHN87TA629
| URI | m2://inv/PHN87TA629 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#EAL7, Marginal onset (statement). In 2Y47E704Z9/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Steiner's problem PHNA8CDA53
| URI | m2://inv/PHNA8CDA53 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2912089, Steiner's problem (problem). Also MathWorld SteinersProblem
History
- 2026-10-26: add by m2/dev
PHNC2MN0WF PHNC2MN0WF
| URI | m2://inv/PHNC2MN0WF |
|---|---|
| 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.16203#24HV (statement). In 43TBS9P2PX/e1, corollary 3.12
History
- 2026-10-28: add by m2/v0.4.2
Voronin's universality theorem PHNP5P27P9
| URI | m2://inv/PHNP5P27P9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Mikhailovitch Voronin#3S2R, Voronin's universality theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic properties PHNTDBDCAY
| URI | m2://inv/PHNTDBDCAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#L5MW, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Generalizations PHNZN3KCT2
| URI | m2://inv/PHNZN3KCT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillation (mathematics)#AB2B, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Nakagami distribution PHP28EGBJ4
| URI | m2://inv/PHP28EGBJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WTX9, Nakagami distribution (definition)
History
- 2026-11-02: add by m2/dev
PHP341EGW4 PHP341EGW4
| URI | m2://inv/PHP341EGW4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-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.24701#56SW (definition)
History
- 2026-11-01: add by m2/v0.6.15
pole and polar PHP70HN339
| URI | m2://inv/PHP70HN339 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1751490, pole and polar (unknown). Also MathWorld Polar
- wikipedia: Wikipedia Pole and polar, Pole and polar (definition). Also Wikidata Q1751490
History
- 2026-10-26: add by m2/dev
PHP937ZJVQ PHP937ZJVQ
| URI | m2://inv/PHP937ZJVQ |
|---|---|
| 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.29925#ZU9R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hans Przibram PHPDTDYZH7
| URI | m2://inv/PHPDTDYZH7 |
|---|---|
| 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#01UE, Hans Przibram (unknown)
History
- 2026-11-02: add by m2/dev
PHPGRQ2DDJ PHPGRQ2DDJ
| URI | m2://inv/PHPGRQ2DDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#NBLX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples PHPMB2QVQG
| URI | m2://inv/PHPMB2QVQG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falsifiability#4704, Examples (example)
History
- 2026-11-02: add by m2/dev
Rado graph PHPMKMDQDV
| URI | m2://inv/PHPMKMDQDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rado graph, Rado graph (definition). Also Wikidata Q7281501
History
- 2026-11-02: add by m2/dev
Rank Growth PHPQ8YBCXK
| URI | m2://inv/PHPQ8YBCXK |
|---|---|
| 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.10452#YEEX, Rank Growth (statement). In 2F4PNP1V3B/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
continuous functor PHPQJH2HZM
| URI | m2://inv/PHPQJH2HZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140156619, continuous functor (unknown). Also nLab continuous functor, nLab preserved limit
History
- 2026-10-26: add by m2/dev
PHPXJ8JRWN PHPXJ8JRWN
| URI | m2://inv/PHPXJ8JRWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-19 (example). In E59CDZA4DP, example, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
Root separation and a support bound PHQ4957XQY
| URI | m2://inv/PHQ4957XQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#4UQC, Root separation and a support bound (statement). In FDDA562VCA/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
K. R. Parthasarathy (probabilist) PHQ701NMXH
| URI | m2://inv/PHQ701NMXH |
|---|---|
| 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#WEQD, K. R. Parthasarathy (probabilist) (unknown)
History
- 2026-11-02: add by m2/dev
Foundations of the Theory of Probability PHQ8CJMH31
| URI | m2://inv/PHQ8CJMH31 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrey Kolmogorov#49VT, Foundations of the Theory of Probability (unknown)
History
- 2026-11-02: add by m2/dev
Michio Jimbo PHQC3M795C
| URI | m2://inv/PHQC3M795C |
|---|---|
| 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 Q451211, Michio Jimbo (unknown). Also nLab Michio Jimbo
- wikipedia: Wikipedia Michio Jimbo, Michio Jimbo (topic). Also Wikidata Q451211
History
- 2026-10-26: add by m2/dev
PHQKMMVEC6 PHQKMMVEC6
| URI | m2://inv/PHQKMMVEC6 |
|---|---|
| Kind | problem |
| 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.21016#0BLH (problem)
History
- 2026-11-02: add by m2/v0.6.18
Gerald Teschl PHQZK1AD43
| URI | m2://inv/PHQZK1AD43 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5KZA, Gerald Teschl (topic)
History
- 2026-11-02: add by m2/dev
Map folding PHR2B8M37Q
| URI | m2://inv/PHR2B8M37Q |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#0SPO, Map folding (conjecture)
History
- 2026-11-02: add by m2/dev
Deletion–contraction formula PHR48PD49Q
| URI | m2://inv/PHR48PD49Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deletion–contraction formula, Deletion–contraction formula (statement). Also Wikidata Q65067058
History
- 2026-11-02: add by m2/dev
Examples PHR4DXMJRA
| URI | m2://inv/PHR4DXMJRA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second quantization#79O4, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications PHR5MQW01H
| URI | m2://inv/PHR5MQW01H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic travelling wave#R2SF, Applications (example)
History
- 2026-11-02: add by m2/dev
PHR7YQ063A PHR7YQ063A
| URI | m2://inv/PHR7YQ063A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33775#H4IB (statement). In VVQ1FMTHXB/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Hendecagon PHR8W1RJBP
| URI | m2://inv/PHR8W1RJBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0VIR, Hendecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#UZ4M, Hendecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NCPJ, Hendecagon (definition)
History
- 2026-11-02: add by m2/dev
Schur test PHRHRF8NFX
| URI | m2://inv/PHRHRF8NFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur test, Schur test (definition). Also Wikidata Q4456448
History
- 2026-11-02: add by m2/dev
Berlin procedure PHRM83TFY9
| URI | m2://inv/PHRM83TFY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlin procedure, Berlin procedure (definition). Also Wikidata Q821841
History
- 2026-11-02: add by m2/dev
Augmented Reality Sandtable PHRXA0C07T
| URI | m2://inv/PHRXA0C07T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Reality Sandtable, Augmented Reality Sandtable (definition). Also Wikidata Q56275922
History
- 2026-11-02: add by m2/dev
PHRZJGSMHK PHRZJGSMHK
| URI | m2://inv/PHRZJGSMHK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-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.16541#CJ2W (definition). In D0XH7W96T3/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Applications PHS0BJX705
| URI | m2://inv/PHS0BJX705 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signcryption#1ZV8, Applications (example)
History
- 2026-11-02: add by m2/dev
The deletion configurations are rigid PHS904WQQ3
| URI | m2://inv/PHS904WQQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#BI6L, The deletion configurations are rigid (statement)
History
- 2026-11-01: add by m2/v0.6.15
Caroline Uhler PHSF1A0RMK
| URI | m2://inv/PHSF1A0RMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caroline Uhler, Caroline Uhler (topic). Also Wikidata Q59654473
History
- 2026-11-02: add by m2/dev
Gauge identities PHSHRZAQPP
| URI | m2://inv/PHSHRZAQPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#ZUMB, Gauge identities (statement). In P3RTT99C41/e1, lemma C.9
History
- 2026-10-30: add by m2/v0.4.12
Multi-mode Sobolev-preserving QMS PHSXP93PC8
| URI | m2://inv/PHSXP93PC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01669#DZO6, Multi-mode Sobolev-preserving QMS (definition). In 41AVNP6DJ9/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
PHSXPXB7FD PHSXPXB7FD
| URI | m2://inv/PHSXPXB7FD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#J4ZN (definition)
History
- 2026-11-01: add by m2/v0.6.15
PHT08SMRRJ PHT08SMRRJ
| URI | m2://inv/PHT08SMRRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#MXZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heat-bath and regularised heat-bath samplers PHT3M1DPGF
| URI | m2://inv/PHT3M1DPGF |
|---|---|
| Kind | definition |
| 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#TOKX, Heat-bath and regularised heat-bath samplers (definition). In 14AMXF6X2V/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
PHT4ZEHPBD PHT4ZEHPBD
| URI | m2://inv/PHT4ZEHPBD |
|---|---|
| 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 2502.08738#RJSP (example). In 9GMTVSTAVN/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
PHT7ZVAMTF PHT7ZVAMTF
| URI | m2://inv/PHT7ZVAMTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29262#ZCJI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional expectation PHTNH0MQA1
| URI | m2://inv/PHTNH0MQA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#30R4, Conditional expectation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bevan point PHV0BEDHHS
| URI | m2://inv/PHV0BEDHHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q851513, Bevan point (unknown). Also MathWorld BevanPoint
- wikipedia: Wikipedia Bevan point, Bevan point (definition). Also Wikidata Q851513
History
- 2026-10-26: add by m2/dev
Arthur Stanley Eddington PHV0Q4A6E2
| URI | m2://inv/PHV0Q4A6E2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#DJFN, Arthur Stanley Eddington (unknown)
History
- 2026-11-02: add by m2/dev
Continuous linear extension PHV2AGRX5D
| URI | m2://inv/PHV2AGRX5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous linear extension, Continuous linear extension (definition). Also Wikidata Q4503552
History
- 2026-11-02: add by m2/dev
Exceptional orthogonal projections PHV4ZJSBXX
| URI | m2://inv/PHV4ZJSBXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33365#WFFU, Exceptional orthogonal projections (statement). In MCXCMR7V0T/e1, corollary 9
History
- 2026-10-30: add by m2/v0.4.12
A priori estimate PHVB0P7FK6
| URI | m2://inv/PHVB0P7FK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A priori estimate, A priori estimate (definition). Also Wikidata Q4660961
History
- 2026-11-02: add by m2/dev
PHVEHBT9EN PHVEHBT9EN
| URI | m2://inv/PHVEHBT9EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.28552#L3UY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantum-$K$ expression PHVJJSMM1W
| URI | m2://inv/PHVJJSMM1W |
|---|---|
| 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.10828#JOOL, Quantum-$K$ expression (statement). In 8PTDFHV8SQ/e1, theorem 14.9
History
- 2026-10-28: add by m2/v0.4.3
PHVSHAW531 PHVSHAW531
| URI | m2://inv/PHVSHAW531 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#VPFQ (definition). In F6C80AEXC1/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
PHVVAQPHBH PHVVAQPHBH
| URI | m2://inv/PHVVAQPHBH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#58WJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
PHVZVZ7H95 PHVZVZ7H95
| URI | m2://inv/PHVZVZ7H95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#NMAU (statement)
History
- 2026-11-01: add by m2/v0.6.15
DJ Vlad PHW4CJNT0P
| URI | m2://inv/PHW4CJNT0P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#JXU6, DJ Vlad (unknown)
History
- 2026-11-02: add by m2/dev
PHW4RQSVGE PHW4RQSVGE
| URI | m2://inv/PHW4RQSVGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#6EXY (statement). In A93R925Z24/e1, corollary 12.1
History
- 2026-10-30: add by m2/v0.4.12
PHWAMYXBQ3 PHWAMYXBQ3
| URI | m2://inv/PHWAMYXBQ3 |
|---|---|
| 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.29501#PPAD (statement)
History
- 2026-11-01: add by m2/v0.6.15
PHWJ5GR0GB PHWJ5GR0GB
| URI | m2://inv/PHWJ5GR0GB |
|---|---|
| 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.15460#44V0 (statement). In T2Z3D2VQ9B/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
Cours d'Analyse PHWQNK5S2D
| URI | m2://inv/PHWQNK5S2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16747603, Cours d'Analyse (unknown). Also nLab Cours d'Analyse
- wikipedia: Wikipedia Cours d'analyse, Cours d'analyse (definition). Also Wikidata Q16747603
History
- 2026-10-26: add by m2/dev
Theorem PHWVZNTMJC
| URI | m2://inv/PHWVZNTMJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bracket of vector fields#SB88, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Compound of five small rhombihexahedra PHX1VBVCRG
| URI | m2://inv/PHX1VBVCRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5TAV, Compound of five small rhombihexahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#DHQ1, Compound of five small rhombihexahedra (definition)
History
- 2026-11-02: add by m2/dev
Olli Lokki PHX3BF976T
| URI | m2://inv/PHX3BF976T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olli Lokki, Olli Lokki (topic). Also Wikidata Q17382283
History
- 2026-11-02: add by m2/dev
Twins and separated twins PHX41H64E4
| URI | m2://inv/PHX41H64E4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.08027#QMTH, Twins and separated twins (definition). In YF3CEQDXGQ/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.10
PHXAASGD6P PHXAASGD6P
| URI | m2://inv/PHXAASGD6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#8JB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PHXE4GYKZJ PHXE4GYKZJ
| URI | m2://inv/PHXE4GYKZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#4KOS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Area element PHXT2E6J1V
| URI | m2://inv/PHXT2E6J1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume element#N8CP, Area element (unknown)
History
- 2026-11-02: add by m2/dev
Homotopy invariance of radial blow-up PHXTV6N2CB
| URI | m2://inv/PHXTV6N2CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#JFN1, Homotopy invariance of radial blow-up (statement)
History
- 2026-11-01: add by m2/v0.6.15
Magidor forcing PHYTGYZMZT
| URI | m2://inv/PHYTGYZMZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#IOKT, Magidor forcing (unknown)
History
- 2026-11-02: add by m2/dev
logical machine PHYTHNAQPV
| URI | m2://inv/PHYTHNAQPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NFM2, logical machine (definition)
History
- 2026-11-02: add by m2/dev
PHYVZYTVGW PHYVZYTVGW
| URI | m2://inv/PHYVZYTVGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-2 (definition). In RZP28ERRZV, definition, section 25.2.1
History
- 2026-11-01: add by m2/v0.6.13
PHYWJ33289 PHYWJ33289
| URI | m2://inv/PHYWJ33289 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.20466#F2UP (statement). In M4ZVJWM8YA/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.4.2
Classical finitism PHYZ1ZBTS2
| URI | m2://inv/PHYZ1ZBTS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitism#5DPC, Classical finitism (unknown)
History
- 2026-11-02: add by m2/dev
Yiannis Sakellaridis PHZ0AHH2R8
| URI | m2://inv/PHZ0AHH2R8 |
|---|---|
| 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#E1E6, Yiannis Sakellaridis (unknown)
History
- 2026-11-02: add by m2/dev
Guido Torrigiani PHZ5XWVAMX
| URI | m2://inv/PHZ5XWVAMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guido Torrigiani, Guido Torrigiani (topic). Also Wikidata Q76544424
History
- 2026-11-02: add by m2/dev
Non-negative matrix factorization PHZ7K9XFRH
| URI | m2://inv/PHZ7K9XFRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BZTM, Non-negative matrix factorization (definition)
History
- 2026-11-02: add by m2/dev
PHZFDGG7G1 PHZFDGG7G1
| URI | m2://inv/PHZFDGG7G1 |
|---|---|
| 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.17759#XKSC (statement). In 7MWKMG2V8A/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
rational function PHZKZEJAFP
| URI | m2://inv/PHZKZEJAFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#GPPI, rational function (definition)
History
- 2026-11-02: add by m2/dev
PHZSQ3HGMW PHZSQ3HGMW
| URI | m2://inv/PHZSQ3HGMW |
|---|---|
| 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.03628#8KKU (statement). In P8KT6JV9N1/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.12
PHZTF6TSEV PHZTF6TSEV
| URI | m2://inv/PHZTF6TSEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31768#TUXZ (statement). In WC7ZECEE3P/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6