Inventory rows 5Z
The cards of the rows of the inventory whose ids start with 5Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bonnesen's inequality 5Z0A80ZB67
| URI | m2://inv/5Z0A80ZB67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonnesen's inequality, Bonnesen's inequality (statement). Also Wikidata Q4942198
History
- 2026-11-02: add by m2/dev
Negativity bias 5Z0BF1XYMB
| URI | m2://inv/5Z0BF1XYMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#833I, Negativity bias (definition)
History
- 2026-11-02: add by m2/dev
5Z0P3YYNDH 5Z0P3YYNDH
| URI | m2://inv/5Z0P3YYNDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#def:TypeOfElements (definition). In N54F33XE07, defn, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Horizontal conformality for $m=3$ 5Z0VGTMXW2
| URI | m2://inv/5Z0VGTMXW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#ZXOY, Horizontal conformality for $m=3$ (statement). In 4GRNWWH88J/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
Zerocoin protocol 5Z10JCZKWS
| URI | m2://inv/5Z10JCZKWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zerocoin protocol, Zerocoin protocol (definition). Also Wikidata Q13479984
History
- 2026-11-02: add by m2/dev
Special cases 5Z13R51V2V
| URI | m2://inv/5Z13R51V2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz mean#8CTY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Jean Jacques Bret 5Z16H2A82A
| URI | m2://inv/5Z16H2A82A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Jacques Bret, Jean Jacques Bret (topic). Also Wikidata Q107006848
History
- 2026-11-02: add by m2/dev
5Z18GYR44H 5Z18GYR44H
| URI | m2://inv/5Z18GYR44H |
|---|---|
| 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.37450#8VPN (statement). In FP05Z6EBV4/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Related results 5Z1JM0WSRQ
| URI | m2://inv/5Z1JM0WSRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beckman–Quarles theorem#OYQK, Related results (statement)
History
- 2026-11-02: add by m2/dev
5Z1JZ118PC 5Z1JZ118PC
| URI | m2://inv/5Z1JZ118PC |
|---|---|
| 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.26745#D9CY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ideal norm of $(5)$ in the Gaussian integers 5Z1TJVERYA
| URI | m2://inv/5Z1TJVERYA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#example-7, Ideal norm of $(5)$ in the Gaussian integers (example). In RZP28ERRZV, example, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
Legendre form 5Z1YZQC3BG
| URI | m2://inv/5Z1YZQC3BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre form, Legendre form (definition). Also Wikidata Q6517880
History
- 2026-11-02: add by m2/dev
5Z22FQY689 5Z22FQY689
| URI | m2://inv/5Z22FQY689 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37337#P0B5 (statement). In 813JGZV08G/e1, lemma E.2
History
- 2026-10-30: add by m2/v0.4.12
Concept drift 5Z23CBZB11
| URI | m2://inv/5Z23CBZB11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concept drift, Concept drift (definition). Also Wikidata Q3045002
History
- 2026-11-02: add by m2/dev
5Z28XR1XHP 5Z28XR1XHP
| URI | m2://inv/5Z28XR1XHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#7J6X (statement). In 4GRNWWH88J/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
balanced 5Z2JGG6XG6
| URI | m2://inv/5Z2JGG6XG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7DFY, balanced (definition)
History
- 2026-11-02: add by m2/dev
5Z2M6BE46W 5Z2M6BE46W
| URI | m2://inv/5Z2M6BE46W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
5Z2RFFVA9V 5Z2RFFVA9V
| URI | m2://inv/5Z2RFFVA9V |
|---|---|
| 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.03520#I17L (statement). In CSRZ9CWK69/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
Statement 5Z2XQ70ZVA
| URI | m2://inv/5Z2XQ70ZVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yan's theorem#ZTYF, Statement (statement)
History
- 2026-11-02: add by m2/dev
5Z33MBNAH2 5Z33MBNAH2
| URI | m2://inv/5Z33MBNAH2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:realpower (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
5Z34Z8TAF9 5Z34Z8TAF9
| URI | m2://inv/5Z34Z8TAF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#D4JL (statement). In JPC86V77CH/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
5Z38PB6XYB 5Z38PB6XYB
| URI | m2://inv/5Z38PB6XYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#lemma-1 (statement). In QKM9DD2H56, lemma, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
5Z3B6HA1P7 5Z3B6HA1P7
| URI | m2://inv/5Z3B6HA1P7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#Q63C (statement). In VQA35Q7C00/e1, corollary 2.11
History
- 2026-10-29: add by m2/v0.4.10
Contraction of parameters 5Z3FW3TRC1
| URI | m2://inv/5Z3FW3TRC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#K1VM, Contraction of parameters (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stellations of dodecahedron 5Z3X41KAXZ
| URI | m2://inv/5Z3X41KAXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Wenninger polyhedron models#D6VH, Stellations of dodecahedron (unknown)
History
- 2026-11-02: add by m2/dev
5Z441PQSEF 5Z441PQSEF
| URI | m2://inv/5Z441PQSEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11292#SZG8 (statement). In Y35XMETFV7/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
5Z449BCY0R 5Z449BCY0R
| URI | m2://inv/5Z449BCY0R |
|---|---|
| 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.14374#80NA (statement). In YPTC532FEG/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Littlewood–Offord problem 5Z453FY43E
| URI | m2://inv/5Z453FY43E |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#IH38, Littlewood–Offord problem (problem)
History
- 2026-11-02: add by m2/dev
Granville--Harper--Soundararajan 5Z45E0ANF7
| URI | m2://inv/5Z45E0ANF7 |
|---|---|
| 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.22345#4T0U, Granville--Harper--Soundararajan (statement). In 7JATJ4VG9G/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.0
History of knot theory 5Z4A8XHGAH
| URI | m2://inv/5Z4A8XHGAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of knot theory, History of knot theory (definition). Also Wikidata Q17098033
History
- 2026-11-02: add by m2/dev
hyperbolic cosecant 5Z4ADXZC6Q
| URI | m2://inv/5Z4ADXZC6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1561239, hyperbolic cosecant (definition). Also MathWorld HyperbolicCosecant, ProofWiki Definition:Hyperbolic_Cosecant
History
- 2026-10-26: add by m2/dev
5Z4EK82E8G 5Z4EK82E8G
| URI | m2://inv/5Z4EK82E8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02585#AXNG (statement). In V0KBBY82SY/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Industrial-grade prime 5Z4EQ0TAEQ
| URI | m2://inv/5Z4EQ0TAEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Industrial-grade prime, Industrial-grade prime (definition). Also Wikidata Q16979166
History
- 2026-11-02: add by m2/dev
5Z4G9DP7QX 5Z4G9DP7QX
| URI | m2://inv/5Z4G9DP7QX |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
5Z4NJXHBCJ 5Z4NJXHBCJ
| URI | m2://inv/5Z4NJXHBCJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-18 (proof). In E59CDZA4DP, proof, section 10.3.3
History
- 2026-11-01: add by m2/v0.6.13
Lev Tumarkin 5Z4V8T9SY2
| URI | m2://inv/5Z4V8T9SY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lev Tumarkin, Lev Tumarkin (topic). Also Wikidata Q15069401
History
- 2026-11-02: add by m2/dev
5Z4WNQ82W6 5Z4WNQ82W6
| URI | m2://inv/5Z4WNQ82W6 |
|---|---|
| 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.27157#ECLP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions 5Z506A827Q
| URI | m2://inv/5Z506A827Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chernoff face#BEB1, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Hatvani, István 5Z53E28P30
| URI | m2://inv/5Z53E28P30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#ZTOB, Hatvani, István (unknown)
History
- 2026-11-02: add by m2/dev
5Z54CV47XC 5Z54CV47XC
| URI | m2://inv/5Z54CV47XC |
|---|---|
| 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 2606.16311#0RX5 (statement). In 3G0HCK0DVA/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
5Z58ZSW1R2 5Z58ZSW1R2
| URI | m2://inv/5Z58ZSW1R2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13715#1N2H (definition). In FAVGZDVJS9/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
5Z5BJ8R4BA 5Z5BJ8R4BA
| URI | m2://inv/5Z5BJ8R4BA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17026#I9AL (definition). In 76G7J23DNZ/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Dictionary attack 5Z5GVH8C97
| URI | m2://inv/5Z5GVH8C97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dictionary attack, Dictionary attack (definition). Also Wikidata Q599809
History
- 2026-11-02: add by m2/dev
Relative approximation of TV-distance 5Z5S8YW0FF
| URI | m2://inv/5Z5S8YW0FF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24235#BGVU, Relative approximation of TV-distance (problem)
History
- 2026-11-01: add by m2/v0.6.15
Local search 5Z5SFSW7D3
| URI | m2://inv/5Z5SFSW7D3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZR0R, Local search (unknown)
History
- 2026-11-02: add by m2/dev
Pumping lemma 5Z5XG08YSE
| URI | m2://inv/5Z5XG08YSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pumping lemma, Pumping lemma (statement). Also Wikidata Q1059648
History
- 2026-11-02: add by m2/dev
Boris Galerkin 5Z5Y390E66
| URI | m2://inv/5Z5Y390E66 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#C21K, Boris Galerkin (topic)
History
- 2026-11-02: add by m2/dev
5Z63EGRQCW 5Z63EGRQCW
| URI | m2://inv/5Z63EGRQCW |
|---|---|
| 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.00775#XHLS (statement). In WVHA7H05QC/e1, corollary 2.11
History
- 2026-10-29: add by m2/v0.4.12
Bonnie Ghosh-Dastidar 5Z6DMMBCSC
| URI | m2://inv/5Z6DMMBCSC |
|---|---|
| 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#CR98, Bonnie Ghosh-Dastidar (unknown)
History
- 2026-11-02: add by m2/dev
5Z6RJ060Z3 5Z6RJ060Z3
| URI | m2://inv/5Z6RJ060Z3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/dlo.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 46.1
History
- 2026-11-01: add by m2/v0.6.13
Rajchman measure 5Z6ZQ0DVDE
| URI | m2://inv/5Z6ZQ0DVDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajchman measure, Rajchman measure (definition). Also Wikidata Q7285899
History
- 2026-11-02: add by m2/dev
Epistemic modal logic 5Z73CT059X
| URI | m2://inv/5Z73CT059X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modal logic, Epistemic modal logic (definition). Also Wikidata Q1347436
History
- 2026-11-02: add by m2/dev
Statement 5Z73X7P32G
| URI | m2://inv/5Z73X7P32G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewner's torus inequality#H0ZV, Statement (statement)
History
- 2026-11-02: add by m2/dev
Artin–Verdier duality 5Z75MMMZQG
| URI | m2://inv/5Z75MMMZQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#Z8CH, Artin–Verdier duality (definition)
History
- 2026-11-02: add by m2/dev
Hochschild homology 5Z7D65AT8D
| URI | m2://inv/5Z7D65AT8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 14D15 |
| Sources | 2 |
| Outcome | open |
| Node | Hochschild homology S5H153HFWC |
Mentions
- wikidata: Wikidata Q1622047, Hochschild homology (topic). Also nLab Hochschild cohomology
- wikipedia: Wikipedia Hochschild homology, Hochschild homology (definition). Also Wikidata Q1622047
History
- 2026-10-26: add by m2/dev
Closest pair problem 5Z7FY4G7HE
| URI | m2://inv/5Z7FY4G7HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZJFG, Closest pair problem (unknown)
History
- 2026-11-02: add by m2/dev
Tropical framingtopes: geometric realization 5Z7T82BYQT
| URI | m2://inv/5Z7T82BYQT |
|---|---|
| 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.20656#DWWF, Tropical framingtopes: geometric realization (definition)
History
- 2026-11-02: add by m2/v0.6.18
5Z7VGZQN6Y 5Z7VGZQN6Y
| URI | m2://inv/5Z7VGZQN6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#AHMV (statement). In 2X2A6MT0QD/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Treatise on Analysis 5Z7W2PZ9K4
| URI | m2://inv/5Z7W2PZ9K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treatise on Analysis, Treatise on Analysis (definition). Also Wikidata Q30704566
History
- 2026-11-02: add by m2/dev
5Z8CQRH0TW 5Z8CQRH0TW
| URI | m2://inv/5Z8CQRH0TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.11433#1NV7 (statement). In JNA2B803FH/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
5Z8G7BMGQP 5Z8G7BMGQP
| URI | m2://inv/5Z8G7BMGQP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#3Q5O (definition). In AQWX60Z563/e1, definition 4.14
History
- 2026-10-28: add by m2/v0.4.2
5Z8GV94VMB 5Z8GV94VMB
| URI | m2://inv/5Z8GV94VMB |
|---|---|
| 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.07927#1UKX (statement). In GKM19DHQTM/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10
5Z8J61GFS5 5Z8J61GFS5
| URI | m2://inv/5Z8J61GFS5 |
|---|---|
| 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.21322#JQH8 (statement). In CNDA8DBEGD/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
Gyula Pap 5Z8MQXX622
| URI | m2://inv/5Z8MQXX622 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyula Pap (mathematician), Gyula Pap (topic). Also Wikidata Q102273386
History
- 2026-11-02: add by m2/dev
Central meridian (map projections) 5Z8PQESAYT
| URI | m2://inv/5Z8PQESAYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection#75R6, Central meridian (map projections) (unknown)
History
- 2026-11-02: add by m2/dev
Sawilowsky, Shlomo 5Z8VZ4W725
| URI | m2://inv/5Z8VZ4W725 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TKSF, Sawilowsky, Shlomo (topic)
History
- 2026-11-02: add by m2/dev
5Z8W71T2F7 5Z8W71T2F7
| URI | m2://inv/5Z8W71T2F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#P1NA (statement). In 879ZDHVK7N/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
5Z95S3YH8C 5Z95S3YH8C
| URI | m2://inv/5Z95S3YH8C |
|---|---|
| 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 2412.20238#N2C0 (statement). In V8CA0STSPB/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
5Z96TFZKTM 5Z96TFZKTM
| URI | m2://inv/5Z96TFZKTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#QB2J (statement)
History
- 2026-11-02: add by m2/v0.6.17
5Z9H97ERJ2 5Z9H97ERJ2
| URI | m2://inv/5Z9H97ERJ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-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.10247#I2JF (statement). In XWTMY44RF1/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
protomorph 5Z9MW5WEBP
| URI | m2://inv/5Z9MW5WEBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#6KVS, protomorph (definition)
History
- 2026-11-02: add by m2/dev
Antithetic variates 5Z9QF7JKYM
| URI | m2://inv/5Z9QF7JKYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TV0I, Antithetic variates (definition)
History
- 2026-11-02: add by m2/dev
5Z9S5JA21R 5Z9S5JA21R
| URI | m2://inv/5Z9S5JA21R |
|---|---|
| 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 2605.30285#NFBP (statement). In YMY0NNSM27/e1, proposition 5.13
History
- 2026-10-27: add by m2/v0.3.6
Notation 5ZA901AVVK
| URI | m2://inv/5ZA901AVVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation group#4LUR, Notation (definition)
History
- 2026-11-02: add by m2/dev
Properties 5ZABF5S35N
| URI | m2://inv/5ZABF5S35N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix sign function#RXGN, Properties (statement)
History
- 2026-11-02: add by m2/dev
5ZAMM6CSDN 5ZAMM6CSDN
| URI | m2://inv/5ZAMM6CSDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#KJIJ (statement). In E7W2HDNEKJ/e1, theorem 7.14
History
- 2026-10-30: add by m2/v0.4.12
effectively enumerable set 5ZAR4A0XMK
| URI | m2://inv/5ZAR4A0XMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VSBH, effectively enumerable set (definition)
History
- 2026-11-02: add by m2/dev
5ZASPVJTWA 5ZASPVJTWA
| URI | m2://inv/5ZASPVJTWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#AXTZ (statement). In NS3RZ26JC7/e1, lemma 12
History
- 2026-10-31: add by m2/v0.5.6
Doris Stockton 5ZB0RCS22B
| URI | m2://inv/5ZB0RCS22B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doris Stockton, Doris Stockton (topic). Also Wikidata Q67188599
History
- 2026-11-02: add by m2/dev
chronological logic 5ZB1XECKFE
| URI | m2://inv/5ZB1XECKFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4PBU, chronological logic (definition)
History
- 2026-11-02: add by m2/dev
Semivariance 5ZB4DM3Y0B
| URI | m2://inv/5ZB4DM3Y0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BBGU, Semivariance (definition)
History
- 2026-11-02: add by m2/dev
5ZBB69RDX8 5ZBB69RDX8
| URI | m2://inv/5ZBB69RDX8 |
|---|---|
| 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.03864#Q53W (statement). In 41GB65CTBJ/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
5ZBKDCWQ5E 5ZBKDCWQ5E
| URI | m2://inv/5ZBKDCWQ5E |
|---|---|
| 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.32903#GSAD (statement). In S8NB83KQX3/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
5ZBKK4Z8T7 5ZBKK4Z8T7
| URI | m2://inv/5ZBKK4Z8T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#7P2B (statement). In JW8HH6EPG2/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Multi-layer SSM stochastic gradient variance bound 5ZBP2WYD2X
| URI | m2://inv/5ZBP2WYD2X |
|---|---|
| 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.02659#VP1A, Multi-layer SSM stochastic gradient variance bound (statement). In EV933413SJ/e1, lemma C.6
History
- 2026-10-29: add by m2/v0.4.12
Symbolic integration 5ZBQY4ZNGM
| URI | m2://inv/5ZBQY4ZNGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic integration, Symbolic integration (definition). Also Wikidata Q353176
History
- 2026-11-02: add by m2/dev
Theorem 5ZBW5QMSG1
| URI | m2://inv/5ZBW5QMSG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#TNSE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Exponential hierarchy 5ZBY6NCMFR
| URI | m2://inv/5ZBY6NCMFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#3K2B, Exponential hierarchy (definition)
- wikipedia: Wikipedia List of exponential topics#P343, Exponential hierarchy (definition)
History
- 2026-11-02: add by m2/dev
5ZBY9RQDT8 5ZBY9RQDT8
| URI | m2://inv/5ZBY9RQDT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#5E5P (statement). In KWH4QJDPWC/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.4.0
5ZC0K8ZDPQ 5ZC0K8ZDPQ
| URI | m2://inv/5ZC0K8ZDPQ |
|---|---|
| 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.28780#4NBA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Marie Gernet 5ZC3T6K5S2
| URI | m2://inv/5ZC3T6K5S2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Gernet, Marie Gernet (topic). Also Wikidata Q24962571
History
- 2026-11-02: add by m2/dev
Theorem 5ZC4Y2M1KB
| URI | m2://inv/5ZC4Y2M1KB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale cohomology#OWBY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Robert McLachlan 5ZC9DYQKRB
| URI | m2://inv/5ZC9DYQKRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert McLachlan (mathematician), Robert McLachlan (topic). Also Wikidata Q91013184
History
- 2026-11-02: add by m2/dev
5ZCGTEQY3S 5ZCGTEQY3S
| URI | m2://inv/5ZCGTEQY3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.39919#1FCA (statement). In D3NAXHM4DV/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Almgren regularity theorem 5ZCH2T8NWJ
| URI | m2://inv/5ZCH2T8NWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almgren regularity theorem, Almgren regularity theorem (statement). Also Wikidata Q4733800
History
- 2026-11-02: add by m2/dev
5ZCP3CNXCQ 5ZCP3CNXCQ
| URI | m2://inv/5ZCP3CNXCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#OF8N (statement). In ZH0PFTZ12Y/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
5ZDCZ0GQ4J 5ZDCZ0GQ4J
| URI | m2://inv/5ZDCZ0GQ4J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#5UDN (definition). In JWNYJVH8XG/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 5ZDFZ56HYG
| URI | m2://inv/5ZDFZ56HYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epimorphism#U7Q6, Examples (example)
History
- 2026-11-02: add by m2/dev
5ZDNHW3PFF 5ZDNHW3PFF
| URI | m2://inv/5ZDNHW3PFF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 67.9
History
- 2026-11-01: add by m2/v0.6.13
Vertical angle theorem 5ZE1WSNV4T
| URI | m2://inv/5ZE1WSNV4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle#D9AY, Vertical angle theorem (statement)
History
- 2026-11-02: add by m2/dev
5ZE4WJEKRC 5ZE4WJEKRC
| URI | m2://inv/5ZE4WJEKRC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#FE0X (definition). In BJGS6ZCQ12/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.6
5ZE5EWQZN5 5ZE5EWQZN5
| URI | m2://inv/5ZE5EWQZN5 |
|---|---|
| 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.22847#8PLT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quantized enveloping algebra 5ZE6AGYQ1V
| URI | m2://inv/5ZE6AGYQ1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantized enveloping algebra, Quantized enveloping algebra (definition). Also Wikidata Q13164644
History
- 2026-11-02: add by m2/dev
5ZE879P3AR 5ZE879P3AR
| URI | m2://inv/5ZE879P3AR |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#F8MU (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
5ZEXWST6KA 5ZEXWST6KA
| URI | m2://inv/5ZEXWST6KA |
|---|---|
| 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.19845#Q7XK (statement). In A8Y7B1MD91/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Exponential time 5ZFHQWF40V
| URI | m2://inv/5ZFHQWF40V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#8HLU, Exponential time (definition)
- wikipedia: Wikipedia List of exponential topics#X5J4, Exponential time (definition)
History
- 2026-11-02: add by m2/dev
Arakelyan's theorem 5ZFJPMYFR9
| URI | m2://inv/5ZFJPMYFR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HWUI, Arakelyan's theorem (statement)
History
- 2026-11-02: add by m2/dev
5ZFSW0TF11 5ZFSW0TF11
| URI | m2://inv/5ZFSW0TF11 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-9 (example). In RZP28ERRZV, example, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
A parabola 5ZFY8E134G
| URI | m2://inv/5ZFY8E134G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#example-2, A parabola (example). In RZP28ERRZV, example, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions 5ZFZG7YRHT
| URI | m2://inv/5ZFZG7YRHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing graph#MAXC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Oskar Bolza 5ZG2A28228
| URI | m2://inv/5ZG2A28228 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#KHZN, Oskar Bolza (topic)
History
- 2026-11-02: add by m2/dev
5ZG7FTC9DW 5ZG7FTC9DW
| URI | m2://inv/5ZG7FTC9DW |
|---|---|
| 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.05299#03B3 (statement). In 68AE571S4P/e1, theorem 2.13
History
- 2026-10-29: add by m2/v0.4.10
5ZGFHRZ0QY 5ZGFHRZ0QY
| URI | m2://inv/5ZGFHRZ0QY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#VZ50 (definition). In 41GB65CTBJ/e1, definition A3
History
- 2026-10-29: add by m2/v0.4.12
Properties 5ZGMR68W8F
| URI | m2://inv/5ZGMR68W8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau kernel#O9U4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Reed-Solomon list recovery 5ZGP4H85EP
| URI | m2://inv/5ZGP4H85EP |
|---|---|
| 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.12357#559N, Reed-Solomon list recovery (statement). In 1F26AF81XP/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
List of curves 5ZGXXQJF2F
| URI | m2://inv/5ZGXXQJF2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#2FWD, List of curves (topic)
- wikipedia: Wikipedia Lists of shapes#22CL, List of curves (topic)
- wikipedia: Wikipedia Lists of mathematics topics#TIXF, List of curves (topic)
History
- 2026-11-02: add by m2/dev
Plane geometry 5ZH11BZZ24
| URI | m2://inv/5ZH11BZZ24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#70L5, Plane geometry (definition)
History
- 2026-11-02: add by m2/dev
5ZH313JAA9 5ZH313JAA9
| URI | m2://inv/5ZH313JAA9 |
|---|---|
| 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.11395#KUUV (statement). In T3W7SMWQ73/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
5ZH35YQ9HE 5ZH35YQ9HE
| URI | m2://inv/5ZH35YQ9HE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33697#C3LW (definition). In Q6GGQ29TRC/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
knowability paradox 5ZH44P55KW
| URI | m2://inv/5ZH44P55KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#165A, knowability paradox (definition)
History
- 2026-11-02: add by m2/dev
Examples 5ZH8CZ6NA0
| URI | m2://inv/5ZH8CZ6NA0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric flow#RU6R, Examples (example)
History
- 2026-11-02: add by m2/dev
Richard J. Hayes 5ZH9QW2AR1
| URI | m2://inv/5ZH9QW2AR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#A9W9, Richard J. Hayes (unknown)
History
- 2026-11-02: add by m2/dev
5ZHBD9Z3DA 5ZHBD9Z3DA
| URI | m2://inv/5ZHBD9Z3DA |
|---|---|
| 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 2606.23841#PHTQ (statement). In 67FPT1PG7R/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
*{Theorem 5.15 5ZHHEA3YGR
| URI | m2://inv/5ZHHEA3YGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#UAOO, *{Theorem 5.15 (statement). In DDNP38CHQJ/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.3.5
5ZHJHC0XZQ 5ZHJHC0XZQ
| URI | m2://inv/5ZHJHC0XZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#Y7DN (statement). In JBAQ7DTW7B/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
M. S. Narasimhan 5ZHKWDCYDB
| URI | m2://inv/5ZHKWDCYDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#ABLM, M. S. Narasimhan (topic)
History
- 2026-11-02: add by m2/dev
Split-biquaternion 5ZHPM3NCD1
| URI | m2://inv/5ZHPM3NCD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split-biquaternion, Split-biquaternion (definition). Also Wikidata Q17103581
History
- 2026-11-02: add by m2/dev
Anders Lindstedt 5ZHS52TB39
| URI | m2://inv/5ZHS52TB39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#XM6X, Anders Lindstedt (topic)
History
- 2026-11-02: add by m2/dev
Mirimanoff prime 5ZHSJX9S8Y
| URI | m2://inv/5ZHSJX9S8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers#EERH, Mirimanoff prime (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5ZHWA1VBNP
| URI | m2://inv/5ZHWA1VBNP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to ridicule#2385, Examples (example)
History
- 2026-11-02: add by m2/dev
Bernoulli distribution 5ZHXCXM865
| URI | m2://inv/5ZHXCXM865 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Bernoulli distribution 0386Y0Z7Y7 |
Mentions
- wikidata: Wikidata Q391371, Bernoulli distribution (unknown). Also MathWorld Bernoulli
- wikipedia: Wikipedia Bernoulli distribution, Bernoulli distribution (definition). Also Wikidata Q391371
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem 5ZJCD082EY
| URI | m2://inv/5ZJCD082EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (geometry)#3R3Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5ZJDF91EWN 5ZJDF91EWN
| URI | m2://inv/5ZJDF91EWN |
|---|---|
| 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.12329#IJ9I (statement). In ZJQB9W60T6/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Wilks's lambda distribution 5ZJFZJ67Z0
| URI | m2://inv/5ZJFZJ67Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilks's lambda distribution, Wilks's lambda distribution (definition). Also Wikidata Q3711780
History
- 2026-11-02: add by m2/dev
Hahn embedding theorem 5ZJJZA06SY
| URI | m2://inv/5ZJJZA06SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5638886, Hahn embedding theorem (statement). Also Mathlib hahnEmbedding_isOrderedAddMonoid, Wikidata Q5638886
- thousand_plus: thousand_plus Q5638886, Hahn embedding theorem (statement). Also Mathlib hahnEmbedding_isOrderedAddMonoid, Wikidata Q5638886, Wikipedia Hahn embedding theorem
- wikipedia: Wikipedia Hahn embedding theorem, Hahn embedding theorem (statement). Also Wikidata Q5638886
History
- 2026-10-26: add by m2/dev
5ZJMYWFQAW 5ZJMYWFQAW
| URI | m2://inv/5ZJMYWFQAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#ELUY (statement). In YKD51BX3XB/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Binary logarithm 5ZJPAMSB0P
| URI | m2://inv/5ZJPAMSB0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#KMG1, Binary logarithm (definition)
History
- 2026-11-02: add by m2/dev
Marshall, Herbert 5ZJSVKGSHJ
| URI | m2://inv/5ZJSVKGSHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HAI0, Marshall, Herbert (unknown)
History
- 2026-11-02: add by m2/dev
Statement 5ZJTKB74KD
| URI | m2://inv/5ZJTKB74KD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Wintner theorem#IOQK, Statement (statement)
History
- 2026-11-02: add by m2/dev
5ZK14W8MBH 5ZK14W8MBH
| URI | m2://inv/5ZK14W8MBH |
|---|---|
| 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.20385#TDAI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mabel Gweneth Humphreys 5ZK3DKXT8V
| URI | m2://inv/5ZK3DKXT8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mabel Gweneth Humphreys, Mabel Gweneth Humphreys (topic). Also Wikidata Q47471517
History
- 2026-11-02: add by m2/dev
Selection of $\cB$ and Energies 5ZK89BY8G5
| URI | m2://inv/5ZK89BY8G5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#8O44, Selection of $\cB$ and Energies (example)
History
- 2026-11-02: add by m2/v0.6.18
5ZK8ATVJFK 5ZK8ATVJFK
| URI | m2://inv/5ZK8ATVJFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#DP5K (statement). In MQ8S73F6X7/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.6
de Giorgi 5ZKA2TJJDQ
| URI | m2://inv/5ZKA2TJJDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#HDOT, de Giorgi (statement)
History
- 2026-11-02: add by m2/v0.6.18
5ZKD4PCTFN 5ZKD4PCTFN
| URI | m2://inv/5ZKD4PCTFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 2401.14143#RCXR (statement). In 7WV4JVGEN1/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.0
Examples 5ZKME2HX9C
| URI | m2://inv/5ZKME2HX9C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility sequence#JEY4, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem 5ZKPRF16WS
| URI | m2://inv/5ZKPRF16WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#0UXB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5ZKS3SQXAR 5ZKS3SQXAR
| URI | m2://inv/5ZKS3SQXAR |
|---|---|
| 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.09522#4UE0 (statement). In KKR9167FPT/e1, theorem 27
History
- 2026-10-29: add by m2/v0.4.10
Shift operators 5ZKW03TC48
| URI | m2://inv/5ZKW03TC48 |
|---|---|
| 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 2609.21765#EQ95, Shift operators (definition)
History
- 2026-11-02: add by m2/v0.6.18
5ZM6KJW9XJ 5ZM6KJW9XJ
| URI | m2://inv/5ZM6KJW9XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03310#D6W8 (statement). In 2CQ2KPV3CG/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 5ZM9G5A8G2
| URI | m2://inv/5ZM9G5A8G2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived scheme#SFYE, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 5ZMA9ZSQJ4
| URI | m2://inv/5ZMA9ZSQJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable set#TA2Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 5ZMERDA6VH
| URI | m2://inv/5ZMERDA6VH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger conjecture (graph theory)#8AMD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Fubini's theorem 5ZMJMA78YP
| URI | m2://inv/5ZMJMA78YP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.2/fubini-s-theorem, Fubini's theorem (concept). In E59CDZA4DP, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Polynomial characterization of the exceptional set 5ZMS31HEQE
| URI | m2://inv/5ZMS31HEQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#P9EZ, Polynomial characterization of the exceptional set (statement). In 8GSG7024NW/e1, theorem 7.7
History
- 2026-10-28: add by m2/v0.4.2
5ZN33Y0TQW 5ZN33Y0TQW
| URI | m2://inv/5ZN33Y0TQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VFRS (definition)
History
- 2026-11-02: add by m2/dev
5ZN5MEXWFV 5ZN5MEXWFV
| URI | m2://inv/5ZN5MEXWFV |
|---|---|
| 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 1311.6044#J5GX (statement). In W4FFB6SVZD/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Strahler number 5ZNFBM76D5
| URI | m2://inv/5ZNFBM76D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strahler number, Strahler number (definition). Also Wikidata Q1422857
History
- 2026-11-02: add by m2/dev
Total pressure (fluids) 5ZNFH0SAGW
| URI | m2://inv/5ZNFH0SAGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's principle#YPPA, Total pressure (fluids) (unknown)
History
- 2026-11-02: add by m2/dev
Properties 5ZNKCMHZ0B
| URI | m2://inv/5ZNKCMHZ0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurer–Cartan form#65TA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Shell-crossing 5ZNRGWD5ZS
| URI | m2://inv/5ZNRGWD5ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation theory#Z5G8, Shell-crossing (unknown)
History
- 2026-11-02: add by m2/dev
Ralf J. Spatzier 5ZNV9BXG7V
| URI | m2://inv/5ZNV9BXG7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralf J. Spatzier, Ralf J. Spatzier (topic). Also Wikidata Q15995492
History
- 2026-11-02: add by m2/dev
quotient mapping 5ZNXJ5GT42
| URI | m2://inv/5ZNXJ5GT42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1532424, quotient mapping (unknown). Also MathWorld CanonicalMap
History
- 2026-10-26: add by m2/dev
James R. Newman 5ZP0C66S7S
| URI | m2://inv/5ZP0C66S7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#YEO5, James R. Newman (unknown)
History
- 2026-11-02: add by m2/dev
5ZP3KT1QP0 5ZP3KT1QP0
| URI | m2://inv/5ZP3KT1QP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#8SWQ (statement). In WAXS6FS388/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Kurosh subgroup theorem 5ZP97EBPZT
| URI | m2://inv/5ZP97EBPZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8SAB, Kurosh subgroup theorem (statement)
History
- 2026-11-02: add by m2/dev
Analysis of algorithms 5ZPASG5PNJ
| URI | m2://inv/5ZPASG5PNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of algorithms, Analysis of algorithms (definition). Also Wikidata Q333464
History
- 2026-11-02: add by m2/dev
Degeneration to the mixed Pi\ neiro family 5ZPDJYFVW8
| URI | m2://inv/5ZPDJYFVW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#B2MN, Degeneration to the mixed Pi\ neiro family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Milnor map 5ZPJ4BVPFT
| URI | m2://inv/5ZPJ4BVPFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor map, Milnor map (definition). Also Wikidata Q6860249
History
- 2026-11-02: add by m2/dev
GraphML 5ZQ0EFTPFM
| URI | m2://inv/5ZQ0EFTPFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GraphML, GraphML (definition). Also Wikidata Q1543325
History
- 2026-11-02: add by m2/dev
5ZQ1ZWPAR4 5ZQ1ZWPAR4
| URI | m2://inv/5ZQ1ZWPAR4 |
|---|---|
| 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.07927#OQTH (statement). In GKM19DHQTM/e1, fact 8.3
History
- 2026-10-29: add by m2/v0.4.10
5ZQ9EN99N8 5ZQ9EN99N8
| URI | m2://inv/5ZQ9EN99N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#VXIQ (statement). In PA3B6C0WY7/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
5ZQJGEJ29E 5ZQJGEJ29E
| URI | m2://inv/5ZQJGEJ29E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#TBTR (statement). In KZ71GXT2B0/e1, proposition 6.10
History
- 2026-10-28: add by m2/v0.4.2
Mei-Cheng Wang 5ZQWQ2RV1D
| URI | m2://inv/5ZQWQ2RV1D |
|---|---|
| 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#W167, Mei-Cheng Wang (topic)
History
- 2026-11-02: add by m2/dev
Definition 5ZQXNC6NGJ
| URI | m2://inv/5ZQXNC6NGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sahlqvist formula#BP4C, Definition (definition)
History
- 2026-11-02: add by m2/dev
operand 5ZQYXNMM4N
| URI | m2://inv/5ZQYXNMM4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q719375, operand (unknown). Also MathWorld Operand
- wikipedia: Wikipedia Operand, Operand (definition). Also Wikidata Q719375
History
- 2026-10-26: add by m2/dev
Halberstadt 5ZR2SCPQAD
| URI | m2://inv/5ZR2SCPQAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VJ28, Halberstadt (unknown)
History
- 2026-11-02: add by m2/dev
Chevalley–Iwahori–Nagata theorem 5ZR31X8BFB
| URI | m2://inv/5ZR31X8BFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley–Iwahori–Nagata theorem, Chevalley–Iwahori–Nagata theorem (statement). Also Wikidata Q5094301
History
- 2026-11-02: add by m2/dev
5ZR3GAXZW5 5ZR3GAXZW5
| URI | m2://inv/5ZR3GAXZW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#6HLM (statement). In E7W2HDNEKJ/e1, corollary 6.21
History
- 2026-10-30: add by m2/v0.4.12
Generalization 5ZR50YJ85C
| URI | m2://inv/5ZR50YJ85C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proth's theorem#5ZST, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Demographics of Sudan 5ZR58C8655
| URI | m2://inv/5ZR58C8655 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Sudan, Demographics of Sudan (definition). Also Wikidata Q1851957
History
- 2026-11-02: add by m2/dev
Rank-completion; original 5ZR65SVR62
| URI | m2://inv/5ZR65SVR62 |
|---|---|
| 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.02392#O5JS, Rank-completion; original (statement). In W066HQZQBF/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.12
Mathematical Council of the Americas 5ZR9CKBVHY
| URI | m2://inv/5ZR9CKBVHY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#KESA, Mathematical Council of the Americas (unknown)
History
- 2026-11-02: add by m2/dev
Exact labelled routing weight 5ZRD6BT8NT
| URI | m2://inv/5ZRD6BT8NT |
|---|---|
| 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.18884#9SAW, Exact labelled routing weight (statement). In 8WM10QMA9E/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
5ZRN340FV1 5ZRN340FV1
| URI | m2://inv/5ZRN340FV1 |
|---|---|
| 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.17677#UW4M (statement). In 5E9G06XJKC/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
5ZS3WP5BRC 5ZS3WP5BRC
| URI | m2://inv/5ZS3WP5BRC |
|---|---|
| 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.26041#2F0B (statement)
History
- 2026-11-01: add by m2/v0.6.15
5ZS8KCCPT6 5ZS8KCCPT6
| URI | m2://inv/5ZS8KCCPT6 |
|---|---|
| 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.08873#VSDE (statement). In 7WMNVJBAVR/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.10
5ZSB8T7AA3 5ZSB8T7AA3
| URI | m2://inv/5ZSB8T7AA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#GMSN (statement). In Q1XJ5VWE1N/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Michael Ortiz 5ZSD6JD54J
| URI | m2://inv/5ZSD6JD54J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Ortiz (mathematician), Michael Ortiz (topic). Also Wikidata Q25419249
History
- 2026-11-02: add by m2/dev
c.f. Proposition 4.13 5ZSMBCC0ZQ
| URI | m2://inv/5ZSMBCC0ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#KK44, c.f. Proposition 4.13 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rank-one fixed-state asymptotics 5ZSS2BV7ZZ
| URI | m2://inv/5ZSS2BV7ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#P4LN, Rank-one fixed-state asymptotics (statement)
History
- 2026-11-01: add by m2/v0.6.15
364 (number) 5ZSW6MG9ZZ
| URI | m2://inv/5ZSW6MG9ZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#KNYU, 364 (number) (unknown)
History
- 2026-11-02: add by m2/dev
LFA critic lower bound, detailed form 5ZSYA9TNNM
| URI | m2://inv/5ZSYA9TNNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04117#A2TF, LFA critic lower bound, detailed form (statement). In 65E9N3DFYP/e1, proposition D.5
History
- 2026-10-29: add by m2/v0.4.12
Rh topology 5ZT5MNSQZP
| URI | m2://inv/5ZT5MNSQZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#CY61, Rh topology (unknown)
History
- 2026-11-02: add by m2/dev
Three Moon 5ZT96GA05Z
| URI | m2://inv/5ZT96GA05Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GNGI, Three Moon (unknown)
History
- 2026-11-02: add by m2/dev
NP 5ZTJTB2721
| URI | m2://inv/5ZTJTB2721 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KCQT, NP (definition)
History
- 2026-11-02: add by m2/dev
Eugenio Beltrami 5ZTMPJMJFP
| URI | m2://inv/5ZTMPJMJFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#9K80, Eugenio Beltrami (topic)
History
- 2026-11-02: add by m2/dev
SSdeep 5ZTNVMTFE2
| URI | m2://inv/5ZTNVMTFE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy hashing#44EM, SSdeep (unknown)
History
- 2026-11-02: add by m2/dev
Memoirs of the American Mathematical Society 5ZTR7M2MCR
| URI | m2://inv/5ZTR7M2MCR |
|---|---|
| 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 Q6815285, Memoirs of the American Mathematical Society (unknown). Also ProofWiki Book:Journal/Memoirs_of_the_American_Mathematical_Society
- wikipedia: Wikipedia Memoirs of the American Mathematical Society, Memoirs of the American Mathematical Society (definition). Also Wikidata Q6815285
History
- 2026-10-26: add by m2/dev
SAT 5ZTWMN272S
| URI | m2://inv/5ZTWMN272S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SAT, SAT (definition). Also Wikidata Q334113
History
- 2026-11-02: add by m2/dev
Leon Battista Alberti 5ZV4F4G6CV
| URI | m2://inv/5ZV4F4G6CV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#KKMM, Leon Battista Alberti (unknown)
History
- 2026-11-02: add by m2/dev
5ZV4X2AJS6 5ZV4X2AJS6
| URI | m2://inv/5ZV4X2AJS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#BMY2 (statement). In S1KHNS8XQM/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
5ZV87J8VBQ 5ZV87J8VBQ
| URI | m2://inv/5ZV87J8VBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.20128#QFDW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sobel test 5ZVC6DP7CF
| URI | m2://inv/5ZVC6DP7CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobel test, Sobel test (definition). Also Wikidata Q17086827
History
- 2026-11-02: add by m2/dev
Revelation principle 5ZVCMJD3B6
| URI | m2://inv/5ZVCMJD3B6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revelation principle, Revelation principle (statement). Also Wikidata Q7317833
History
- 2026-11-02: add by m2/dev
Properties 5ZVHKS9A75
| URI | m2://inv/5ZVHKS9A75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot product#BRXF, Properties (statement)
History
- 2026-11-02: add by m2/dev
5ZVHWZRA7E 5ZVHWZRA7E
| URI | m2://inv/5ZVHWZRA7E |
|---|---|
| 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.16821#04JP (statement). In EFSGMHG5BW/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
5ZVK7MSAWN 5ZVK7MSAWN
| URI | m2://inv/5ZVK7MSAWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#ex-1 (example). In PKGMM3P5QY, ex, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
5ZVWDASVVV 5ZVWDASVVV
| URI | m2://inv/5ZVWDASVVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#3YQ1 (statement). In GHKR740SG3/e1, corollary 2.3
History
- 2026-10-31: add by m2/v0.5.6
5ZW243TDGE 5ZW243TDGE
| URI | m2://inv/5ZW243TDGE |
|---|---|
| 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 math/9201244#2HRY (definition). In 7D3HCN21MK/e1, definition 0.3
History
- 2026-10-27: add by m2/v0.3.5
David Richeson 5ZW54CNR8J
| URI | m2://inv/5ZW54CNR8J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Richeson, David Richeson (topic). Also Wikidata Q86372327
History
- 2026-11-02: add by m2/dev
odd number 5ZWBE91TVV
| URI | m2://inv/5ZWBE91TVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13366129, odd number (unknown). Also MathWorld OddNumber
History
- 2026-10-26: add by m2/dev
5ZWENYBSR7 5ZWENYBSR7
| URI | m2://inv/5ZWENYBSR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.3835#WNTO (statement). In V4J1J8YC7V/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
One prescribed-mean law for every Schatten norm 5ZWKWKQ7CH
| URI | m2://inv/5ZWKWKQ7CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ONZB, One prescribed-mean law for every Schatten norm (statement). In 9YAE8FNQST/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Zarir Jurjani 5ZWPVDH34P
| URI | m2://inv/5ZWPVDH34P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#RWKW, Zarir Jurjani (unknown)
History
- 2026-11-02: add by m2/dev
Trivial pointwise stabilizers of non-collinear triples 5ZWW95HWVN
| URI | m2://inv/5ZWW95HWVN |
|---|---|
| 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.15340#89SP, Trivial pointwise stabilizers of non-collinear triples (statement). In 9NVKKW8HDH/e1, lemma 2.38
History
- 2026-10-28: add by m2/v0.4.2
Joseph Fourier 5ZX01HQ8SZ
| URI | m2://inv/5ZX01HQ8SZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#DTOR, Joseph Fourier (topic)
History
- 2026-11-02: add by m2/dev
5ZX2PARJSD 5ZX2PARJSD
| URI | m2://inv/5ZX2PARJSD |
|---|---|
| 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.21278#G9BN (statement). In DCH1JJGGYH/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
5ZXQMJJT8V 5ZXQMJJT8V
| URI | m2://inv/5ZXQMJJT8V |
|---|---|
| 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 2605.30679#PU9J (statement). In Z31GMHMG7B/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Circular surface 5ZXRHCTDP6
| URI | m2://inv/5ZXRHCTDP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular surface, Circular surface (definition). Also Wikidata Q5121678
History
- 2026-11-02: add by m2/dev
Ramanujan theta function 5ZY7H61GT3
| URI | m2://inv/5ZY7H61GT3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ramanujan theta function 1CBZA8MQJW |
Mentions
- wikidata: Wikidata Q2630765, Ramanujan theta function (concept). Also MathWorld RamanujanThetaFunctions
- wikipedia: Wikipedia Ramanujan theta function, Ramanujan theta function (definition). Also Wikidata Q2630765
History
- 2026-10-26: add by m2/dev
Spherical integrability coefficients 5ZYNGKJY70
| URI | m2://inv/5ZYNGKJY70 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#P6ML, Spherical integrability coefficients (definition). In GB0V23Q6C5/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Noether's formula 5ZYREBNKB7
| URI | m2://inv/5ZYREBNKB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem for surfaces#UOTC, Noether's formula (statement)
History
- 2026-11-02: add by m2/dev
Explicit bounded-depth lower bounds 5ZYW04B7ZY
| URI | m2://inv/5ZYW04B7ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#OME8, Explicit bounded-depth lower bounds (statement). In ZZER8ZBSCR/e1, corollary 6.11
History
- 2026-10-29: add by m2/v0.4.12
5ZYWJGZWTS 5ZYWJGZWTS
| URI | m2://inv/5ZYWJGZWTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#7E0I (definition). In FWA5QW6FCF/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
Mickey Madden 5ZZ08FY9CV
| URI | m2://inv/5ZZ08FY9CV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#HN9T, Mickey Madden (unknown)
History
- 2026-11-02: add by m2/dev
5ZZ3JQRSWP 5ZZ3JQRSWP
| URI | m2://inv/5ZZ3JQRSWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#9U42 (statement). In TAPS8P2VYS/e1, lemma 1.19
History
- 2026-10-29: add by m2/v0.4.10
Logical biconditional 5ZZ5JAP7M7
| URI | m2://inv/5ZZ5JAP7M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#TUS0, Logical biconditional (definition)
History
- 2026-11-02: add by m2/dev
Jorge Luis Borges and mathematics 5ZZC8S51S5
| URI | m2://inv/5ZZC8S51S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jorge Luis Borges and mathematics, Jorge Luis Borges and mathematics (definition). Also Wikidata Q4945041
History
- 2026-11-02: add by m2/dev
Computable measure theory 5ZZFG28G14
| URI | m2://inv/5ZZFG28G14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable measure theory, Computable measure theory (definition). Also Wikidata Q5157267
History
- 2026-11-02: add by m2/dev
Wolstenholme prime 5ZZGJZPMMT
| URI | m2://inv/5ZZGJZPMMT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#R2U0, Wolstenholme prime (conjecture)
History
- 2026-11-02: add by m2/dev
5ZZK5V18HK 5ZZK5V18HK
| URI | m2://inv/5ZZK5V18HK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#H1IB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Christine A. Franklin 5ZZQ9M0T9F
| URI | m2://inv/5ZZQ9M0T9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine A. Franklin, Christine A. Franklin (topic). Also Wikidata Q107523397
History
- 2026-11-02: add by m2/dev
5ZZYQ0EFBA 5ZZYQ0EFBA
| URI | m2://inv/5ZZYQ0EFBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#7PBB (statement). In 6FH16YESRH/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5