Inventory rows HH
The cards of the rows of the inventory whose ids start with HH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Totally real number field HH01F8VHRC
| URI | m2://inv/HH01F8VHRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally real number field, Totally real number field (definition). Also Wikidata Q2997826
History
- 2026-11-02: add by m2/dev
Domains HH03JK2AD9
| URI | m2://inv/HH03JK2AD9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#5PW4, Domains (definition). In WD2NCBV9F0/e1, definition 13.7
History
- 2026-10-27: add by m2/v0.3.5
HH04WX1JJS HH04WX1JJS
| URI | m2://inv/HH04WX1JJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#prop:formed (statement). In PKGMM3P5QY, prop, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
HH07864BYZ HH07864BYZ
| URI | m2://inv/HH07864BYZ |
|---|---|
| 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.34923#P7A1 (statement). In 7WKVFJEZQT/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
HH0AN65KYQ HH0AN65KYQ
| URI | m2://inv/HH0AN65KYQ |
|---|---|
| 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.23279#6CN0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sum of transmissions HH0ATBH1SB
| URI | m2://inv/HH0ATBH1SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13429#6Q92, Sum of transmissions (statement). In B2VB5T5WQD/e1, fact 2.5
History
- 2026-10-28: add by m2/v0.4.2
Anderson's theorem HH0F1493QK
| URI | m2://inv/HH0F1493QK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4753992, Anderson's theorem (statement). Also Wikidata Q4753992
- thousand_plus: thousand_plus Q4753992, Anderson's theorem (statement). Also Wikidata Q4753992, Wikipedia Anderson's theorem
- wikipedia: Wikipedia Anderson's theorem, Anderson's theorem (statement). Also Wikidata Q4753992
History
- 2026-10-26: add by m2/dev
HH0HERKKK6 HH0HERKKK6
| URI | m2://inv/HH0HERKKK6 |
|---|---|
| Kind | example |
| 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.30685#8QX5 (example). In WNNNWV7741/e1, example 5.3
History
- 2026-10-31: add by m2/v0.5.6
Negative hypergeometric distribution HH0MB93F9J
| URI | m2://inv/HH0MB93F9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#XDYU, Negative hypergeometric distribution (definition)
History
- 2026-11-02: add by m2/dev
Examples HH0R5XGDW6
| URI | m2://inv/HH0R5XGDW6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular sequence#Z8IS, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples HH12R5M7MS
| URI | m2://inv/HH12R5M7MS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered polygonal number#F7LE, Examples (example)
History
- 2026-11-02: add by m2/dev
HH1BMMPRSA HH1BMMPRSA
| URI | m2://inv/HH1BMMPRSA |
|---|---|
| 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 2406.07116#GBR0 (statement). In 5B030CB2RK/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.6
Atiyah--Bott--Berline--Vergne HH1DR7GWH5
| URI | m2://inv/HH1DR7GWH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#3ZRF, Atiyah--Bott--Berline--Vergne (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jacob Bronowski HH1GE37PR6
| URI | m2://inv/HH1GE37PR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1IX7, Jacob Bronowski (topic)
History
- 2026-11-02: add by m2/dev
Vexillary permutation HH1KHWAMGF
| URI | m2://inv/HH1KHWAMGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vexillary permutation, Vexillary permutation (definition). Also Wikidata Q7923887
History
- 2026-11-02: add by m2/dev
HH1SM55HSN HH1SM55HSN
| URI | m2://inv/HH1SM55HSN |
|---|---|
| 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 2610.13715#CFFZ (statement). In FAVGZDVJS9/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
HH1Z5S2B4H HH1Z5S2B4H
| URI | m2://inv/HH1Z5S2B4H |
|---|---|
| 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.01656#KLYL (statement). In AHGQZ89DY0/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Framebuffer HH2621PD9H
| URI | m2://inv/HH2621PD9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6T8M, Framebuffer (unknown)
History
- 2026-11-02: add by m2/dev
cut HH26GN6B77
| URI | m2://inv/HH26GN6B77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0G46, cut (definition)
History
- 2026-11-02: add by m2/dev
Connes fusion HH276515XE
| URI | m2://inv/HH276515XE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#MRGV, Connes fusion (definition)
History
- 2026-11-02: add by m2/v0.6.18
HH27TRCB2D HH27TRCB2D
| URI | m2://inv/HH27TRCB2D |
|---|---|
| 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.20679#445N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Representation HH28PM99KX
| URI | m2://inv/HH28PM99KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-state quantum system#LPVN, Representation (definition)
History
- 2026-11-02: add by m2/dev
A Radial Function with $\mu>\rho$ HH2P9K12NY
| URI | m2://inv/HH2P9K12NY |
|---|---|
| Kind | example |
| 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.10927#U4B9, A Radial Function with $\mu>\rho$ (example). In DHEJP3YATV/e1, example 37
History
- 2026-10-28: add by m2/v0.4.3
Representation of a Lie algebra HH2WP8XN9N
| URI | m2://inv/HH2WP8XN9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#DA2G, Representation of a Lie algebra (definition)
History
- 2026-11-02: add by m2/dev
Yair Censor HH37DMGP5G
| URI | m2://inv/HH37DMGP5G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4U2A, Yair Censor (topic)
History
- 2026-11-02: add by m2/dev
HH3B4AXAE8 HH3B4AXAE8
| URI | m2://inv/HH3B4AXAE8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
HH3ENGT6Y5 HH3ENGT6Y5
| URI | m2://inv/HH3ENGT6Y5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#example-1 (example). In QKM9DD2H56, example, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Vladimir A. Belinsky HH3ESFG085
| URI | m2://inv/HH3ESFG085 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#X23H, Vladimir A. Belinsky (unknown)
History
- 2026-11-02: add by m2/dev
Diederik Roest HH3G3PFSE7
| URI | m2://inv/HH3G3PFSE7 |
|---|---|
| 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 Q60036057, Diederik Roest (unknown). Also nLab Diederik Roest
History
- 2026-10-26: add by m2/dev
HH3GVCJ1BQ HH3GVCJ1BQ
| URI | m2://inv/HH3GVCJ1BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2310.15716#KRJW (statement). In 7WDA4MEWE2/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.3.6
HH3M0W8D0S HH3M0W8D0S
| URI | m2://inv/HH3M0W8D0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#73TI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Encyclopedic Dictionary of Mathematics HH3WDH7156
| URI | m2://inv/HH3WDH7156 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5375737, Encyclopedic Dictionary of Mathematics (unknown). Also nLab Encyclopedic Dictionary of Mathematics
- wikipedia: Wikipedia Encyclopedic Dictionary of Mathematics, Encyclopedic Dictionary of Mathematics (definition). Also Wikidata Q5375737
History
- 2026-10-26: add by m2/dev
HH40M3N69N HH40M3N69N
| URI | m2://inv/HH40M3N69N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#XK2K (definition). In 4H727T2YAS/e1, definition 7.3
History
- 2026-10-29: add by m2/v0.4.12
Properties HH41WGCTZ9
| URI | m2://inv/HH41WGCTZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere#AFGV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Catherine Opie HH46MYTJEM
| URI | m2://inv/HH46MYTJEM |
|---|---|
| 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#FWYI, Catherine Opie (unknown)
History
- 2026-11-02: add by m2/dev
HH4B4J0MH8 HH4B4J0MH8
| URI | m2://inv/HH4B4J0MH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#3P2O (statement). In PZCA01JXVR/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
National Statistics Office HH4CK95A92
| URI | m2://inv/HH4CK95A92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Statistics Office (Nepal), National Statistics Office (definition). Also Wikidata Q16858659
History
- 2026-11-02: add by m2/dev
HH4D28QNDD HH4D28QNDD
| URI | m2://inv/HH4D28QNDD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#example-3 (example). In RZP28ERRZV, example, section 45.3
History
- 2026-11-01: add by m2/v0.6.13
Aravind Srinivasan HH4RW8NXRJ
| URI | m2://inv/HH4RW8NXRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aravind Srinivasan, Aravind Srinivasan (topic). Also Wikidata Q102279161
History
- 2026-11-02: add by m2/dev
HH4YE2PEEH HH4YE2PEEH
| URI | m2://inv/HH4YE2PEEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#ZO4J (statement). In CQGE4WJV4P/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Kathy Olivier HH53TJKCRM
| URI | m2://inv/HH53TJKCRM |
|---|---|
| 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#FCY7, Kathy Olivier (unknown)
History
- 2026-11-02: add by m2/dev
Mittag-Leffler condition HH55S068A2
| URI | m2://inv/HH55S068A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#1GO7, Mittag-Leffler condition (definition)
History
- 2026-11-02: add by m2/dev
Larsen--Tiep HH56AA5951
| URI | m2://inv/HH56AA5951 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01267#1J3Z, Larsen--Tiep (statement). In GWWHP6R0BZ/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Conjecture HH5A0R8S1N
| URI | m2://inv/HH5A0R8S1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#NXUT, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
HH5EE2SEBZ HH5EE2SEBZ
| URI | m2://inv/HH5EE2SEBZ |
|---|---|
| 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 2609.31907#UB3G (example). In 6B2PCEGCYZ/e1, example 5.3
History
- 2026-10-31: add by m2/v0.5.6
Separability in characteristic zero HH5J3198RY
| URI | m2://inv/HH5J3198RY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#lemma-1, Separability in characteristic zero (statement). In RZP28ERRZV, lemma, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
HH5YA307MX HH5YA307MX
| URI | m2://inv/HH5YA307MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#F66H (statement). In 8A0VZV8PBN/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Vladas Sidoravicius HH6AGCN7S4
| URI | m2://inv/HH6AGCN7S4 |
|---|---|
| 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#7QIG, Vladas Sidoravicius (topic)
History
- 2026-11-02: add by m2/dev
Symmetries HH6E4W53MR
| URI | m2://inv/HH6E4W53MR |
|---|---|
| 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.18350#3IDM, Symmetries (statement). In A20E8FZS21/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Mixture density HH6F2VRQ0A
| URI | m2://inv/HH6F2VRQ0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#FNU9, Mixture density (definition)
History
- 2026-11-02: add by m2/dev
HH6GCB6HM7 HH6GCB6HM7
| URI | m2://inv/HH6GCB6HM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#E1B1 (statement). In JQFPH09JG8/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.10
Definition HH6GJF8CBA
| URI | m2://inv/HH6GJF8CBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dicyclic group#IGGV, Definition (definition)
History
- 2026-11-02: add by m2/dev
HH6KN0WB3R HH6KN0WB3R
| URI | m2://inv/HH6KN0WB3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#H50P (statement). In T8BQ6HHZYT/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Example HH6RVZ4FZW
| URI | m2://inv/HH6RVZ4FZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli sampling#IYHZ, Example (example)
History
- 2026-11-02: add by m2/dev
HH6V38KEQK HH6V38KEQK
| URI | m2://inv/HH6V38KEQK |
|---|---|
| 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#T162 (statement). In REDG6QVHM3/e1, theorem 7.11
History
- 2026-10-29: add by m2/v0.4.12
Vācaspati Miśra HH6VTD5M3Z
| URI | m2://inv/HH6VTD5M3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#B7MS, Vācaspati Miśra (unknown)
History
- 2026-11-02: add by m2/dev
HH6ZDAJZ0S HH6ZDAJZ0S
| URI | m2://inv/HH6ZDAJZ0S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Symplectic cut HH6ZR35WAK
| URI | m2://inv/HH6ZR35WAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic cut, Symplectic cut (definition). Also Wikidata Q17149261
History
- 2026-11-02: add by m2/dev
B-spline HH6ZT7961B
| URI | m2://inv/HH6ZT7961B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#H2JJ, B-spline (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JGQP, B-spline (definition)
History
- 2026-11-02: add by m2/dev
HH7BG5B1P9 HH7BG5B1P9
| URI | m2://inv/HH7BG5B1P9 |
|---|---|
| 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.19309#KAZA (statement). In XKENQH35DW/e1, proposition C.4
History
- 2026-10-28: add by m2/v0.4.2
Newlander–Nirenberg theorem HH7D4XRWMP
| URI | m2://inv/HH7D4XRWMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#QYLQ, Newlander–Nirenberg theorem (definition)
History
- 2026-11-02: add by m2/dev
Properties HH7ET56Y36
| URI | m2://inv/HH7ET56Y36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric tangent cone#5PPL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Differential-geometric theorem HH7HB9DK7K
| URI | m2://inv/HH7HB9DK7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre duality#3YI6, Differential-geometric theorem (statement)
History
- 2026-11-02: add by m2/dev
Conway's Theorem 0 HH7JVQTDNH
| URI | m2://inv/HH7JVQTDNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:NO-refl-opt, Conway's Theorem 0 (statement). In N54F33XE07, thm, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Binomial coefficient bounds HH7T16200R
| URI | m2://inv/HH7T16200R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#6WYK, Binomial coefficient bounds (definition)
History
- 2026-11-02: add by m2/dev
Extensions HH823SGZX0
| URI | m2://inv/HH823SGZX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richardson's theorem#SF43, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Magic angle HH82EDX7Q0
| URI | m2://inv/HH82EDX7Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic angle, Magic angle (definition). Also Wikidata Q6730900
History
- 2026-11-02: add by m2/dev
Applications HH874330PQ
| URI | m2://inv/HH874330PQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck's relative point of view#JA6G, Applications (example)
History
- 2026-11-02: add by m2/dev
HH87R51NAM HH87R51NAM
| URI | m2://inv/HH87R51NAM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#NVBR (definition). In 9H45HQE7AZ/e1, definition 7.7
History
- 2026-10-27: add by m2/v0.3.5
Kőnig's theorem HH8CF09XJY
| URI | m2://inv/HH8CF09XJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#R15H, Kőnig's theorem (statement)
History
- 2026-11-02: add by m2/dev
A decomposition in a free module of infinite rank HH8FE1TZ3P
| URI | m2://inv/HH8FE1TZ3P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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.15869#LJ9X, A decomposition in a free module of infinite rank (example). In 5VRP29WZEK/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
Statement HH8GXNJ847
| URI | m2://inv/HH8GXNJ847 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#DF4U, Statement (statement)
History
- 2026-11-02: add by m2/dev
HH8K7D307T HH8K7D307T
| URI | m2://inv/HH8K7D307T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37265#87WP (definition). In BKYAWEC5XH/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Vladimir A. Zorich HH8N5DPQH9
| URI | m2://inv/HH8N5DPQH9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir A. Zorich, Vladimir A. Zorich (topic). Also Wikidata Q4193985
History
- 2026-11-02: add by m2/dev
register computable HH8NBY3WTW
| URI | m2://inv/HH8NBY3WTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#39C0, register computable (definition)
History
- 2026-11-02: add by m2/dev
Hermann Cohen HH8Q2BKTYR
| URI | m2://inv/HH8Q2BKTYR |
|---|---|
| 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 Q76709, Hermann Cohen (unknown). Also nLab Hermann Cohen
History
- 2026-10-26: add by m2/dev
HH8TQDA1R0 HH8TQDA1R0
| URI | m2://inv/HH8TQDA1R0 |
|---|---|
| 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#90OH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples HH8Z57YS2J
| URI | m2://inv/HH8Z57YS2J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered group#R42C, Examples (example)
History
- 2026-11-02: add by m2/dev
Sensitivity conjecture HH8ZAS499D
| URI | m2://inv/HH8ZAS499D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#NUIB, Sensitivity conjecture (statement)
History
- 2026-11-02: add by m2/dev
Huygens's principle HH9871PAEG
| URI | m2://inv/HH9871PAEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (mathematics)#7Q97, Huygens's principle (statement)
History
- 2026-11-02: add by m2/dev
HH9E31P773 HH9E31P773
| URI | m2://inv/HH9E31P773 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#YROE (statement). In 1WCXV5PVZA/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.0
HH9R8Z2S78 HH9R8Z2S78
| URI | m2://inv/HH9R8Z2S78 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/log.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 40.5
History
- 2026-11-01: add by m2/v0.6.13
HH9SVA5RT9 HH9SVA5RT9
| URI | m2://inv/HH9SVA5RT9 |
|---|---|
| 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 2609.21060#LU1H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example HH9XWD5VQ3
| URI | m2://inv/HH9XWD5VQ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System size expansion#4HAU, Example (example)
History
- 2026-11-02: add by m2/dev
HHA0VZZ1Y5 HHA0VZZ1Y5
| URI | m2://inv/HHA0VZZ1Y5 |
|---|---|
| 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.08912#VHIQ (statement). In DK5QY64NGH/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Basic properties HHA8K73CWQ
| URI | m2://inv/HHA8K73CWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrally closed domain#JKBA, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
HHADG2A1YP HHADG2A1YP
| URI | m2://inv/HHADG2A1YP |
|---|---|
| Kind | example |
| 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 2206.11471#PZHB (example). In 8387H919D5/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
HHAGGBEAGN HHAGGBEAGN
| URI | m2://inv/HHAGGBEAGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#RHRV (statement). In XCSQ27P0XW/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
cf.\ HHARYS4M46
| URI | m2://inv/HHARYS4M46 |
|---|---|
| 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.01273#CLH0, cf.\ (statement). In RAT41DDR51/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
a(n) = 3*(10^n - 1)/9 HHAX3P83EG
| URI | m2://inv/HHAX3P83EG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123575701, a(n) = 3*(10^n - 1)/9 (object). Also OEIS A002277
History
- 2026-10-26: add by m2/dev
HHB05XDMG0 HHB05XDMG0
| URI | m2://inv/HHB05XDMG0 |
|---|---|
| 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.35095#6N9D (statement). In MM3XTWS35F/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Properties and applications HHBAQ83DRH
| URI | m2://inv/HHBAQ83DRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial equivalence relation#26A9, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
HHBF1QS6FQ HHBF1QS6FQ
| URI | m2://inv/HHBF1QS6FQ |
|---|---|
| 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.20094#UOTY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Axial charge HHBF89GSP7
| URI | m2://inv/HHBF89GSP7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axial current#9WZ0, Axial charge (unknown)
History
- 2026-11-02: add by m2/dev
Sobolev functions HHBFG02WCE
| URI | m2://inv/HHBFG02WCE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2204.04317#ZDC9, Sobolev functions (definition). In 49V3ANDZTY/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Abramowitz and Stegun HHBFM70ADK
| URI | m2://inv/HHBFM70ADK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#82BG, Abramowitz and Stegun (definition)
History
- 2026-11-02: add by m2/dev
HHBKPZNH6F HHBKPZNH6F
| URI | m2://inv/HHBKPZNH6F |
|---|---|
| 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.16245#GA26 (statement). In 60CQJN845D/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
HHBRA6P54A HHBRA6P54A
| URI | m2://inv/HHBRA6P54A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14689#CKTJ (statement). In 6BKMNJYNPJ/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
information HHBYNC0TRP
| URI | m2://inv/HHBYNC0TRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11028, information (unknown). Also nLab information
- wikipedia: Wikipedia Information, Information (definition). Also Wikidata Q11028
History
- 2026-10-26: add by m2/dev
HHC40B9XT1 HHC40B9XT1
| URI | m2://inv/HHC40B9XT1 |
|---|---|
| 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.39539#VODY (definition). In GVR218P3ZR/e1, definition 4.4.3
History
- 2026-10-30: add by m2/v0.4.12
Moreau envelope HHC5PAG8M6
| URI | m2://inv/HHC5PAG8M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moreau envelope, Moreau envelope (definition). Also Wikidata Q115978756
History
- 2026-11-02: add by m2/dev
diagonal matrix HHCA5AMRVY
| URI | m2://inv/HHCA5AMRVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#RUH6, diagonal matrix (definition)
History
- 2026-11-02: add by m2/dev
HHCA6VB2ZC HHCA6VB2ZC
| URI | m2://inv/HHCA6VB2ZC |
|---|---|
| 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.28046#E6EE (statement)
History
- 2026-11-01: add by m2/v0.6.15
HHCAEBFBA6 HHCAEBFBA6
| URI | m2://inv/HHCAEBFBA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#T9R5 (statement). In 8SXY7Y68HV/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
HHCDM1W202 HHCDM1W202
| URI | m2://inv/HHCDM1W202 |
|---|---|
| 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 2305.13184#7UQO (statement). In SKYG9GMA96/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.6
HHCSFACMZ8 HHCSFACMZ8
| URI | m2://inv/HHCSFACMZ8 |
|---|---|
| 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.20376#R7SS (definition). In DGTCGQX6YZ/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.2
Spherical model HHCV8ZFT3C
| URI | m2://inv/HHCV8ZFT3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical model, Spherical model (definition). Also Wikidata Q7576711
History
- 2026-11-02: add by m2/dev
Systoles of surfaces HHD1RSWX57
| URI | m2://inv/HHD1RSWX57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systoles of surfaces, Systoles of surfaces (definition). Also Wikidata Q7663892
History
- 2026-11-02: add by m2/dev
Percival Symonds HHD5SQR30F
| URI | m2://inv/HHD5SQR30F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percival Symonds, Percival Symonds (topic). Also Wikidata Q56677613
History
- 2026-11-02: add by m2/dev
HHD78S1SRP HHD78S1SRP
| URI | m2://inv/HHD78S1SRP |
|---|---|
| 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.03358#XMOV (statement). In KCXEY7HJ8V/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
Furlong, Cathy HHDCXSARWD
| URI | m2://inv/HHDCXSARWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#U52L, Furlong, Cathy (topic)
History
- 2026-11-02: add by m2/dev
Archaeocryptography HHDJTWRT3Y
| URI | m2://inv/HHDJTWRT3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archaeocryptography, Archaeocryptography (definition). Also Wikidata Q16154678
History
- 2026-11-02: add by m2/dev
HHDM3JB709 HHDM3JB709
| URI | m2://inv/HHDM3JB709 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16388#UX5A (statement). In HH4ADHZ8XD/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Examples HHDP18ZZ0M
| URI | m2://inv/HHDP18ZZ0M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fano variety#SA15, Examples (example)
History
- 2026-11-02: add by m2/dev
Annular Region Structure Theorem HHDQWQ70KP
| URI | m2://inv/HHDQWQ70KP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26592#FJSR, Annular Region Structure Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Christoph Zenger HHDY6S5QSV
| URI | m2://inv/HHDY6S5QSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BAMS, Christoph Zenger (topic)
History
- 2026-11-02: add by m2/dev
charge-parity-time symmetry HHDYZ121K8
| URI | m2://inv/HHDYZ121K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q260060, charge-parity-time symmetry (statement). Also nLab PCT theorem
- wikipedia: Wikipedia CPT symmetry, CPT symmetry (definition). Also Wikidata Q260060
History
- 2026-10-26: add by m2/dev
HHE1CWEVX9 HHE1CWEVX9
| URI | m2://inv/HHE1CWEVX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00590#9BUU (statement). In D3WTQN2F7B/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Ethical judgment HHE2ANNBTT
| URI | m2://inv/HHE2ANNBTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judgement#8I27, Ethical judgment (unknown)
History
- 2026-11-02: add by m2/dev
HHE3B9ME2K HHE3B9ME2K
| URI | m2://inv/HHE3B9ME2K |
|---|---|
| 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.37471#FFWL (statement). In KDF1GTQV08/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Diagram chase HHEND35PE2
| URI | m2://inv/HHEND35PE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative diagram#5FAH, Diagram chase (unknown)
History
- 2026-11-02: add by m2/dev
HHF0G2VVQA HHF0G2VVQA
| URI | m2://inv/HHF0G2VVQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#QJVV (statement). In 5Y3HF693YB/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Definition HHF20X2CV8
| URI | m2://inv/HHF20X2CV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horn clause#1IL1, Definition (definition)
History
- 2026-11-02: add by m2/dev
HHF23GGC9Q HHF23GGC9Q
| URI | m2://inv/HHF23GGC9Q |
|---|---|
| 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#IQNU (definition). In D0XH7W96T3/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
HHFAPTBB7E HHFAPTBB7E
| URI | m2://inv/HHFAPTBB7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06899#YFAG (statement). In 5Z2K9JGFSS/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Binomial inverse theorem HHFB95KR45
| URI | m2://inv/HHFB95KR45 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#35VY, Binomial inverse theorem (statement)
History
- 2026-11-02: add by m2/dev
Golden rhombohedra HHFV6CMWVZ
| URI | m2://inv/HHFV6CMWVZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q98398187, Golden rhombohedra (object). Also MathWorld GoldenRhombohedron
History
- 2026-10-26: add by m2/dev
HHFY30V9G9 HHFY30V9G9
| URI | m2://inv/HHFY30V9G9 |
|---|---|
| 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.05784#VB88 (definition). In 6NVP3YRWVA/e1, definition 4.10
History
- 2026-10-29: add by m2/v0.4.10
Definition HHFZYZYT1T
| URI | m2://inv/HHFZYZYT1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier rank#XFRV, Definition (definition)
History
- 2026-11-02: add by m2/dev
HHG5E2BS4H HHG5E2BS4H
| URI | m2://inv/HHG5E2BS4H |
|---|---|
| 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.34856#P5OP (statement). In MRR92GQNZE/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Marshall Goldsmith HHG7ZK5CQD
| URI | m2://inv/HHG7ZK5CQD |
|---|---|
| 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#UM7N, Marshall Goldsmith (unknown)
History
- 2026-11-02: add by m2/dev
Matthias Aschenbrenner HHGAYN91S9
| URI | m2://inv/HHGAYN91S9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B1WG, Matthias Aschenbrenner (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CL9G, Matthias Aschenbrenner (topic)
History
- 2026-11-02: add by m2/dev
HHGDV2E82X HHGDV2E82X
| URI | m2://inv/HHGDV2E82X |
|---|---|
| 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.25030#GMI6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leslie Earl Simon HHGFJTXEP7
| URI | m2://inv/HHGFJTXEP7 |
|---|---|
| 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#ILCI, Leslie Earl Simon (topic)
History
- 2026-11-02: add by m2/dev
Harald Bohr HHGKHPWDA5
| URI | m2://inv/HHGKHPWDA5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BLWC, Harald Bohr (topic)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of calculus HHGNTWB2BQ
| URI | m2://inv/HHGNTWB2BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product integral#LK8X, Fundamental theorem of calculus (definition)
History
- 2026-11-02: add by m2/dev
HHGPGRE02W HHGPGRE02W
| URI | m2://inv/HHGPGRE02W |
|---|---|
| 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 2104.05191#Y7HZ (statement). In CCNH3FK8YZ/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Five circles theorem HHGVY7VGJ0
| URI | m2://inv/HHGVY7VGJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5456213, Five circles theorem (statement). Also Wikidata Q5456213
- thousand_plus: thousand_plus Q5456213, Five circles theorem (statement). Also Wikidata Q5456213, Wikipedia Five circles theorem
- wikidata: Wikidata Q5456213, Five circles theorem (statement). Also MathWorld MiquelFiveCirclesTheorem
- wikipedia: Wikipedia Five circles theorem, Five circles theorem (statement). Also Wikidata Q5456213
History
- 2026-10-26: add by m2/dev
Hajnal, András HHH2SP6QV4
| URI | m2://inv/HHH2SP6QV4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#0WJO, Hajnal, András (topic)
History
- 2026-11-02: add by m2/dev
Synchronous crypto-operation HHH5GFFJE8
| URI | m2://inv/HHH5GFFJE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#EHMA, Synchronous crypto-operation (unknown)
History
- 2026-11-02: add by m2/dev
universal variable HHH6D7BKYW
| URI | m2://inv/HHH6D7BKYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O2UI, universal variable (definition)
History
- 2026-11-02: add by m2/dev
Examples HHH6XDANYN
| URI | m2://inv/HHH6XDANYN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conical spiral#D3ET, Examples (example)
History
- 2026-11-02: add by m2/dev
Deletion in binary tree HHH9VCDM71
| URI | m2://inv/HHH9VCDM71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary tree#YKAR, Deletion in binary tree (unknown)
History
- 2026-11-02: add by m2/dev
HHHEPW3N5D HHHEPW3N5D
| URI | m2://inv/HHHEPW3N5D |
|---|---|
| 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 1011.4141#VDEL (statement). In YQ4JYF18NH/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Adriano Garsia HHHFM24WQW
| URI | m2://inv/HHHFM24WQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YMX6, Adriano Garsia (topic)
History
- 2026-11-02: add by m2/dev
HHHS6Q2X44 HHHS6Q2X44
| URI | m2://inv/HHHS6Q2X44 |
|---|---|
| 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#RUAA (statement)
History
- 2026-11-01: add by m2/v0.6.15
HHHYHGGVMK HHHYHGGVMK
| URI | m2://inv/HHHYHGGVMK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:contr-infinity-sphere-susp (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Applications HHHZ66Q207
| URI | m2://inv/HHHZ66Q207 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malliavin calculus#HJMK, Applications (example)
History
- 2026-11-02: add by m2/dev
Hill differential equation HHJ077T8R4
| URI | m2://inv/HHJ077T8R4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hill differential equation YE7H8DGDPY |
Mentions
- wikidata: Wikidata Q1169848, Hill differential equation (concept). Also EoM Hill_equation, MathWorld HillsDifferentialEquation
- wikipedia: Wikipedia Hill differential equation, Hill differential equation (definition). Also Wikidata Q1169848
History
- 2026-10-26: add by m2/dev
HHJ7DG200J HHJ7DG200J
| URI | m2://inv/HHJ7DG200J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.09422#FVVF (definition). In MS7M2BJS9X/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
HHJTNJTEEH HHJTNJTEEH
| URI | m2://inv/HHJTNJTEEH |
|---|---|
| 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.01828#TK36 (statement). In RQMJY73C8Q/e1, lemma VI.1
History
- 2026-10-29: add by m2/v0.4.12
HHJVC2MFD0 HHJVC2MFD0
| URI | m2://inv/HHJVC2MFD0 |
|---|---|
| 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.09949#VWM1 (statement). In VGJVFCDV8A/e1, lemma 2.21
History
- 2026-10-29: add by m2/v0.4.10
HHK6VBWYEA HHK6VBWYEA
| URI | m2://inv/HHK6VBWYEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40161#5UBZ (statement). In P2ZW0PZMEH/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Properties HHK8W3W0G7
| URI | m2://inv/HHK8W3W0G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally Hausdorff space#0R3B, Properties (statement)
History
- 2026-11-02: add by m2/dev
maximal HHKBFFVEH5
| URI | m2://inv/HHKBFFVEH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#N230, maximal (definition)
History
- 2026-11-02: add by m2/dev
HHKHSPPN9Q HHKHSPPN9Q
| URI | m2://inv/HHKHSPPN9Q |
|---|---|
| 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.28993#4EQT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Connected space HHKJYK78ZE
| URI | m2://inv/HHKJYK78ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#3LW3, Connected space (definition)
History
- 2026-11-02: add by m2/dev
Alan Cobham HHKSY5TP6K
| URI | m2://inv/HHKSY5TP6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Cobham (mathematician), Alan Cobham (topic). Also Wikidata Q30731065
History
- 2026-11-02: add by m2/dev
HHM2QEED0V HHM2QEED0V
| URI | m2://inv/HHM2QEED0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop:cachysercomplex (statement). In E59CDZA4DP, prop, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
HHM4GHE2JA HHM4GHE2JA
| URI | m2://inv/HHM4GHE2JA |
|---|---|
| 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 2108.03672#HM5M (statement). In EZZSZ1F071/e1, lemma 4.23
History
- 2026-10-27: add by m2/v0.4.0
Oliver Chinganya HHMAHZC37E
| URI | m2://inv/HHMAHZC37E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oliver Chinganya, Oliver Chinganya (topic). Also Wikidata Q118407847
History
- 2026-11-02: add by m2/dev
HHMQVDJ2G0 HHMQVDJ2G0
| URI | m2://inv/HHMQVDJ2G0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#FDRW (definition)
History
- 2026-11-02: add by m2/v0.6.17
HHMWCJ7BBE HHMWCJ7BBE
| URI | m2://inv/HHMWCJ7BBE |
|---|---|
| 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.39905#O7KQ (statement). In D4B23ER9QD/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Theorems HHMYANJ392
| URI | m2://inv/HHMYANJ392 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#BA1R, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Applications HHN22Z529Y
| URI | m2://inv/HHN22Z529Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersymmetry#96EH, Applications (example)
History
- 2026-11-02: add by m2/dev
Katz HHN2JXVBD1
| URI | m2://inv/HHN2JXVBD1 |
|---|---|
| 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#BRNT, Katz (statement). In M4ZVJWM8YA/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
Formal definition HHN683AHQM
| URI | m2://inv/HHN683AHQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton#9GSR, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Descent of the fixed potential HHNCKKTDC1
| URI | m2://inv/HHNCKKTDC1 |
|---|---|
| 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.28306#EYC5, Descent of the fixed potential (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparison function HHNE88KE9M
| URI | m2://inv/HHNE88KE9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison function, Comparison function (definition). Also Wikidata Q5155671
History
- 2026-11-02: add by m2/dev
HHNJ1K29EH HHNJ1K29EH
| URI | m2://inv/HHNJ1K29EH |
|---|---|
| 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.23559#5PWL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties HHNQW1P9B4
| URI | m2://inv/HHNQW1P9B4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximising measure#L3VJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
HHNYPPRY9Z HHNYPPRY9Z
| URI | m2://inv/HHNYPPRY9Z |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16562#3PS7 (conjecture). In 7QGPEBC70Y/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
A finite packing with room for shells HHP0KNJ9T0
| URI | m2://inv/HHP0KNJ9T0 |
|---|---|
| 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.20910#R02K, A finite packing with room for shells (statement). In CETHKW9EBV/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.4.2
HHP3KGBT93 HHP3KGBT93
| URI | m2://inv/HHP3KGBT93 |
|---|---|
| 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 2609.20675#9BSV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications HHP3MHGZTD
| URI | m2://inv/HHP3MHGZTD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprime#0PB0, Applications (example)
History
- 2026-11-02: add by m2/dev
HHP5S6JT6P HHP5S6JT6P
| URI | m2://inv/HHP5S6JT6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-9 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
HHP9H6YYGH HHP9H6YYGH
| URI | m2://inv/HHP9H6YYGH |
|---|---|
| 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.04809#SMRU (statement). In 2VHV0RNTNV/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
HHPRF7NAK6 HHPRF7NAK6
| URI | m2://inv/HHPRF7NAK6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#ND7Z (definition). In Z7E16PFFCP/e1, definition 4.17
History
- 2026-10-30: add by m2/v0.4.12
HHPS4HY543 HHPS4HY543
| URI | m2://inv/HHPS4HY543 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#IC17 (statement). In 1PN6NESQER/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
HHPTRTABC3 HHPTRTABC3
| URI | m2://inv/HHPTRTABC3 |
|---|---|
| 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.32557#0ALE (statement). In 7MSKC957WD/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
HHPYEE4W75 HHPYEE4W75
| URI | m2://inv/HHPYEE4W75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.18094#UCKR (statement). In AYANBEWSFH/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
HHQ1H0G2ET HHQ1H0G2ET
| URI | m2://inv/HHQ1H0G2ET |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness-identity.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 15.10
History
- 2026-11-01: add by m2/v0.6.13
Normal form HHQ3G63N7A
| URI | m2://inv/HHQ3G63N7A |
|---|---|
| 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.20817#E2XK, Normal form (statement). In M1YRBSZT4H/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
HHQHW9W8BK HHQHW9W8BK
| URI | m2://inv/HHQHW9W8BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#P9KN (statement). In GHKR740SG3/e1, theorem 20.7
History
- 2026-10-31: add by m2/v0.5.6
Examples HHQVW3N0NG
| URI | m2://inv/HHQVW3N0NG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Jordan algebra#1SCC, Examples (example)
History
- 2026-11-02: add by m2/dev
HHQX31ZXJR HHQX31ZXJR
| URI | m2://inv/HHQX31ZXJR |
|---|---|
| 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.21475#JORZ (statement). In TTRSZVT4VX/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.2
HHR5GXX1T7 HHR5GXX1T7
| URI | m2://inv/HHR5GXX1T7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-55 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
HHR9G3QJ61 HHR9G3QJ61
| URI | m2://inv/HHR9G3QJ61 |
|---|---|
| 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 dg-ga/9612010#39HN (statement). In CM39SWC4A6/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.0
HHRA9JPPCJ HHRA9JPPCJ
| URI | m2://inv/HHRA9JPPCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-1 (definition). In E59CDZA4DP, defn, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
HHRBJFEBT0 HHRBJFEBT0
| URI | m2://inv/HHRBJFEBT0 |
|---|---|
| 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 2609.33531#RMP6 (statement). In HNMJEAR2ER/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
HHRBV8CR1Z HHRBV8CR1Z
| URI | m2://inv/HHRBV8CR1Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-11 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Martin Huxley HHRDPH1DC9
| URI | m2://inv/HHRDPH1DC9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L6TP, Martin Huxley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PHOK, Martin Huxley (topic)
History
- 2026-11-02: add by m2/dev
Ramanujan's constant HHRHBDP5HJ
| URI | m2://inv/HHRHBDP5HJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12815866, Ramanujan's constant (concept). Also MathWorld RamanujanConstant, OEIS A060295
History
- 2026-10-26: add by m2/dev
HHRHW0Y9GA HHRHW0Y9GA
| URI | m2://inv/HHRHW0Y9GA |
|---|---|
| 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.32077#7TAR (definition). In WYXQDSQR9B/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
HHRQFZSQGW HHRQFZSQGW
| URI | m2://inv/HHRQFZSQGW |
|---|---|
| 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.21489#10IY (statement). In R0Q0RV8XCF/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Felix Leinen HHRQWK85WA
| URI | m2://inv/HHRQWK85WA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Leinen, Felix Leinen (topic). Also Wikidata Q1403608
History
- 2026-11-02: add by m2/dev
HHRRV24RRS HHRRV24RRS
| URI | m2://inv/HHRRV24RRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#JAZV (statement). In 6NVP3YRWVA/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Giulio Vivanti HHRSCFCC2K
| URI | m2://inv/HHRSCFCC2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YQPK, Giulio Vivanti (topic)
History
- 2026-11-02: add by m2/dev
Formulas HHRTBWQAS3
| URI | m2://inv/HHRTBWQAS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gross reproduction rate#AZLE, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Georg Ferdinand Cantor HHRXMNKXZX
| URI | m2://inv/HHRXMNKXZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#24T5, Georg Ferdinand Cantor (topic)
History
- 2026-11-02: add by m2/dev
Bias and mean-square error HHS2M7YZM2
| URI | m2://inv/HHS2M7YZM2 |
|---|---|
| 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.11619#VXIQ, Bias and mean-square error (statement). In HT2K76Y9WS/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.3
SBH HHS4F3DAQ1
| URI | m2://inv/HHS4F3DAQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#WRPS, SBH (definition)
History
- 2026-11-02: add by m2/dev
HHS7TPDKT5 HHS7TPDKT5
| URI | m2://inv/HHS7TPDKT5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#QOML (definition). In CGA36VE1C5/e1, definition 2.2.2
History
- 2026-10-27: add by m2/v0.3.6
Kingman, John HHSF9ZGWZX
| URI | m2://inv/HHSF9ZGWZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GH4R, Kingman, John (unknown)
History
- 2026-11-02: add by m2/dev
HHSG3WR846 HHSG3WR846
| URI | m2://inv/HHSG3WR846 |
|---|---|
| Kind | definition |
| 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 2210.02261#IAKW (definition). In TT74R659T0/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Theorem HHSND1C03B
| URI | m2://inv/HHSND1C03B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine–Borel theorem#U8SI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HHSVSM2A7V HHSVSM2A7V
| URI | m2://inv/HHSVSM2A7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#45HE (statement). In YYV9SHAPCZ/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
Project Jupyter HHSXTJFQY3
| URI | m2://inv/HHSXTJFQY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Project Jupyter, Project Jupyter (definition). Also Wikidata Q55630549
History
- 2026-11-02: add by m2/dev
HHSY829B28 HHSY829B28
| URI | m2://inv/HHSY829B28 |
|---|---|
| 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#H6LC (statement). In E22A2MFR4Y/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.6
Lopatinskii condition HHT0KSF7VV
| URI | m2://inv/HHT0KSF7VV |
|---|---|
| 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.01883#81WS, Lopatinskii condition (statement). In CYV4P9TDV0/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
HHT0PFPHRC HHT0PFPHRC
| URI | m2://inv/HHT0PFPHRC |
|---|---|
| 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.20716#8V34 (statement)
History
- 2026-11-02: add by m2/v0.6.18
HHT1RYBW3F HHT1RYBW3F
| URI | m2://inv/HHT1RYBW3F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
HHT1V57R76 HHT1V57R76
| URI | m2://inv/HHT1V57R76 |
|---|---|
| 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.06521#RMNC (statement). In NVXWD513NM/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
the doubling functor HHT2HX8DA4
| URI | m2://inv/HHT2HX8DA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.37520#7RX6, the doubling functor (statement). In BDN507RN7J/e1, corollary 3.5.8
History
- 2026-10-30: add by m2/v0.4.12
Richardson--Chernoff extrapolation HHTER48MYK
| URI | m2://inv/HHTER48MYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.16094#PRXR, Richardson--Chernoff extrapolation (statement). In RHBS9QDHC3/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
HHTJTD9P3N HHTJTD9P3N
| URI | m2://inv/HHTJTD9P3N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-75 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Biorthogonal polynomial HHTW4P9D6J
| URI | m2://inv/HHTW4P9D6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biorthogonal polynomial, Biorthogonal polynomial (definition). Also Wikidata Q4915253
History
- 2026-11-02: add by m2/dev
Construction HHTYPEXX6T
| URI | m2://inv/HHTYPEXX6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 52 honeycomb#EUUQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Cumrun Vafa HHV1E9PGDR
| URI | m2://inv/HHV1E9PGDR |
|---|---|
| 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 Q1143841, Cumrun Vafa (unknown). Also nLab Cumrun Vafa
- wikipedia: Wikipedia Cumrun Vafa, Cumrun Vafa (topic). Also Wikidata Q1143841
History
- 2026-10-26: add by m2/dev
HHV54DYVKW HHV54DYVKW
| URI | m2://inv/HHV54DYVKW |
|---|---|
| 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 2111.00832#8MJT (statement). In KM0XEAXFMF/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
HHV97TDC9C HHV97TDC9C
| URI | m2://inv/HHV97TDC9C |
|---|---|
| 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.16844#ECTN (statement). In MAY0WVXT07/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
HHVAGCP39W HHVAGCP39W
| URI | m2://inv/HHVAGCP39W |
|---|---|
| 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.32233#EGK8 (statement). In V42PPD7SWH/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
Laver table HHVAWHSBY6
| URI | m2://inv/HHVAWHSBY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver table, Laver table (definition). Also Wikidata Q17144402
History
- 2026-11-02: add by m2/dev
HHVJ77SFM3 HHVJ77SFM3
| URI | m2://inv/HHVJ77SFM3 |
|---|---|
| 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.38268#IJVK (statement). In TQ18V9TDQS/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Gauss–Bonnet theorem HHVJS5WRC2
| URI | m2://inv/HHVJS5WRC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern–Gauss–Bonnet theorem#BZG1, Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
Abu Ishaq al-Kubunani HHVM61P1PS
| URI | m2://inv/HHVM61P1PS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#HXSK, Abu Ishaq al-Kubunani (unknown)
History
- 2026-11-02: add by m2/dev
HHVRFEH1TR HHVRFEH1TR
| URI | m2://inv/HHVRFEH1TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#K623 (statement). In X9WFC1D9ZS/e1, lemma 15
History
- 2026-10-27: add by m2/v0.4.2
Mobius geometry HHVS28D838
| URI | m2://inv/HHVS28D838 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal geometry#1NLP, Mobius geometry (unknown)
History
- 2026-11-02: add by m2/dev
Kimberly Po HHVYR8X02Z
| URI | m2://inv/HHVYR8X02Z |
|---|---|
| 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#C1LR, Kimberly Po (unknown)
History
- 2026-11-02: add by m2/dev
Slice-to-pairwise recovery HHW1EH33PF
| URI | m2://inv/HHW1EH33PF |
|---|---|
| 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.24314#XKIC, Slice-to-pairwise recovery (statement)
History
- 2026-11-01: add by m2/v0.6.15
HHW2HVH7QT HHW2HVH7QT
| URI | m2://inv/HHW2HVH7QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#DCPH (statement). In H52QQS8WZA/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
HHWEVRR7NK HHWEVRR7NK
| URI | m2://inv/HHWEVRR7NK |
|---|---|
| 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.03814#6C4N (statement). In STPNP83RJS/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
HHWG1TEW2B HHWG1TEW2B
| URI | m2://inv/HHWG1TEW2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-4.xml#example-span-r3 (example). In 649HGZKE96, example, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
Local Schur-complement term HHWPDQ9P4W
| URI | m2://inv/HHWPDQ9P4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#VXN3, Local Schur-complement term (statement). In 1QPAA94Q76/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
Examples HHWYGK760D
| URI | m2://inv/HHWYGK760D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strichartz estimate#VVH1, Examples (example)
History
- 2026-11-02: add by m2/dev
Jayanta Kumar Ghosh HHX9SR8SMB
| URI | m2://inv/HHX9SR8SMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HHG2, Jayanta Kumar Ghosh (topic)
History
- 2026-11-02: add by m2/dev
Definitions HHXJ2AQZAF
| URI | m2://inv/HHXJ2AQZAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young tableau#68TG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Proposition (log-convexity of -norms) HHXM2KP1C0
| URI | m2://inv/HHXM2KP1C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Thorin theorem#IVEZ, Proposition (log-convexity of -norms) (statement)
History
- 2026-11-02: add by m2/dev
HHXVFFR43E HHXVFFR43E
| URI | m2://inv/HHXVFFR43E |
|---|---|
| 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.15313#JCD9 (statement). In KWKY1CWG1Z/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
María Elena González Mederos HHY9YQKYP0
| URI | m2://inv/HHY9YQKYP0 |
|---|---|
| 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#HWOZ, María Elena González Mederos (topic)
History
- 2026-11-02: add by m2/dev
Formal definition HHYEY1CD5M
| URI | m2://inv/HHYEY1CD5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega-regular language#T2UK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Internal set theory HHYH9D22DZ
| URI | m2://inv/HHYH9D22DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#LIYJ, Internal set theory (definition)
- wikipedia: Wikipedia List of mathematical logic topics#VUW9, Internal set theory (definition)
History
- 2026-11-02: add by m2/dev
Proposition HHYHYQB1P6
| URI | m2://inv/HHYHYQB1P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration along fibers#MT10, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Sylvie Benzoni HHYQ2BVT0R
| URI | m2://inv/HHYQ2BVT0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvie Benzoni, Sylvie Benzoni (topic). Also Wikidata Q45792133
History
- 2026-11-02: add by m2/dev
Using the Chinese remainder theorem HHYW0KZRBK
| URI | m2://inv/HHYW0KZRBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel numbering for sequences#LNIP, Using the Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Urysohn universal space HHYX3A1DP6
| URI | m2://inv/HHYX3A1DP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urysohn universal space, Urysohn universal space (definition). Also Wikidata Q7901611
History
- 2026-11-02: add by m2/dev
HHZB6P2H0B HHZB6P2H0B
| URI | m2://inv/HHZB6P2H0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#NX8E (statement). In P2ETMXKVDS/e1, corollary 2.16
History
- 2026-10-27: add by m2/v0.3.5
Pendulum HHZVFNNVZT
| URI | m2://inv/HHZVFNNVZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pendulum (mechanics), Pendulum (definition). Also Wikidata Q829360
History
- 2026-11-02: add by m2/dev
HHZYCJRZ3F HHZYCJRZ3F
| URI | m2://inv/HHZYCJRZ3F |
|---|---|
| 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.16657#CDJJ (statement). In SRQ37RX6MK/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2