Inventory rows T1
The cards of the rows of the inventory whose ids start with T1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
unipotent matrix T100K0P91B
| URI | m2://inv/T100K0P91B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2494911, unipotent matrix (unknown). Also MathWorld Unipotent
History
- 2026-10-26: add by m2/dev
T107C6C37W T107C6C37W
| URI | m2://inv/T107C6C37W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#Q9SY (statement). In W5XRKWDADE/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
Likelihood-ratio test T10CKN7B6X
| URI | m2://inv/T10CKN7B6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood-ratio test, Likelihood-ratio test (definition). Also Wikidata Q585740
History
- 2026-11-02: add by m2/dev
T10F4KY9V3 T10F4KY9V3
| URI | m2://inv/T10F4KY9V3 |
|---|---|
| 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.35460#GQ99 (statement). In R515NECVME/e1, corollary 1.1
History
- 2026-10-30: add by m2/v0.4.12
List of analog computers T10FD2RWXQ
| URI | m2://inv/T10FD2RWXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analog computer#8EGQ, List of analog computers (unknown)
History
- 2026-11-02: add by m2/dev
Brauer algebra T10FSHN0CM
| URI | m2://inv/T10FSHN0CM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer algebra, Brauer algebra (definition). Also Wikidata Q4958224
History
- 2026-11-02: add by m2/dev
T10T05T8N3 T10T05T8N3
| URI | m2://inv/T10T05T8N3 |
|---|---|
| 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.27788#RUO0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grashof number T1143N0NS1
| URI | m2://inv/T1143N0NS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grashof number, Grashof number (definition). Also Wikidata Q868719
History
- 2026-11-02: add by m2/dev
T115NXFQ5W T115NXFQ5W
| URI | m2://inv/T115NXFQ5W |
|---|---|
| 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.02935#DD1U (statement). In WE2KKAMEFW/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Shapiro inequality T116CZTW0T
| URI | m2://inv/T116CZTW0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapiro inequality, Shapiro inequality (statement). Also Wikidata Q601134
History
- 2026-11-02: add by m2/dev
T119GS1R35 T119GS1R35
| URI | m2://inv/T119GS1R35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#KKFU (statement). In WNFW6GY38C/e1, proposition 11.2
History
- 2026-10-30: add by m2/v0.4.12
Example T11HSN17BG
| URI | m2://inv/T11HSN17BG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic inference#6JEA, Example (example)
History
- 2026-11-02: add by m2/dev
T11MHPR2Z9 T11MHPR2Z9
| URI | m2://inv/T11MHPR2Z9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#CHDL (problem). In HBZXCMYPME/e1, problem 7
History
- 2026-10-28: add by m2/v0.4.2
T11R8YRGVA T11R8YRGVA
| URI | m2://inv/T11R8YRGVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#Q31I (statement). In 2W5Z97BBW4/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.0
T11Z3J1EKT T11Z3J1EKT
| URI | m2://inv/T11Z3J1EKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20460#OZ0T (statement)
History
- 2026-11-02: add by m2/v0.6.18
wild knot T1253MZZRR
| URI | m2://inv/T1253MZZRR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wild knot QYDQ28X8MA |
Mentions
- wikidata: Wikidata Q2489408, wild knot (unknown). Also MathWorld WildKnot
- wikipedia: Wikipedia Wild knot, Wild knot (object). Also Wikidata Q2489408
History
- 2026-10-26: add by m2/dev
T125N69ZY2 T125N69ZY2
| URI | m2://inv/T125N69ZY2 |
|---|---|
| Kind | statement |
| 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#BLG3 (statement). In MZ60NP20BH/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.4.0
Scenario optimization T129XF9SG7
| URI | m2://inv/T129XF9SG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scenario optimization, Scenario optimization (definition). Also Wikidata Q7430722
History
- 2026-11-02: add by m2/dev
T12EDC56AE T12EDC56AE
| URI | m2://inv/T12EDC56AE |
|---|---|
| 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 1008.2055#DQ6P (statement). In 76JR4WFT4B/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
T12FY2QJ1N T12FY2QJ1N
| URI | m2://inv/T12FY2QJ1N |
|---|---|
| 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.14458#FUYD (statement). In WJ76MVYAZQ/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
T12N5AV0CE T12N5AV0CE
| URI | m2://inv/T12N5AV0CE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#MXII (definition). In ZH0PFTZ12Y/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Existence of tests T12SKT53F1
| URI | m2://inv/T12SKT53F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#CHP6, Existence of tests (statement). In D0F1GK5AHW/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
Perturbative control of \(\mathcal A_g\ T12X8X0VF3
| URI | m2://inv/T12X8X0VF3 |
|---|---|
| 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.28014#E4OP, Perturbative control of \(\mathcal A_g\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fever T131A1GW2D
| URI | m2://inv/T131A1GW2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#9NH0, Fever (unknown)
History
- 2026-11-02: add by m2/dev
T136WJ3V4A T136WJ3V4A
| URI | m2://inv/T136WJ3V4A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-12 (proof). In N54F33XE07, proof, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
Octahemioctacron T139NSHC08
| URI | m2://inv/T139NSHC08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahemioctahedron#PRU1, Octahemioctacron (unknown)
History
- 2026-11-02: add by m2/dev
T13AVHZ0HG T13AVHZ0HG
| URI | m2://inv/T13AVHZ0HG |
|---|---|
| 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.08581#51AO (statement). In VCSPPW15BE/e1, corollary 7.1
History
- 2026-10-29: add by m2/v0.4.10
impartial game T13C6GSNMB
| URI | m2://inv/T13C6GSNMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2289490, impartial game (unknown). Also MathWorld ImpartialGame
History
- 2026-10-26: add by m2/dev
Characterization T13JV1MPJP
| URI | m2://inv/T13JV1MPJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Gaussian distribution#5ZUK, Characterization (statement)
History
- 2026-11-02: add by m2/dev
T13M0KAWQY T13M0KAWQY
| URI | m2://inv/T13M0KAWQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/pairs.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 38.4
History
- 2026-11-01: add by m2/v0.6.13
John Playfair T13NZVD15G
| URI | m2://inv/T13NZVD15G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#8GCW, John Playfair (unknown)
History
- 2026-11-02: add by m2/dev
T13P6FSHP2 T13P6FSHP2
| URI | m2://inv/T13P6FSHP2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-23 (proof). In E59CDZA4DP, proof, section 11.4.2
History
- 2026-11-01: add by m2/v0.6.13
inscribed angle theorem T13XHX9564
| URI | m2://inv/T13XHX9564 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > inscribed angle theorem, inscribed angle theorem (unknown). Also Mathlib Orientation.two_zsmul_oangle_sub_eq_two_zsmul_oangle_sub_of_norm_eq
History
- 2026-10-26: add by m2/dev
Refined weak regularity T145CFF60J
| URI | m2://inv/T145CFF60J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.02312#IHX7, Refined weak regularity (statement). In 1SZV94R22Y/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
homotopy fiber T14BEKD95V
| URI | m2://inv/T14BEKD95V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Q6D9, homotopy fiber (definition)
History
- 2026-11-02: add by m2/dev
T14F20268N T14F20268N
| URI | m2://inv/T14F20268N |
|---|---|
| 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.24374#HUGK (statement)
History
- 2026-11-01: add by m2/v0.6.15
T14MXKRRV0 T14MXKRRV0
| URI | m2://inv/T14MXKRRV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#IDOF (statement). In WNDHZVY4WK/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Definitions T14NK6R3AR
| URI | m2://inv/T14NK6R3AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-Frobenius ring#YHOW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
T14NR9RQJ6 T14NR9RQJ6
| URI | m2://inv/T14NR9RQJ6 |
|---|---|
| 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 2201.12479#Y8I2 (statement). In ZDWR95TW99/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
T14X4N149G T14X4N149G
| URI | m2://inv/T14X4N149G |
|---|---|
| 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.02489#Y2Q1 (statement). In ZCJDWDR16Z/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.12
Watchword T152BCA7X6
| URI | m2://inv/T152BCA7X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password#99CZ, Watchword (unknown)
History
- 2026-11-02: add by m2/dev
T159V4QYQ0 T159V4QYQ0
| URI | m2://inv/T159V4QYQ0 |
|---|---|
| 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 2407.05730#M9QM (problem). In VQ7STN4KDC/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Small targets T15HJ2VRFV
| URI | m2://inv/T15HJ2VRFV |
|---|---|
| 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.32140#OSNM, Small targets (statement). In 96Z8GEEFH4/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Finite intersection property T15P85A2HW
| URI | m2://inv/T15P85A2HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#FFS1, Finite intersection property (definition)
History
- 2026-11-02: add by m2/dev
Eutocius of Ascalon T15WRF2CHH
| URI | m2://inv/T15WRF2CHH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#JT9X, Eutocius of Ascalon (topic)
History
- 2026-11-02: add by m2/dev
is taken T15X3C4WP0
| URI | m2://inv/T15X3C4WP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#KDPV, is taken (definition)
History
- 2026-11-02: add by m2/dev
T16183F8JZ T16183F8JZ
| URI | m2://inv/T16183F8JZ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#I5T4 (conjecture). In YRJS76169Z/e1, conjecture 3.7
History
- 2026-10-27: add by m2/v0.4.2
Weight admissible under the cancellation identity T1632YWNWJ
| URI | m2://inv/T1632YWNWJ |
|---|---|
| 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.32558#V23L, Weight admissible under the cancellation identity (statement). In SGQS629QNK/e1, proposition B.3
History
- 2026-10-31: add by m2/v0.5.6
T168SNRB74 T168SNRB74
| URI | m2://inv/T168SNRB74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#XAZR (statement). In TTRSZVT4VX/e1, proposition 2.23
History
- 2026-10-27: add by m2/v0.4.2
Definition T16BA100SB
| URI | m2://inv/T16BA100SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macbeath region#OHHX, Definition (definition)
History
- 2026-11-02: add by m2/dev
T16M0FMNZY T16M0FMNZY
| URI | m2://inv/T16M0FMNZY |
|---|---|
| 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 2303.10963#PUZB (statement). In F32XWYWG8E/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Statistical distance T16RYQA5ZT
| URI | m2://inv/T16RYQA5ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical distance, Statistical distance (definition). Also Wikidata Q7604392
History
- 2026-11-02: add by m2/dev
T16SD2SSY0 T16SD2SSY0
| URI | m2://inv/T16SD2SSY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02669#8RC1 (statement). In NSBSWH6XB4/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
T16WZY4G53 T16WZY4G53
| URI | m2://inv/T16WZY4G53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2303.09207#ITW7 (statement). In 9DQKY7KGE8/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.3.5
Definition T16ZZ99WK2
| URI | m2://inv/T16ZZ99WK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative model#CYBR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties T17H9S5QMP
| URI | m2://inv/T17H9S5QMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing tensor#4RAX, Properties (statement)
History
- 2026-11-02: add by m2/dev
T17JPJ7F1C T17JPJ7F1C
| URI | m2://inv/T17JPJ7F1C |
|---|---|
| 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.13670#YIE4 (statement). In 4PGTZ19B26/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Rank-into-rank T17MMYV5Y8
| URI | m2://inv/T17MMYV5Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank-into-rank, Rank-into-rank (definition). Also Wikidata Q7293198
History
- 2026-11-02: add by m2/dev
Calcutta Mathematical Society T17RQSD4AA
| URI | m2://inv/T17RQSD4AA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#HG5J, Calcutta Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
Lamport's Bakery algorithm T17WS13DJM
| URI | m2://inv/T17WS13DJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#N9DP, Lamport's Bakery algorithm (unknown)
History
- 2026-11-02: add by m2/dev
fish curve T17X7Y62SJ
| URI | m2://inv/T17X7Y62SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5454616, fish curve (unknown). Also MathWorld FishCurve
- wikipedia: Wikipedia Fish curve, Fish curve (definition). Also Wikidata Q5454616
History
- 2026-10-26: add by m2/dev
T17ZEPGQKC T17ZEPGQKC
| URI | m2://inv/T17ZEPGQKC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#6CCB (definition). In 3REM2EXQK7/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.12
T18310AB6A T18310AB6A
| URI | m2://inv/T18310AB6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32176#0XPP (definition). In N9F5R2PV0E/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
T185N5Y1WE T185N5Y1WE
| URI | m2://inv/T185N5Y1WE |
|---|---|
| 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.10474#43VJ (statement). In MB29RAAQMG/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
T185TESF0G T185TESF0G
| URI | m2://inv/T185TESF0G |
|---|---|
| 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.32478#0D5U (statement). In 5QBSYDC2XH/e1, lemma D.4
History
- 2026-10-31: add by m2/v0.5.6
Formal definition T187Z6AY8C
| URI | m2://inv/T187Z6AY8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average treatment effect#F735, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
T18CW5JY61 T18CW5JY61
| URI | m2://inv/T18CW5JY61 |
|---|---|
| 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.03255#4RFG (statement). In DCC0Y18670/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
Truncated infinite-order triangular tiling T18FKZJDWT
| URI | m2://inv/T18FKZJDWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated infinite-order triangular tiling, Truncated infinite-order triangular tiling (definition). Also Wikidata Q7847889
History
- 2026-11-02: add by m2/dev
T18HB966C0 T18HB966C0
| URI | m2://inv/T18HB966C0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:bool (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
T18QESSWV8 T18QESSWV8
| URI | m2://inv/T18QESSWV8 |
|---|---|
| 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#A5GT (statement). In A4S9A3X494/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Mainarizumu T18TCGB8MH
| URI | m2://inv/T18TCGB8MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mainarizumu, Mainarizumu (definition). Also Wikidata Q30589163
History
- 2026-11-02: add by m2/dev
Gabon Mathematical Society T18TMQ74XK
| URI | m2://inv/T18TMQ74XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#X5HJ, Gabon Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
F-theory T18XGC31NY
| URI | m2://inv/T18XGC31NY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q852072, F-theory (unknown). Also nLab F-theory
History
- 2026-10-26: add by m2/dev
Generalized game T18Z5PCVEC
| URI | m2://inv/T18Z5PCVEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#8OL3, Generalized game (definition)
History
- 2026-11-02: add by m2/dev
T18ZF7YJ6V T18ZF7YJ6V
| URI | m2://inv/T18ZF7YJ6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#73RH (statement). In TZ5BMDXRQZ/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Walter E. Hoadley T1952MZ0MK
| URI | m2://inv/T1952MZ0MK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2TRL, Walter E. Hoadley (topic)
History
- 2026-11-02: add by m2/dev
Plücker T1960HTKS6
| URI | m2://inv/T1960HTKS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#D2PV, Plücker (definition)
History
- 2026-11-02: add by m2/dev
T19KF1MN5Y T19KF1MN5Y
| URI | m2://inv/T19KF1MN5Y |
|---|---|
| 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.16706#GX57 (statement). In KXZ5VFD9XM/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Knowledge distillation T19ND5KKSQ
| URI | m2://inv/T19ND5KKSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knowledge distillation, Knowledge distillation (definition). Also Wikidata Q74253442
History
- 2026-11-02: add by m2/dev
T19QSGCKCV T19QSGCKCV
| URI | m2://inv/T19QSGCKCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.10377#L7EA (statement). In 6HP7BR9WZM/e1, theorem 3.17
History
- 2026-10-29: add by m2/v0.4.10
T19SB9V18R T19SB9V18R
| URI | m2://inv/T19SB9V18R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.36021#NMSL (statement). In CB68ATPEV9/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
Gauss–Kuzmin distribution T19T89ZJ68
| URI | m2://inv/T19T89ZJ68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MCFE, Gauss–Kuzmin distribution (definition)
History
- 2026-11-02: add by m2/dev
T1ABFTA48B T1ABFTA48B
| URI | m2://inv/T1ABFTA48B |
|---|---|
| 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.05791#7SHJ (statement). In CP0PVZ70MF/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
T1AGX3B917 T1AGX3B917
| URI | m2://inv/T1AGX3B917 |
|---|---|
| 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.03555#4TME (statement). In 9JZJTRRVR1/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
tautology T1AJMXEGFM
| URI | m2://inv/T1AJMXEGFM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1.1/tautology, tautology (concept). In Y91XFCEVHQ, index, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Ensemble Kalman filter T1ARBW375N
| URI | m2://inv/T1ARBW375N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#5L0S, Ensemble Kalman filter (definition)
History
- 2026-11-02: add by m2/dev
T1AT93FX60 T1AT93FX60
| URI | m2://inv/T1AT93FX60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#Z4II (statement). In 7615KVXDB5/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
Graphical model T1B1D9Y2N6
| URI | m2://inv/T1B1D9Y2N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X2CX, Graphical model (definition)
History
- 2026-11-02: add by m2/dev
Colorful Helly theorem T1BB1TTR00
| URI | m2://inv/T1BB1TTR00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly's theorem#OB1V, Colorful Helly theorem (statement)
History
- 2026-11-02: add by m2/dev
Graph T1BCHSHVHB
| URI | m2://inv/T1BCHSHVHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (topology), Graph (definition). Also Wikidata Q30689475
History
- 2026-11-02: add by m2/dev
Normal variance-mean mixture T1BJX6PN0Z
| URI | m2://inv/T1BJX6PN0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal variance-mean mixture, Normal variance-mean mixture (definition). Also Wikidata Q4327408
History
- 2026-11-02: add by m2/dev
Jill Dever T1BNZ6FBN6
| URI | m2://inv/T1BNZ6FBN6 |
|---|---|
| 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#MX6L, Jill Dever (unknown)
History
- 2026-11-02: add by m2/dev
Discrete fixed-point theorem T1C8AB4G59
| URI | m2://inv/T1C8AB4G59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete fixed-point theorem, Discrete fixed-point theorem (statement). Also Wikidata Q96376437
History
- 2026-11-02: add by m2/dev
T1CAJBSJ75 T1CAJBSJ75
| URI | m2://inv/T1CAJBSJ75 |
|---|---|
| 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.02798#FZYH (statement). In 446QW3DHTN/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Picard–Vessiot theory T1CBFHQ132
| URI | m2://inv/T1CBFHQ132 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard–Vessiot theory, Picard–Vessiot theory (topic). Also Wikidata Q7190519
History
- 2026-11-02: add by m2/dev
Divergence T1CCVY8DJF
| URI | m2://inv/T1CCVY8DJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence (statistics), Divergence (definition). Also Wikidata Q5283901
History
- 2026-11-02: add by m2/dev
Introduction to Mathematical Philosophy T1CF1WPN7N
| URI | m2://inv/T1CF1WPN7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q544347, Introduction to Mathematical Philosophy (unknown). Also ProofWiki Book:Bertrand_Russell/Introduction_to_Mathematical_Philosophy
- wikipedia: Wikipedia Introduction to Mathematical Philosophy, Introduction to Mathematical Philosophy (definition). Also Wikidata Q544347
History
- 2026-10-26: add by m2/dev
T1CK329MXP T1CK329MXP
| URI | m2://inv/T1CK329MXP |
|---|---|
| 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#1YHA (statement). In ZVNM9X4NNG/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Examples T1CMBC9CD4
| URI | m2://inv/T1CMBC9CD4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence relation#WIT9, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem T1CP20VZY5
| URI | m2://inv/T1CP20VZY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#GAJU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Beppo Levi T1CWEK6M5X
| URI | m2://inv/T1CWEK6M5X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#L7MA, Beppo Levi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JATQ, Beppo Levi (topic)
History
- 2026-11-02: add by m2/dev
Felix Gantmacher T1CYGR261F
| URI | m2://inv/T1CYGR261F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#R944, Felix Gantmacher (topic)
History
- 2026-11-02: add by m2/dev
List of order theory topics T1CZQD55YB
| URI | m2://inv/T1CZQD55YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics, List of order theory topics (topic). Also Wikidata Q6631769
History
- 2026-11-02: add by m2/dev
Freiman homomorphisms and the Ruzsa modeling lemma T1D4ZA8ZKD
| URI | m2://inv/T1D4ZA8ZKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#44U0, Freiman homomorphisms and the Ruzsa modeling lemma (statement)
History
- 2026-11-02: add by m2/dev
principle T1D9HRBH5V
| URI | m2://inv/T1D9HRBH5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211364, principle (unknown). Also MathWorld Principle
History
- 2026-10-26: add by m2/dev
Immersed submanifold T1DDTWY2Q4
| URI | m2://inv/T1DDTWY2Q4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submanifold#1YOO, Immersed submanifold (unknown)
History
- 2026-11-02: add by m2/dev
Definition T1DFJYHFBP
| URI | m2://inv/T1DFJYHFBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Følner sequence#HTNN, Definition (definition)
History
- 2026-11-02: add by m2/dev
$S^1$-valued $\sigma$-models T1DRND211S
| URI | m2://inv/T1DRND211S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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.03865#9K9L, $S^1$-valued $\sigma$-models (example). In G3D1YR20BJ/e1, example 4.17
History
- 2026-10-29: add by m2/v0.4.12
Examples T1DWERXJFN
| URI | m2://inv/T1DWERXJFN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Promise problem#7MO8, Examples (example)
History
- 2026-11-02: add by m2/dev
T1DX3D1ZX4 T1DX3D1ZX4
| URI | m2://inv/T1DX3D1ZX4 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#2TKI (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic normal form T1DXWSQ2YK
| URI | m2://inv/T1DXWSQ2YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#SP8I, Algebraic normal form (definition)
History
- 2026-11-02: add by m2/dev
T1E5QGZ92Y T1E5QGZ92Y
| URI | m2://inv/T1E5QGZ92Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:subharlim (statement). In VNMV985MXX, thm, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Tabular integration T1E6GNNR0F
| URI | m2://inv/T1E6GNNR0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts#EVEV, Tabular integration (unknown)
History
- 2026-11-02: add by m2/dev
Alternative definition T1E80R1P3G
| URI | m2://inv/T1E80R1P3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stalk (sheaf)#OV39, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Examples T1E8YCXEVX
| URI | m2://inv/T1E8YCXEVX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AM–GM inequality#MZYK, Examples (example)
History
- 2026-11-02: add by m2/dev
Closeness T1ECG8199W
| URI | m2://inv/T1ECG8199W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#TLDW, Closeness (unknown)
History
- 2026-11-02: add by m2/dev
Wakeby distribution T1EE2JGN4C
| URI | m2://inv/T1EE2JGN4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wakeby distribution, Wakeby distribution (definition). Also Wikidata Q20988868
History
- 2026-11-02: add by m2/dev
Boris Pioline T1EG14PQYQ
| URI | m2://inv/T1EG14PQYQ |
|---|---|
| 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 Q893757, Boris Pioline (unknown). Also nLab Boris Pioline
History
- 2026-10-26: add by m2/dev
Damping ratio T1EG45JW56
| URI | m2://inv/T1EG45JW56 |
|---|---|
| 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#ZRFZ, Damping ratio (definition)
History
- 2026-11-02: add by m2/dev
Cyclotomic endpoint formula T1EM3VNAE8
| URI | m2://inv/T1EM3VNAE8 |
|---|---|
| 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.04214#MH56, Cyclotomic endpoint formula (statement). In HWY7AQ4KT2/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
Henri Lebesgue T1EXDH987Y
| URI | m2://inv/T1EXDH987Y |
|---|---|
| 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 Q206005, Henri Lebesgue (unknown). Also nLab Henri Lebesgue
- wikipedia: Wikipedia Henri Lebesgue, Henri Lebesgue (topic). Also Wikidata Q206005
History
- 2026-10-26: add by m2/dev
Maggie Cheng T1EZ2CVPP5
| URI | m2://inv/T1EZ2CVPP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maggie Cheng, Maggie Cheng (topic). Also Wikidata Q101173909
History
- 2026-11-02: add by m2/dev
T1F1B39C1J T1F1B39C1J
| URI | m2://inv/T1F1B39C1J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
Joint convergence of cutoffs, levels, and step graphs T1F2MM7CZM
| URI | m2://inv/T1F2MM7CZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#25C3, Joint convergence of cutoffs, levels, and step graphs (statement). In KP1THB2C09/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.10
Twisting properties T1F6ZV1JS5
| URI | m2://inv/T1F6ZV1JS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JVLZ, Twisting properties (definition)
History
- 2026-11-02: add by m2/dev
validity T1F7TTFBVP
| URI | m2://inv/T1F7TTFBVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1047000, validity (unknown). Also MathWorld Validity
- wikipedia: Wikipedia Validity (logic), Validity (definition). Also Wikidata Q1047000
History
- 2026-10-26: add by m2/dev
T1FACWKMKC T1FACWKMKC
| URI | m2://inv/T1FACWKMKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15019#HWTX (statement). In 9GWQN1DYM1/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Q-theta function T1FAM1A9ZW
| URI | m2://inv/T1FAM1A9ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-theta function, Q-theta function (definition). Also Wikidata Q3848697
History
- 2026-11-02: add by m2/dev
Properties and applications T1FG2R7Z67
| URI | m2://inv/T1FG2R7Z67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux cyclide#QDS0, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
T1FKJ7KW8T T1FKJ7KW8T
| URI | m2://inv/T1FKJ7KW8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#5VFY (statement). In 9RBATD2Z1F/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Tilted quantiles; \appproof{pf:tilt T1FKP3SWT5
| URI | m2://inv/T1FKP3SWT5 |
|---|---|
| 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 2609.39233#PWAN, Tilted quantiles; \appproof{pf:tilt (statement). In Y7NC12TBNP/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
T1FQZZV7NE T1FQZZV7NE
| URI | m2://inv/T1FQZZV7NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#Z0RE (statement). In 47WN78VDDF/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Theorem T1FXTVJ9YM
| URI | m2://inv/T1FXTVJ9YM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#8KNY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Persistent Strong Recovery after Critical Correlation T1G1FGTC6D
| URI | m2://inv/T1G1FGTC6D |
|---|---|
| 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.16705#1QRU, Persistent Strong Recovery after Critical Correlation (statement). In B48YQVGAF5/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Properties T1GSCKDFB6
| URI | m2://inv/T1GSCKDFB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volkenborn integral#8AA3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Furtive fallacy T1GSJHJZET
| URI | m2://inv/T1GSJHJZET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#VM6S, Furtive fallacy (unknown)
History
- 2026-11-02: add by m2/dev
T1GX9RP80D T1GX9RP80D
| URI | m2://inv/T1GX9RP80D |
|---|---|
| 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.33219#O9C4 (statement). In ETTQWMJZXJ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Marcel Bayard T1GZEQCXW9
| URI | m2://inv/T1GZEQCXW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcel Bayard, Marcel Bayard (topic). Also Wikidata Q3288652
History
- 2026-11-02: add by m2/dev
745 (number) T1H5ZHH922
| URI | m2://inv/T1H5ZHH922 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#MSEI, 745 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Levi-Civita symbol T1HAT1DQ0P
| URI | m2://inv/T1HAT1DQ0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#PM33, Levi-Civita symbol (definition)
History
- 2026-11-02: add by m2/dev
T1HBDSW20E T1HBDSW20E
| URI | m2://inv/T1HBDSW20E |
|---|---|
| Kind | example |
| 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 2609.20606#VZ23 (example)
History
- 2026-11-02: add by m2/v0.6.18
T1HFVAW0F0 T1HFVAW0F0
| URI | m2://inv/T1HFVAW0F0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#DAPD (definition). In V5PVKDKGGG/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Koszul–Tate resolution T1HPTYBV7Z
| URI | m2://inv/T1HPTYBV7Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6433700, Koszul–Tate resolution (concept). Also nLab Koszul-Tate resolution
- wikipedia: Wikipedia Koszul–Tate resolution, Koszul–Tate resolution (definition). Also Wikidata Q6433700
History
- 2026-10-26: add by m2/dev
Co-Hopfian group T1HVB83XVM
| URI | m2://inv/T1HVB83XVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Co-Hopfian group, Co-Hopfian group (definition). Also Wikidata Q48997273
History
- 2026-11-02: add by m2/dev
Cellular algebra T1HYDDWFD0
| URI | m2://inv/T1HYDDWFD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular algebra, Cellular algebra (definition). Also Wikidata Q5058347
History
- 2026-11-02: add by m2/dev
T1J24X5S2Q T1J24X5S2Q
| URI | m2://inv/T1J24X5S2Q |
|---|---|
| Kind | example |
| 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.21274#H0P3 (example)
History
- 2026-11-02: add by m2/v0.6.18
T1J3VC76CK T1J3VC76CK
| URI | m2://inv/T1J3VC76CK |
|---|---|
| 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.13670#HC1D (statement). In 4PGTZ19B26/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Gaussian free field T1J6MHJ2C6
| URI | m2://inv/T1J6MHJ2C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian free field, Gaussian free field (definition). Also Wikidata Q5527838
History
- 2026-11-02: add by m2/dev
T1JDC5F93E T1JDC5F93E
| URI | m2://inv/T1JDC5F93E |
|---|---|
| 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.17720#5YI2 (statement). In QPM0GQYNZ9/e1, theorem 8.4
History
- 2026-10-28: add by m2/v0.4.2
T1JFTVERTX T1JFTVERTX
| URI | m2://inv/T1JFTVERTX |
|---|---|
| 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.09314#55F6 (definition). In Z04N0B3R0V/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
T1JGSPJZBJ T1JGSPJZBJ
| URI | m2://inv/T1JGSPJZBJ |
|---|---|
| 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.28507#J0TL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Turán's theorem T1JXKEKJ98
| URI | m2://inv/T1JXKEKJ98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán graph#WZQP, Turán's theorem (statement)
History
- 2026-11-02: add by m2/dev
Regular open set T1K7D2ZGQ2
| URI | m2://inv/T1K7D2ZGQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#L8H9, Regular open set (definition)
History
- 2026-11-02: add by m2/dev
Cyclotomic polynomial T1KA3CDVYN
| URI | m2://inv/T1KA3CDVYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#DVJN, Cyclotomic polynomial (definition)
- wikipedia: Wikipedia List of polynomial topics#8NQ8, Cyclotomic polynomials (definition)
History
- 2026-11-02: add by m2/dev
Precision T1KFB0ZQ08
| URI | m2://inv/T1KFB0ZQ08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precision (statistics), Precision (definition). Also Wikidata Q254860
History
- 2026-11-02: add by m2/dev
Mishka Yaponchik T1KMPF7Q38
| URI | m2://inv/T1KMPF7Q38 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#CN3E, Mishka Yaponchik (unknown)
History
- 2026-11-02: add by m2/dev
E8-polytope T1KNAHPD63
| URI | m2://inv/T1KNAHPD63 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 8-polytope#JEMH, E8-polytope (unknown)
History
- 2026-11-02: add by m2/dev
torus T1KNC9B5N7
| URI | m2://inv/T1KNC9B5N7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/torus, torus (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Kari Hag T1KV2NGXCS
| URI | m2://inv/T1KV2NGXCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kari Hag, Kari Hag (topic). Also Wikidata Q26271834
History
- 2026-11-02: add by m2/dev
T1KVA3CZS7 T1KVA3CZS7
| URI | m2://inv/T1KVA3CZS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#MK96 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mihir Bellare T1MB5ZJ0YB
| URI | m2://inv/T1MB5ZJ0YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E0U4, Mihir Bellare (unknown)
History
- 2026-11-02: add by m2/dev
Corollary T1MDVGDEBF
| URI | m2://inv/T1MDVGDEBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#P6OE, Corollary (statement)
History
- 2026-11-02: add by m2/dev
T1MEPW1XRT T1MEPW1XRT
| URI | m2://inv/T1MEPW1XRT |
|---|---|
| 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.11271#5G3A (statement). In HF7J38T8Y6/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
Entropy gain for the observation likelihood T1MFYZQ5G1
| URI | m2://inv/T1MFYZQ5G1 |
|---|---|
| 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.05498#A1EV, Entropy gain for the observation likelihood (statement). In TJT32RQ9GC/e1, lemma 6.19
History
- 2026-10-29: add by m2/v0.4.10
Nonlinear functional analysis T1MGH9MJ34
| URI | m2://inv/T1MGH9MJ34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AAJP, Nonlinear functional analysis (definition)
History
- 2026-11-02: add by m2/dev
Azuma's inequality T1MQ7A2GF0
| URI | m2://inv/T1MQ7A2GF0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D9VW, Azuma's inequality (statement)
- wikipedia: Wikipedia List of inequalities#JYOK, Azuma's inequality (statement)
History
- 2026-11-02: add by m2/dev
One-way analysis of variance T1MVPGBE13
| URI | m2://inv/T1MVPGBE13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KTW7, One-way analysis of variance (definition)
History
- 2026-11-02: add by m2/dev
Formal definition T1MWHQ754G
| URI | m2://inv/T1MWHQ754G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator ideal#0B6X, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
T1N2YD3DE4 T1N2YD3DE4
| URI | m2://inv/T1N2YD3DE4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#NPG6 (unknown). In QNBFHFZ3H0/e1, unknown 1
History
- 2026-10-28: add by m2/v0.4.2
T1N3MJZK55 T1N3MJZK55
| URI | m2://inv/T1N3MJZK55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#Z3FE (definition). In F5STMSPR6X/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Frank McSherry T1N8VB7MBX
| URI | m2://inv/T1N8VB7MBX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5RLY, Frank McSherry (unknown)
History
- 2026-11-02: add by m2/dev
Terminology T1N9B8YTRG
| URI | m2://inv/T1N9B8YTRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exergy#X7JG, Terminology (definition)
History
- 2026-11-02: add by m2/dev
T1NBSRX7VG T1NBSRX7VG
| URI | m2://inv/T1NBSRX7VG |
|---|---|
| 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 2608.24599#QX45 (definition). In VG8QFWTT8S/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Mixed ancillary and weighted helper intersections T1NCQ1FVK3
| URI | m2://inv/T1NCQ1FVK3 |
|---|---|
| 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.09472#XL48, Mixed ancillary and weighted helper intersections (statement). In 35925M9GJW/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
T1NJY0PJYM T1NJY0PJYM
| URI | m2://inv/T1NJY0PJYM |
|---|---|
| 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#P12Q (statement). In W6Y6NPK648/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.3.5
instantaneous rate of change T1NXC9H7B1
| URI | m2://inv/T1NXC9H7B1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.5.2/instantaneous-rate-of-change, instantaneous rate of change (concept). In 907G4C4EJ1, index, section 1.5.2
History
- 2026-11-01: add by m2/v0.6.13
T1NYY4VGHP T1NYY4VGHP
| URI | m2://inv/T1NYY4VGHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#NHC9 (statement). In 8H0KHK7AMN/e1, corollary 4.20
History
- 2026-10-30: add by m2/v0.4.12
Bergman's diamond lemma T1NZANHBXE
| URI | m2://inv/T1NZANHBXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman's diamond lemma, Bergman's diamond lemma (statement). Also Wikidata Q110362895
History
- 2026-11-02: add by m2/dev
T1P153X9VM T1P153X9VM
| URI | m2://inv/T1P153X9VM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#ZSU8 (statement). In NVTHDNQQ4Q/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Implementation T1PCQZ4YZY
| URI | m2://inv/T1PCQZ4YZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heston model#TGTK, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Regularized Mass T1PGTF361V
| URI | m2://inv/T1PGTF361V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26592#P79U, Regularized Mass (definition)
History
- 2026-11-01: add by m2/v0.6.15
T1PTXT7C1J T1PTXT7C1J
| URI | m2://inv/T1PTXT7C1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:representable (definition). In N54F33XE07, defn, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Vladimir Fock T1PV80QAT4
| URI | m2://inv/T1PV80QAT4 |
|---|---|
| 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#21KD, Vladimir Fock (unknown)
History
- 2026-11-02: add by m2/dev
Matrix Chernoff estimate T1PVA643T8
| URI | m2://inv/T1PVA643T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#63FS, Matrix Chernoff estimate (statement). In K8JMTRS42G/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
DAG T1PWFEG04C
| URI | m2://inv/T1PWFEG04C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AX5H, DAG (definition)
History
- 2026-11-02: add by m2/dev
Stochastic dominance T1PXXMYHF5
| URI | m2://inv/T1PXXMYHF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic dominance, Stochastic dominance (definition). Also Wikidata Q3713315
History
- 2026-11-02: add by m2/dev
Energetic space T1PZYZF97D
| URI | m2://inv/T1PZYZF97D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energetic space, Energetic space (definition). Also Wikidata Q5376835
History
- 2026-11-02: add by m2/dev
Catalogue Paradox T1Q0V6PH00
| URI | m2://inv/T1Q0V6PH00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3895086, Catalogue Paradox (unknown). Also MathWorld CatalogueParadox
History
- 2026-10-26: add by m2/dev
T1Q46XQHHB T1Q46XQHHB
| URI | m2://inv/T1Q46XQHHB |
|---|---|
| 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.04675#8PQ9 (statement). In RDXNFF2CZP/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.12
Modular invariant theory T1Q8FRB6HY
| URI | m2://inv/T1Q8FRB6HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular invariant theory, Modular invariant theory (definition). Also Wikidata Q6889727
History
- 2026-11-02: add by m2/dev
Thue's theorem T1QJXWYGZ6
| URI | m2://inv/T1QJXWYGZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KJ6F, Thue's theorem (definition)
History
- 2026-11-02: add by m2/dev
Diagonal terms T1QM6FK69D
| URI | m2://inv/T1QM6FK69D |
|---|---|
| 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.17717#8MLI, Diagonal terms (statement). In YXRKS451PK/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
T1R2RR1QMC T1R2RR1QMC
| URI | m2://inv/T1R2RR1QMC |
|---|---|
| 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.35153#U435 (statement). In RNDAAR1ER9/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Modular group T1R65YS765
| URI | m2://inv/T1R65YS765 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#6GMO, Modular group (definition)
History
- 2026-11-02: add by m2/dev
Definition T1RG9A36C9
| URI | m2://inv/T1RG9A36C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#0LCO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Inverse probability T1RNPX22S1
| URI | m2://inv/T1RNPX22S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DC6V, Inverse probability (definition)
History
- 2026-11-02: add by m2/dev
T1RQG3SZBP T1RQG3SZBP
| URI | m2://inv/T1RQG3SZBP |
|---|---|
| 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.29623#5DH6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QED manifesto T1RRXASTJA
| URI | m2://inv/T1RRXASTJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QED manifesto, QED manifesto (definition). Also Wikidata Q7265420
History
- 2026-11-02: add by m2/dev
Henry Schultz T1RV8WCPQN
| URI | m2://inv/T1RV8WCPQN |
|---|---|
| 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#8XIM, Henry Schultz (unknown)
History
- 2026-11-02: add by m2/dev
Placement dominates T1RVC4M5TZ
| URI | m2://inv/T1RVC4M5TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.40290#OYEF, Placement dominates (statement). In 4K1CNBYJHF/e1, proposition 9.4
History
- 2026-10-30: add by m2/v0.4.12
T1RWJ11XV1 T1RWJ11XV1
| URI | m2://inv/T1RWJ11XV1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-59 (exercise). In E9HS8K3A52, exercise, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Arrow category T1RYSB5BEC
| URI | m2://inv/T1RYSB5BEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comma category#2I0W, Arrow category (unknown)
History
- 2026-11-02: add by m2/dev
State graph T1S4NVC02H
| URI | m2://inv/T1S4NVC02H |
|---|---|
| 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.08583#ZVZ7, State graph (definition). In 5EKTECQ2P1/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
equality, reflexivity of T1S7XJZXNW
| URI | m2://inv/T1S7XJZXNW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/equality-reflexivity-of, equality, reflexivity of (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
T1S8SC2Y2A T1S8SC2Y2A
| URI | m2://inv/T1S8SC2Y2A |
|---|---|
| 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.35186#7GUB (definition). In VFNPANY3HD/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Odd-Polygon Bound T1SABFJGGJ
| URI | m2://inv/T1SABFJGGJ |
|---|---|
| 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.24878#8NLF, Odd-Polygon Bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
T1SM5T2594 T1SM5T2594
| URI | m2://inv/T1SM5T2594 |
|---|---|
| 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.00337#8394 (statement). In 5STQ3ABZ60/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Generalizations T1SNPK1ZAD
| URI | m2://inv/T1SNPK1ZAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hantzsche–Wendt manifold#19QA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Augustin Sesmat T1SP84SA56
| URI | m2://inv/T1SP84SA56 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augustin Sesmat, Augustin Sesmat (topic). Also Wikidata Q16842417
History
- 2026-11-02: add by m2/dev
Construction T1SRJYRJMG
| URI | m2://inv/T1SRJYRJMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icositetragon#848E, Construction (definition)
History
- 2026-11-02: add by m2/dev
T1SWP2GT0H T1SWP2GT0H
| URI | m2://inv/T1SWP2GT0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16844#IYT2 (statement). In MAY0WVXT07/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
T1SZMM6K3P T1SZMM6K3P
| URI | m2://inv/T1SZMM6K3P |
|---|---|
| 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 1011.5443#XFRJ (statement). In VQ0K2GV62A/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
T1T3AQJAR7 T1T3AQJAR7
| URI | m2://inv/T1T3AQJAR7 |
|---|---|
| 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.06381#8SBM (statement). In X9JKBDHACW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Luke's variational principle T1T3XWHASV
| URI | m2://inv/T1T3XWHASV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luke's variational principle, Luke's variational principle (statement). Also Wikidata Q6701750
History
- 2026-11-02: add by m2/dev
Examples T1T5SAZEPS
| URI | m2://inv/T1T5SAZEPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic Maass form#42TD, Examples (example)
History
- 2026-11-02: add by m2/dev
Yoneda, lemma T1T7NBQS64
| URI | m2://inv/T1T7NBQS64 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/yoneda-lemma, Yoneda, lemma (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Crank–Nicolson method T1T9C7MR28
| URI | m2://inv/T1T9C7MR28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#F56E, Crank–Nicolson method (definition)
History
- 2026-11-02: add by m2/dev
S2S T1TP8YHFV8
| URI | m2://inv/T1TP8YHFV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S2S (mathematics), S2S (definition). Also Wikidata Q115826627
History
- 2026-11-02: add by m2/dev
System F T1TVXBB90N
| URI | m2://inv/T1TVXBB90N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System F, System F (definition). Also Wikidata Q2552799
History
- 2026-11-02: add by m2/dev
Stock valuation T1TWGSWJ76
| URI | m2://inv/T1TWGSWJ76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stock valuation, Stock valuation (definition). Also Wikidata Q2228194
History
- 2026-11-02: add by m2/dev
T1V41VPA2Q T1V41VPA2Q
| URI | m2://inv/T1V41VPA2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-3.xml#example-span-linear-indep (example). In 649HGZKE96, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Definition T1V5XJTTXQ
| URI | m2://inv/T1V5XJTTXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic module#F5VN, Definition (definition)
History
- 2026-11-02: add by m2/dev
T1V6JNJ3BN T1V6JNJ3BN
| URI | m2://inv/T1V6JNJ3BN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#impropriemann:tail (statement). In E59CDZA4DP, prop, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Socle of a group T1VEQ9RYPH
| URI | m2://inv/T1VEQ9RYPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Socle (mathematics)#2SHB, Socle of a group (unknown)
History
- 2026-11-02: add by m2/dev
T1VREWB8PR T1VREWB8PR
| URI | m2://inv/T1VREWB8PR |
|---|---|
| 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.11271#X7KS (statement). In HF7J38T8Y6/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
The lemma for nth powers T1W5K9T2Z6
| URI | m2://inv/T1W5K9T2Z6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (number theory)#ZFMS, The lemma for nth powers (statement)
History
- 2026-11-02: add by m2/dev
T1W9SFYCT8 T1W9SFYCT8
| URI | m2://inv/T1W9SFYCT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#PT56 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distance-two rotation structure; Makhynko T1WC8HHRQT
| URI | m2://inv/T1WC8HHRQT |
|---|---|
| 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.17006#99SJ, Distance-two rotation structure; Makhynko (statement). In YY81ZEJ82P/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Iran T1WGFZM6P8
| URI | m2://inv/T1WGFZM6P8 |
|---|---|
| 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 Q794, Iran (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Iran
History
- 2026-10-26: add by m2/dev
Specker's Tree T1WJ47PZAG
| URI | m2://inv/T1WJ47PZAG |
|---|---|
| Kind | example |
| 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.00934#0A1G, Specker's Tree (example). In SHCQDPCF2J/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.12
Ernst G. Straus T1WJD8758T
| URI | m2://inv/T1WJD8758T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2WDJ, Ernst G. Straus (topic)
History
- 2026-11-02: add by m2/dev
Properties T1WK38ES0V
| URI | m2://inv/T1WK38ES0V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greatest element and least element#SU7P, Properties (statement)
History
- 2026-11-02: add by m2/dev
MS-CHAP T1WMJTR2FD
| URI | m2://inv/T1WMJTR2FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MS-CHAP, MS-CHAP (definition). Also Wikidata Q2519245
History
- 2026-11-02: add by m2/dev
T1WSW675XB T1WSW675XB
| URI | m2://inv/T1WSW675XB |
|---|---|
| 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.12908#3X4F (statement). In TNC658NVMQ/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Poincar\'e--Birkhoff--Witt T1X009QMH0
| URI | m2://inv/T1X009QMH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#U73N, Poincar\'e--Birkhoff--Witt (statement). In P3HWTYFDBX/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
State-Space Approach T1X07NRPBF
| URI | m2://inv/T1X07NRPBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearization#7A7W, State-Space Approach (unknown)
History
- 2026-11-02: add by m2/dev
T1X4X5BWYW T1X4X5BWYW
| URI | m2://inv/T1X4X5BWYW |
|---|---|
| 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.35740#RWBI (statement). In N7C6C0QGJM/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
T1X5883ZGC T1X5883ZGC
| URI | m2://inv/T1X5883ZGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29188#QH2O (statement)
History
- 2026-11-01: add by m2/v0.6.15
T1X69HJFTX T1X69HJFTX
| URI | m2://inv/T1X69HJFTX |
|---|---|
| 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 1009.2047#SN67 (statement). In F3MWRNBNED/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.5
List of things named after Wacław Sierpiński T1X9F83FRT
| URI | m2://inv/T1X9F83FRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Wacław Sierpiński, List of things named after Wacław Sierpiński (topic). Also Wikidata Q131400067
History
- 2026-11-02: add by m2/dev
regular singular point T1XE82QAKF
| URI | m2://inv/T1XE82QAKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regular singular point H96HXG6CA0 |
Mentions
- wikidata: Wikidata Q3925845, regular singular point (unknown). Also EoM Regular_singular_point, MathWorld RegularSingularPoint, nLab regular singular point
- wikipedia: Wikipedia Regular singular point, Regular singular point (definition). Also Wikidata Q3925845
History
- 2026-10-26: add by m2/dev
Crossed pentagonal cuploid T1XJ988W5D
| URI | m2://inv/T1XJ988W5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cupola (geometry)#YHI6, Crossed pentagonal cuploid (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Callister Hales T1XPNB453G
| URI | m2://inv/T1XPNB453G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KWDD, Thomas Callister Hales (topic)
History
- 2026-11-02: add by m2/dev
T1XS9MDYWZ T1XS9MDYWZ
| URI | m2://inv/T1XS9MDYWZ |
|---|---|
| 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.09129#CDZM (definition). In Z1RZSF68XZ/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.10
Drunk bird theorem T1XVMQHRQA
| URI | m2://inv/T1XVMQHRQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk#HPY2, Drunk bird theorem (unknown)
History
- 2026-11-02: add by m2/dev
T1XZWFZHV1 T1XZWFZHV1
| URI | m2://inv/T1XZWFZHV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#EVIY (definition)
History
- 2026-11-02: add by m2/dev
Properties T1Y34CES9F
| URI | m2://inv/T1Y34CES9F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle#HNFY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tim Hesterberg T1YFECTFZK
| URI | m2://inv/T1YFECTFZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WSRD, Tim Hesterberg (topic)
History
- 2026-11-02: add by m2/dev
Contours T1YNWC267V
| URI | m2://inv/T1YNWC267V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#AOJB, Contours (statement). In P3RTT99C41/e1, lemma C.6
History
- 2026-10-30: add by m2/v0.4.12
Divisibility T1YPKMGVHX
| URI | m2://inv/T1YPKMGVHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility (ring theory), Divisibility (definition). Also Wikidata Q5284415
History
- 2026-11-02: add by m2/dev
T1YVSFVEZC T1YVSFVEZC
| URI | m2://inv/T1YVSFVEZC |
|---|---|
| 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 2601.15010#6EF3 (definition). In K3WJ6ZN184/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Linear system of divisors T1YX2RGS98
| URI | m2://inv/T1YX2RGS98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system of divisors, Linear system of divisors (definition). Also Wikidata Q17098493
History
- 2026-11-02: add by m2/dev
proof, assistant, Coq T1YXAW8QS6
| URI | m2://inv/T1YXAW8QS6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/proof-assistant-coq, proof, assistant, Coq (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
H-derivative T1YXQFDT3R
| URI | m2://inv/T1YXQFDT3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-derivative, H-derivative (definition). Also Wikidata Q5627860
History
- 2026-11-02: add by m2/dev
Morera's stress functions T1YYCNYDPB
| URI | m2://inv/T1YYCNYDPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress functions#VZVI, Morera's stress functions (unknown)
History
- 2026-11-02: add by m2/dev
T1YZFB297A T1YZFB297A
| URI | m2://inv/T1YZFB297A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:decidable-choice (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
T1Z1SD71YY T1Z1SD71YY
| URI | m2://inv/T1Z1SD71YY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32176#MK18 (example). In N9F5R2PV0E/e1, example 2.1
History
- 2026-10-31: add by m2/v0.5.6
T1Z3T3714S T1Z3T3714S
| URI | m2://inv/T1Z3T3714S |
|---|---|
| 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.17070#9U2L (statement). In W3G9Z9B32N/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Limit of distributions T1Z9DTXEJ0
| URI | m2://inv/T1Z9DTXEJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of distributions, Limit of distributions (definition). Also Wikidata Q85776684
History
- 2026-11-02: add by m2/dev
Asymptotic relative efficiency T1ZFRJHD41
| URI | m2://inv/T1ZFRJHD41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9QJ6, Asymptotic relative efficiency (definition)
History
- 2026-11-02: add by m2/dev
Completion in the Hessian norm T1ZK8QHQT2
| URI | m2://inv/T1ZK8QHQT2 |
|---|---|
| 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.39274#OT8U, Completion in the Hessian norm (statement). In HVC7RVEM6V/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Bottleneck Stability T1ZNKR277Y
| URI | m2://inv/T1ZNKR277Y |
|---|---|
| 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.16386#EDJH, Bottleneck Stability (statement). In RAF0BFY3Z3/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Generalized hypergeometric function T1ZPDJ74WY
| URI | m2://inv/T1ZPDJ74WY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of hypergeometric identities#DQZ0, Generalized hypergeometric function (definition)
History
- 2026-11-02: add by m2/dev
Wallenius' noncentral hypergeometric distribution T1ZPWPKZPK
| URI | m2://inv/T1ZPWPKZPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wallenius' noncentral hypergeometric distribution, Wallenius' noncentral hypergeometric distribution (definition). Also Wikidata Q7963034
History
- 2026-11-02: add by m2/dev
T1ZV4TH2M0 T1ZV4TH2M0
| URI | m2://inv/T1ZV4TH2M0 |
|---|---|
| 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.15472#Z180 (statement). In 5Z3FH46YSY/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
Equivariant algebraic classification T1ZY4Q2V55
| URI | m2://inv/T1ZY4Q2V55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-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.18788#ZCFT, Equivariant algebraic classification (statement). In KFEASG3ZHS/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2