Inventory rows HC
The cards of the rows of the inventory whose ids start with HC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bollobás, Thomason HC02CZFC54
| URI | m2://inv/HC02CZFC54 |
|---|---|
| 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#3LDN, Bollobás, Thomason (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multiplicative stability HC02V49GDR
| URI | m2://inv/HC02V49GDR |
|---|---|
| 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.21976#VJIH, Multiplicative stability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Max Newman HC05Y7XAE7
| URI | m2://inv/HC05Y7XAE7 |
|---|---|
| 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 Q707155, Max Newman (unknown). Also nLab Max Newman
- wikipedia: Wikipedia Max Newman, Max Newman (topic). Also Wikidata Q707155
History
- 2026-10-26: add by m2/dev
Siegel domain HC06ZVP1QM
| URI | m2://inv/HC06ZVP1QM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel domain, Siegel domain (definition). Also Wikidata Q7510565
History
- 2026-11-02: add by m2/dev
HC0CT2VPSE HC0CT2VPSE
| URI | m2://inv/HC0CT2VPSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#lemma-2 (statement). In QKM9DD2H56, lemma, section B.8
History
- 2026-11-01: add by m2/v0.6.13
Klein Bottle Dissection HC0EKMHKTX
| URI | m2://inv/HC0EKMHKTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97621538, Klein Bottle Dissection (unknown). Also MathWorld KleinBottleDissection
History
- 2026-10-26: add by m2/dev
Hurwitz's formula HC0F40V43S
| URI | m2://inv/HC0F40V43S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz zeta function#S879, Hurwitz's formula (statement)
History
- 2026-11-02: add by m2/dev
Michael Weiss HC0FM546VF
| URI | m2://inv/HC0FM546VF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Weiss (mathematician), Michael Weiss (topic). Also Wikidata Q1343490
History
- 2026-11-02: add by m2/dev
HC0V1XK262 HC0V1XK262
| URI | m2://inv/HC0V1XK262 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#I8P4 (definition). In 3A4K47Y9F2/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Brownian sheet HC0W01RW23
| URI | m2://inv/HC0W01RW23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian sheet, Brownian sheet (definition). Also Wikidata Q112255451
History
- 2026-11-02: add by m2/dev
HC0XJARFRM HC0XJARFRM
| URI | m2://inv/HC0XJARFRM |
|---|---|
| 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.23803#4RKW (statement)
History
- 2026-11-02: add by m2/v0.6.17
HC18X23S27 HC18X23S27
| URI | m2://inv/HC18X23S27 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#RWBH (example). In T3W7SMWQ73/e1, example 42
History
- 2026-10-28: add by m2/v0.4.3
HC1FTD2G26 HC1FTD2G26
| URI | m2://inv/HC1FTD2G26 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/translations.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 62.1
History
- 2026-11-01: add by m2/v0.6.13
Properties HC1G416X53
| URI | m2://inv/HC1G416X53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede−Kadison determinant#7EK3, Properties (statement)
History
- 2026-11-02: add by m2/dev
HC1MY2WJVT HC1MY2WJVT
| URI | m2://inv/HC1MY2WJVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12486#XAFV (statement). In CWQ2YHT24E/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Bounded differences HC1QWNAF31
| URI | m2://inv/HC1QWNAF31 |
|---|---|
| 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.28791#A3KA, Bounded differences (statement)
History
- 2026-11-01: add by m2/v0.6.15
HC1S83VEHV HC1S83VEHV
| URI | m2://inv/HC1S83VEHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#66YB (statement)
History
- 2026-11-02: add by m2/v0.6.18
HC1TC90YWX HC1TC90YWX
| URI | m2://inv/HC1TC90YWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#FG1M (statement). In Z5SP3NW41S/e1, fact 2.3
History
- 2026-10-30: add by m2/v0.4.12
Applications HC1VARBM7G
| URI | m2://inv/HC1VARBM7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random recursive tree#SNPC, Applications (example)
History
- 2026-11-02: add by m2/dev
Susan Assmann HC1WPBWVPT
| URI | m2://inv/HC1WPBWVPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GC4G, Susan Assmann (topic)
History
- 2026-11-02: add by m2/dev
HC21F02YPZ HC21F02YPZ
| URI | m2://inv/HC21F02YPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#ET2J (statement). In KS30K5JXGB/e1, theorem 2.18
History
- 2026-10-28: add by m2/v0.4.2
HC28ZEWA93 HC28ZEWA93
| URI | m2://inv/HC28ZEWA93 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-46 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
HC2AJRSTEX HC2AJRSTEX
| URI | m2://inv/HC2AJRSTEX |
|---|---|
| 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 2609.21534#6A67 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jacques-François Le Poivre HC2B4R7WHN
| URI | m2://inv/HC2B4R7WHN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques-François Le Poivre, Jacques-François Le Poivre (topic). Also Wikidata Q22828378
History
- 2026-11-02: add by m2/dev
HC2JT7ZKWM HC2JT7ZKWM
| URI | m2://inv/HC2JT7ZKWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#4IEO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Luck HC312YRRE3
| URI | m2://inv/HC312YRRE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luck, Luck (definition). Also Wikidata Q1970348
History
- 2026-11-02: add by m2/dev
Statement of the law HC32GT635N
| URI | m2://inv/HC32GT635N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archie's law#P2O5, Statement of the law (statement)
History
- 2026-11-02: add by m2/dev
Structural identifiability HC3627C5ZY
| URI | m2://inv/HC3627C5ZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural identifiability, Structural identifiability (definition). Also Wikidata Q120629832
History
- 2026-11-02: add by m2/dev
HC38JD6T9S HC38JD6T9S
| URI | m2://inv/HC38JD6T9S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#ex-1 (example). In PKGMM3P5QY, ex, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
HC39DKX65A HC39DKX65A
| URI | m2://inv/HC39DKX65A |
|---|---|
| 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 1905.00573#S4BY (statement). In 74RNQVBM2G/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
Matrix geometrical series HC39QD7NQM
| URI | m2://inv/HC39QD7NQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix polynomial#1KXH, Matrix geometrical series (unknown)
History
- 2026-11-02: add by m2/dev
HC3FZDWDAP HC3FZDWDAP
| URI | m2://inv/HC3FZDWDAP |
|---|---|
| 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.07099#U6HG (statement). In 9GNAHRCYFT/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
HC3JY6QTVP HC3JY6QTVP
| URI | m2://inv/HC3JY6QTVP |
|---|---|
| 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.09565#A4YD (statement). In 7A5YZACF1E/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
HC3NF7GJ8E HC3NF7GJ8E
| URI | m2://inv/HC3NF7GJ8E |
|---|---|
| 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#15HJ (statement). In GWWHP6R0BZ/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
Margaret Hayes Clark HC3R4P3H1W
| URI | m2://inv/HC3R4P3H1W |
|---|---|
| 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#NSK4, Margaret Hayes Clark (unknown)
History
- 2026-11-02: add by m2/dev
Irith Pomeranz HC3VMC2DCJ
| URI | m2://inv/HC3VMC2DCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VC4K, Irith Pomeranz (unknown)
History
- 2026-11-02: add by m2/dev
HC4F36Y98R HC4F36Y98R
| URI | m2://inv/HC4F36Y98R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#NY87 (statement). In Y1DR0DPWD0/e1, lemma 3.16
History
- 2026-10-29: add by m2/v0.4.12
HC4KXCNV33 HC4KXCNV33
| URI | m2://inv/HC4KXCNV33 |
|---|---|
| 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 2403.02207#AB74 (statement). In 1T3ZYPQZF0/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.6
HC4PRVV0CR HC4PRVV0CR
| URI | m2://inv/HC4PRVV0CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21305#LXJB (statement)
History
- 2026-11-02: add by m2/v0.6.18
HC4RFEAXGK HC4RFEAXGK
| URI | m2://inv/HC4RFEAXGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-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.17045#81BV (definition). In PA6JQDSKQT/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
HC4YZT8TNX HC4YZT8TNX
| URI | m2://inv/HC4YZT8TNX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harborth's conjecture#R7MN (problem)
History
- 2026-11-02: add by m2/dev
Joseph Kirtland HC52WCZFKB
| URI | m2://inv/HC52WCZFKB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Kirtland, Joseph Kirtland (topic). Also Wikidata Q102152672
History
- 2026-11-02: add by m2/dev
HC564BQXW9 HC564BQXW9
| URI | m2://inv/HC564BQXW9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-34 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
HC599GARRZ HC599GARRZ
| URI | m2://inv/HC599GARRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#XM0G (statement). In RW9AZQ1YZ2/e1, theorem 14
History
- 2026-10-28: add by m2/v0.4.3
HC5EDECX9A HC5EDECX9A
| URI | m2://inv/HC5EDECX9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26162#SACD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Linas Vepstas HC5JZQGAZN
| URI | m2://inv/HC5JZQGAZN |
|---|---|
| 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 Q61131517, Linas Vepstas (unknown). Also nLab Linas Vepstas
History
- 2026-10-26: add by m2/dev
Restricted randomization HC5QCVHGPX
| URI | m2://inv/HC5QCVHGPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted randomization, Restricted randomization (definition). Also Wikidata Q7316306
History
- 2026-11-02: add by m2/dev
Roland Richardson HC5QT93ATD
| URI | m2://inv/HC5QT93ATD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland Richardson, Roland Richardson (topic). Also Wikidata Q85695339
History
- 2026-11-02: add by m2/dev
Hadley Wickham HC5TV0GME5
| URI | m2://inv/HC5TV0GME5 |
|---|---|
| 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#CDFW, Hadley Wickham (topic)
History
- 2026-11-02: add by m2/dev
Non-vanishing HC5YKMG243
| URI | m2://inv/HC5YKMG243 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#DNBP, Non-vanishing (statement). In 88GEN3Z5VG/e1, lemma 8.9
History
- 2026-10-29: add by m2/v0.4.10
HC5ZPJ0WXJ HC5ZPJ0WXJ
| URI | m2://inv/HC5ZPJ0WXJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#C0G6 (definition). In CNS2J2E4T2/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
HC61B73CNA HC61B73CNA
| URI | m2://inv/HC61B73CNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#DROH (statement)
History
- 2026-11-02: add by m2/v0.6.17
HC62N16AC9 HC62N16AC9
| URI | m2://inv/HC62N16AC9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-27 (proof). In VNMV985MXX, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Examples HC63E3Z3KT
| URI | m2://inv/HC63E3Z3KT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#EW1B, Examples (example)
History
- 2026-11-02: add by m2/dev
Doctrinal paradox HC6FS5HJED
| URI | m2://inv/HC6FS5HJED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doctrinal paradox, Doctrinal paradox (statement). Also Wikidata Q906371
History
- 2026-11-02: add by m2/dev
Clique cover problem HC6GXTHA2F
| URI | m2://inv/HC6GXTHA2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#807I, Clique cover problem (definition)
History
- 2026-11-02: add by m2/dev
Aronszajn–Smith theorem HC6GXXP9F9
| URI | m2://inv/HC6GXXP9F9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UO4X, Aronszajn–Smith theorem (conjecture)
History
- 2026-11-02: add by m2/dev
Yan Yu HC6RMXEW0F
| URI | m2://inv/HC6RMXEW0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5XPT, Yan Yu (unknown)
History
- 2026-11-02: add by m2/dev
HC6X9QRY9Y HC6X9QRY9Y
| URI | m2://inv/HC6X9QRY9Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#0T32 (definition). In 6HJQXZS0A6/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.12
Repair with an additive defect bound HC71JG4GES
| URI | m2://inv/HC71JG4GES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#3CI2, Repair with an additive defect bound (statement). In ZZER8ZBSCR/e1, lemma B.8
History
- 2026-10-29: add by m2/v0.4.12
Fujiki class C HC758R29BK
| URI | m2://inv/HC758R29BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujiki class C, Fujiki class C (definition). Also Wikidata Q5507425
History
- 2026-11-02: add by m2/dev
Theorem HC79PPHS4K
| URI | m2://inv/HC79PPHS4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix sign function#U2AP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HC7APE3YFW HC7APE3YFW
| URI | m2://inv/HC7APE3YFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#E7L3 (statement). In XXN6KKXPYF/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
HC7H834JE9 HC7H834JE9
| URI | m2://inv/HC7H834JE9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12683#XXMY (definition). In N5ZFFWV3RX/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
HC7HR6TX9Q HC7HR6TX9Q
| URI | m2://inv/HC7HR6TX9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07852#I57E (statement). In 8X43SAEM99/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
StatXact HC7KP3NVA6
| URI | m2://inv/HC7KP3NVA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FN0I, StatXact (definition)
History
- 2026-11-02: add by m2/dev
HC7T649WVM HC7T649WVM
| URI | m2://inv/HC7T649WVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#SENY (statement). In 3RVGEKGX46/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
Superstrong cardinal HC7VNH8B65
| URI | m2://inv/HC7VNH8B65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#WA9D, Superstrong cardinal (definition)
History
- 2026-11-02: add by m2/dev
HC80K8RBWX HC80K8RBWX
| URI | m2://inv/HC80K8RBWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#EHP5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HC84CTRDFF HC84CTRDFF
| URI | m2://inv/HC84CTRDFF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13741#CKUR (definition). In Q43F8N7XDE/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
HC8A4J3WQC HC8A4J3WQC
| URI | m2://inv/HC8A4J3WQC |
|---|---|
| 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.01858#YJO8 (statement). In NXSV14WJKJ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Economic inequality HC8AYPJ6HP
| URI | m2://inv/HC8AYPJ6HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia British Social Attitudes Survey#IALB, Economic inequality (statement)
History
- 2026-11-02: add by m2/dev
Double large sieve HC8DAE6G78
| URI | m2://inv/HC8DAE6G78 |
|---|---|
| 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.22107#RKLJ, Double large sieve (statement). In SN5RJPQ713/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
Autoepistemic logic HC8E5PF1BY
| URI | m2://inv/HC8E5PF1BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoepistemic logic, Autoepistemic logic (definition). Also Wikidata Q4826262
History
- 2026-11-02: add by m2/dev
Kimberling HC8EDH1GB0
| URI | m2://inv/HC8EDH1GB0 |
|---|---|
| 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.05776#V0SU, Kimberling (conjecture). In AFSG70BF7S/e1, conjecture 3
History
- 2026-10-29: add by m2/v0.4.10
Examples HC8J16BAPT
| URI | m2://inv/HC8J16BAPT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pilish#WK41, Examples (example)
History
- 2026-11-02: add by m2/dev
Aleksandr Borovkov HC8J22H0TH
| URI | m2://inv/HC8J22H0TH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Borovkov, Aleksandr Borovkov (topic). Also Wikidata Q4094322
History
- 2026-11-02: add by m2/dev
HC8JEJC8KT HC8JEJC8KT
| URI | m2://inv/HC8JEJC8KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/language-modal-logic.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
Deflated projection with a fixed filter HC90A32GYQ
| URI | m2://inv/HC90A32GYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21102#QEK0, Deflated projection with a fixed filter (statement)
History
- 2026-11-02: add by m2/v0.6.18
HC90G3A4F5 HC90G3A4F5
| URI | m2://inv/HC90G3A4F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:coh-equiv (statement). In N54F33XE07, lem, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
HC929Z30NV HC929Z30NV
| URI | m2://inv/HC929Z30NV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-11 (example). In E9HS8K3A52, example, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
Formal definition HC95RPKVM8
| URI | m2://inv/HC95RPKVM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Stieltjes integral#SHO9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HC987D3ZB1 HC987D3ZB1
| URI | m2://inv/HC987D3ZB1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
QEC conditions HC9C6W16QM
| URI | m2://inv/HC9C6W16QM |
|---|---|
| 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 2610.03677#C48G, QEC conditions (statement). In J1Y06VVYRG/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Geothermal gradient HC9FADEVC0
| URI | m2://inv/HC9FADEVC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geothermal gradient, Geothermal gradient (definition). Also Wikidata Q636340
History
- 2026-11-02: add by m2/dev
Thoralf Skolem HC9QYDCTRV
| URI | m2://inv/HC9QYDCTRV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ATDJ, Thoralf Skolem (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KTKY, Thoralf Skolem (topic)
History
- 2026-11-02: add by m2/dev
General formula for surface area HC9R73BM9T
| URI | m2://inv/HC9R73BM9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#VFSZ, General formula for surface area (statement)
History
- 2026-11-02: add by m2/dev
Whitehead conjecture HC9SZ677TQ
| URI | m2://inv/HC9SZ677TQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead conjecture, Whitehead conjecture (conjecture). Also Wikidata Q7996040
History
- 2026-11-02: add by m2/dev
Hadamard space HCA4PEFF2D
| URI | m2://inv/HCA4PEFF2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard space, Hadamard space (definition). Also Wikidata Q5637590
History
- 2026-11-02: add by m2/dev
Approach space HCA4RKJ8RQ
| URI | m2://inv/HCA4RKJ8RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#O242, Approach space (definition)
History
- 2026-11-02: add by m2/dev
HCAD3A434D HCAD3A434D
| URI | m2://inv/HCAD3A434D |
|---|---|
| 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.20077#8OQ8 (statement). In W5XRKWDADE/e1, lemma 6.14
History
- 2026-10-27: add by m2/v0.4.2
rotation budget HCAFFPKBG7
| URI | m2://inv/HCAFFPKBG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#XAVD, rotation budget (statement). In RENT22YXW3/e1, corollary 7.2
History
- 2026-10-28: add by m2/v0.4.2
Fresnel equations HCATZM1921
| URI | m2://inv/HCATZM1921 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel equations, Fresnel equations (definition). Also Wikidata Q838055
History
- 2026-11-02: add by m2/dev
Moments of two-dimensional GFF sine HCAYD1QHRK
| URI | m2://inv/HCAYD1QHRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#1WW2, Moments of two-dimensional GFF sine (statement). In GJ7N2EWACX/e1, theorem B.4
History
- 2026-10-28: add by m2/v0.4.2
Vojta's conjecture HCAYG208TZ
| URI | m2://inv/HCAYG208TZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Vojta's conjecture QQ717VSFNN |
Mentions
- wikidata: Wikidata Q7939859, Vojta's conjecture (conjecture). Also MathWorld VojtasConjecture, nLab Vojta's conjecture
- wikipedia: Wikipedia Vojta's conjecture, Vojta's conjecture (conjecture). Also Wikidata Q7939859
History
- 2026-10-26: add by m2/dev
Whitehead conjecture HCB3TD55QR
| URI | m2://inv/HCB3TD55QR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#R6GU, Whitehead conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
HCB4TNP8T3 HCB4TNP8T3
| URI | m2://inv/HCB4TNP8T3 |
|---|---|
| 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.34876#329U (statement). In XXQAW3ZBDF/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
HCB9DEPPPT HCB9DEPPPT
| URI | m2://inv/HCB9DEPPPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#CYGT (statement)
History
- 2026-11-01: add by m2/v0.6.15
HCBAGX3HC4 HCBAGX3HC4
| URI | m2://inv/HCBAGX3HC4 |
|---|---|
| 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 2610.14847#6R68 (statement). In 2RC8WXQ9ET/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Mathematical Olympiads for Elementary and Middle Schools HCBEQKY30B
| URI | m2://inv/HCBEQKY30B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#YSCO, Mathematical Olympiads for Elementary and Middle Schools (unknown)
History
- 2026-11-02: add by m2/dev
HCBF4AM841 HCBF4AM841
| URI | m2://inv/HCBF4AM841 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#QFDI (statement). In G1RP4JY5PE/e1, fact 2.1.2
History
- 2026-10-31: add by m2/v0.5.6
Dixon's Q test HCBQKE2XZF
| URI | m2://inv/HCBQKE2XZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixon's Q test, Dixon's Q test (definition). Also Wikidata Q2247494
History
- 2026-11-02: add by m2/dev
Theorem HCBV54SCCV
| URI | m2://inv/HCBV54SCCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive linear functional#6ZCE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HCBX14FPBE HCBX14FPBE
| URI | m2://inv/HCBX14FPBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#SOPR (statement). In J7ZX3WWRQP/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Uses HCC6DECQRB
| URI | m2://inv/HCC6DECQRB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of magnitude#M30B, Uses (example)
History
- 2026-11-02: add by m2/dev
partial order HCCYB3X77J
| URI | m2://inv/HCCYB3X77J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/partial-order, partial order (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
HCD3227S5X HCD3227S5X
| URI | m2://inv/HCD3227S5X |
|---|---|
| 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.23004#B103 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition HCD4D89RPT
| URI | m2://inv/HCD4D89RPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roche lobe#OXBG, Definition (definition)
History
- 2026-11-02: add by m2/dev
HCD5SW5YKM HCD5SW5YKM
| URI | m2://inv/HCD5SW5YKM |
|---|---|
| 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 2610.11652#C9R6 (statement). In VEXM27M8Q1/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
Properties HCDBTQJCTT
| URI | m2://inv/HCDBTQJCTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Starlike tree#N5EI, Properties (statement)
History
- 2026-11-02: add by m2/dev
HCDF1PSDSX HCDF1PSDSX
| URI | m2://inv/HCDF1PSDSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#C3F9 (statement). In XV70TXYS5A/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Poincaré conjecture HCDHQMMY3P
| URI | m2://inv/HCDHQMMY3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#LQG9, Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
Stephan Cohn-Vossen HCDJKM6XF3
| URI | m2://inv/HCDJKM6XF3 |
|---|---|
| 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#UYMF, Stephan Cohn-Vossen (topic)
- wikipedia: Wikipedia List of German mathematicians#TG3N, Stephan Cohn-Vossen (topic)
History
- 2026-11-02: add by m2/dev
Orchid International College HCDS38V8KA
| URI | m2://inv/HCDS38V8KA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tribhuvan University#R4AS, Orchid International College (unknown)
History
- 2026-11-02: add by m2/dev
HCDXRK5EJS HCDXRK5EJS
| URI | m2://inv/HCDXRK5EJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#BCN3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HCE0C7GST7 HCE0C7GST7
| URI | m2://inv/HCE0C7GST7 |
|---|---|
| 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 2310.02073#GZ3P (statement). In 3PNCRG6J62/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.3.5
US Navy Bombe HCE4SD0GW8
| URI | m2://inv/HCE4SD0GW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombe#1T2L, US Navy Bombe (unknown)
History
- 2026-11-02: add by m2/dev
computer algebra system HCE9P2STP3
| URI | m2://inv/HCE9P2STP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830340, computer algebra system (unknown). Also EoM Computer_algebra_package
- wikipedia: Wikipedia Computer algebra system, Computer algebra system (definition). Also Wikidata Q830340
History
- 2026-10-26: add by m2/dev
Susan Ahmed HCEV10HNE4
| URI | m2://inv/HCEV10HNE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Ahmed, Susan Ahmed (topic). Also Wikidata Q102215870
History
- 2026-11-02: add by m2/dev
HCEXBAF35D HCEXBAF35D
| URI | m2://inv/HCEXBAF35D |
|---|---|
| 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.22777#U0ZD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robustly Learning Gaussians HCF7KEFY3N
| URI | m2://inv/HCF7KEFY3N |
|---|---|
| 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.06810#L3QW, Robustly Learning Gaussians (statement). In 1NY2SA03XF/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Busemann–Petty problem HCFD821KB9
| URI | m2://inv/HCFD821KB9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busemann–Petty problem, Busemann–Petty problem (problem). Also Wikidata Q5001330
History
- 2026-11-02: add by m2/dev
Examples HCFZHEP03G
| URI | m2://inv/HCFZHEP03G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center (group theory)#1Z20, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Axis aligned bounding box HCG3076C8Y
| URI | m2://inv/HCG3076C8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum bounding box#R0S1, Axis aligned bounding box (unknown)
History
- 2026-11-02: add by m2/dev
Multivariate t-distribution HCG48YMYDX
| URI | m2://inv/HCG48YMYDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FKWO, Multivariate t-distribution (definition)
History
- 2026-11-02: add by m2/dev
HCG64Z9C13 HCG64Z9C13
| URI | m2://inv/HCG64Z9C13 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#Y79V (example)
History
- 2026-11-01: add by m2/v0.6.15
Formulation HCGBD4V6QV
| URI | m2://inv/HCGBD4V6QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin set (Serre)#WH0Q, Formulation (definition)
History
- 2026-11-02: add by m2/dev
HCGJ0ZFCHJ HCGJ0ZFCHJ
| URI | m2://inv/HCGJ0ZFCHJ |
|---|---|
| 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 2606.12009#IUXD (statement). In DNAN4SV8AM/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
HCGNM8ETN9 HCGNM8ETN9
| URI | m2://inv/HCGNM8ETN9 |
|---|---|
| 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.31604#V6V3 (statement). In GSN5YTQS2K/e1, proposition 1.15
History
- 2026-10-31: add by m2/v0.5.6
Church–Turing–Deutsch principle HCGPX79ZCF
| URI | m2://inv/HCGPX79ZCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Church–Turing–Deutsch principle, Church–Turing–Deutsch principle (statement). Also Wikidata Q4353569
History
- 2026-11-02: add by m2/dev
HCGQTRS1ZS HCGQTRS1ZS
| URI | m2://inv/HCGQTRS1ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03337#E38V (statement). In VH7EZDGTNA/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
HCGW8D5PZR HCGW8D5PZR
| URI | m2://inv/HCGW8D5PZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.04758#8JIA (statement). In DRWDJG2G3S/e1, theorem 1.11
History
- 2026-10-27: add by m2/v0.3.5
HCGXSVNC54 HCGXSVNC54
| URI | m2://inv/HCGXSVNC54 |
|---|---|
| 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.24206#P35O (statement)
History
- 2026-11-01: add by m2/v0.6.15
HCH0GP9PWP HCH0GP9PWP
| URI | m2://inv/HCH0GP9PWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#def:equivalence class (definition). In P1C114YBXG, definition, section A
History
- 2026-11-01: add by m2/v0.6.13
HCH8DWWM2Z HCH8DWWM2Z
| URI | m2://inv/HCH8DWWM2Z |
|---|---|
| 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.22090#9SXJ (statement). In NKJWGF050C/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
Missing completely at random HCHAFYK8JM
| URI | m2://inv/HCHAFYK8JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GKXJ, Missing completely at random (definition)
History
- 2026-11-02: add by m2/dev
Definition HCHWV4J0P5
| URI | m2://inv/HCHWV4J0P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillatory integral#MYLA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Translation and positive-scale equivariance HCHX1F4TC6
| URI | m2://inv/HCHX1F4TC6 |
|---|---|
| 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.08821#SSMI, Translation and positive-scale equivariance (statement). In KP1THB2C09/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.10
Film plane HCHYFA9PAC
| URI | m2://inv/HCHYFA9PAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Film plane, Film plane (definition). Also Wikidata Q5449029
History
- 2026-11-02: add by m2/dev
HCJ0CHD6Y6 HCJ0CHD6Y6
| URI | m2://inv/HCJ0CHD6Y6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#proof-4 (proof). In RZP28ERRZV, proof, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
HCJ1TJ7ZKG HCJ1TJ7ZKG
| URI | m2://inv/HCJ1TJ7ZKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#MMSN (statement). In 6VVK3YTABP/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
Gyrated triangular prismatic honeycomb HCJ329953Z
| URI | m2://inv/HCJ329953Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular prismatic honeycomb#DEQM, Gyrated triangular prismatic honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms for calculating variance HCJ4CRZCBQ
| URI | m2://inv/HCJ4CRZCBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T90G, Algorithms for calculating variance (definition)
History
- 2026-11-02: add by m2/dev
Conceptual system HCJ4MVT4SR
| URI | m2://inv/HCJ4MVT4SR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#TLW9, Conceptual system (unknown)
History
- 2026-11-02: add by m2/dev
Fock-Schwinger gauge HCJG53PW4Y
| URI | m2://inv/HCJG53PW4Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge fixing#LG1R, Fock-Schwinger gauge (unknown)
History
- 2026-11-02: add by m2/dev
HCJMJSNP97 HCJMJSNP97
| URI | m2://inv/HCJMJSNP97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1912.02769#HYDG (statement). In JH7VQ2EC16/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
List of properties of sets of reals HCJTH70QYM
| URI | m2://inv/HCJTH70QYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals, List of properties of sets of reals (topic). Also Wikidata Q6635446
History
- 2026-11-02: add by m2/dev
computer-assisted HCK1F4RGPS
| URI | m2://inv/HCK1F4RGPS |
|---|---|
| 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.03856#U77K, computer-assisted (statement). In HTBRYNPHSJ/e1, corollary 8.1
History
- 2026-10-29: add by m2/v0.4.12
HCK3K01V2Z HCK3K01V2Z
| URI | m2://inv/HCK3K01V2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24640#X5KC (statement)
History
- 2026-11-01: add by m2/v0.6.15
HCK429QF3N HCK429QF3N
| URI | m2://inv/HCK429QF3N |
|---|---|
| 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.17325#RWR1 (statement). In SE16BAED46/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
gross HCK557YECH
| URI | m2://inv/HCK557YECH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1547498, gross (unknown). Also MathWorld Gross
History
- 2026-10-26: add by m2/dev
H\"older functions on regular manifolds HCKBTSBH7W
| URI | m2://inv/HCKBTSBH7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#4V7H, H\"older functions on regular manifolds (definition). In SNWC76WKWT/e1, definition D.2
History
- 2026-10-31: add by m2/v0.5.6
HCKFK09BT2 HCKFK09BT2
| URI | m2://inv/HCKFK09BT2 |
|---|---|
| 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.02628#4IYX (statement). In G4S9C5M1A4/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.12
HCKMW280QW HCKMW280QW
| URI | m2://inv/HCKMW280QW |
|---|---|
| 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.10527#IIXF (statement). In 9AXPPWBA9R/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Roland P. Falkner HCKQVKY26Y
| URI | m2://inv/HCKQVKY26Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland P. Falkner, Roland P. Falkner (topic). Also Wikidata Q5724658
History
- 2026-11-02: add by m2/dev
HCKZW8QGCK HCKZW8QGCK
| URI | m2://inv/HCKZW8QGCK |
|---|---|
| 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#RW5M (statement). In DK5QY64NGH/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
HCM277RGDP HCM277RGDP
| URI | m2://inv/HCM277RGDP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16178#7EBC (definition). In 698X5RE1AB/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Eulerian path HCM6GMF451
| URI | m2://inv/HCM6GMF451 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Eulerian trail 05NWGBHKSZ |
Mentions
- wikidata: Wikidata Q624580, Eulerian path (definition). Also MathWorld EulerianPath, ProofWiki Definition:Eulerian_Trail
- wikipedia: Wikipedia Eulerian path, Eulerian path (definition). Also Wikidata Q624580
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Rasiowa-Sikorski lemma HCM6YSJ0TJ
| URI | m2://inv/HCM6YSJ0TJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#prob:rslemma, Rasiowa-Sikorski lemma (exercise). In RZP28ERRZV, problem, section 90.6
History
- 2026-11-01: add by m2/v0.6.13
412 (number) HCMDVC774V
| URI | m2://inv/HCMDVC774V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#31WM, 412 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HCMEWCAD0M HCMEWCAD0M
| URI | m2://inv/HCMEWCAD0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#DZE1 (statement). In 48QX0QD0XR/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Exponential moments at every temperature HCMF2MZVAK
| URI | m2://inv/HCMF2MZVAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31782#DEWI, Exponential moments at every temperature (statement). In YAYP5VZ94H/e1, proposition 6.3
History
- 2026-10-31: add by m2/v0.5.6
Geometry after the deformation within $\mathcal N$ HCMF67J33R
| URI | m2://inv/HCMF67J33R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#XO20, Geometry after the deformation within $\mathcal N$ (statement). In E31CZYM2H8/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Fisher's linear discriminator HCMG9W1CNH
| URI | m2://inv/HCMG9W1CNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CUSW, Fisher's linear discriminator (definition)
History
- 2026-11-02: add by m2/dev
Kronecker's Limit Formula HCN3TFK6GH
| URI | m2://inv/HCN3TFK6GH |
|---|---|
| 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.10365#68LO, Kronecker's Limit Formula (statement). In PRVQPSBVHK/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
HCNWM6HVW4 HCNWM6HVW4
| URI | m2://inv/HCNWM6HVW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2610.03746#2WDD (statement). In 4E1D0NS89S/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
HCNZSVCHZH HCNZSVCHZH
| URI | m2://inv/HCNZSVCHZH |
|---|---|
| Kind | example |
| 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 2308.05066#FI55 (example). In 1QSCT53ZED/e1, example 5.2
History
- 2026-10-27: add by m2/v0.4.0
HCP6NSD4V5 HCP6NSD4V5
| URI | m2://inv/HCP6NSD4V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#DMO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mikhail Subbotin HCPCP3SGF7
| URI | m2://inv/HCPCP3SGF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Subbotin, Mikhail Subbotin (topic). Also Wikidata Q4444966
History
- 2026-11-02: add by m2/dev
HCPMRN583J HCPMRN583J
| URI | m2://inv/HCPMRN583J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#definition-5 (definition). In RZP28ERRZV, definition, section 101.3
History
- 2026-11-01: add by m2/v0.6.13
HCPPFCGTDF HCPPFCGTDF
| URI | m2://inv/HCPPFCGTDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#ranksupstrict (statement). In PKGMM3P5QY, prop, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
HCPYNFF0QZ HCPYNFF0QZ
| URI | m2://inv/HCPYNFF0QZ |
|---|---|
| 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 2601.10370#9RHM (statement). In S5ZSEFYBD3/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Eilenberg−Ganea theorem HCQ0TBWWYG
| URI | m2://inv/HCQ0TBWWYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Ganea theorem#SJTN, Eilenberg−Ganea theorem (statement)
History
- 2026-11-02: add by m2/dev
HCQ6XC3QYV HCQ6XC3QYV
| URI | m2://inv/HCQ6XC3QYV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-28 (proof). In E59CDZA4DP, proof, section 10.5.5
History
- 2026-11-01: add by m2/v0.6.13
List of repunit primes HCQVKA0PTB
| URI | m2://inv/HCQVKA0PTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of repunit primes, List of repunit primes (topic). Also Wikidata Q121734462
History
- 2026-11-02: add by m2/dev
Notation HCQX4T9AEB
| URI | m2://inv/HCQX4T9AEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau–Mignotte bound#BKFV, Notation (definition)
History
- 2026-11-02: add by m2/dev
List of space groups HCR0RM4H3W
| URI | m2://inv/HCR0RM4H3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#OFIF, List of space groups (unknown)
History
- 2026-11-02: add by m2/dev
dynamics HCR5RZP7JJ
| URI | m2://inv/HCR5RZP7JJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128030, dynamics (unknown). Also EoM Dynamics
History
- 2026-10-26: add by m2/dev
HCRFGASJ1Z HCRFGASJ1Z
| URI | m2://inv/HCRFGASJ1Z |
|---|---|
| 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 2605.24355#DA3W (statement). In VV3AJMWWCR/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.6
HCRGTFES2K HCRGTFES2K
| URI | m2://inv/HCRGTFES2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.39317#VAW6 (statement). In QM1T8JDK4A/e1, fact 2.3
History
- 2026-10-30: add by m2/v0.4.12
HCRKPBTQJ4 HCRKPBTQJ4
| URI | m2://inv/HCRKPBTQJ4 |
|---|---|
| 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.29531#7T28 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Confidence region HCRSGQAQKX
| URI | m2://inv/HCRSGQAQKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence region, Confidence region (definition). Also Wikidata Q5160088
History
- 2026-11-02: add by m2/dev
Harald Grobner HCS43A8GM1
| URI | m2://inv/HCS43A8GM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harald Grobner, Harald Grobner (topic). Also Wikidata Q24653595
History
- 2026-11-02: add by m2/dev
Siegel, Sidney HCS5SESAC3
| URI | m2://inv/HCS5SESAC3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZFTZ, Siegel, Sidney (topic)
History
- 2026-11-02: add by m2/dev
HCS842FQ4F HCS842FQ4F
| URI | m2://inv/HCS842FQ4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#lem:cont (statement). In PKGMM3P5QY, lem, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Logistic differential equation HCSN3N0DRG
| URI | m2://inv/HCSN3N0DRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#DSXX, Logistic differential equation (definition)
History
- 2026-11-02: add by m2/dev
Logic Masters India HCSNBBZ82X
| URI | m2://inv/HCSNBBZ82X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic Masters India, Logic Masters India (definition). Also Wikidata Q116756417
History
- 2026-11-02: add by m2/dev
HCST3F9V02 HCST3F9V02
| URI | m2://inv/HCST3F9V02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#YIZG (statement). In X923ZEY423/e1, proposition 4.0.2
History
- 2026-10-27: add by m2/v0.3.5
HCSVBPEZT7 HCSVBPEZT7
| URI | m2://inv/HCSVBPEZT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-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 math/0008020#J4CF (statement). In 8K466RA3HH/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Reshetnyak's four point inequality HCSWCVG7J2
| URI | m2://inv/HCSWCVG7J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#XVVW, Reshetnyak's four point inequality (statement). In YXZX6Z8S6A/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Françoise Tisseur HCSX2ANY18
| URI | m2://inv/HCSX2ANY18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Françoise Tisseur, Françoise Tisseur (topic). Also Wikidata Q5493509
History
- 2026-11-02: add by m2/dev
Definitions HCSYHJJNM8
| URI | m2://inv/HCSYHJJNM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic order#I194, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ancestral graph HCT1G4FV5K
| URI | m2://inv/HCT1G4FV5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WAHY, Ancestral graph (definition)
History
- 2026-11-02: add by m2/dev
Proposition HCT1T18M3V
| URI | m2://inv/HCT1T18M3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#ZW5Y, Proposition (statement)
History
- 2026-11-02: add by m2/dev
HCT1TA44BT HCT1TA44BT
| URI | m2://inv/HCT1TA44BT |
|---|---|
| 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.30203#WA1G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications HCT64TFDQT
| URI | m2://inv/HCT64TFDQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic function#LNIJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Multidimensional homogeneous S\'ark\"ozy HCTARE8MAV
| URI | m2://inv/HCTARE8MAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#6IJA, Multidimensional homogeneous S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
HCTFRN0ZEC HCTFRN0ZEC
| URI | m2://inv/HCTFRN0ZEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14214#8X06 (statement). In SY85Y9E45A/e1, lemma 43
History
- 2026-10-27: add by m2/v0.3.5
HCTGE8MB76 HCTGE8MB76
| URI | m2://inv/HCTGE8MB76 |
|---|---|
| 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 2610.21092#S2SJ (statement). In AGJE43FTF8/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
Skew partition HCTH0J9QTV
| URI | m2://inv/HCTH0J9QTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew partition, Skew partition (definition). Also Wikidata Q7534804
History
- 2026-11-02: add by m2/dev
HCTHQ1N147 HCTHQ1N147
| URI | m2://inv/HCTHQ1N147 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#4Q1M (statement). In NS3RZ26JC7/e1, corollary 7
History
- 2026-10-31: add by m2/v0.5.6
Example HCTHRHW1HC
| URI | m2://inv/HCTHRHW1HC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Menger determinant#69VC, Example (example)
History
- 2026-11-02: add by m2/dev
Accessory dependence of global monodromy HCTYGQ801M
| URI | m2://inv/HCTYGQ801M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#H8VG, Accessory dependence of global monodromy (statement)
History
- 2026-11-01: add by m2/v0.6.15
HCV36Z0MGQ HCV36Z0MGQ
| URI | m2://inv/HCV36Z0MGQ |
|---|---|
| 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.39218#04CS (statement). In VPZSCE8HFP/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
HCV4T3FS07 HCV4T3FS07
| URI | m2://inv/HCV4T3FS07 |
|---|---|
| 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.26401#HCAA (statement)
History
- 2026-11-01: add by m2/v0.6.15
The adjoint string and cohesion HCV5C37FQE
| URI | m2://inv/HCV5C37FQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#4AH0, The adjoint string and cohesion (statement)
History
- 2026-11-01: add by m2/v0.6.15
HCVBG5FYEH HCVBG5FYEH
| URI | m2://inv/HCVBG5FYEH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-17 (example). In E9HS8K3A52, example, section 7.4.3
History
- 2026-11-01: add by m2/v0.6.13
HCVD3JEK22 HCVD3JEK22
| URI | m2://inv/HCVD3JEK22 |
|---|---|
| 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.11210#QVV5 (statement). In CRFDGFZHBF/e1, corollary 9.9
History
- 2026-10-28: add by m2/v0.4.3
Negami and Nakamoto HCVHWQNNFV
| URI | m2://inv/HCVHWQNNFV |
|---|---|
| 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.06340#TFFV, Negami and Nakamoto (statement). In PKNZPECH82/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
David B. Allison HCVS7A5Y6N
| URI | m2://inv/HCVS7A5Y6N |
|---|---|
| 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#E8EA, David B. Allison (topic)
History
- 2026-11-02: add by m2/dev
HCVT6KE6HW HCVT6KE6HW
| URI | m2://inv/HCVT6KE6HW |
|---|---|
| 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.35398#KVRY (statement). In NAJCCHYXR6/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Complete ordered field HCVXNF0VCG
| URI | m2://inv/HCVXNF0VCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real number#W8AF, Complete ordered field (unknown)
History
- 2026-11-02: add by m2/dev
HCW4XB8GTS HCW4XB8GTS
| URI | m2://inv/HCW4XB8GTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.22317#MZA0 (definition). In 2W5Z97BBW4/e1, definition 2.25
History
- 2026-10-27: add by m2/v0.4.0
Definition HCWBVS7XJD
| URI | m2://inv/HCWBVS7XJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number fields with class number one#NRYI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Landon Rabern HCWC448VDV
| URI | m2://inv/HCWC448VDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landon Rabern, Landon Rabern (topic). Also Wikidata Q102411118
History
- 2026-11-02: add by m2/dev
Applications HCWH0G82Y8
| URI | m2://inv/HCWH0G82Y8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wakeby distribution#4HS6, Applications (example)
History
- 2026-11-02: add by m2/dev
Improved place-fair upper bound HCWH27YM19
| URI | m2://inv/HCWH27YM19 |
|---|---|
| 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.15421#UN2H, Improved place-fair upper bound (statement). In 3RBKH0DA74/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
change of variables to polar co-ordinates HCWJJCCSE8
| URI | m2://inv/HCWJJCCSE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > change of variables to polar co-ordinates, change of variables to polar co-ordinates (unknown). Also Mathlib integral_comp_polarCoord_symm
History
- 2026-10-26: add by m2/dev
HCWJKS3ZE5 HCWJKS3ZE5
| URI | m2://inv/HCWJKS3ZE5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-5-4-parts.xml#example-3 (example). In 907G4C4EJ1, example, section 5.4.5
History
- 2026-11-01: add by m2/v0.6.13
HCWK86SD63 HCWK86SD63
| URI | m2://inv/HCWK86SD63 |
|---|---|
| Kind | example |
| 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 2203.15223#KS43 (example). In HSY17Q75DM/e1, example
History
- 2026-10-27: add by m2/v0.3.5
HCWQXT23VE HCWQXT23VE
| URI | m2://inv/HCWQXT23VE |
|---|---|
| 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 2602.07485#AL69 (statement). In 8KAC1E81JQ/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
HCX0JPZDTT HCX0JPZDTT
| URI | m2://inv/HCX0JPZDTT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-17 (proof). In N54F33XE07, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Isometric latitude HCX75EFF8T
| URI | m2://inv/HCX75EFF8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#N8G7, Isometric latitude (unknown)
History
- 2026-11-02: add by m2/dev
Η HCX826JZGZ
| URI | m2://inv/HCX826JZGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14396, Η (unknown). Also ProofWiki Symbols:Greek/Eta
History
- 2026-10-26: add by m2/dev
Lemma HCX8RKQFCM
| URI | m2://inv/HCX8RKQFCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff maximal principle#W7P9, Lemma (statement)
History
- 2026-11-02: add by m2/dev
70,000 HCXB6FTHYD
| URI | m2://inv/HCXB6FTHYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 70,000, 70,000 (definition). Also Wikidata Q3271917
History
- 2026-11-02: add by m2/dev
Cauchy matrix HCXC1QYE8P
| URI | m2://inv/HCXC1QYE8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#4P0C, Cauchy matrix (definition)
History
- 2026-11-02: add by m2/dev
subdivision of a graph HCXC60C5VA
| URI | m2://inv/HCXC60C5VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6134791, subdivision of a graph (definition). Also MathWorld GraphSubdivision, ProofWiki Definition:Subdivision_(Graph_Theory)
History
- 2026-10-26: add by m2/dev
Accidental sampling HCXNVVHC7J
| URI | m2://inv/HCXNVVHC7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#962C, Accidental sampling (definition)
History
- 2026-11-02: add by m2/dev
David Tannor HCXX1RGV03
| URI | m2://inv/HCXX1RGV03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E767, David Tannor (unknown)
History
- 2026-11-02: add by m2/dev
HCY153QYZT HCY153QYZT
| URI | m2://inv/HCY153QYZT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#96PN (definition). In 89XYDVXG38/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
HCYBFA9MA7 HCYBFA9MA7
| URI | m2://inv/HCYBFA9MA7 |
|---|---|
| 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#VYTE (definition). In D0XH7W96T3/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
HCYFG5AQER HCYFG5AQER
| URI | m2://inv/HCYFG5AQER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/size-of-structures.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
Properties HCYGRHK2QA
| URI | m2://inv/HCYGRHK2QA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal triangle#DVDN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Projection lower bound HCYR3XTZ21
| URI | m2://inv/HCYR3XTZ21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20270#G9YT, Projection lower bound (statement). In GV0QGZH67P/e1, lemma C.6
History
- 2026-10-27: add by m2/v0.4.2
B8 polytope HCYWKW7PSY
| URI | m2://inv/HCYWKW7PSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B8 polytope, B8 polytope (definition). Also Wikidata Q6563160
History
- 2026-11-02: add by m2/dev
Support and continuity on a common compact interval HCYWQM11VV
| URI | m2://inv/HCYWQM11VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18436#EJ6O, Support and continuity on a common compact interval (statement). In M0Z0XAXZYW/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Leo Marks HCZ2CCBN2X
| URI | m2://inv/HCZ2CCBN2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#CAC9, Leo Marks (topic)
History
- 2026-11-02: add by m2/dev
HCZ674P2XG HCZ674P2XG
| URI | m2://inv/HCZ674P2XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19660#TVSP (statement). In YKVVY2BW1B/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Properties HCZ78ZXJ39
| URI | m2://inv/HCZ78ZXJ39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra#QPU0, Properties (statement)
History
- 2026-11-02: add by m2/dev
HCZ82BSPTX HCZ82BSPTX
| URI | m2://inv/HCZ82BSPTX |
|---|---|
| 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 2606.02312#DTF9 (statement). In 1SZV94R22Y/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.3.5
Herbert Wilf HCZH6AYTZN
| URI | m2://inv/HCZH6AYTZN |
|---|---|
| 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 Q1035425, Herbert Wilf (unknown). Also nLab Herbert Wilf
- wikipedia: Wikipedia Herbert Wilf, Herbert Wilf (topic). Also Wikidata Q1035425
History
- 2026-10-26: add by m2/dev
Cantitruncated alternated cubic honeycomb HCZNQM6QCZ
| URI | m2://inv/HCZNQM6QCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GU1T, Cantitruncated alternated cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7VVT, Cantitruncated alternated cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
HCZS013QEZ HCZS013QEZ
| URI | m2://inv/HCZS013QEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#G080 (statement). In YXZX6Z8S6A/e1, corollary B.5
History
- 2026-10-28: add by m2/v0.4.2
HCZTQPE6KA HCZTQPE6KA
| URI | m2://inv/HCZTQPE6KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#BB26 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example HCZY3E9JYZ
| URI | m2://inv/HCZY3E9JYZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer-matrix method (optics)#9TWK, Example (example)
History
- 2026-11-02: add by m2/dev
Examples HCZZATEW61
| URI | m2://inv/HCZZATEW61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quincunx#X5EQ, Examples (example)
History
- 2026-11-02: add by m2/dev