Inventory rows 8F
The cards of the rows of the inventory whose ids start with 8F. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Separation of nearby Levi leaves 8F0154BQXA
| URI | m2://inv/8F0154BQXA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.12497#JATE, Separation of nearby Levi leaves (definition). In Z0SAF18JPP/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Posterior-preserving receiver statistics 8F05C7FV5T
| URI | m2://inv/8F05C7FV5T |
|---|---|
| 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.29688#QJMR, Posterior-preserving receiver statistics (statement)
History
- 2026-11-01: add by m2/v0.6.15
8F0DYNEMQ3 8F0DYNEMQ3
| URI | m2://inv/8F0DYNEMQ3 |
|---|---|
| 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.28365#VHZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
HMM posterior 8F0GVB1AWA
| URI | m2://inv/8F0GVB1AWA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#GTGU, HMM posterior (example)
History
- 2026-11-02: add by m2/v0.6.17
Hubert Bray 8F0JEX5TSZ
| URI | m2://inv/8F0JEX5TSZ |
|---|---|
| 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#7BJR, Hubert Bray (topic)
History
- 2026-11-02: add by m2/dev
Superstrong cardinal 8F0ST0XT7G
| URI | m2://inv/8F0ST0XT7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#5PAT, Superstrong cardinal (definition)
History
- 2026-11-02: add by m2/dev
Niels Nielsen 8F0TDQASYC
| URI | m2://inv/8F0TDQASYC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niels Nielsen (mathematician), Niels Nielsen (topic). Also Wikidata Q1989014
History
- 2026-11-02: add by m2/dev
Karim Adiprasito 8F0Y6BZRXT
| URI | m2://inv/8F0Y6BZRXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karim Adiprasito, Karim Adiprasito (topic). Also Wikidata Q21825482
History
- 2026-11-02: add by m2/dev
List of human disease case fatality rates 8F115Y1DJ2
| URI | m2://inv/8F115Y1DJ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of human disease case fatality rates, List of human disease case fatality rates (topic). Also Wikidata Q6623793
History
- 2026-11-02: add by m2/dev
Theorem (Mostow's theorem for hyperbolic 8F16PMPR75
| URI | m2://inv/8F16PMPR75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#2ML5, Theorem (Mostow's theorem for hyperbolic (statement)
History
- 2026-11-02: add by m2/dev
8F1E2MT9NG 8F1E2MT9NG
| URI | m2://inv/8F1E2MT9NG |
|---|---|
| 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.35683#KH61 (statement). In A4S9A3X494/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
Sinkhorn 8F1NW9XY2B
| URI | m2://inv/8F1NW9XY2B |
|---|---|
| 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.06653#0DUE, Sinkhorn (statement). In 9D2N76AJAT/e1, theorem D.2
History
- 2026-10-29: add by m2/v0.4.10
8F1Q6KAWMG 8F1Q6KAWMG
| URI | m2://inv/8F1Q6KAWMG |
|---|---|
| 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 2609.33733#87IN (statement). In QBAP8C82FG/e1, proposition 41
History
- 2026-10-30: add by m2/v0.4.12
8F1T7HWHV5 8F1T7HWHV5
| URI | m2://inv/8F1T7HWHV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#5JG7 (statement). In YQT2APQPWD/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
8F217X9ADV 8F217X9ADV
| URI | m2://inv/8F217X9ADV |
|---|---|
| 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.20568#4AB9 (statement). In BCD0ATARNZ/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.2
Dennis Dieks 8F24JP5CQS
| URI | m2://inv/8F24JP5CQS |
|---|---|
| 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 Q5258345, Dennis Dieks (unknown). Also nLab Dennis Dieks
History
- 2026-10-26: add by m2/dev
8F26YRTRGM 8F26YRTRGM
| URI | m2://inv/8F26YRTRGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#VZ45 (statement). In 2XSZDXZ52E/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
True skill statistic 8F2C6BTKSZ
| URI | m2://inv/8F2C6BTKSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#TH67, True skill statistic (definition)
History
- 2026-11-02: add by m2/dev
Jeffrey B. Remmel 8F2MSJ5RPN
| URI | m2://inv/8F2MSJ5RPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffrey B. Remmel, Jeffrey B. Remmel (topic). Also Wikidata Q102174711
History
- 2026-11-02: add by m2/dev
Semistable point 8F2XH643EG
| URI | m2://inv/8F2XH643EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric invariant theory#F1SE, Semistable point (unknown)
History
- 2026-11-02: add by m2/dev
Number ordering 8F37M6VV4B
| URI | m2://inv/8F37M6VV4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#NGBW, Number ordering (definition). In 5B030CB2RK/e1, definition 9.1
History
- 2026-10-27: add by m2/v0.3.6
Examples 8F39SCRG58
| URI | m2://inv/8F39SCRG58 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tower of fields#U3F8, Examples (example)
History
- 2026-11-02: add by m2/dev
Collars and the remaining clause 8F3FB12ZXQ
| URI | m2://inv/8F3FB12ZXQ |
|---|---|
| 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.24931#KYZZ, Collars and the remaining clause (statement)
History
- 2026-11-01: add by m2/v0.6.15
8F3G3RAP11 8F3G3RAP11
| URI | m2://inv/8F3G3RAP11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#9U4F (statement). In HCTYW6VH87/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.3.5
8F3KV3MXK1 8F3KV3MXK1
| URI | m2://inv/8F3KV3MXK1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Moser equation#9G9I (problem)
History
- 2026-11-02: add by m2/dev
8F3MAX1AWH 8F3MAX1AWH
| URI | m2://inv/8F3MAX1AWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#O1EB (statement). In CCRSWBXWXW/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
8F40ARQEQ1 8F40ARQEQ1
| URI | m2://inv/8F40ARQEQ1 |
|---|---|
| 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 2504.01057#NHNA (statement). In 69QFBXJENW/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.3.5
8F48Z6NW6S 8F48Z6NW6S
| URI | m2://inv/8F48Z6NW6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#M5W8 (statement). In 41NFABHFXH/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Definition 8F4HQ48ZY9
| URI | m2://inv/8F4HQ48ZY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel operation#WYJ4, Definition (definition)
History
- 2026-11-02: add by m2/dev
8F4J55V699 8F4J55V699
| URI | m2://inv/8F4J55V699 |
|---|---|
| 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.13613#C0WZ (statement). In 3HCT4TQ5PM/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
8F4KBATM8D 8F4KBATM8D
| URI | m2://inv/8F4KBATM8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38051#X81K (definition). In 81CGKD8RTP/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Normal extension 8F4R3Q73S0
| URI | m2://inv/8F4R3Q73S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#IW3N, Normal extension (definition)
History
- 2026-11-02: add by m2/dev
8F4ZE7T12X 8F4ZE7T12X
| URI | m2://inv/8F4ZE7T12X |
|---|---|
| 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.24716#HMD3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8F51DQE8JW 8F51DQE8JW
| URI | m2://inv/8F51DQE8JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#HEMJ (statement). In X3RFXWN6FW/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.6
Galvin's theorem 8F520BH4F5
| URI | m2://inv/8F520BH4F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4E7D, Galvin's theorem (statement)
History
- 2026-11-02: add by m2/dev
8F5EMRJB4G 8F5EMRJB4G
| URI | m2://inv/8F5EMRJB4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16245#0DPZ (statement). In 60CQJN845D/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Global field 8F5R8Y2G2S
| URI | m2://inv/8F5R8Y2G2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#FPES, Global field (definition)
History
- 2026-11-02: add by m2/dev
8F5YP4Z1K1 8F5YP4Z1K1
| URI | m2://inv/8F5YP4Z1K1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:reverseclosedseq (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Hayden 8F60VHZ5SP
| URI | m2://inv/8F60VHZ5SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#42J6, Hayden (unknown)
History
- 2026-11-02: add by m2/dev
8F643TS28C 8F643TS28C
| URI | m2://inv/8F643TS28C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.12054#73VU (statement). In 1A01NFHBGA/e1, lemma 1.10
History
- 2026-10-28: add by m2/v0.4.3
Singapore Mathematical Society 8F6RQXPC1P
| URI | m2://inv/8F6RQXPC1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singapore Mathematical Society, Singapore Mathematical Society (definition). Also Wikidata Q123399410
History
- 2026-11-02: add by m2/dev
RK4 8F6T23RKXN
| URI | m2://inv/8F6T23RKXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge–Kutta methods#SJQV, RK4 (unknown)
History
- 2026-11-02: add by m2/dev
null space 8F7147MQX8
| URI | m2://inv/8F7147MQX8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.5.4/null-space, null space (concept). In 649HGZKE96, index, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
8F76QS26EZ 8F76QS26EZ
| URI | m2://inv/8F76QS26EZ |
|---|---|
| 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.25275#XVL2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8F7D2K359J 8F7D2K359J
| URI | m2://inv/8F7D2K359J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#WXPE (statement). In 6WJ0R9YEBR/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Properties 8F7NGJ238M
| URI | m2://inv/8F7NGJ238M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary matrix#X0IK, Properties (statement)
History
- 2026-11-02: add by m2/dev
8F7NJBPH80 8F7NJBPH80
| URI | m2://inv/8F7NJBPH80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#JKY8 (statement). In 94RBNQA07A/e1, corollary 2.34
History
- 2026-10-27: add by m2/v0.3.5
Definitions 8F7TSGB2T9
| URI | m2://inv/8F7TSGB2T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant cohomology#Y8MY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Simple random sample 8F7XPKVHQZ
| URI | m2://inv/8F7XPKVHQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YE85, Simple random sample (definition)
History
- 2026-11-02: add by m2/dev
Stability 8F7YGTX7EW
| URI | m2://inv/8F7YGTX7EW |
|---|---|
| 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.22240#NPSR, Stability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Stability theory 8F847762J5
| URI | m2://inv/8F847762J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#4E55, Stability theory (definition)
History
- 2026-11-02: add by m2/dev
8F8AZQBR3X 8F8AZQBR3X
| URI | m2://inv/8F8AZQBR3X |
|---|---|
| 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#A9ID (definition)
History
- 2026-11-01: add by m2/v0.6.15
Zhegalkin algebra 8F8MEP493M
| URI | m2://inv/8F8MEP493M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhegalkin algebra, Zhegalkin algebra (definition). Also Wikidata Q12077567
History
- 2026-11-02: add by m2/dev
Properties 8F8SD4CCP9
| URI | m2://inv/8F8SD4CCP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian distribution on a locally compact Abelian group#8IEW, Properties (statement)
History
- 2026-11-02: add by m2/dev
8F8TN1TDRR 8F8TN1TDRR
| URI | m2://inv/8F8TN1TDRR |
|---|---|
| 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 2405.05684#DN1A (statement). In 1PR73ECTZB/e1, proposition 38
History
- 2026-10-27: add by m2/v0.3.5
Explicit reciprocity laws 8F91Z59AZF
| URI | m2://inv/8F91Z59AZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law#HMCG, Explicit reciprocity laws (statement)
History
- 2026-11-02: add by m2/dev
Ida B. Kinney 8F94QFE1GF
| URI | m2://inv/8F94QFE1GF |
|---|---|
| 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#X01K, Ida B. Kinney (unknown)
History
- 2026-11-02: add by m2/dev
Unforced two-dimensional Leray--Hopf solution 8F994TV1GB
| URI | m2://inv/8F994TV1GB |
|---|---|
| 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.33033#OQF7, Unforced two-dimensional Leray--Hopf solution (statement). In AJWBAHJ8VD/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
completeness 8F9AC4REPX
| URI | m2://inv/8F9AC4REPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8BHN, completeness (definition)
History
- 2026-11-02: add by m2/dev
8F9CQYAWEA 8F9CQYAWEA
| URI | m2://inv/8F9CQYAWEA |
|---|---|
| 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 2610.03407#NT5D (statement). In MPGC7SNYAG/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Brown measure 8F9H61ZWDW
| URI | m2://inv/8F9H61ZWDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown measure, Brown measure (definition). Also Wikidata Q60794196
History
- 2026-11-02: add by m2/dev
Louis Antoine 8F9Q65TR1R
| URI | m2://inv/8F9Q65TR1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Antoine, Louis Antoine (topic). Also Wikidata Q3261064
History
- 2026-11-02: add by m2/dev
Precision and recall 8F9XZYXKAK
| URI | m2://inv/8F9XZYXKAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QAWT, Precision and recall (definition)
History
- 2026-11-02: add by m2/dev
judgmental equality 8FA88CRB37
| URI | m2://inv/8FA88CRB37 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/judgmental-equality, judgmental equality (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 8FAB6PW33Y
| URI | m2://inv/8FAB6PW33Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#2LN9, Definition (definition)
History
- 2026-11-02: add by m2/dev
8FAD2DVG6W 8FAD2DVG6W
| URI | m2://inv/8FAD2DVG6W |
|---|---|
| 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 2610.05672#3K7E (statement). In BQGX0XE2A6/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
Linkage disequilibrium score regression 8FAK2WEK51
| URI | m2://inv/8FAK2WEK51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linkage disequilibrium score regression, Linkage disequilibrium score regression (definition). Also Wikidata Q60792334
History
- 2026-11-02: add by m2/dev
Ayres, Leonard Porter 8FAKDQXCHZ
| URI | m2://inv/8FAKDQXCHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8IY7, Ayres, Leonard Porter (unknown)
History
- 2026-11-02: add by m2/dev
8FAM5DG26K 8FAM5DG26K
| URI | m2://inv/8FAM5DG26K |
|---|---|
| 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#SM5J (statement). In 1T3ZYPQZF0/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.6
Simplicius of Cilicia 8FAM8NBG9W
| URI | m2://inv/8FAM8NBG9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#ZE2K, Simplicius of Cilicia (unknown)
History
- 2026-11-02: add by m2/dev
Edward Thorndike 8FAP8JCXZ1
| URI | m2://inv/8FAP8JCXZ1 |
|---|---|
| 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#M0LC, Edward Thorndike (unknown)
History
- 2026-11-02: add by m2/dev
Heinrich G. F. Schröder 8FAWTN0BKN
| URI | m2://inv/8FAWTN0BKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YT2P, Heinrich G. F. Schröder (unknown)
History
- 2026-11-02: add by m2/dev
8FAXXX0VA9 8FAXXX0VA9
| URI | m2://inv/8FAXXX0VA9 |
|---|---|
| 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 2211.16099#KREP (statement). In 91RRFW0K5D/e1, corollary 41
History
- 2026-10-27: add by m2/v0.3.5
Laplace's tidal equations 8FB1FGAX8V
| URI | m2://inv/8FB1FGAX8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of tides#3TQH, Laplace's tidal equations (unknown)
History
- 2026-11-02: add by m2/dev
8FB21YHPGF 8FB21YHPGF
| URI | m2://inv/8FB21YHPGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.08222#7F04 (statement). In A4192ETKBD/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Properties 8FB4N39Y17
| URI | m2://inv/8FB4N39Y17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal point#66NE, Properties (statement)
History
- 2026-11-02: add by m2/dev
8FB505PP5M 8FB505PP5M
| URI | m2://inv/8FB505PP5M |
|---|---|
| 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.22237#CVUS (statement). In 2FWTWMHA2W/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.0
8FB7MMWB11 8FB7MMWB11
| URI | m2://inv/8FB7MMWB11 |
|---|---|
| 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.03071#YIMU (statement). In Z2M4D55R57/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Contribution from vectors of proper support 8FB84ZKGRM
| URI | m2://inv/8FB84ZKGRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.12619#7D8T, Contribution from vectors of proper support (statement). In 7F8KACT5AJ/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
8FBH17TCRZ 8FBH17TCRZ
| URI | m2://inv/8FBH17TCRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.27103#FF0H (statement)
History
- 2026-11-01: add by m2/v0.6.15
8FBS3KYNNW 8FBS3KYNNW
| URI | m2://inv/8FBS3KYNNW |
|---|---|
| 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.09314#OLFP (statement). In Z04N0B3R0V/e1, theorem 2.13
History
- 2026-10-29: add by m2/v0.4.10
Family-conditioned stream bound 8FBXRT5W8D
| URI | m2://inv/8FBXRT5W8D |
|---|---|
| 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.38668#GD1Q, Family-conditioned stream bound (statement). In VB1EZ9K6YW/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
Hain, Prop 1.3 8FBXZPEBAY
| URI | m2://inv/8FBXZPEBAY |
|---|---|
| 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 0909.0714#LFPC, Hain, Prop 1.3 (statement). In XNNM92X6A8/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
8FC0ZBY3NM 8FC0ZBY3NM
| URI | m2://inv/8FC0ZBY3NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#LBIT (statement). In BVAWVRS3R9/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
8FC178G9PV 8FC178G9PV
| URI | m2://inv/8FC178G9PV |
|---|---|
| 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.01433#JZFW (statement). In 160PQ7F1AS/e1, lemma 4.29
History
- 2026-10-29: add by m2/v0.4.12
528 (number) 8FC53V3QH3
| URI | m2://inv/8FC53V3QH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#UV86, 528 (number) (unknown)
History
- 2026-11-02: add by m2/dev
n-spheres 8FC7J8506Z
| URI | m2://inv/8FC7J8506Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#DKY7, n-spheres (definition)
History
- 2026-11-02: add by m2/dev
∞-topos 8FC9Y4TFFX
| URI | m2://inv/8FC9Y4TFFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ∞-topos, ∞-topos (definition). Also Wikidata Q25098768
History
- 2026-11-02: add by m2/dev
Zevenhoven 8FCACK8DKG
| URI | m2://inv/8FCACK8DKG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L7WR, Zevenhoven (unknown)
History
- 2026-11-02: add by m2/dev
8FCFZ1JXXX 8FCFZ1JXXX
| URI | m2://inv/8FCFZ1JXXX |
|---|---|
| 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.20600#J01P (statement). In H5JZ2T9KVT/e1, proposition 9
History
- 2026-10-27: add by m2/v0.4.2
8FCV87WYE4 8FCV87WYE4
| URI | m2://inv/8FCV87WYE4 |
|---|---|
| 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 2609.36444#95R2 (statement). In 4DJE72VPJP/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
8FCWR8HKNK 8FCWR8HKNK
| URI | m2://inv/8FCWR8HKNK |
|---|---|
| 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 2609.33733#RKUX (statement). In QBAP8C82FG/e1, proposition 22
History
- 2026-10-30: add by m2/v0.4.12
Chaloner, Kathryn 8FD0C73DCX
| URI | m2://inv/8FD0C73DCX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#CXTJ, Chaloner, Kathryn (topic)
History
- 2026-11-02: add by m2/dev
Roger Apéry 8FD0H56RV4
| URI | m2://inv/8FD0H56RV4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Apéry, Roger Apéry (topic). Also Wikidata Q965545
History
- 2026-11-02: add by m2/dev
Applications 8FD70QPTSF
| URI | m2://inv/8FD70QPTSF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gudermannian function#ECSC, Applications (example)
History
- 2026-11-02: add by m2/dev
8FD8SB7ANY 8FD8SB7ANY
| URI | m2://inv/8FD8SB7ANY |
|---|---|
| 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 2609.25391#BU9F (statement)
History
- 2026-11-01: add by m2/v0.6.15
8FDKHBK1C6 8FDKHBK1C6
| URI | m2://inv/8FDKHBK1C6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#LWWO (definition). In N1S169J2MV/e1, definition 12
History
- 2026-10-30: add by m2/v0.4.12
8FDSFG9BNR 8FDSFG9BNR
| URI | m2://inv/8FDSFG9BNR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-233 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Tensor nuclear decomposition 8FDV4JMZ6Y
| URI | m2://inv/8FDV4JMZ6Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33219#S89Z, Tensor nuclear decomposition (definition). In ETTQWMJZXJ/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Higgs boson 8FDWTZABDY
| URI | m2://inv/8FDWTZABDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q402, Higgs boson (unknown). Also nLab Higgs boson
History
- 2026-10-26: add by m2/dev
8FE01WEQXS 8FE01WEQXS
| URI | m2://inv/8FE01WEQXS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#2QKG (definition). In DA3VN96YX2/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
8FE32ECACP 8FE32ECACP
| URI | m2://inv/8FE32ECACP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-23 (proof). In N54F33XE07, proof, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
elongated triangular orthobicupola 8FE3M3H3DP
| URI | m2://inv/8FE3M3H3DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3051595, elongated triangular orthobicupola (object). Also MathWorld ElongatedTriangularOrthobicupola
- wikipedia: Wikipedia Elongated triangular orthobicupola, Elongated triangular orthobicupola (definition). Also Wikidata Q3051595
History
- 2026-10-26: add by m2/dev
Finite-sample PCT factorization for projector states 8FE4A6WGY1
| URI | m2://inv/8FE4A6WGY1 |
|---|---|
| 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 2609.35986#CHE8, Finite-sample PCT factorization for projector states (statement). In PBX6AMPVT2/e1, proposition D.2
History
- 2026-10-30: add by m2/v0.4.12
Victor Lomonosov 8FE7BM8DDX
| URI | m2://inv/8FE7BM8DDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Lomonosov, Victor Lomonosov (topic). Also Wikidata Q53363229
History
- 2026-11-02: add by m2/dev
8FEAHHEQHH 8FEAHHEQHH
| URI | m2://inv/8FEAHHEQHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#TT1C (statement). In 7ZBX5WVEZP/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
stratified 8FENGZX2BX
| URI | m2://inv/8FENGZX2BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3JY5, stratified (definition)
History
- 2026-11-02: add by m2/dev
8FESQC09VH 8FESQC09VH
| URI | m2://inv/8FESQC09VH |
|---|---|
| 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 2610.07909#DOUR (statement). In 6KST0WX37C/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
change of variables theorem 8FF2SD04MM
| URI | m2://inv/8FF2SD04MM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.3.3/change-of-variables-theorem, change of variables theorem (concept). In E59CDZA4DP, index, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
8FF3755DWX 8FF3755DWX
| URI | m2://inv/8FF3755DWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#A4L5 (definition). In PG0B4PH9YH/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.4.2
8FF3KWPV2H 8FF3KWPV2H
| URI | m2://inv/8FF3KWPV2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#EWLJ (statement). In KCY80F2YGP/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
ordinal, plump 8FF4ST3XN4
| URI | m2://inv/8FF4ST3XN4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/ordinal-plump, ordinal, plump (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Two exact Maass--Selberg channels in the elliptic example 8FF5AP3E9E
| URI | m2://inv/8FF5AP3E9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#MO63, Two exact Maass--Selberg channels in the elliptic example (statement)
History
- 2026-11-01: add by m2/v0.6.15
8FF5WCAJZM 8FF5WCAJZM
| URI | m2://inv/8FF5WCAJZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.08196#AR61 (definition). In 8QVWZ23N42/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.10
irredundance number 8FF9RJD6JJ
| URI | m2://inv/8FF9RJD6JJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130486770, irredundance number (unknown). Also MathWorld IrredundanceNumber
History
- 2026-10-26: add by m2/dev
8FFB4FQ38Z 8FFB4FQ38Z
| URI | m2://inv/8FFB4FQ38Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38735#FE2A (statement). In XZ71J0DQSE/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Euler's constant 8FFB5TQS9T
| URI | m2://inv/8FFB5TQS9T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#A499, Euler's constant (conjecture)
History
- 2026-11-02: add by m2/dev
Homogeneous 8FFN7CV2RA
| URI | m2://inv/8FFN7CV2RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#YUBX, Homogeneous (definition)
History
- 2026-11-02: add by m2/dev
SQL 8FFQ2EWNYF
| URI | m2://inv/8FFQ2EWNYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQL, SQL (definition). Also Wikidata Q47607
History
- 2026-11-02: add by m2/dev
Adequality 8FFR5K9TBC
| URI | m2://inv/8FFR5K9TBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#IVXB, Adequality (definition)
- wikipedia: Wikipedia List of mathematics history topics#8YO9, Adequality (definition)
History
- 2026-11-02: add by m2/dev
Generating function 8FFTGPHMRA
| URI | m2://inv/8FFTGPHMRA |
|---|---|
| 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 2509.22289#QNRT, Generating function (statement). In BF5Y4V84GV/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.0
Procedure 8FFTJW9ZNC
| URI | m2://inv/8FFTJW9ZNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic causal modeling#Y6ML, Procedure (definition)
History
- 2026-11-02: add by m2/dev
8FG40EYJY2 8FG40EYJY2
| URI | m2://inv/8FG40EYJY2 |
|---|---|
| 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.31173#R9OX (statement). In ZZSJGJXPXY/e1, proposition 1.5
History
- 2026-10-31: add by m2/v0.5.6
8FG4WNX21F 8FG4WNX21F
| URI | m2://inv/8FG4WNX21F |
|---|---|
| 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.33027#6V5T (statement). In E2AF84709B/e1, lemma 16
History
- 2026-10-31: add by m2/v0.5.6
Variance reduction 8FG81A0KMG
| URI | m2://inv/8FG81A0KMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UYLK, Variance reduction (definition)
History
- 2026-11-02: add by m2/dev
8FGEG80H96 8FGEG80H96
| URI | m2://inv/8FGEG80H96 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06045#IYWB (example). In SVKM0852RJ/e1, example 5
History
- 2026-10-29: add by m2/v0.4.10
strong interaction 8FGHG8QVZX
| URI | m2://inv/8FGHG8QVZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11415, strong interaction (topic)
History
- 2026-10-26: add by m2/dev
8FGK92CTRP 8FGK92CTRP
| URI | m2://inv/8FGK92CTRP |
|---|---|
| Kind | problem |
| 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.09300#A529 (problem). In JP589KS01S/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.10
8FGNM9KQYY 8FGNM9KQYY
| URI | m2://inv/8FGNM9KQYY |
|---|---|
| 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.20119#NR7L (statement)
History
- 2026-11-02: add by m2/v0.6.18
Degree-lowering property 8FGR2N6KDP
| URI | m2://inv/8FGR2N6KDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#0LHW, Degree-lowering property (statement). In 7GMD8J4200/e1, corollary 6
History
- 2026-10-27: add by m2/v0.4.2
Splitting Lemma 8FGT8XTQ53
| URI | m2://inv/8FGT8XTQ53 |
|---|---|
| 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 0904.3493#9RDR, Splitting Lemma (statement). In 1ARY7220P4/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Properties 8FH73QCAA4
| URI | m2://inv/8FH73QCAA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excellent ring#ZXG7, Properties (statement)
History
- 2026-11-02: add by m2/dev
8FH9WZ9MR6 8FH9WZ9MR6
| URI | m2://inv/8FH9WZ9MR6 |
|---|---|
| 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.35307#9DVW (statement). In FT5TKY10T8/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
IM 67118 8FHDFDZ5D8
| URI | m2://inv/8FHDFDZ5D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IM 67118, IM 67118 (definition). Also Wikidata Q65066275
History
- 2026-11-02: add by m2/dev
symmetric group S4 8FHNEGXRG9
| URI | m2://inv/8FHNEGXRG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10686891, symmetric group S4 (unknown). Also nLab octahedral group
- wikidata: Wikidata Q2017567, octahedral symmetry (unknown). Also MathWorld OctahedralGroup, nLab octahedral group
- wikipedia: Wikipedia Octahedral symmetry, Octahedral symmetry (definition). Also Wikidata Q2017567
History
- 2026-10-26: add by m2/dev
Countably many prescribed multipliers 8FHQ4A5CD5
| URI | m2://inv/8FHQ4A5CD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38970#RJ1F, Countably many prescribed multipliers (statement). In VE6WBAMDSA/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
8FHQRAMDMD 8FHQRAMDMD
| URI | m2://inv/8FHQRAMDMD |
|---|---|
| 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.28024#EHDZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss code 8FJ5VSX6XB
| URI | m2://inv/8FJ5VSX6XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#P1B1, Gauss code (definition)
History
- 2026-11-02: add by m2/dev
asymptotically locally Euclidean space 8FJBP8NSB2
| URI | m2://inv/8FJBP8NSB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66439846, asymptotically locally Euclidean space (unknown). Also nLab ALE space
History
- 2026-10-26: add by m2/dev
1 E -22 m 8FJC76JNY5
| URI | m2://inv/8FJC76JNY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#J52Y, 1 E -22 m (unknown)
History
- 2026-11-02: add by m2/dev
8FJTBDVDPE 8FJTBDVDPE
| URI | m2://inv/8FJTBDVDPE |
|---|---|
| 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.03288#RIK8 (statement). In ZHP1MFSACN/e1, lemma 4.18
History
- 2026-10-29: add by m2/v0.4.12
8FK89KAAXM 8FK89KAAXM
| URI | m2://inv/8FK89KAAXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#WJJR (statement). In ABS9M47F4K/e1, corollary 3.30
History
- 2026-10-27: add by m2/v0.3.6
8FKJE4TNJS 8FKJE4TNJS
| URI | m2://inv/8FKJE4TNJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39389#E2WT (statement). In PP5RE0W4D8/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
8FKN2QF1SR 8FKN2QF1SR
| URI | m2://inv/8FKN2QF1SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.21103#AZJN (statement). In VZCZEDCG8J/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.2
Lemma 8FKSE2QX4F
| URI | m2://inv/8FKSE2QX4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DFA minimization#1W4U, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Big step operational semantics 8FKWC8Z4QC
| URI | m2://inv/8FKWC8Z4QC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operational semantics#76SV, Big step operational semantics (unknown)
History
- 2026-11-02: add by m2/dev
8FKWFXMS7K 8FKWFXMS7K
| URI | m2://inv/8FKWFXMS7K |
|---|---|
| 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.14692#ZBB1 (statement). In NE5EH5FXRV/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Properties 8FKX5VWTVE
| URI | m2://inv/8FKX5VWTVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic analysis#JE91, Properties (statement)
History
- 2026-11-02: add by m2/dev
8FM2AXPZ0S 8FM2AXPZ0S
| URI | m2://inv/8FM2AXPZ0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#853U (statement). In 1WCXV5PVZA/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.4.0
8FM5M8790B 8FM5M8790B
| URI | m2://inv/8FM5M8790B |
|---|---|
| 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.05703#NGXS (statement). In 2YS79JFD85/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
Comparison Theorems 8FM8R8YQKW
| URI | m2://inv/8FM8R8YQKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturm–Liouville theory#5JPU, Comparison Theorems (statement)
History
- 2026-11-02: add by m2/dev
8FM9EFR39Y 8FM9EFR39Y
| URI | m2://inv/8FM9EFR39Y |
|---|---|
| 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.30600#U0UZ (statement). In BKGWH9ZN4J/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Verus 8FMB17T807
| URI | m2://inv/8FMB17T807 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verus (proof system), Verus (definition). Also Wikidata Q141488238
History
- 2026-11-02: add by m2/dev
Definition 8FME15GQ27
| URI | m2://inv/8FME15GQ27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Π01 class#SFKM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Basic properties 8FMHM0HVE4
| URI | m2://inv/8FMHM0HVE4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered ring#CMGU, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
8FMN01T2SR 8FMN01T2SR
| URI | m2://inv/8FMN01T2SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07280#BIKA (statement). In 1FJKW4WGEN/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
8FMVETH63R 8FMVETH63R
| URI | m2://inv/8FMVETH63R |
|---|---|
| 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.00103#ANZ5 (statement). In S7RDXJWP1A/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Lipschitz bound along a segment 8FMX1HWM4K
| URI | m2://inv/8FMX1HWM4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#NZPW, Lipschitz bound along a segment (statement). In X5BYGZZHPF/e1, lemma K.1
History
- 2026-10-28: add by m2/v0.4.2
8FN0TW08D3 8FN0TW08D3
| URI | m2://inv/8FN0TW08D3 |
|---|---|
| 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 2609.27694#W8X8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Arcsine laws 8FN74VRQTF
| URI | m2://inv/8FN74VRQTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#TW6S, Arcsine laws (statement)
History
- 2026-11-02: add by m2/dev
Soft OGP 8FN7CJ58EQ
| URI | m2://inv/8FN7CJ58EQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#BS2R, Soft OGP (definition). In WK0PT95WW1/e1, definition 5.7
History
- 2026-10-30: add by m2/v0.4.12
8FNMFVQ7FN 8FNMFVQ7FN
| URI | m2://inv/8FNMFVQ7FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#ZRSZ (statement). In CHC3T113Y4/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Jacobian matrix 8FP2NM95NH
| URI | m2://inv/8FP2NM95NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > Jacobian matrix, Jacobian matrix (unknown)
History
- 2026-10-26: add by m2/dev
pencil 8FP2XSWW5Z
| URI | m2://inv/8FP2XSWW5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#6G9J, pencil (definition)
History
- 2026-11-02: add by m2/dev
Eli Ben-Sasson 8FPCG9CN65
| URI | m2://inv/8FPCG9CN65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eli Ben-Sasson, Eli Ben-Sasson (topic). Also Wikidata Q102301988
History
- 2026-11-02: add by m2/dev
Hertz vector 8FPEN2X8DW
| URI | m2://inv/8FPEN2X8DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hertz vector, Hertz vector (definition). Also Wikidata Q65066691
History
- 2026-11-02: add by m2/dev
Method of types 8FPP0TK3EY
| URI | m2://inv/8FPP0TK3EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#9LKZ, Method of types (statement). In STPNP83RJS/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
George Tseng 8FPQY0M7N5
| URI | m2://inv/8FPQY0M7N5 |
|---|---|
| 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#BHCI, George Tseng (unknown)
History
- 2026-11-02: add by m2/dev
Integral reconstruction 8FPR76NGJ8
| URI | m2://inv/8FPR76NGJ8 |
|---|---|
| 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.15262#JSEO, Integral reconstruction (statement). In C44HVXWYRF/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Construction 8FPW9F3EZ4
| URI | m2://inv/8FPW9F3EZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's lemma#J75A, Construction (definition)
History
- 2026-11-02: add by m2/dev
Tarski's axiomatization of the reals 8FPWY69C4F
| URI | m2://inv/8FPWY69C4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axiomatization of the reals, Tarski's axiomatization of the reals (definition). Also Wikidata Q7686756
History
- 2026-11-02: add by m2/dev
8FPXYXMD8Q 8FPXYXMD8Q
| URI | m2://inv/8FPXYXMD8Q |
|---|---|
| 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.33015#2JBY (statement). In W6Y6NPK648/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
Theorem 8FQ0NJ3RB1
| URI | m2://inv/8FQ0NJ3RB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#GK2Q, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mixed Cartan formula 8FQ54XGNDR
| URI | m2://inv/8FQ54XGNDR |
|---|---|
| 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.08091#38TT, Mixed Cartan formula (statement). In MS13WE3CSD/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Freudenthal spectral theorem 8FQ5RN3CDV
| URI | m2://inv/8FQ5RN3CDV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal spectral theorem, Freudenthal spectral theorem (statement). Also Wikidata Q5503260
History
- 2026-11-02: add by m2/dev
8FQ9ZAQ0R0 8FQ9ZAQ0R0
| URI | m2://inv/8FQ9ZAQ0R0 |
|---|---|
| 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 2305.10921#TUD6 (statement). In PD5PJ0EYG6/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
8FQDSCM1PF 8FQDSCM1PF
| URI | m2://inv/8FQDSCM1PF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#P0MJ (definition). In 6KR7Z5ETRY/e1, definition 2.34
History
- 2026-10-27: add by m2/v0.3.5
8FQH303F06 8FQH303F06
| URI | m2://inv/8FQH303F06 |
|---|---|
| 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#9F5B (example). In T3W7SMWQ73/e1, example 40
History
- 2026-10-28: add by m2/v0.4.3
8FQSG1B27H 8FQSG1B27H
| URI | m2://inv/8FQSG1B27H |
|---|---|
| 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.10469#8F1K (statement). In Q39BEKW6D9/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Quaternion-Kähler symmetric space 8FR4YF94SQ
| URI | m2://inv/8FR4YF94SQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion-Kähler symmetric space, Quaternion-Kähler symmetric space (definition). Also Wikidata Q7269563
History
- 2026-11-02: add by m2/dev
Extensions 8FR7WDPFEB
| URI | m2://inv/8FR7WDPFEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous eating algorithm#K093, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Bracketing paradox 8FR9DGE85F
| URI | m2://inv/8FR9DGE85F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracketing paradox, Bracketing paradox (statement). Also Wikidata Q4953702
History
- 2026-11-02: add by m2/dev
Corrado Segre 8FRBSQ88Y6
| URI | m2://inv/8FRBSQ88Y6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PW9F, Corrado Segre (topic)
History
- 2026-11-02: add by m2/dev
Examples 8FRDP2D4HK
| URI | m2://inv/8FRDP2D4HK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated set (intersection of open sets)#GD7O, Examples (example)
History
- 2026-11-02: add by m2/dev
8FRMN6503V 8FRMN6503V
| URI | m2://inv/8FRMN6503V |
|---|---|
| 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.20805#IHSK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mildred Ginsberg Goldberger 8FS01DMQGY
| URI | m2://inv/8FS01DMQGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mildred Ginsberg Goldberger, Mildred Ginsberg Goldberger (topic). Also Wikidata Q140643872
History
- 2026-11-02: add by m2/dev
8FS1953Q0S 8FS1953Q0S
| URI | m2://inv/8FS1953Q0S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#problem-1 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
Rank 3 permutation group 8FS1DGM593
| URI | m2://inv/8FS1DGM593 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank 3 permutation group, Rank 3 permutation group (definition). Also Wikidata Q7293204
History
- 2026-11-02: add by m2/dev
Alternating planar algebra 8FS6GTWKE5
| URI | m2://inv/8FS6GTWKE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating planar algebra, Alternating planar algebra (definition). Also Wikidata Q25220954
History
- 2026-11-02: add by m2/dev
Uniform convergence of convex functions 8FS850DTG7
| URI | m2://inv/8FS850DTG7 |
|---|---|
| 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.12165#WZPU, Uniform convergence of convex functions (statement). In 3JSE8A9CFH/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
8FSEKV8DX6 8FSEKV8DX6
| URI | m2://inv/8FSEKV8DX6 |
|---|---|
| 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.09501#U0KC (statement). In 7BAAE2V761/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
8FSN3VW2PG 8FSN3VW2PG
| URI | m2://inv/8FSN3VW2PG |
|---|---|
| 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.07049#1A3D (statement). In GMF552ESG6/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
8FSNESW8G2 8FSNESW8G2
| URI | m2://inv/8FSNESW8G2 |
|---|---|
| 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 2206.12966#0M35 (statement). In VH93X5QZDV/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
8FSP01BZF4 8FSP01BZF4
| URI | m2://inv/8FSP01BZF4 |
|---|---|
| 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.00657#B8FC (statement). In FF8A8FP4FB/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Floquet's theorem 8FSQPN0KAE
| URI | m2://inv/8FSQPN0KAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floquet theory#8QU6, Floquet's theorem (statement)
History
- 2026-11-02: add by m2/dev
Statistical dispersion 8FT28JY4G6
| URI | m2://inv/8FT28JY4G6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical dispersion, Statistical dispersion (definition). Also Wikidata Q845777
History
- 2026-11-02: add by m2/dev
Near regime 8FTDZZHNTM
| URI | m2://inv/8FTDZZHNTM |
|---|---|
| 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.32977#R0S8, Near regime (statement). In 4KT9TK3MG4/e1, lemma D.21
History
- 2026-10-31: add by m2/v0.5.6
Louise Stokes Hunter 8FTJZ4Q9MP
| URI | m2://inv/8FTJZ4Q9MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise Stokes Hunter, Louise Stokes Hunter (topic). Also Wikidata Q12893747
History
- 2026-11-02: add by m2/dev
Two-sided Laplace transform 8FTK4NH5Q5
| URI | m2://inv/8FTK4NH5Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-sided Laplace transform, Two-sided Laplace transform (definition). Also Wikidata Q1785576
History
- 2026-11-02: add by m2/dev
8FTTKDFWDA 8FTTKDFWDA
| URI | m2://inv/8FTTKDFWDA |
|---|---|
| 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.01753#6NAU (statement). In JY50YXMH5N/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.12
8FTWYN53TW 8FTWYN53TW
| URI | m2://inv/8FTWYN53TW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:isoprop (statement). In N54F33XE07, lem, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
8FV1SKR248 8FV1SKR248
| URI | m2://inv/8FV1SKR248 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#W89T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alternative definition 8FV35C2EGY
| URI | m2://inv/8FV35C2EGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post correspondence problem#SCRS, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
8FVGN95DAV 8FVGN95DAV
| URI | m2://inv/8FVGN95DAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04124#IYH2 (statement). In DB9WCCW840/e1, lemma 0.11
History
- 2026-10-29: add by m2/v0.4.12
8FVM3DWPWV 8FVM3DWPWV
| URI | m2://inv/8FVM3DWPWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#lem:succ (statement). In PKGMM3P5QY, lem, section 29.10
History
- 2026-11-01: add by m2/v0.6.13
Lower limit topology 8FVMYC36D7
| URI | m2://inv/8FVMYC36D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#2DCC, Lower limit topology (definition)
History
- 2026-11-02: add by m2/dev
Globally hyperbolic spacetime 8FVP7ZG8MN
| URI | m2://inv/8FVP7ZG8MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Globally hyperbolic spacetime, Globally hyperbolic spacetime (definition). Also Wikidata Q5570942
History
- 2026-11-02: add by m2/dev
Al-Salam–Ismail polynomials 8FVS4Z7EDM
| URI | m2://inv/8FVS4Z7EDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Salam–Ismail polynomials, Al-Salam–Ismail polynomials (definition). Also Wikidata Q4703171
History
- 2026-11-02: add by m2/dev
8FW9BB3468 8FW9BB3468
| URI | m2://inv/8FW9BB3468 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#MUQZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 8FWBDR05AJ
| URI | m2://inv/8FWBDR05AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentially equivalent measures#TMZG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Plant is a bounded perturbation of a self-adjoint operator 8FWQ9VZVBM
| URI | m2://inv/8FWQ9VZVBM |
|---|---|
| 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.22384#WSGU, Plant is a bounded perturbation of a self-adjoint operator (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement 8FWYCC8G30
| URI | m2://inv/8FWYCC8G30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pu's inequality#JHYA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Formulas for special matrices 8FWZ2F04M9
| URI | m2://inv/8FWZ2F04M9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of a 2 by 2 matrix#CZUC, Formulas for special matrices (statement)
History
- 2026-11-02: add by m2/dev
Cramér's theorem (large deviations) 8FX026RJKJ
| URI | m2://inv/8FX026RJKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8Z39, Cramér's theorem (large deviations) (statement)
History
- 2026-11-02: add by m2/dev
8FX3P6CMY7 8FX3P6CMY7
| URI | m2://inv/8FX3P6CMY7 |
|---|---|
| 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.10372#F5RX (statement). In P77W283VXT/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
8FX7G0Z0JT 8FX7G0Z0JT
| URI | m2://inv/8FX7G0Z0JT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-148 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Annalen der Physik 8FX8AM5G5J
| URI | m2://inv/8FX8AM5G5J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q275655, Annalen der Physik (unknown). Also ProofWiki Book:Journal/Annalen_der_Physik
History
- 2026-10-26: add by m2/dev
Frederick Ronald Cohen 8FXA7GBZK2
| URI | m2://inv/8FXA7GBZK2 |
|---|---|
| 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#O9T5, Frederick Ronald Cohen (unknown)
History
- 2026-11-02: add by m2/dev
Cancellation of additive factors 8FXAWZZ38J
| URI | m2://inv/8FXAWZZ38J |
|---|---|
| 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.30301#ZWVR, Cancellation of additive factors (statement). In 7NS75J7HAM/e1, lemma 7.10
History
- 2026-10-31: add by m2/v0.5.6
8FXEVSHJVW 8FXEVSHJVW
| URI | m2://inv/8FXEVSHJVW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#HQVJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
8FXEWZMME7 8FXEWZMME7
| URI | m2://inv/8FXEWZMME7 |
|---|---|
| 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.03264#CQJA (statement). In 5TXRSPPTHP/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Variants 8FXGQFYAVT
| URI | m2://inv/8FXGQFYAVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast syndrome-based hash#1689, Variants (statement)
History
- 2026-11-02: add by m2/dev
Haagerup , Choda 8FXGRYPQCB
| URI | m2://inv/8FXGRYPQCB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#ILYS, Haagerup , Choda (definition). In MZ60NP20BH/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.0
Tibshirani, Robert 8FXK7DK1K9
| URI | m2://inv/8FXK7DK1K9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VYGO, Tibshirani, Robert (topic)
History
- 2026-11-02: add by m2/dev
Henry Sheffer 8FXMW1RBZX
| URI | m2://inv/8FXMW1RBZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#47V9, Henry Sheffer (topic)
History
- 2026-11-02: add by m2/dev
Freda Porter 8FXVZEYD2G
| URI | m2://inv/8FXVZEYD2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freda Porter, Freda Porter (topic). Also Wikidata Q75101063
History
- 2026-11-02: add by m2/dev
Clique 8FXX5G5YJ2
| URI | m2://inv/8FXX5G5YJ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#TFTQ, Clique (definition). In N7XJ16700B/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.10
8FXZ34TK0N 8FXZ34TK0N
| URI | m2://inv/8FXZ34TK0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#4LYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lipschitz continuity of the objectives 8FY2NVQ5G7
| URI | m2://inv/8FY2NVQ5G7 |
|---|---|
| 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.17579#X3D2, Lipschitz continuity of the objectives (statement). In 1H021CTR3A/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Salience bias 8FYD572DP8
| URI | m2://inv/8FYD572DP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#OC2P, Salience bias (unknown)
History
- 2026-11-02: add by m2/dev
Kullback–Leibler Upper Confidence Bound 8FYEENKS7Q
| URI | m2://inv/8FYEENKS7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler Upper Confidence Bound, Kullback–Leibler Upper Confidence Bound (definition). Also Wikidata Q137739495
History
- 2026-11-02: add by m2/dev
Example 8FYFSRN5EY
| URI | m2://inv/8FYFSRN5EY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear subspace#XCK1, Example (example)
History
- 2026-11-02: add by m2/dev
helicoid 8FYMZK3KRM
| URI | m2://inv/8FYMZK3KRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1072483, helicoid (unknown). Also MathWorld Helicoid
- wikipedia: Wikipedia Helicoid, Helicoid (definition). Also Wikidata Q1072483
History
- 2026-10-26: add by m2/dev
8FYWW59NJY 8FYWW59NJY
| URI | m2://inv/8FYWW59NJY |
|---|---|
| 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.28669#2O08 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8FZ0SC3YTA 8FZ0SC3YTA
| URI | m2://inv/8FZ0SC3YTA |
|---|---|
| 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 1011.1990#4TX9 (statement). In GV0JBN5DWQ/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.3.5
Control Event Rate 8FZ6BZEZH9
| URI | m2://inv/8FZ6BZEZH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experimental event rate#Q6SY, Control Event Rate (unknown)
History
- 2026-11-02: add by m2/dev
8FZBMC4WD4 8FZBMC4WD4
| URI | m2://inv/8FZBMC4WD4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#0R7H (definition). In G70Q2FB591/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
8FZYDP4ARH 8FZYDP4ARH
| URI | m2://inv/8FZYDP4ARH |
|---|---|
| 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.19260#TQGZ (statement). In PWXT7J9JX3/e1, theorem 3.11
History
- 2026-10-28: add by m2/v0.4.2
Involution (group theory) 8FZYHSADSM
| URI | m2://inv/8FZYHSADSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involution (mathematics)#2ELH, Involution (group theory) (unknown)
History
- 2026-11-02: add by m2/dev