Inventory rows H2
The cards of the rows of the inventory whose ids start with H2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Examples H200P0QNWH
| URI | m2://inv/H200P0QNWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximation property#D2WQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Well-definedness and descent H20HC7Y2PZ
| URI | m2://inv/H20HC7Y2PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39736#0248, Well-definedness and descent (statement). In BB1XJ47PVW/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
H20KCA7JDC H20KCA7JDC
| URI | m2://inv/H20KCA7JDC |
|---|---|
| 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.37026#VRDH (statement). In QGZPH9W8GY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Two-point function as a spin correlation H20WFMQDCS
| URI | m2://inv/H20WFMQDCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#DQJX, Two-point function as a spin correlation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations H20Y68BGMT
| URI | m2://inv/H20Y68BGMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AM–GM inequality#181M, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Non-uniqueness H21AAW06GR
| URI | m2://inv/H21AAW06GR |
|---|---|
| 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#3AJ2, Non-uniqueness (statement). In P3RTT99C41/e1, proposition 9.6
History
- 2026-10-30: add by m2/v0.4.12
SSM loss gradient second-moment constant H21B9DVTZZ
| URI | m2://inv/H21B9DVTZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02659#7C87, SSM loss gradient second-moment constant (statement). In EV933413SJ/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
Jacqueline Naze Tjøtta H21RT0KAA7
| URI | m2://inv/H21RT0KAA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacqueline Naze Tjøtta, Jacqueline Naze Tjøtta (topic). Also Wikidata Q17112464
History
- 2026-11-02: add by m2/dev
Gerhard Huisken H21SZK6Y4W
| URI | m2://inv/H21SZK6Y4W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WQPB, Gerhard Huisken (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2BT7, Gerhard Huisken (topic)
History
- 2026-11-02: add by m2/dev
H21X4A791H H21X4A791H
| URI | m2://inv/H21X4A791H |
|---|---|
| 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 2603.21971#JR0G (statement). In R6KSZ9H8CY/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
H221T0AA2Z H221T0AA2Z
| URI | m2://inv/H221T0AA2Z |
|---|---|
| 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#A659 (statement). In SXQQZ2MYKV/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
zonotopal class H226HKCCS4
| URI | m2://inv/H226HKCCS4 |
|---|---|
| Kind | definition |
| 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 2609.24917#A50V, zonotopal class (definition)
History
- 2026-11-01: add by m2/v0.6.15
H22D6WAGQF H22D6WAGQF
| URI | m2://inv/H22D6WAGQF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 35.5
History
- 2026-11-01: add by m2/v0.6.13
H22E00TQSA H22E00TQSA
| URI | m2://inv/H22E00TQSA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#W6RJ (problem). In REDG6QVHM3/e1, problem 6.10
History
- 2026-10-29: add by m2/v0.4.12
Constant function H22KF8K467
| URI | m2://inv/H22KF8K467 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#AEYS, Constant function (definition)
History
- 2026-11-02: add by m2/dev
direct image with compact support H231ME09WV
| URI | m2://inv/H231ME09WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5280341, direct image with compact support (unknown). Also nLab direct image with compact support
- wikipedia: Wikipedia Direct image with compact support, Direct image with compact support (definition). Also Wikidata Q5280341
History
- 2026-10-26: add by m2/dev
H231QNFK9D H231QNFK9D
| URI | m2://inv/H231QNFK9D |
|---|---|
| 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.23128#90XU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robert Scholtz H234GE1D0K
| URI | m2://inv/H234GE1D0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2BMZ, Robert Scholtz (unknown)
History
- 2026-11-02: add by m2/dev
List of things named after Alexander Grothendieck H2368QDBTE
| URI | m2://inv/H2368QDBTE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alexander Grothendieck, List of things named after Alexander Grothendieck (topic). Also Wikidata Q16999488
History
- 2026-11-02: add by m2/dev
H237K20V9R H237K20V9R
| URI | m2://inv/H237K20V9R |
|---|---|
| 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.35421#JGIK (statement). In KE8B8KMDJJ/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
H23CAD4AMD H23CAD4AMD
| URI | m2://inv/H23CAD4AMD |
|---|---|
| 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 2610.22218#J68Q (definition). In 338GKREFVP/e1, definition 9
History
- 2026-10-27: add by m2/v0.4.0
Nodal planes H244NQFVER
| URI | m2://inv/H244NQFVER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal point (optics)#9OPY, Nodal planes (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Murray MacRobert H24A4BWHGB
| URI | m2://inv/H24A4BWHGB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Murray MacRobert, Thomas Murray MacRobert (topic). Also Wikidata Q7792639
History
- 2026-11-02: add by m2/dev
The finite positive range H24YVHMQN2
| URI | m2://inv/H24YVHMQN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#SUJC, The finite positive range (statement). In X407M6WFNR/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
ultrametric space H250HT01XR
| URI | m2://inv/H250HT01XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ultrametric space A6DPR620B5 |
Mentions
- wikidata: Wikidata Q1897429, ultrametric space (unknown). Also MathWorld Ultrametric
- wikipedia: Wikipedia Ultrametric space, Ultrametric space (definition). Also Wikidata Q1897429
History
- 2026-10-26: add by m2/dev
Three hundred forty-seven H25A8SVZCG
| URI | m2://inv/H25A8SVZCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#O2AN, Three hundred forty-seven (unknown)
History
- 2026-11-02: add by m2/dev
William J. LeVeque H25B3CW9TX
| URI | m2://inv/H25B3CW9TX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William J. LeVeque, William J. LeVeque (topic). Also Wikidata Q2579699
History
- 2026-11-02: add by m2/dev
H25DX7ZN9W H25DX7ZN9W
| URI | m2://inv/H25DX7ZN9W |
|---|---|
| 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.02669#DINF (statement). In NSBSWH6XB4/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
H25KHYHT3T H25KHYHT3T
| URI | m2://inv/H25KHYHT3T |
|---|---|
| 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 2309.16041#FCLH (statement). In 2GD6NWJVRM/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Parovicenko's theorem H25XVHXBH3
| URI | m2://inv/H25XVHXBH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MUZS, Parovicenko's theorem (definition)
History
- 2026-11-02: add by m2/dev
countably generated H261RCDBBP
| URI | m2://inv/H261RCDBBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#LBKI, countably generated (definition)
History
- 2026-11-02: add by m2/dev
An exterior derivation identity H261S35PB2
| URI | m2://inv/H261S35PB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#TDNS, An exterior derivation identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
H262DX9VJ4 H262DX9VJ4
| URI | m2://inv/H262DX9VJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#GXLM (statement). In TSXBJB0EXK/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
School of Names H26443YCEV
| URI | m2://inv/H26443YCEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia School of Names, School of Names (definition). Also Wikidata Q61906
History
- 2026-11-02: add by m2/dev
Results H265ACS9SV
| URI | m2://inv/H265ACS9SV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod problem#SQZ1, Results (statement)
History
- 2026-11-02: add by m2/dev
Hume's dictum H26AXV1ZXK
| URI | m2://inv/H26AXV1ZXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metaphysical necessity#SY1W, Hume's dictum (unknown)
History
- 2026-11-02: add by m2/dev
Generalization H26Q018TTR
| URI | m2://inv/H26Q018TTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel polynomials#OP72, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Liquid crystal H26RNGR1WH
| URI | m2://inv/H26RNGR1WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liquid crystal, Liquid crystal (definition). Also Wikidata Q203989
History
- 2026-11-02: add by m2/dev
Patricia Campbell H2714203JT
| URI | m2://inv/H2714203JT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia Campbell, Patricia Campbell (topic). Also Wikidata Q61872896
History
- 2026-11-02: add by m2/dev
H278PQ6XEW H278PQ6XEW
| URI | m2://inv/H278PQ6XEW |
|---|---|
| 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.30302#33A2 (statement). In R6ABTE22G0/e1, lemma 13
History
- 2026-10-31: add by m2/v0.5.6
pound-force H27D28WJPW
| URI | m2://inv/H27D28WJPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1194225, pound-force (definition). Also ProofWiki Definition:FPS/Force/Pound_Force
History
- 2026-10-26: add by m2/dev
Open graph theorem H27QT5BHA1
| URI | m2://inv/H27QT5BHA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#23V7, Open graph theorem (statement)
History
- 2026-11-02: add by m2/dev
H27XR8M5PW H27XR8M5PW
| URI | m2://inv/H27XR8M5PW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
H280N7RPZK H280N7RPZK
| URI | m2://inv/H280N7RPZK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#MYYK (definition). In XGPZ0G9E1Q/e1, definition 6.8
History
- 2026-10-29: add by m2/v0.4.12
H280SGJAT4 H280SGJAT4
| URI | m2://inv/H280SGJAT4 |
|---|---|
| Kind | example |
| 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 2607.00323#3JKP (example). In BPRFEQY7W4/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.6
The near-critical class H28B2C492V
| URI | m2://inv/H28B2C492V |
|---|---|
| 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#0Y8P, The near-critical class (statement). In 2Y47E704Z9/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.10
Adolf Hurwitz H28J8K4J6G
| URI | m2://inv/H28J8K4J6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#NEOY, Adolf Hurwitz (topic)
History
- 2026-11-02: add by m2/dev
Peter Jagers H28K77Y5BB
| URI | m2://inv/H28K77Y5BB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Jagers, Peter Jagers (topic). Also Wikidata Q5826995
History
- 2026-11-02: add by m2/dev
H28Q3G6RGS H28Q3G6RGS
| URI | m2://inv/H28Q3G6RGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32946#PUUQ (statement). In 6AEBXNK614/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Kerrycroy Bay H28SA6YDFG
| URI | m2://inv/H28SA6YDFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#7KBO, Kerrycroy Bay (unknown)
History
- 2026-11-02: add by m2/dev
Passage of the nonlocal terms H28ZMYBYQ2
| URI | m2://inv/H28ZMYBYQ2 |
|---|---|
| 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.12387#XJLC, Passage of the nonlocal terms (statement). In 3Z0PRE77SY/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
H299FF08RT H299FF08RT
| URI | m2://inv/H299FF08RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:free-monoid (statement). In N54F33XE07, lem, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Statement H29ASV5S38
| URI | m2://inv/H29ASV5S38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four exponentials conjecture#0IM7, Statement (statement)
History
- 2026-11-02: add by m2/dev
H29E544ECZ H29E544ECZ
| URI | m2://inv/H29E544ECZ |
|---|---|
| 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.05459#YF7G (statement). In VYW16D089Y/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
H2A1VEBMDX H2A1VEBMDX
| URI | m2://inv/H2A1VEBMDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#LNY8 (statement). In XG3BJ2QXXP/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
Immanuel Bomze H2A26A138T
| URI | m2://inv/H2A26A138T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immanuel Bomze, Immanuel Bomze (topic). Also Wikidata Q6004593
History
- 2026-11-02: add by m2/dev
H2A538T34M H2A538T34M
| URI | m2://inv/H2A538T34M |
|---|---|
| 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.07370#50CV (statement). In Q94QXG67CK/e1, theorem III.2
History
- 2026-10-29: add by m2/v0.4.10
Disappearing ink H2A7RXHSWX
| URI | m2://inv/H2A7RXHSWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invisible ink#QSS8, Disappearing ink (unknown)
History
- 2026-11-02: add by m2/dev
H2A7S6BMB7 H2A7S6BMB7
| URI | m2://inv/H2A7S6BMB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#2ZYU (statement). In REDG6QVHM3/e1, theorem 4.15
History
- 2026-10-29: add by m2/v0.4.12
Glossary of category theory H2AA5GYSN2
| URI | m2://inv/H2AA5GYSN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory, Glossary of category theory (topic). Also Wikidata Q13635346
History
- 2026-11-02: add by m2/dev
Three Rivers, New Mexico H2ATVQ6EJ0
| URI | m2://inv/H2ATVQ6EJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NXOP, Three Rivers, New Mexico (unknown)
History
- 2026-11-02: add by m2/dev
Definition H2B8DN4END
| URI | m2://inv/H2B8DN4END |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#B6S6, Definition (definition)
History
- 2026-11-02: add by m2/dev
H2BAE5JQNK H2BAE5JQNK
| URI | m2://inv/H2BAE5JQNK |
|---|---|
| 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#K5HJ (statement). In GWNT8HEZG1/e1, lemma 4.25
History
- 2026-10-27: add by m2/v0.3.6
Revision theory H2BDBFKPDW
| URI | m2://inv/H2BDBFKPDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revision theory, Revision theory (definition). Also Wikidata Q25303894
History
- 2026-11-02: add by m2/dev
Yoneda embedding H2BJS0NF5W
| URI | m2://inv/H2BJS0NF5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoneda lemma#38S4, Yoneda embedding (unknown)
History
- 2026-11-02: add by m2/dev
Three Sisters (Australia) H2BKFNA407
| URI | m2://inv/H2BKFNA407 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9YZL, Three Sisters (Australia) (unknown)
History
- 2026-11-02: add by m2/dev
Witten conjecture H2BNDRQQ88
| URI | m2://inv/H2BNDRQQ88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8028565, Witten conjecture (conjecture). Also nLab Witten conjecture
- wikipedia: Wikipedia Witten conjecture, Witten conjecture (statement). Also Wikidata Q8028565
History
- 2026-10-26: add by m2/dev
Remark H2BS41ZYH3
| URI | m2://inv/H2BS41ZYH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#QMLQ, Remark (unknown)
History
- 2026-11-02: add by m2/dev
H2BSYPZRKV H2BSYPZRKV
| URI | m2://inv/H2BSYPZRKV |
|---|---|
| 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 2610.16178#TXUH (statement). In 698X5RE1AB/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
H2BT0WA6ES H2BT0WA6ES
| URI | m2://inv/H2BT0WA6ES |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_eulerham.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
A supplied initial coefficient H2CFPQY0HG
| URI | m2://inv/H2CFPQY0HG |
|---|---|
| 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.15202#QOGM, A supplied initial coefficient (statement). In X1FPG0KYBM/e1, corollary V.6
History
- 2026-10-28: add by m2/v0.4.2
Rogers's fixed-point theorem H2CK96GY2N
| URI | m2://inv/H2CK96GY2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#TJC6, Rogers's fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
H2CMJYDTPB H2CMJYDTPB
| URI | m2://inv/H2CMJYDTPB |
|---|---|
| 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.25307#9WI5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fractional anticlique H2CP5SCAFA
| URI | m2://inv/H2CP5SCAFA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#T9QP, Fractional anticlique (definition). In B6PCH930FV/e1, definition 18
History
- 2026-10-29: add by m2/v0.4.10
H2CPHMT2Y2 H2CPHMT2Y2
| URI | m2://inv/H2CPHMT2Y2 |
|---|---|
| Kind | definition |
| 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 2503.22636#X8MO (definition). In 2X2A6MT0QD/e1, definition 5.15
History
- 2026-10-27: add by m2/v0.3.5
H2CQCVTV09 H2CQCVTV09
| URI | m2://inv/H2CQCVTV09 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#24BR (definition)
History
- 2026-11-02: add by m2/v0.6.17
H2CQJK6F6D H2CQJK6F6D
| URI | m2://inv/H2CQJK6F6D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#QGWJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
H2CWX7BNFW H2CWX7BNFW
| URI | m2://inv/H2CWX7BNFW |
|---|---|
| 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 2610.20364#7N96 (definition). In 433NXYKPG3/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2
H2DBV47DBA H2DBV47DBA
| URI | m2://inv/H2DBV47DBA |
|---|---|
| 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.02484#CHM5 (statement). In D1V0MQZTFQ/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Czesław Olech H2DRTC6ZJR
| URI | m2://inv/H2DRTC6ZJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Czesław Olech, Czesław Olech (topic). Also Wikidata Q431842
History
- 2026-11-02: add by m2/dev
H2DRVEDNA1 H2DRVEDNA1
| URI | m2://inv/H2DRVEDNA1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 4
History
- 2026-11-01: add by m2/v0.6.13
H2E1EHMBMM H2E1EHMBMM
| URI | m2://inv/H2E1EHMBMM |
|---|---|
| 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#EL6C (statement). In PKPT8NY665/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Gudermannian function H2ECRZM22M
| URI | m2://inv/H2ECRZM22M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#P4O7, Gudermannian function (definition)
History
- 2026-11-02: add by m2/dev
H2EF684MAC H2EF684MAC
| URI | m2://inv/H2EF684MAC |
|---|---|
| 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 2409.17318#NSQO (definition). In 2P63T9MJ4P/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
H2EJXF3NYB H2EJXF3NYB
| URI | m2://inv/H2EJXF3NYB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#BIIE (definition)
History
- 2026-11-02: add by m2/v0.6.18
polyspherical coordinate system H2EK3029V2
| URI | m2://inv/H2EK3029V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-sphere#IO3N, polyspherical coordinate system (definition)
History
- 2026-11-02: add by m2/dev
Thomas Joannes Stieltjes H2EMZJFFAS
| URI | m2://inv/H2EMZJFFAS |
|---|---|
| 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 Q510916, Thomas Joannes Stieltjes (unknown). Also ProofWiki Mathematician:Thomas_Joannes_Stieltjes
- wikipedia: Wikipedia Thomas Joannes Stieltjes, Thomas Joannes Stieltjes (topic). Also Wikidata Q510916
History
- 2026-10-26: add by m2/dev
Klein quadric H2EW2DS887
| URI | m2://inv/H2EW2DS887 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Klein quadric 6WV71T5CK1 |
Mentions
- wikidata: Wikidata Q6420195, Klein quadric (unknown). Also nLab Klein quadric
- wikipedia: Wikipedia Klein quadric, Klein quadric (definition). Also Wikidata Q6420195
History
- 2026-10-26: add by m2/dev
two facts on curves H2EXH6QHYW
| URI | m2://inv/H2EXH6QHYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#C85R, two facts on curves (statement). In 1SPQ4J3AWY/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Example H2EY80SQ4Z
| URI | m2://inv/H2EY80SQ4Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-diagonal matrix#KCNU, Example (example)
History
- 2026-11-02: add by m2/dev
H2EYJ0A0WF H2EYJ0A0WF
| URI | m2://inv/H2EYJ0A0WF |
|---|---|
| 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 2112.05010#QO0A (definition). In 4SZNPS3Z00/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.6
H2F18QEC9V H2F18QEC9V
| URI | m2://inv/H2F18QEC9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#OVFN (statement). In XX1J2REXY2/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Largest-prime uniform positivity threshold H2F54BW6Z7
| URI | m2://inv/H2F54BW6Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#TYPK, Largest-prime uniform positivity threshold (statement). In P6FTXTV09Q/e1, theorem 5.11
History
- 2026-10-27: add by m2/v0.4.0
Implementations H2F9EY0SNP
| URI | m2://inv/H2F9EY0SNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric-key algorithm#POU1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Doob–Dynkin lemma H2FCCAC0V0
| URI | m2://inv/H2FCCAC0V0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#YCUJ, Doob–Dynkin lemma (unknown)
History
- 2026-11-02: add by m2/dev
H2FFKCRREP H2FFKCRREP
| URI | m2://inv/H2FFKCRREP |
|---|---|
| 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 2508.02432#ZA0B (statement). In B366ACYB37/e1, fact 1
History
- 2026-10-27: add by m2/v0.3.5
Continuum hypothesis H2FQ0T7BQ4
| URI | m2://inv/H2FQ0T7BQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Cantor#JTT7, Continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Definition H2FQCT7WPX
| URI | m2://inv/H2FQCT7WPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-space#H2L9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Valency of Finite Points H2FVP9MJ49
| URI | m2://inv/H2FVP9MJ49 |
|---|---|
| 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.28495#9FZU, Valency of Finite Points (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kuder–Richardson Formula 20 (KR-20) H2G2PJXCJD
| URI | m2://inv/H2G2PJXCJD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuder–Richardson formulas#WRSF, Kuder–Richardson Formula 20 (KR-20) (statement)
History
- 2026-11-02: add by m2/dev
H2GMP70D9K H2GMP70D9K
| URI | m2://inv/H2GMP70D9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.24610#4XFQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
H2GRFKCWKP H2GRFKCWKP
| URI | m2://inv/H2GRFKCWKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05730#K677 (statement). In KWX3Q669ES/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Housing affordability in anglophone countries H2GZ969T3H
| URI | m2://inv/H2GZ969T3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Housing affordability in anglophone countries, Housing affordability in anglophone countries (definition). Also Wikidata Q105393916
History
- 2026-11-02: add by m2/dev
Faber conjectures H2H4CV5ABQ
| URI | m2://inv/H2H4CV5ABQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautological ring#8ZFP, Faber conjectures (statement)
History
- 2026-11-02: add by m2/dev
Q-order of convergence for matrix iterative schemes H2H4G9EPB2
| URI | m2://inv/H2H4G9EPB2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#42XF, Q-order of convergence for matrix iterative schemes (definition). In GPK6W5XQM3/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
alphabet H2H5YD1FGQ
| URI | m2://inv/H2H5YD1FGQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.1/alphabet, alphabet (concept). In QKM9DD2H56, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Jan Piekałkiewicz H2H68Y3XAD
| URI | m2://inv/H2H68Y3XAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Piekałkiewicz, Jan Piekałkiewicz (topic). Also Wikidata Q6149717
History
- 2026-11-02: add by m2/dev
H2H9R5DT5V H2H9R5DT5V
| URI | m2://inv/H2H9R5DT5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_intro.ptx#example-3 (example). In QKM9DD2H56, example, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
H2HBDMXTDG H2HBDMXTDG
| URI | m2://inv/H2HBDMXTDG |
|---|---|
| Kind | example |
| 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#O4W8 (example). In V5PVKDKGGG/e1, example 6.5
History
- 2026-10-28: add by m2/v0.4.2
H2HEQB6B0S H2HEQB6B0S
| URI | m2://inv/H2HEQB6B0S |
|---|---|
| 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.39706#DEUT (statement). In 79Y8JJMKP4/e1, theorem 6.6
History
- 2026-10-30: add by m2/v0.4.12
H2HGNSX900 H2HGNSX900
| URI | m2://inv/H2HGNSX900 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#definition-6 (definition). In RZP28ERRZV, definition, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Herbrand–Ribet theorem H2HJPX3M9G
| URI | m2://inv/H2HJPX3M9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q384142, Herbrand–Ribet theorem (statement). Also Wikidata Q384142
- thousand_plus: thousand_plus Q384142, Herbrand–Ribet theorem (statement). Also Wikidata Q384142, Wikipedia Herbrand–Ribet theorem
- wikipedia: Wikipedia Herbrand–Ribet theorem, Herbrand–Ribet theorem (statement). Also Wikidata Q384142
History
- 2026-10-26: add by m2/dev
Cross-sequential study H2HN7M6D08
| URI | m2://inv/H2HN7M6D08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#C44Y, Cross-sequential study (definition)
History
- 2026-11-02: add by m2/dev
H2HS11HKXB H2HS11HKXB
| URI | m2://inv/H2HS11HKXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-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.07679#T694 (statement). In K8JMTRS42G/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
Perfect field H2J3199359
| URI | m2://inv/H2J3199359 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#9ZJF, Perfect field (definition)
History
- 2026-11-02: add by m2/dev
H2J6FVYDST H2J6FVYDST
| URI | m2://inv/H2J6FVYDST |
|---|---|
| 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#L70J (statement). In HCTYW6VH87/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Mazur's control theorem H2J76FWD54
| URI | m2://inv/H2J76FWD54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MMV4, Mazur's control theorem (statement)
History
- 2026-11-02: add by m2/dev
H2J7MNSB0K H2J7MNSB0K
| URI | m2://inv/H2J7MNSB0K |
|---|---|
| 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.27641#Z2QV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kevin McConway H2JA1G08YN
| URI | m2://inv/H2JA1G08YN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kevin McConway, Kevin McConway (topic). Also Wikidata Q69366583
History
- 2026-11-02: add by m2/dev
Weierstrass–Erdmann condition H2JN6D3VQR
| URI | m2://inv/H2JN6D3VQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass–Erdmann condition, Weierstrass–Erdmann condition (definition). Also Wikidata Q7979831
History
- 2026-11-02: add by m2/dev
H2JN8N17EQ H2JN8N17EQ
| URI | m2://inv/H2JN8N17EQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#proof-4 (proof). In RZP28ERRZV, proof, section 34.5
History
- 2026-11-01: add by m2/v0.6.13
Mondrian H2JT1JHZ06
| URI | m2://inv/H2JT1JHZ06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#E539, Mondrian (definition)
History
- 2026-11-02: add by m2/dev
Properties H2JT96PSHV
| URI | m2://inv/H2JT96PSHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential function#FGKI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lag operator H2K7ZSKWEP
| URI | m2://inv/H2K7ZSKWEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9Q0V, Lag operator (definition)
History
- 2026-11-02: add by m2/dev
Nürnberg H2KKFH8BXW
| URI | m2://inv/H2KKFH8BXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8ZP3, Nürnberg (unknown)
History
- 2026-11-02: add by m2/dev
H2KQX1FNRX H2KQX1FNRX
| URI | m2://inv/H2KQX1FNRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#B7QA (statement). In W4TYN4PGE8/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Statement H2KYTS0RN5
| URI | m2://inv/H2KYTS0RN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Arnold–Moser theorem#VAL4, Statement (statement)
History
- 2026-11-02: add by m2/dev
H2M4CYDJ60 H2M4CYDJ60
| URI | m2://inv/H2M4CYDJ60 |
|---|---|
| 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.02141#FFZH (statement). In 5AB8YPS19N/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Examples H2M6FARYKE
| URI | m2://inv/H2M6FARYKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branched flow#RVYC, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties H2M9E1ZX72
| URI | m2://inv/H2M9E1ZX72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed volume#SRG7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Burkard Polster H2MFQWE1X0
| URI | m2://inv/H2MFQWE1X0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#IEMX, Burkard Polster (topic)
History
- 2026-11-02: add by m2/dev
Systematic Multipermutation Encoder H2MSRTQ6YW
| URI | m2://inv/H2MSRTQ6YW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#S5G2, Systematic Multipermutation Encoder (definition). In D7NDCWSDJE/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
H2MT9ERM91 H2MT9ERM91
| URI | m2://inv/H2MT9ERM91 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 69.3
History
- 2026-11-01: add by m2/v0.6.13
Kernel convergence H2MZAEXVEZ
| URI | m2://inv/H2MZAEXVEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#T6A0, Kernel convergence (statement). In ESPJMBH2R2/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Richard Pollack H2N8QXFBWT
| URI | m2://inv/H2N8QXFBWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#75WA, Richard Pollack (topic)
History
- 2026-11-02: add by m2/dev
Symmetric function H2NAXZR0YY
| URI | m2://inv/H2NAXZR0YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#TVQ8, Symmetric function (definition)
History
- 2026-11-02: add by m2/dev
H2NQZTDYBJ H2NQZTDYBJ
| URI | m2://inv/H2NQZTDYBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#10SN (statement). In 7ZFD9XRKA1/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
The direct operator H2NVSQ7NBJ
| URI | m2://inv/H2NVSQ7NBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13753#TKCR, The direct operator (statement). In AHM0PBKZZN/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Maximization principle H2P2MR31MV
| URI | m2://inv/H2P2MR31MV |
|---|---|
| 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.21781#NQFG, Maximization principle (statement). In FEQ72D1AX6/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.4.2
K. Patrick Okura H2P4TXMB4W
| URI | m2://inv/H2P4TXMB4W |
|---|---|
| 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#SHOH, K. Patrick Okura (unknown)
History
- 2026-11-02: add by m2/dev
H2PB64Q3KT H2PB64Q3KT
| URI | m2://inv/H2PB64Q3KT |
|---|---|
| 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.03337#FV4G (statement). In VH7EZDGTNA/e1, theorem 2.16
History
- 2026-10-29: add by m2/v0.4.12
Frühwirth-Schnatter, Sylvia H2PFRSPK1K
| URI | m2://inv/H2PFRSPK1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y2A2, Frühwirth-Schnatter, Sylvia (topic)
History
- 2026-11-02: add by m2/dev
Backward differentiation formulas (BDF) H2PGSWYQZW
| URI | m2://inv/H2PGSWYQZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#ALN7, Backward differentiation formulas (BDF) (statement)
History
- 2026-11-02: add by m2/dev
H2PH2PYZTJ H2PH2PYZTJ
| URI | m2://inv/H2PH2PYZTJ |
|---|---|
| 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 2208.07401#WWLX (statement). In GJD7HKCE56/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Female education in Finland H2PNNQD62K
| URI | m2://inv/H2PNNQD62K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Female education#BEET, Female education in Finland (unknown)
History
- 2026-11-02: add by m2/dev
Taylor's theorem H2PPRR5T8V
| URI | m2://inv/H2PPRR5T8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet (mathematics)#HGUK, Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
H2PTQB29AS H2PTQB29AS
| URI | m2://inv/H2PTQB29AS |
|---|---|
| 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.00625#9JEK (statement). In BGA625B7W1/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
Power analysis H2PVH5Q5S4
| URI | m2://inv/H2PVH5Q5S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power analysis, Power analysis (definition). Also Wikidata Q2845210
History
- 2026-11-02: add by m2/dev
H2PW5ZQ6GK H2PW5ZQ6GK
| URI | m2://inv/H2PW5ZQ6GK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-17 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Recursive Area Formula H2PWEVD1SD
| URI | m2://inv/H2PWEVD1SD |
|---|---|
| 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.07671#YI9M, Recursive Area Formula (statement). In XHHBGCVG90/e1, proposition 3.2.1
History
- 2026-10-29: add by m2/v0.4.10
Ernst Hellinger H2Q5KTA1ZJ
| URI | m2://inv/H2Q5KTA1ZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XP0S, Ernst Hellinger (topic)
History
- 2026-11-02: add by m2/dev
Elliptic modular function H2Q7JW89M2
| URI | m2://inv/H2Q7JW89M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#L3LY, Elliptic modular function (definition)
History
- 2026-11-02: add by m2/dev
Local filling inside pole-free disks H2QBQWQ56P
| URI | m2://inv/H2QBQWQ56P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30103#XHA5, Local filling inside pole-free disks (statement)
History
- 2026-11-01: add by m2/v0.6.15
Earthquake location H2QP4ZSW5P
| URI | m2://inv/H2QP4ZSW5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epicenter#O3KK, Earthquake location (unknown)
History
- 2026-11-02: add by m2/dev
The extra-set paradox H2QVE94CS5
| URI | m2://inv/H2QVE94CS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong positional game#B4VQ, The extra-set paradox (statement)
History
- 2026-11-02: add by m2/dev
H2R1QE1ZH8 H2R1QE1ZH8
| URI | m2://inv/H2R1QE1ZH8 |
|---|---|
| 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.07299#5D3A (statement). In M70KP0BZ99/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
H2RC5ZHV5D H2RC5ZHV5D
| URI | m2://inv/H2RC5ZHV5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#7RFY (statement). In KAYGQMQPGS/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.12
Log sum inequality H2RCH2RJ3G
| URI | m2://inv/H2RCH2RJ3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#ILQ8, Log sum inequality (statement)
History
- 2026-11-02: add by m2/dev
Circular uniform distribution H2REYZRW1H
| URI | m2://inv/H2REYZRW1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CR0A, Circular uniform distribution (definition)
History
- 2026-11-02: add by m2/dev
The Daily Mirror H2RJQZQM4Z
| URI | m2://inv/H2RJQZQM4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#W9K8, The Daily Mirror (unknown)
History
- 2026-11-02: add by m2/dev
H2RSCBJC2S H2RSCBJC2S
| URI | m2://inv/H2RSCBJC2S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Giovan Battista Bellaso H2RT1NRZRR
| URI | m2://inv/H2RT1NRZRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovan Battista Bellaso, Giovan Battista Bellaso (topic). Also Wikidata Q1064308
History
- 2026-11-02: add by m2/dev
Hugh Montgomery H2S63S8H8J
| URI | m2://inv/H2S63S8H8J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7SXG, Hugh Montgomery (topic)
History
- 2026-11-02: add by m2/dev
degree-sum formula H2S7FH75JT
| URI | m2://inv/H2S7FH75JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > degree-sum formula, degree-sum formula (unknown). Also Mathlib SimpleGraph.sum_degrees_eq_twice_card_edges
History
- 2026-10-26: add by m2/dev
dyadic product H2SAZTY33Z
| URI | m2://inv/H2SAZTY33Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2396526, dyadic product (unknown). Also MathWorld Dyad
- wikipedia: Wikipedia Dyadics, Dyadics (definition). Also Wikidata Q2396526
History
- 2026-10-26: add by m2/dev
Branching factor H2SCN71WBP
| URI | m2://inv/H2SCN71WBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branching factor, Branching factor (definition). Also Wikidata Q2059349
History
- 2026-11-02: add by m2/dev
Burnside H2SMWJ9SMN
| URI | m2://inv/H2SMWJ9SMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#theorem-2, Burnside (statement). In RZP28ERRZV, theorem, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Markov renewal process H2SQ5WQ2YX
| URI | m2://inv/H2SQ5WQ2YX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov renewal process, Markov renewal process (definition). Also Wikidata Q1115431
History
- 2026-11-02: add by m2/dev
H2SRCH6H26 H2SRCH6H26
| URI | m2://inv/H2SRCH6H26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#EKKA (statement). In Y1DR0DPWD0/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.12
H2SV6D5VWP H2SV6D5VWP
| URI | m2://inv/H2SV6D5VWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#LT5F (statement). In NS3RZ26JC7/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
A useful lemma H2SV7WZS8V
| URI | m2://inv/H2SV7WZS8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#4HC2, A useful lemma (statement)
History
- 2026-11-02: add by m2/dev
H2SYWNSCHT H2SYWNSCHT
| URI | m2://inv/H2SYWNSCHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01121#BSZ4 (statement). In 1HP57QXBGF/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Applications H2SYY69GBF
| URI | m2://inv/H2SYY69GBF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cutwidth#409U, Applications (example)
History
- 2026-11-02: add by m2/dev
Matrix factorization of a polynomial H2SZ6W39HF
| URI | m2://inv/H2SZ6W39HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix factorization of a polynomial, Matrix factorization of a polynomial (definition). Also Wikidata Q97278376
History
- 2026-11-02: add by m2/dev
Applications H2T2G9S1EA
| URI | m2://inv/H2T2G9S1EA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positional notation#HX8R, Applications (example)
History
- 2026-11-02: add by m2/dev
canonical bundle H2T5C94BAS
| URI | m2://inv/H2T5C94BAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Canonical bundle W05VYY4HBR |
Mentions
- wikidata: Wikidata Q844128, canonical bundle (unknown). Also MathWorld CanonicalBundle, nLab canonical bundle
- wikipedia: Wikipedia Canonical bundle, Canonical bundle (definition). Also Wikidata Q844128
History
- 2026-10-26: add by m2/dev
Exhaustion by compact sets H2T9AGCD76
| URI | m2://inv/H2T9AGCD76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exhaustion by compact sets, Exhaustion by compact sets (definition). Also Wikidata Q5420187
History
- 2026-11-02: add by m2/dev
H2TCXY4PKW H2TCXY4PKW
| URI | m2://inv/H2TCXY4PKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.2839#0ASO (statement). In 2P34N0GWS1/e1, theorem 3.2.1
History
- 2026-10-27: add by m2/v0.3.5
H2TDPKS3RJ H2TDPKS3RJ
| URI | m2://inv/H2TDPKS3RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33154#LL5S (statement). In N28DEYRBW7/e1, proposition D.1
History
- 2026-10-30: add by m2/v0.4.12
Gregory Gutin H2TKTZHF7Z
| URI | m2://inv/H2TKTZHF7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory Gutin, Gregory Gutin (topic). Also Wikidata Q33043981
History
- 2026-11-02: add by m2/dev
H2TQ1RQ0Y9 H2TQ1RQ0Y9
| URI | m2://inv/H2TQ1RQ0Y9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Subrecursion theory H2TW60XZWB
| URI | m2://inv/H2TW60XZWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#MDSH, Subrecursion theory (unknown)
History
- 2026-11-02: add by m2/dev
H2V06HXWAW H2V06HXWAW
| URI | m2://inv/H2V06HXWAW |
|---|---|
| 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.17547#GS73 (statement). In XJ59TDP4HA/e1, corollary 4.17
History
- 2026-10-28: add by m2/v0.4.2
Naimark's dilation theorem H2V073HCMV
| URI | m2://inv/H2V073HCMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia POVM#GWTH, Naimark's dilation theorem (statement)
History
- 2026-11-02: add by m2/dev
adiabatic invariant H2V49EEQDK
| URI | m2://inv/H2V49EEQDK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2632009, adiabatic invariant (unknown). Also EoM Adiabatic_invariant, MathWorld AdiabaticInvariant
- wikipedia: Wikipedia Adiabatic invariant, Adiabatic invariant (object). Also Wikidata Q2632009
History
- 2026-10-26: add by m2/dev
H2VCG7F3M6 H2VCG7F3M6
| URI | m2://inv/H2VCG7F3M6 |
|---|---|
| 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#RFGX (statement)
History
- 2026-11-02: add by m2/v0.6.18
H2VG0Z9GEQ H2VG0Z9GEQ
| URI | m2://inv/H2VG0Z9GEQ |
|---|---|
| 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.27301#MPOG (definition)
History
- 2026-11-01: add by m2/v0.6.15
Vlastimil Dlab H2VHS25KF3
| URI | m2://inv/H2VHS25KF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vlastimil Dlab, Vlastimil Dlab (topic). Also Wikidata Q48807685
History
- 2026-11-02: add by m2/dev
Process variation H2VJD7D81D
| URI | m2://inv/H2VJD7D81D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process variation (semiconductor), Process variation (definition). Also Wikidata Q7247313
History
- 2026-11-02: add by m2/dev
H2VMSRHSAN H2VMSRHSAN
| URI | m2://inv/H2VMSRHSAN |
|---|---|
| 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 2205.15106#XX2V (statement). In N3ZQJ2G8SS/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
H2VR73H0EW H2VR73H0EW
| URI | m2://inv/H2VR73H0EW |
|---|---|
| Kind | conjecture |
| 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.16245#K0H4 (conjecture). In 60CQJN845D/e1, conjecture 2
History
- 2026-10-28: add by m2/v0.4.2
H2VT584A5W H2VT584A5W
| URI | m2://inv/H2VT584A5W |
|---|---|
| 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 2601.15403#LVCA (statement). In BSWNH3NW1M/e1, theorem 9.18
History
- 2026-10-27: add by m2/v0.4.0
Macroscopic limit (Marchenko–Pastur law) H2VTWABTPA
| URI | m2://inv/H2VTWABTPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wishart distribution#NSVN, Macroscopic limit (Marchenko–Pastur law) (statement)
History
- 2026-11-02: add by m2/dev
Fadil Santosa H2VXH2QNE2
| URI | m2://inv/H2VXH2QNE2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fadil Santosa, Fadil Santosa (topic). Also Wikidata Q102191310
History
- 2026-11-02: add by m2/dev
H2W9THGGJX H2W9THGGJX
| URI | m2://inv/H2W9THGGJX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#B0I5 (definition). In YRJS76169Z/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.2
Transport Lemma H2WJ315WSG
| URI | m2://inv/H2WJ315WSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#QRH9, Transport Lemma (statement). In QJ1G1HBC6C/e1, lemma 3.19
History
- 2026-10-28: add by m2/v0.4.2
H2WJVWFCCV H2WJVWFCCV
| URI | m2://inv/H2WJVWFCCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#definition-6 (definition). In RZP28ERRZV, definition, section 31.4
History
- 2026-11-01: add by m2/v0.6.13
Gilbert Agnew Hunt H2WK7CEX6G
| URI | m2://inv/H2WK7CEX6G |
|---|---|
| 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#T1SU, Gilbert Agnew Hunt (topic)
History
- 2026-11-02: add by m2/dev
Wan's $K'^2$ evaluation H2WP9GYFB8
| URI | m2://inv/H2WP9GYFB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34016#VUS3, Wan's $K'^2$ evaluation (statement). In 1E4AJ49FWV/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
H2X7WXF42X H2X7WXF42X
| URI | m2://inv/H2X7WXF42X |
|---|---|
| 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 2206.05392#VQ8C (example). In 58D1ZC82DW/e1, example 37
History
- 2026-10-27: add by m2/v0.3.5
Properties H2XB8R08DB
| URI | m2://inv/H2XB8R08DB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical group#ZM7S, Properties (statement)
History
- 2026-11-02: add by m2/dev
H2XCWE5P45 H2XCWE5P45
| URI | m2://inv/H2XCWE5P45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#AQKA (statement). In ZZQT0GFMT2/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
H2XR2SBH12 H2XR2SBH12
| URI | m2://inv/H2XR2SBH12 |
|---|---|
| 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 2310.14879#92DC (statement). In 3VZ55B2N0D/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.4.0
Geographically weighted regression H2XRKT6MWE
| URI | m2://inv/H2XRKT6MWE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial analysis#82XV, Geographically weighted regression (unknown)
History
- 2026-11-02: add by m2/dev
The equivariant Riemann–Roch theorem H2XW7HZAYZ
| URI | m2://inv/H2XW7HZAYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch-type theorem#5Q5J, The equivariant Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Validity and consistency of the OLS test H2XXQXQFFV
| URI | m2://inv/H2XXQXQFFV |
|---|---|
| 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.23339#6O4A, Validity and consistency of the OLS test (statement)
History
- 2026-11-02: add by m2/v0.6.17
H2YA2FNV6F H2YA2FNV6F
| URI | m2://inv/H2YA2FNV6F |
|---|---|
| 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.06556#D1YT (statement). In KW8C7VE9XR/e1, corollary 44
History
- 2026-10-29: add by m2/v0.4.10
consistency H2YCFRM5FG
| URI | m2://inv/H2YCFRM5FG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/consistency, consistency (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
James A. Clarkson H2YEYKBF2Q
| URI | m2://inv/H2YEYKBF2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James A. Clarkson, James A. Clarkson (topic). Also Wikidata Q12014314
History
- 2026-11-02: add by m2/dev
Formulation H2YHN66NEZ
| URI | m2://inv/H2YHN66NEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler spiral#5M2J, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Compact integral identity H2YSA44DPB
| URI | m2://inv/H2YSA44DPB |
|---|---|
| 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.00077#6KVC, Compact integral identity (statement). In C04B15GH1T/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Weighted Type Sums H2YTQY2KE4
| URI | m2://inv/H2YTQY2KE4 |
|---|---|
| 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.07671#Z14W, Weighted Type Sums (statement). In XHHBGCVG90/e1, lemma 3.2.1
History
- 2026-10-29: add by m2/v0.4.10
A posteriori energy bound H2YYNP6HPN
| URI | m2://inv/H2YYNP6HPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#RQ4T, A posteriori energy bound (statement). In 8XPN1A2GR0/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Definition H2Z2QQR9R9
| URI | m2://inv/H2Z2QQR9R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional matching#1XY0, Definition (definition)
History
- 2026-11-02: add by m2/dev
order, total H2Z42GGEZP
| URI | m2://inv/H2Z42GGEZP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/order-total, order, total (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
H2ZC17ASPD H2ZC17ASPD
| URI | m2://inv/H2ZC17ASPD |
|---|---|
| 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 2609.31476#70RN (statement). In PC1CFE8CJC/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
H2ZD6XPBTS H2ZD6XPBTS
| URI | m2://inv/H2ZD6XPBTS |
|---|---|
| Kind | example |
| 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.34382#FE95 (example). In MEF2VCAYXS/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
H2ZNCAWG8C H2ZNCAWG8C
| URI | m2://inv/H2ZNCAWG8C |
|---|---|
| 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#E8AK (statement). In CHVWYJM7RM/e1, proposition A.4
History
- 2026-10-29: add by m2/v0.4.10
Examples H2ZS57ES1V
| URI | m2://inv/H2ZS57ES1V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-abelian category#81U4, Examples (example)
History
- 2026-11-02: add by m2/dev
!!^{structure}s H2ZX05EQDD
| URI | m2://inv/H2ZX05EQDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/structures.tex#defn-1, !!^{structure}s (definition). In PKGMM3P5QY, defn, section 20.1
History
- 2026-11-01: add by m2/v0.6.13
Universe Type Predicate $\textsf{Univ}_{i,j}$ H2ZY4E4P6Y
| URI | m2://inv/H2ZY4E4P6Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#3YR1, Universe Type Predicate $\textsf{Univ}_{i,j}$ (definition). In CPYWHRTPKC/e1, definition 7.11
History
- 2026-10-27: add by m2/v0.4.2