Inventory rows 9H
The cards of the rows of the inventory whose ids start with 9H. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9H0102TTK4 9H0102TTK4
| URI | m2://inv/9H0102TTK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#OJTW (definition)
History
- 2026-11-01: add by m2/v0.6.15
Subthreshold input 9H01P4NF73
| URI | m2://inv/9H01P4NF73 |
|---|---|
| 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.02714#LH12, Subthreshold input (statement). In R9AXCJWK8F/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.12
Definition 9H02866Q5R
| URI | m2://inv/9H02866Q5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational monoid#P97A, Definition (definition)
History
- 2026-11-02: add by m2/dev
9H03BP02M3 9H03BP02M3
| URI | m2://inv/9H03BP02M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#6I4B (statement). In MS7M2BJS9X/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.10
fundamental theorem of calculus, part 1 9H06W659XA
| URI | m2://inv/9H06W659XA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 1, fundamental theorem of calculus, part 1 (unknown). Also Mathlib intervalIntegral.integral_hasFDerivAt_of_tendsto_ae
History
- 2026-10-26: add by m2/dev
Origin indicator 9H073QC3V7
| URI | m2://inv/9H073QC3V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#GRWC, Origin indicator (statement). In DSXBMRYE0V/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
9H07F6GC7Q 9H07F6GC7Q
| URI | m2://inv/9H07F6GC7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#Y857 (statement). In SBZNH932ZV/e1, lemma 8.9
History
- 2026-10-30: add by m2/v0.4.12
9H0CN7WW7W 9H0CN7WW7W
| URI | m2://inv/9H0CN7WW7W |
|---|---|
| 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#5A8I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Random subsets of expanders contain Hamilton routers 9H0J69WX7J
| URI | m2://inv/9H0J69WX7J |
|---|---|
| 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.35766#FX8F, Random subsets of expanders contain Hamilton routers (statement). In 6638EFW1NG/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
9H0Q90BVE7 9H0Q90BVE7
| URI | m2://inv/9H0Q90BVE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26776#22DM (statement)
History
- 2026-11-01: add by m2/v0.6.15
existentially closed model 9H0XK58TTN
| URI | m2://inv/9H0XK58TTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5420362, existentially closed model (unknown). Also nLab existentially closed model
- wikipedia: Wikipedia Existentially closed model, Existentially closed model (definition). Also Wikidata Q5420362
History
- 2026-10-26: add by m2/dev
geometric meaning of the profile 9H0YW9NQ0V
| URI | m2://inv/9H0YW9NQ0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#KYK4, geometric meaning of the profile (statement). In TPA3E67MKK/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
bar construction 9H0ZXRQN5X
| URI | m2://inv/9H0ZXRQN5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#0BAI, bar construction (definition)
History
- 2026-11-02: add by m2/dev
9H1BBWQY81 9H1BBWQY81
| URI | m2://inv/9H1BBWQY81 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:CXCnormedspace (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
Three-stage least squares 9H1G67SW9Q
| URI | m2://inv/9H1G67SW9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#72G8, Three-stage least squares (definition)
History
- 2026-11-02: add by m2/dev
Morlet wavelet 9H1PZ3S824
| URI | m2://inv/9H1PZ3S824 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morlet wavelet, Morlet wavelet (definition). Also Wikidata Q3505077
History
- 2026-11-02: add by m2/dev
E. T. Bell 9H1XCMQ0X8
| URI | m2://inv/9H1XCMQ0X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#ZZ29, E. T. Bell (topic)
History
- 2026-11-02: add by m2/dev
9H1ZA1M1W4 9H1ZA1M1W4
| URI | m2://inv/9H1ZA1M1W4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
GeoDA 9H2AXXQX8V
| URI | m2://inv/9H2AXXQX8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#WBK9, GeoDA (definition)
History
- 2026-11-02: add by m2/dev
Paul A. Catlin 9H2FQSADVA
| URI | m2://inv/9H2FQSADVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H59V, Paul A. Catlin (topic)
History
- 2026-11-02: add by m2/dev
Ian Rumfitt 9H2JHKNEDY
| URI | m2://inv/9H2JHKNEDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#NZDJ, Ian Rumfitt (topic)
History
- 2026-11-02: add by m2/dev
9H2KG5DYH5 9H2KG5DYH5
| URI | m2://inv/9H2KG5DYH5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#6TFS (definition). In 4WPYBTARS2/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Moment measure 9H3ECST3JV
| URI | m2://inv/9H3ECST3JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment measure, Moment measure (definition). Also Wikidata Q17104140
History
- 2026-11-02: add by m2/dev
Cor.\,5.6\ 9H3GC38VQJ
| URI | m2://inv/9H3GC38VQJ |
|---|---|
| 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.07855#2SK1, Cor.\,5.6\ (statement). In 1VT8CVVCM7/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
9H3JS8JH3E 9H3JS8JH3E
| URI | m2://inv/9H3JS8JH3E |
|---|---|
| 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.07164#GGQN (statement). In Q1XJ5VWE1N/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
9H3MGZ7QHV 9H3MGZ7QHV
| URI | m2://inv/9H3MGZ7QHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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.23469#PSMQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
9H3PTPKXSZ 9H3PTPKXSZ
| URI | m2://inv/9H3PTPKXSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27192#9MHF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ultimate attribution error 9H3T65FN1Q
| URI | m2://inv/9H3T65FN1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#F1J1, Ultimate attribution error (unknown)
History
- 2026-11-02: add by m2/dev
Formal statement 9H3WDMFC03
| URI | m2://inv/9H3WDMFC03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum modulus principle#KT16, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
9H3YZ4RDT3 9H3YZ4RDT3
| URI | m2://inv/9H3YZ4RDT3 |
|---|---|
| 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 math/9801068#5PA3 (statement). In PMMWXCJVAZ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
neighbour 9H3ZYKGJWW
| URI | m2://inv/9H3ZYKGJWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7BD3, neighbour (definition)
History
- 2026-11-02: add by m2/dev
9H40MZRBFK 9H40MZRBFK
| URI | m2://inv/9H40MZRBFK |
|---|---|
| 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.37112#S06V (statement). In 5B10HAY4C3/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Kinser rigidity for vanishing defect curvature 9H419RRQG1
| URI | m2://inv/9H419RRQG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.06739#LA3R, Kinser rigidity for vanishing defect curvature (statement). In HA9B7PD0YV/e1, corollary 43
History
- 2026-10-29: add by m2/v0.4.10
Parity pattern 9H4209BS99
| URI | m2://inv/9H4209BS99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#4ZPL, Parity pattern (statement). In KZ71GXT2B0/e1, theorem 6.12
History
- 2026-10-28: add by m2/v0.4.2
9H433BYKBV 9H433BYKBV
| URI | m2://inv/9H433BYKBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#RSPY (statement). In KW8C7VE9XR/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Drag coefficient 9H459301QB
| URI | m2://inv/9H459301QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drag coefficient, Drag coefficient (definition). Also Wikidata Q1778961
History
- 2026-11-02: add by m2/dev
9H4BA8145Y 9H4BA8145Y
| URI | m2://inv/9H4BA8145Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#NJRU (definition). In F3BKXXPR3K/e1, definition 3.57
History
- 2026-10-27: add by m2/v0.4.2
9H4JT8PVT9 9H4JT8PVT9
| URI | m2://inv/9H4JT8PVT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31216#871L (statement). In M9CSGRSRB3/e1, theorem 3.10
History
- 2026-10-31: add by m2/v0.5.6
Leezen 9H4K6T2RTB
| URI | m2://inv/9H4K6T2RTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H3O9, Leezen (unknown)
History
- 2026-11-02: add by m2/dev
Definition 9H4VR8FNAT
| URI | m2://inv/9H4VR8FNAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Racah polynomials#RQJ9, Definition (definition)
History
- 2026-11-02: add by m2/dev
9H4W93W2AN 9H4W93W2AN
| URI | m2://inv/9H4W93W2AN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-249 (exercise). In VNMV985MXX, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
9H51PGZMTD 9H51PGZMTD
| URI | m2://inv/9H51PGZMTD |
|---|---|
| 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.08658#G16D (statement). In 7PK5WS7246/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Cartan–Karlhede classification 9H59JS4WBJ
| URI | m2://inv/9H59JS4WBJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#U7IX, Cartan–Karlhede classification (unknown)
History
- 2026-11-02: add by m2/dev
Method 9H5F912X0G
| URI | m2://inv/9H5F912X0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed-particle hydrodynamics#9V19, Method (definition)
History
- 2026-11-02: add by m2/dev
9H5FXKY4ES 9H5FXKY4ES
| URI | m2://inv/9H5FXKY4ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19988#54R8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9H5M7W3T69 9H5M7W3T69
| URI | m2://inv/9H5M7W3T69 |
|---|---|
| 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.07673#Q6Y4 (statement). In 37B1MPV8GX/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Hard-core predicate 9H5SS4YPQ1
| URI | m2://inv/9H5SS4YPQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hard-core predicate, Hard-core predicate (definition). Also Wikidata Q2355810
History
- 2026-11-02: add by m2/dev
9H5TTAH80F 9H5TTAH80F
| URI | m2://inv/9H5TTAH80F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#SYXW (statement). In C8JAGP8VCQ/e1, proposition 10.5
History
- 2026-10-27: add by m2/v0.3.5
hypersurface, embedded 9H5YMF10B5
| URI | m2://inv/9H5YMF10B5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/hypersurface-embedded, hypersurface, embedded (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
9H5YYK3G1D 9H5YYK3G1D
| URI | m2://inv/9H5YYK3G1D |
|---|---|
| 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.37337#XG8O (statement). In 813JGZV08G/e1, corollary E.7
History
- 2026-10-30: add by m2/v0.4.12
Paradox is meaningless: the question is sophistry 9H60AFNXEA
| URI | m2://inv/9H60AFNXEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnipotence paradox#QJUR, Paradox is meaningless: the question is sophistry (statement)
History
- 2026-11-02: add by m2/dev
suffix notation 9H60XEW7VH
| URI | m2://inv/9H60XEW7VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#C3XH, suffix notation (definition)
History
- 2026-11-02: add by m2/dev
9H668V206G 9H668V206G
| URI | m2://inv/9H668V206G |
|---|---|
| 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 2609.25703#E536 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9H6A863H1R 9H6A863H1R
| URI | m2://inv/9H6A863H1R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#F4JD (definition). In NGZ5AZ70NN/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Optical transfer function 9H6BCWPSRV
| URI | m2://inv/9H6BCWPSRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical transfer function, Optical transfer function (definition). Also Wikidata Q1942321
History
- 2026-11-02: add by m2/dev
Meagre 9H6EPJ9BSM
| URI | m2://inv/9H6EPJ9BSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#1ESJ, Meagre (definition)
History
- 2026-11-02: add by m2/dev
Affine arithmetic 9H6WKDK1V2
| URI | m2://inv/9H6WKDK1V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine arithmetic, Affine arithmetic (definition). Also Wikidata Q3622729
History
- 2026-11-02: add by m2/dev
9H7AJ1TK0Q 9H7AJ1TK0Q
| URI | m2://inv/9H7AJ1TK0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#FKI5 (statement). In VNE8N0D2FB/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
*{Def. 1.21, Def. 1.23, Prop. 1.24 9H7BGRKMBT
| URI | m2://inv/9H7BGRKMBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#VQYG, *{Def. 1.21, Def. 1.23, Prop. 1.24 (statement)
History
- 2026-11-02: add by m2/v0.6.17
9H7F6V89KS 9H7F6V89KS
| URI | m2://inv/9H7F6V89KS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
9H7HBNB8ES 9H7HBNB8ES
| URI | m2://inv/9H7HBNB8ES |
|---|---|
| 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.14803#UBUF (statement). In VAEVDTBD3B/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Subdivision (graph theory) 9H7VBNKVDD
| URI | m2://inv/9H7VBNKVDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeomorphism (graph theory)#V36C, Subdivision (graph theory) (unknown)
History
- 2026-11-02: add by m2/dev
The results 9H7W01WS4R
| URI | m2://inv/9H7W01WS4R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalue perturbation#RTI1, The results (statement)
History
- 2026-11-02: add by m2/dev
Radon 9H7Y3WF0TW
| URI | m2://inv/9H7Y3WF0TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#Z70Y, Radon (definition)
History
- 2026-11-02: add by m2/dev
inverse hyperbolic trigonometric functions 9H7ZTB5Z7S
| URI | m2://inv/9H7ZTB5Z7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Special functions > inverse hyperbolic trigonometric functions, inverse hyperbolic trigonometric functions (unknown). Also Mathlib Real.arsinh
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > inverse hyperbolic trigonometric functions, inverse hyperbolic trigonometric functions (unknown). Also Mathlib Real.arsinh
History
- 2026-10-26: add by m2/dev
9H8H3ZMT2G 9H8H3ZMT2G
| URI | m2://inv/9H8H3ZMT2G |
|---|---|
| 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.03874#7TP7 (statement). In YA93K7CVMT/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
9H8TRN8X00 9H8TRN8X00
| URI | m2://inv/9H8TRN8X00 |
|---|---|
| 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.01737#JTH8 (statement). In M4JGP708F4/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.12
Examples 9H8XN0M8S1
| URI | m2://inv/9H8XN0M8S1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear map#0ZLJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Angus MacFarlane-Grieve 9H8XW9QBDT
| URI | m2://inv/9H8XW9QBDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angus MacFarlane-Grieve, Angus MacFarlane-Grieve (topic). Also Wikidata Q20806747
History
- 2026-11-02: add by m2/dev
loop space, iterated 9H8ZDNCVEG
| URI | m2://inv/9H8ZDNCVEG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
root locus 9H95PMQ367
| URI | m2://inv/9H95PMQ367 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 93C55 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q957693, root locus (topic)
- wikipedia: Wikipedia Root locus analysis, Root locus analysis (definition). Also Wikidata Q957693
History
- 2026-10-26: add by m2/dev
9H99SEE70Y 9H99SEE70Y
| URI | m2://inv/9H99SEE70Y |
|---|---|
| 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 2210.04075#GCSS (statement). In C5DZR0TC5E/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
9H9EEHBF8V 9H9EEHBF8V
| URI | m2://inv/9H9EEHBF8V |
|---|---|
| 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.33283#UVXT (statement). In CXPFSDMEPB/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
9H9YXV1TD1 9H9YXV1TD1
| URI | m2://inv/9H9YXV1TD1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
9HA33TH25Q 9HA33TH25Q
| URI | m2://inv/9HA33TH25Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08370#T6KE (definition). In EQN3EZRZYQ/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
9HA6WZ78DV 9HA6WZ78DV
| URI | m2://inv/9HA6WZ78DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#ZFAG (statement). In NRF7379N9J/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Forced local Riccati estimate 9HA9C2X6Y8
| URI | m2://inv/9HA9C2X6Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-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.23927#CU6V, Forced local Riccati estimate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Exact one-bit characterization 9HAAS4REPW
| URI | m2://inv/9HAAS4REPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10002#BF2T, Exact one-bit characterization (statement). In 5ZYWF6HAXJ/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Properties 9HAMRDK3XJ
| URI | m2://inv/9HAMRDK3XJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faithful representation#9DP2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Code 9HANWZNAH4
| URI | m2://inv/9HANWZNAH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code (cryptography), Code (definition). Also Wikidata Q4994879
History
- 2026-11-02: add by m2/dev
Examples 9HAX599DC2
| URI | m2://inv/9HAX599DC2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presheaf (category theory)#CXGF, Examples (example)
History
- 2026-11-02: add by m2/dev
9HAXCKJSNR 9HAXCKJSNR
| URI | m2://inv/9HAXCKJSNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#P9J2 (statement). In 6NVP3YRWVA/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.10
Examples 9HAXV863NK
| URI | m2://inv/9HAXV863NK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly convex space#7WGW, Examples (example)
History
- 2026-11-02: add by m2/dev
Plotly 9HB1057BYB
| URI | m2://inv/9HB1057BYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#LJFA, Plotly (unknown)
History
- 2026-11-02: add by m2/dev
9HB27BQJ8V 9HB27BQJ8V
| URI | m2://inv/9HB27BQJ8V |
|---|---|
| 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 2610.09897#WZKY (statement). In NYA085FW0M/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Shift operator 9HB9DXDE1X
| URI | m2://inv/9HB9DXDE1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift operator, Shift operator (definition). Also Wikidata Q2278680
History
- 2026-11-02: add by m2/dev
9HBAZ9X957 9HBAZ9X957
| URI | m2://inv/9HBAZ9X957 |
|---|---|
| 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.20421#H3E4 (statement). In Q4R7J8JE3F/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
9HBB9CXX14 9HBB9CXX14
| URI | m2://inv/9HBB9CXX14 |
|---|---|
| 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.25880#991B (statement)
History
- 2026-11-01: add by m2/v0.6.15
James E. Gentle 9HBEWS4V3Y
| URI | m2://inv/9HBEWS4V3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James E. Gentle, James E. Gentle (topic). Also Wikidata Q64706190
History
- 2026-11-02: add by m2/dev
Methods 9HBF8FERY8
| URI | m2://inv/9HBF8FERY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedometric mapping#XUUY, Methods (definition)
History
- 2026-11-02: add by m2/dev
Skolem arithmetic 9HBGCAK4ZB
| URI | m2://inv/9HBGCAK4ZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem arithmetic, Skolem arithmetic (definition). Also Wikidata Q7536198
History
- 2026-11-02: add by m2/dev
9HBGR0PTF1 9HBGR0PTF1
| URI | m2://inv/9HBGR0PTF1 |
|---|---|
| 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 2511.07697#DU6B (statement). In 57P5P33HS3/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
9HBJTG6MAW 9HBJTG6MAW
| URI | m2://inv/9HBJTG6MAW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#IH7S (definition). In X38P26DK6S/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.0
9HBPQNYMS9 9HBPQNYMS9
| URI | m2://inv/9HBPQNYMS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#ZCTU (statement). In PGV1116XX4/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
writhe of a link diagram 9HBRZG414F
| URI | m2://inv/9HBRZG414F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q778947, writhe of a link diagram (unknown). Also MathWorld Writhe
- wikipedia: Wikipedia Writhe, Writhe (definition). Also Wikidata Q778947
History
- 2026-10-26: add by m2/dev
9HC5556FZQ 9HC5556FZQ
| URI | m2://inv/9HC5556FZQ |
|---|---|
| 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#XDT1 (statement). In J7ZX3WWRQP/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
9HC6ZZ8HX5 9HC6ZZ8HX5
| URI | m2://inv/9HC6ZZ8HX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#DC9L (statement). In H52QQS8WZA/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Trend-stationary process 9HC9K7K67K
| URI | m2://inv/9HC9K7K67K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R17E, Trend-stationary process (definition)
History
- 2026-11-02: add by m2/dev
9HCDHYMS85 9HCDHYMS85
| URI | m2://inv/9HCDHYMS85 |
|---|---|
| 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.38206#25B0 (statement). In F71MS1F637/e1, proposition 5.9
History
- 2026-10-30: add by m2/v0.4.12
Erdős–Straus conjecture 9HCFE17VK9
| URI | m2://inv/9HCFE17VK9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#M8TD, Erdős–Straus conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Minimum modulus principle 9HCRTQ3MAK
| URI | m2://inv/9HCRTQ3MAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum modulus principle#AT5S, Minimum modulus principle (statement)
History
- 2026-11-02: add by m2/dev
Andrea Malchiodi 9HCS1HWKRW
| URI | m2://inv/9HCS1HWKRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Malchiodi, Andrea Malchiodi (topic). Also Wikidata Q3615821
History
- 2026-11-02: add by m2/dev
9HCZ36V110 9HCZ36V110
| URI | m2://inv/9HCZ36V110 |
|---|---|
| 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#1XNM (conjecture). In AFSG70BF7S/e1, conjecture 15
History
- 2026-10-29: add by m2/v0.4.10
Kenneth Arrow 9HD6KTX9GQ
| URI | m2://inv/9HD6KTX9GQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Arrow, Kenneth Arrow (topic). Also Wikidata Q192592
History
- 2026-11-02: add by m2/dev
Conjecture of Kupitz , solved by Valtr 9HDMTR80TX
| URI | m2://inv/9HDMTR80TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#QQUN, Conjecture of Kupitz , solved by Valtr (statement). In 751KSRS7WT/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
contour line 9HDNDMADW6
| URI | m2://inv/9HDNDMADW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Contour line 0QD83RAN8G |
Mentions
- wikidata: Wikidata Q14905927, contour line (unknown). Also MathWorld ContourLine
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem 9HDP47CHVY
| URI | m2://inv/9HDP47CHVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#YE8V, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 9HDS23QRA8
| URI | m2://inv/9HDS23QRA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert modular form#X3GM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Agoston Pisztora 9HDV3CY2A3
| URI | m2://inv/9HDV3CY2A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HGBS, Agoston Pisztora (unknown)
History
- 2026-11-02: add by m2/dev
Recurrence formula 9HDYG8SQSZ
| URI | m2://inv/9HDYG8SQSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated Legendre polynomials#G8OP, Recurrence formula (statement)
History
- 2026-11-02: add by m2/dev
9HE12PDD0Z 9HE12PDD0Z
| URI | m2://inv/9HE12PDD0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#example-4 (example). In RZP28ERRZV, example, section 51.6
History
- 2026-11-01: add by m2/v0.6.13
Global optimum 9HEBYNJ0X4
| URI | m2://inv/9HEBYNJ0X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7GKJ, Global optimum (definition)
History
- 2026-11-02: add by m2/dev
Absolute Deviation 9HEFY7TTHW
| URI | m2://inv/9HEFY7TTHW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation (statistics)#ZTYM, Absolute Deviation (unknown)
History
- 2026-11-02: add by m2/dev
Examples 9HESYAPNJT
| URI | m2://inv/9HESYAPNJT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutohedron#LASL, Examples (example)
History
- 2026-11-02: add by m2/dev
9HETP3AZQN 9HETP3AZQN
| URI | m2://inv/9HETP3AZQN |
|---|---|
| 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.04117#T56A (statement). In 65E9N3DFYP/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Branchwise Wilf certificates 9HEVSZCKRR
| URI | m2://inv/9HEVSZCKRR |
|---|---|
| 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.32078#4NZQ, Branchwise Wilf certificates (statement). In 5PN85N6EJF/e1, theorem 14.2
History
- 2026-10-31: add by m2/v0.5.6
9HF0Q9BNGV 9HF0Q9BNGV
| URI | m2://inv/9HF0Q9BNGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#2U16 (statement). In MQPBZX4DR6/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
De Gua's theorem 9HF4E4TPDP
| URI | m2://inv/9HF4E4TPDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1202608, De Gua's theorem (statement). Also Wikidata Q1202608
- thousand_plus: thousand_plus Q1202608, De Gua's theorem (statement). Also Wikidata Q1202608, Wikipedia De Gua's theorem
- wikidata: Wikidata Q1202608, De Gua's theorem (statement). Also MathWorld deGuasTheorem
- wikipedia: Wikipedia De Gua's theorem, De Gua's theorem (statement). Also Wikidata Q1202608
History
- 2026-10-26: add by m2/dev
Basketball statistician 9HF6KEDRDR
| URI | m2://inv/9HF6KEDRDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basketball statistician, Basketball statistician (definition). Also Wikidata Q4867753
History
- 2026-11-02: add by m2/dev
9HF7GQ6SGT 9HF7GQ6SGT
| URI | m2://inv/9HF7GQ6SGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#Y0S3 (statement). In QFA8TMJPHZ/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Stanley Mandelstam 9HFH6KWF4Z
| URI | m2://inv/9HFH6KWF4Z |
|---|---|
| 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 Q348152, Stanley Mandelstam (unknown). Also nLab Stanley Mandelstam
History
- 2026-10-26: add by m2/dev
Fourier transform 9HFMHF93E8
| URI | m2://inv/9HFMHF93E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#NSW2, Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Mayer-Vietoris sequence for graphs 9HFRJXJW12
| URI | m2://inv/9HFRJXJW12 |
|---|---|
| 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 2610.03497#57QC, Mayer-Vietoris sequence for graphs (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Definition 9HG5TFF98W
| URI | m2://inv/9HG5TFF98W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonalizable matrix#RZDX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mechanical similarity 9HG6N5Z130
| URI | m2://inv/9HG6N5Z130 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanical similarity, Mechanical similarity (definition). Also Wikidata Q6804546
History
- 2026-11-02: add by m2/dev
9HGE5XK18F 9HGE5XK18F
| URI | m2://inv/9HGE5XK18F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#7ILA (statement). In M0SQY5EZN5/e1, theorem 1.4.5
History
- 2026-10-27: add by m2/v0.3.5
Formal group law 9HGJ0A7BXC
| URI | m2://inv/9HGJ0A7BXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal group law, Formal group law (statement). Also Wikidata Q5469970
History
- 2026-11-02: add by m2/dev
The Formula 9HH4CBJW74
| URI | m2://inv/9HH4CBJW74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pesin Entropy Formula#T746, The Formula (statement)
History
- 2026-11-02: add by m2/dev
9HHCQM2EFV 9HHCQM2EFV
| URI | m2://inv/9HHCQM2EFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19358#NT29 (statement). In N3QZZ7BD0V/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Huffman coding 9HHH1W2D8A
| URI | m2://inv/9HHH1W2D8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2647, Huffman coding (unknown). Also MathWorld HuffmanCoding
- wikipedia: Wikipedia Huffman coding, Huffman coding (definition). Also Wikidata Q2647
History
- 2026-10-26: add by m2/dev
Definitions 9HHP8BZZN0
| URI | m2://inv/9HHP8BZZN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MV-algebra#AV48, Definitions (definition)
History
- 2026-11-02: add by m2/dev
T3½ 9HHV5APYF2
| URI | m2://inv/9HHV5APYF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#RZGD, T3½ (definition)
History
- 2026-11-02: add by m2/dev
9HHY5ECTM9 9HHY5ECTM9
| URI | m2://inv/9HHY5ECTM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.1307#HXL8 (statement). In TP09MNWY6B/e1, corollary 2.14
History
- 2026-10-27: add by m2/v0.3.5
Hellmann–Feynman theorems 9HHZPVMEHS
| URI | m2://inv/9HHZPVMEHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation theory (quantum mechanics)#P3XM, Hellmann–Feynman theorems (statement)
History
- 2026-11-02: add by m2/dev
Lior Pachter 9HJ99Z21KJ
| URI | m2://inv/9HJ99Z21KJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RSTL, Lior Pachter (unknown)
History
- 2026-11-02: add by m2/dev
Matt Parker 9HJA3XQZ1V
| URI | m2://inv/9HJA3XQZ1V |
|---|---|
| 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 Q21063802, Matt Parker (unknown). Also ProofWiki Mathematician:Matthew_Thomas_Parker
- wikipedia: Wikipedia Matt Parker, Matt Parker (topic). Also Wikidata Q21063802
History
- 2026-10-26: add by m2/dev
Related conjectures 9HJAG9YFGQ
| URI | m2://inv/9HJAG9YFGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate conjecture#HNIW, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
Hadwiger's theorem 9HJAQ5CT8R
| URI | m2://inv/9HJAQ5CT8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#K0MX, Hadwiger's theorem (statement)
- wikipedia: Wikipedia List of integration and measure theory topics#07PN, Hadwiger's theorem (statement)
History
- 2026-11-02: add by m2/dev
General Recursion 9HJRJMS88W
| URI | m2://inv/9HJRJMS88W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#transrecursionschema, General Recursion (statement). In PKGMM3P5QY, thm, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
Formation rule 9HJX22YWQD
| URI | m2://inv/9HJX22YWQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formation rule, Formation rule (definition). Also Wikidata Q3005945
History
- 2026-11-02: add by m2/dev
Lubrication theory 9HK0HBJ0SG
| URI | m2://inv/9HK0HBJ0SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubrication theory, Lubrication theory (definition). Also Wikidata Q2858941
History
- 2026-11-02: add by m2/dev
Slope chart 9HK7PXVVJE
| URI | m2://inv/9HK7PXVVJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope chart, Slope chart (definition). Also Wikidata Q135185468
History
- 2026-11-02: add by m2/dev
9HKB1KF30N 9HKB1KF30N
| URI | m2://inv/9HKB1KF30N |
|---|---|
| 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.26308#BB85 (statement)
History
- 2026-11-01: add by m2/v0.6.15
index of a subgroup 9HKBTQBK78
| URI | m2://inv/9HKBTQBK78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > index of a subgroup, index of a subgroup (unknown). Also Mathlib Subgroup.index
History
- 2026-10-26: add by m2/dev
9HKBTTQG9B 9HKBTTQG9B
| URI | m2://inv/9HKBTTQG9B |
|---|---|
| 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#6GNH (statement). In HTBRYNPHSJ/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
Definition 9HKG3HVBYG
| URI | m2://inv/9HKG3HVBYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet basis#4EXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
9HKT6HFQCJ 9HKT6HFQCJ
| URI | m2://inv/9HKT6HFQCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08976#A8XW (statement). In ZVNM9X4NNG/e1, lemma 16
History
- 2026-10-27: add by m2/v0.3.5
9HKWGKZ6MR 9HKWGKZ6MR
| URI | m2://inv/9HKWGKZ6MR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:isset-coprod (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Definition 9HKZK8M6PC
| URI | m2://inv/9HKZK8M6PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate transformer semantics#0P6G, Definition (definition)
History
- 2026-11-02: add by m2/dev
9HM0BW9V1K 9HM0BW9V1K
| URI | m2://inv/9HM0BW9V1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#3HM0 (statement). In T2N92YSY5R/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
Leonid Bunimovich 9HM2AQ51PF
| URI | m2://inv/9HM2AQ51PF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4F3P, Leonid Bunimovich (topic)
History
- 2026-11-02: add by m2/dev
9HM2H80E7B 9HM2H80E7B
| URI | m2://inv/9HM2H80E7B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#SLC9 (example). In ZNBQD5WH1M/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
9HM33GDNXH 9HM33GDNXH
| URI | m2://inv/9HM33GDNXH |
|---|---|
| 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.18445#3CII (statement). In X63FGXZP4F/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Cell transitive 9HM7NHF9XF
| URI | m2://inv/9HM7NHF9XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isohedral figure#X6RX, Cell transitive (unknown)
History
- 2026-11-02: add by m2/dev
central angle 9HMJXDSGPA
| URI | m2://inv/9HMJXDSGPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1094399, central angle (unknown). Also MathWorld CentralAngle
- wikipedia: Wikipedia Central angle, Central angle (definition). Also Wikidata Q1094399
History
- 2026-10-26: add by m2/dev
Repeated measures design 9HMMZQFV1F
| URI | m2://inv/9HMMZQFV1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated measures design, Repeated measures design (definition). Also Wikidata Q7313954
History
- 2026-11-02: add by m2/dev
9HMRJVJNG1 9HMRJVJNG1
| URI | m2://inv/9HMRJVJNG1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#AXC7 (problem)
History
- 2026-11-01: add by m2/v0.6.15
9HMTTMVZB5 9HMTTMVZB5
| URI | m2://inv/9HMTTMVZB5 |
|---|---|
| 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.31489#O5AJ (statement). In ZKBG58PN1J/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Zino Davidoff 9HMV7YGG9A
| URI | m2://inv/9HMV7YGG9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#D6EW, Zino Davidoff (unknown)
History
- 2026-11-02: add by m2/dev
James Hamilton 9HMXSR577D
| URI | m2://inv/9HMXSR577D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Hamilton (physicist), James Hamilton (topic). Also Wikidata Q6135453
History
- 2026-11-02: add by m2/dev
Implementation 9HN2V2K8VH
| URI | m2://inv/9HN2V2K8VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CORDIC#442D, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Modular forms modulo p 9HNBRQ91BP
| URI | m2://inv/9HNBRQ91BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular forms modulo p, Modular forms modulo p (definition). Also Wikidata Q96393653
History
- 2026-11-02: add by m2/dev
Applications 9HNBT14BX3
| URI | m2://inv/9HNBT14BX3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden matching problem#8FO2, Applications (example)
History
- 2026-11-02: add by m2/dev
Course of Theoretical Physics 9HNJTH9XTP
| URI | m2://inv/9HNJTH9XTP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of textbooks in thermodynamics and statistical mechanics#MZ9I, Course of Theoretical Physics (unknown)
History
- 2026-11-02: add by m2/dev
Applications 9HNMGQN2T4
| URI | m2://inv/9HNMGQN2T4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiality and rhombicity#O1AN, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 9HNMRHFDFK
| URI | m2://inv/9HNMRHFDFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free independence#GE67, Definition (definition)
History
- 2026-11-02: add by m2/dev
Compactly supported function 9HNN82MAEW
| URI | m2://inv/9HNN82MAEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#YGJP, Compactly supported function (definition)
History
- 2026-11-02: add by m2/dev
Applications 9HNYXB4J92
| URI | m2://inv/9HNYXB4J92 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (optimization)#Y1P2, Applications (example)
History
- 2026-11-02: add by m2/dev
open, problem 9HP46DTJYF
| URI | m2://inv/9HP46DTJYF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.10/open-problem, open, problem (concept). In N54F33XE07, index, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Coefficient of colligation 9HPB6PA2TR
| URI | m2://inv/9HPB6PA2TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#729A, Coefficient of colligation (definition)
History
- 2026-11-02: add by m2/dev
Applications 9HPE88K27K
| URI | m2://inv/9HPE88K27K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemical potential#Q2KH, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples 9HPMG00A0H
| URI | m2://inv/9HPMG00A0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexible polyhedron#QQZD, Examples (example)
History
- 2026-11-02: add by m2/dev
Axiom of power set 9HPTB63YR5
| URI | m2://inv/9HPTB63YR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#IP8P, Axiom of power set (statement)
History
- 2026-11-02: add by m2/dev
9HPVKE6H11 9HPVKE6H11
| URI | m2://inv/9HPVKE6H11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#ZJTA (definition). In W4TYN4PGE8/e1, definition 6.9
History
- 2026-10-27: add by m2/v0.3.5
9HPX1H9QV0 9HPX1H9QV0
| URI | m2://inv/9HPX1H9QV0 |
|---|---|
| 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 2108.00412#O5YC (statement). In APD8GE0E4F/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.3.5
9HPXFSDK47 9HPXFSDK47
| URI | m2://inv/9HPXFSDK47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#9VW2 (statement). In KAYGQMQPGS/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Definition 9HQBP3ERZ0
| URI | m2://inv/9HQBP3ERZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional mutual information#13S4, Definition (definition)
History
- 2026-11-02: add by m2/dev
derived subgroup 9HQGBFDNVK
| URI | m2://inv/9HQGBFDNVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 8847) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#1XK0, derived subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Dimension of a manifold 9HQHKHR9M2
| URI | m2://inv/9HQHKHR9M2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension#GBJM, Dimension of a manifold (unknown)
History
- 2026-11-02: add by m2/dev
Bernoulli hypercontractivity 9HQT36WCVC
| URI | m2://inv/9HQT36WCVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#8R9N, Bernoulli hypercontractivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
$C^N$-conjugation 9HQTX32PW3
| URI | m2://inv/9HQTX32PW3 |
|---|---|
| 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 2610.01050#OOZ0, $C^N$-conjugation (definition). In 48NN33SAH7/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Northcott's nim 9HR0CYHF8M
| URI | m2://inv/9HR0CYHF8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nimber#3D7X, Northcott's nim (unknown)
History
- 2026-11-02: add by m2/dev
9HR270FZB9 9HR270FZB9
| URI | m2://inv/9HR270FZB9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.20176#LVRS (example). In CX4WDA2KAR/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
Layer group 9HR8YZ19D3
| URI | m2://inv/9HR8YZ19D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layer group, Layer group (definition). Also Wikidata Q6505521
History
- 2026-11-02: add by m2/dev
9HRFQ1ZRS3 9HRFQ1ZRS3
| URI | m2://inv/9HRFQ1ZRS3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15504#1LAB (example). In AZ8SEW6HAV/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Robert Edouard Moritz 9HRGFRSTC1
| URI | m2://inv/9HRGFRSTC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Edouard Moritz, Robert Edouard Moritz (topic). Also Wikidata Q7343967
History
- 2026-11-02: add by m2/dev
Kruskal 9HS1SQC61Z
| URI | m2://inv/9HS1SQC61Z |
|---|---|
| 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 2606.20229#T644, Kruskal (statement). In 1B85G2QJC2/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.6
Decreasing rearrangement 9HS3GYJQRV
| URI | m2://inv/9HS3GYJQRV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric decreasing rearrangement#6UAW, Decreasing rearrangement (unknown)
History
- 2026-11-02: add by m2/dev
Representations 9HS4ZB344A
| URI | m2://inv/9HS4ZB344A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braid group#80X1, Representations (definition)
History
- 2026-11-02: add by m2/dev
Peano axioms 9HS5NNT0AW
| URI | m2://inv/9HS5NNT0AW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#73YB, Peano axioms (statement)
- wikipedia: Wikipedia List of mathematical logic topics#IH5U, Peano axioms (statement)
History
- 2026-11-02: add by m2/dev
Berlekamp–Massey algorithm 9HSBSWZPD1
| URI | m2://inv/9HSBSWZPD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q821007, Berlekamp–Massey algorithm (unknown). Also EoM Berlekamp-Massey_algorithm, MathWorld Berlekamp-MasseyAlgorithm
- wikipedia: Wikipedia Berlekamp–Massey algorithm, Berlekamp–Massey algorithm (definition). Also Wikidata Q821007
History
- 2026-10-26: add by m2/dev
Louis Agricola Bauer 9HSR9SCQWZ
| URI | m2://inv/9HSR9SCQWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1F4J, Louis Agricola Bauer (unknown)
History
- 2026-11-02: add by m2/dev
9HSSBWDYEB 9HSSBWDYEB
| URI | m2://inv/9HSSBWDYEB |
|---|---|
| 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.29469#89W3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sunspottery 9HSTVSXBMH
| URI | m2://inv/9HSTVSXBMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunspottery, Sunspottery (definition). Also Wikidata Q65045481
History
- 2026-11-02: add by m2/dev
1234 (number) 9HT0PXMAVM
| URI | m2://inv/9HT0PXMAVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#8HLO, 1234 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Applications 9HT37T9YVP
| URI | m2://inv/9HT37T9YVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau distribution#DXDR, Applications (example)
History
- 2026-11-02: add by m2/dev
Frobenius reciprocity 9HT4WPDDCP
| URI | m2://inv/9HT4WPDDCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#F78C, Frobenius reciprocity (definition)
History
- 2026-11-02: add by m2/dev
Strong coloring 9HT7F2KTE4
| URI | m2://inv/9HT7F2KTE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong coloring, Strong coloring (definition). Also Wikidata Q7624545
History
- 2026-11-02: add by m2/dev
Alice Taylor Gafford 9HT935VFTS
| URI | m2://inv/9HT935VFTS |
|---|---|
| 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#X5HP, Alice Taylor Gafford (unknown)
History
- 2026-11-02: add by m2/dev
9HTDZ9S6D0 9HTDZ9S6D0
| URI | m2://inv/9HTDZ9S6D0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Electronic Key Management System 9HTP27126Q
| URI | m2://inv/9HTP27126Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Key Management System, Electronic Key Management System (definition). Also Wikidata Q5358266
History
- 2026-11-02: add by m2/dev
Current Mathematical Publications 9HTP5FGVX2
| URI | m2://inv/9HTP5FGVX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Reviews#955W, Current Mathematical Publications (unknown)
History
- 2026-11-02: add by m2/dev
Applications 9HTPKRWPMV
| URI | m2://inv/9HTPKRWPMV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of permanence#02KL, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem 9HTSZRFT7J
| URI | m2://inv/9HTSZRFT7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum logic#PHNT, Theorem (statement)
History
- 2026-11-02: add by m2/dev
9HTX1GZEK5 9HTX1GZEK5
| URI | m2://inv/9HTX1GZEK5 |
|---|---|
| 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.20302#I216 (statement). In GN8JWKH956/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
9HTXCQH881 9HTXCQH881
| URI | m2://inv/9HTXCQH881 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#H8VI (statement)
History
- 2026-11-01: add by m2/v0.6.15
9HVE7PAFSY 9HVE7PAFSY
| URI | m2://inv/9HVE7PAFSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#95JI (statement). In T2N92YSY5R/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
9HVJ4GPFW7 9HVJ4GPFW7
| URI | m2://inv/9HVJ4GPFW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#M2HG (statement). In QX77AN49J0/e1, proposition 8.16
History
- 2026-10-27: add by m2/v0.4.2
Definition 9HW6TEZJ9R
| URI | m2://inv/9HW6TEZJ9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological recursion#SZ58, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fixed-tree minimum 9HWB4PA43X
| URI | m2://inv/9HWB4PA43X |
|---|---|
| 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.17400#N410, Fixed-tree minimum (statement). In 8VDXGR4SVD/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
9HWKRDGAMZ 9HWKRDGAMZ
| URI | m2://inv/9HWKRDGAMZ |
|---|---|
| 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.06755#G2DF (statement). In DKEX05SEXS/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Orthogonal vectors are independent 9HWP3E27N4
| URI | m2://inv/9HWP3E27N4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#lemma-2, Orthogonal vectors are independent (statement). In RZP28ERRZV, lemma, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
Applications 9HWVDABW75
| URI | m2://inv/9HWVDABW75 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin-film interference#VCKS, Applications (example)
History
- 2026-11-02: add by m2/dev
Babai , Diaconis and Shahshahani 9HWZW3WVXT
| URI | m2://inv/9HWZW3WVXT |
|---|---|
| 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.21645#O5JB, Babai , Diaconis and Shahshahani (statement)
History
- 2026-11-02: add by m2/v0.6.18
Donaldson's theorem 9HX00Z4D0E
| URI | m2://inv/9HX00Z4D0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5295351, Donaldson's theorem (statement). Also Wikidata Q5295351
- thousand_plus: thousand_plus Q5295351, Donaldson's theorem (statement). Also Wikidata Q5295351, Wikipedia Donaldson's theorem
- wikipedia: Wikipedia Donaldson's theorem, Donaldson's theorem (statement). Also Wikidata Q5295351
History
- 2026-10-26: add by m2/dev
9HX44BK43T 9HX44BK43T
| URI | m2://inv/9HX44BK43T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.05191#0AB9 (statement). In CCNH3FK8YZ/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
0,000 000 000 000 000 000 000 000 000 001 9HX4527WG7
| URI | m2://inv/9HX4527WG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#94JX, 0,000 000 000 000 000 000 000 000 000 001 (unknown)
History
- 2026-11-02: add by m2/dev
Peter Cameron 9HX7W7CD5C
| URI | m2://inv/9HX7W7CD5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CJJE, Peter Cameron (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive Simpson's method 9HX94YJQ79
| URI | m2://inv/9HX94YJQ79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive Simpson's method, Adaptive Simpson's method (definition). Also Wikidata Q4680710
History
- 2026-11-02: add by m2/dev
Andrzej Trybulec 9HXCW7CH7Z
| URI | m2://inv/9HXCW7CH7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Trybulec, Andrzej Trybulec (topic). Also Wikidata Q4759721
History
- 2026-11-02: add by m2/dev
9HXGZM3N7P 9HXGZM3N7P
| URI | m2://inv/9HXGZM3N7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-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.30014#B609 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Data of the arc 9HXJ97QVWM
| URI | m2://inv/9HXJ97QVWM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#ZB9P, Data of the arc (definition). In 65TJENWK7X/e1, definition 45
History
- 2026-10-29: add by m2/v0.4.10
Snub square tiling 9HXPVC31Y5
| URI | m2://inv/9HXPVC31Y5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#75W3, Snub square tiling (object)
History
- 2026-11-02: add by m2/dev
Smooth covariance-preserving privacy instability 9HXVQWXQVK
| URI | m2://inv/9HXVQWXQVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#IRT7, Smooth covariance-preserving privacy instability (statement). In 9YAE8FNQST/e1, theorem 28.19
History
- 2026-10-30: add by m2/v0.4.12
9HY994MCDJ 9HY994MCDJ
| URI | m2://inv/9HY994MCDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-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.21365#MGF1 (statement). In FCMMB2EVAP/e1, proposition 2.20
History
- 2026-10-27: add by m2/v0.4.2
Allvar Gullstrand 9HYFEYSSN0
| URI | m2://inv/9HYFEYSSN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#XOKH, Allvar Gullstrand (unknown)
History
- 2026-11-02: add by m2/dev
Eccentricity (graph theory) 9HYKMNA0B5
| URI | m2://inv/9HYKMNA0B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance (graph theory)#WTRH, Eccentricity (graph theory) (unknown)
History
- 2026-11-02: add by m2/dev
9HZ2XB9A5G 9HZ2XB9A5G
| URI | m2://inv/9HZ2XB9A5G |
|---|---|
| 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.03011#QLIU (statement). In VE8FB6K8EN/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.12
Kerin 9HZ4QD34ZN
| URI | m2://inv/9HZ4QD34ZN |
|---|---|
| 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 2511.17751#RMWZ, Kerin (statement). In J39X0NB31S/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
9HZ5A0NZA7 9HZ5A0NZA7
| URI | m2://inv/9HZ5A0NZA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#OSN6 (statement). In ET8GYMMDQM/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
9HZ5HN92N2 9HZ5HN92N2
| URI | m2://inv/9HZ5HN92N2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
9HZ7MZ2CRE 9HZ7MZ2CRE
| URI | m2://inv/9HZ7MZ2CRE |
|---|---|
| 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.08226#KTFO (statement). In V6EPE8XHAD/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10
Examples 9HZA89EGWP
| URI | m2://inv/9HZA89EGWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway chained arrow notation#9YIK, Examples (example)
History
- 2026-11-02: add by m2/dev
9HZDK4QETM 9HZDK4QETM
| URI | m2://inv/9HZDK4QETM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#3YD9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Dorit Aharonov 9HZMA130WP
| URI | m2://inv/9HZMA130WP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J8Z6, Dorit Aharonov (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FW51, Dorit Aharonov (unknown)
History
- 2026-11-02: add by m2/dev
9HZMG6T7DD 9HZMG6T7DD
| URI | m2://inv/9HZMG6T7DD |
|---|---|
| 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 2601.01000#J34W (statement). In RYFV9HGWWZ/e1, lemma 33
History
- 2026-10-27: add by m2/v0.3.5