Inventory rows AK
The cards of the rows of the inventory whose ids start with AK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hippocrates of Chios AK0D98AMNZ
| URI | m2://inv/AK0D98AMNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#PCC4, Hippocrates of Chios (topic)
History
- 2026-11-02: add by m2/dev
Prescribed Ricci curvature problem AK0GZHR5Y6
| URI | m2://inv/AK0GZHR5Y6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prescribed Ricci curvature problem, Prescribed Ricci curvature problem (problem). Also Wikidata Q7240883
History
- 2026-11-02: add by m2/dev
AK0H20K6WY AK0H20K6WY
| URI | m2://inv/AK0H20K6WY |
|---|---|
| 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.26996#XM1Y (statement). In FP7Z8PJ4AW/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
AK0PEVPH9W AK0PEVPH9W
| URI | m2://inv/AK0PEVPH9W |
|---|---|
| Kind | example |
| 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.10745#HBRN (example). In 5MJ4NJ5ZCV/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.3
Lemma AK0PMHBVZS
| URI | m2://inv/AK0PMHBVZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier algebra#3USS, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Classwise GD transfer AK0VNRW0PN
| URI | m2://inv/AK0VNRW0PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#LFHP, Classwise GD transfer (statement). In 6FY8BVP1F3/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
Definition AK0WYMKWDF
| URI | m2://inv/AK0WYMKWDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density on a manifold#IG0Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
AK11C0QPA5 AK11C0QPA5
| URI | m2://inv/AK11C0QPA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#X8L0 (statement). In CY1FE8W1ZW/e1, corollary 0.52
History
- 2026-10-27: add by m2/v0.4.0
AK12P8E0PQ AK12P8E0PQ
| URI | m2://inv/AK12P8E0PQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01267#VGZN (statement). In GWWHP6R0BZ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Nayandeep Deka Baruah AK152T368R
| URI | m2://inv/AK152T368R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nayandeep Deka Baruah, Nayandeep Deka Baruah (topic). Also Wikidata Q30109377
History
- 2026-11-02: add by m2/dev
Bow curve AK19X5E339
| URI | m2://inv/AK19X5E339 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#668I, Bow curve (definition)
- wikipedia: Wikipedia List of curves#M9X1, Bow curve (definition)
History
- 2026-11-02: add by m2/dev
AK1BDZE70G AK1BDZE70G
| URI | m2://inv/AK1BDZE70G |
|---|---|
| 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.17258#8CP8 (statement). In F4M67ZVBF2/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
classical logic AK1V8RYGWE
| URI | m2://inv/AK1V8RYGWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q236975, classical logic (unknown). Also nLab classical logic
- wikipedia: Wikipedia Classical logic, Classical logic (definition). Also Wikidata Q236975
History
- 2026-10-26: add by m2/dev
AK20WRT5BM AK20WRT5BM
| URI | m2://inv/AK20WRT5BM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04603#GFEA (definition). In HEAG8V2JM1/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Real radical AK243TRSH4
| URI | m2://inv/AK243TRSH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real radical, Real radical (definition). Also Wikidata Q97359989
History
- 2026-11-02: add by m2/dev
AK252AJCJC AK252AJCJC
| URI | m2://inv/AK252AJCJC |
|---|---|
| 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.31907#IMHU (statement). In 6B2PCEGCYZ/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
Left sentential AK27SG36W6
| URI | m2://inv/AK27SG36W6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#BOAM, Left sentential (unknown)
History
- 2026-11-02: add by m2/dev
Conditioning benchmark for Clifford+$T$ outputs AK2JEE5K6G
| URI | m2://inv/AK2JEE5K6G |
|---|---|
| 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.02166#UYYK, Conditioning benchmark for Clifford+$T$ outputs (statement). In R6RF3P6D5A/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Further unipotence criteria AK2PHX1FDM
| URI | m2://inv/AK2PHX1FDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#2NAV, Further unipotence criteria (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hamming(7,4) AK2SFJNTSM
| URI | m2://inv/AK2SFJNTSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#7MXH, Hamming(7,4) (definition)
History
- 2026-11-02: add by m2/dev
AK325HM2ZC AK325HM2ZC
| URI | m2://inv/AK325HM2ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25255#HBUE (statement)
History
- 2026-11-01: add by m2/v0.6.15
AK37PCAZ9E AK37PCAZ9E
| URI | m2://inv/AK37PCAZ9E |
|---|---|
| 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.39793#R173 (statement). In 380M45ANWF/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
AK3JACD1SK AK3JACD1SK
| URI | m2://inv/AK3JACD1SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23593#B8EI (statement)
History
- 2026-11-02: add by m2/v0.6.17
AK3P0VGWKY AK3P0VGWKY
| URI | m2://inv/AK3P0VGWKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-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.07695#E8TE (statement). In 8Z47D12KSX/e1, corollary 5.12
History
- 2026-10-29: add by m2/v0.4.10
Stability and convergence of the fixed-preconditioner gradient iteration AK3STK2V91
| URI | m2://inv/AK3STK2V91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#MQHG, Stability and convergence of the fixed-preconditioner gradient iteration (statement)
History
- 2026-11-01: add by m2/v0.6.15
AK3VEMHB2P AK3VEMHB2P
| URI | m2://inv/AK3VEMHB2P |
|---|---|
| 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 2308.08081#4AZ0 (statement). In FJ8XVQ6F0T/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.0
AK43AC1FT8 AK43AC1FT8
| URI | m2://inv/AK43AC1FT8 |
|---|---|
| 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.21036#W404 (statement). In G0M4N3E0CG/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
AK43FFAT91 AK43FFAT91
| URI | m2://inv/AK43FFAT91 |
|---|---|
| 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.36389#D9FH (statement). In N1S169J2MV/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
rank of a Lie algebra AK4JHD8JN2
| URI | m2://inv/AK4JHD8JN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3930077, rank of a Lie algebra (unknown). Also EoM Rank_of_a_Lie_algebra
History
- 2026-10-26: add by m2/dev
AK4JHXE9YX AK4JHXE9YX
| URI | m2://inv/AK4JHXE9YX |
|---|---|
| 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.04608#Q2QO (statement). In ZYYMXYK7WJ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
AK4JSQDG8V AK4JSQDG8V
| URI | m2://inv/AK4JSQDG8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#56IC (statement). In 29D4TTE3J2/e1, theorem 10.4
History
- 2026-10-27: add by m2/v0.4.2
AK4NB8SD0Y AK4NB8SD0Y
| URI | m2://inv/AK4NB8SD0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#6CRG (statement). In A93R925Z24/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Centralized inverse-Fano distribution AK4YMZ843H
| URI | m2://inv/AK4YMZ843H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#TXT1, Centralized inverse-Fano distribution (unknown)
History
- 2026-11-02: add by m2/dev
map, biholomorphic AK53CPJCTR
| URI | m2://inv/AK53CPJCTR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.4/map-biholomorphic, map, biholomorphic (concept). In VNMV985MXX, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Beth K. Dawson AK5DRNED91
| URI | m2://inv/AK5DRNED91 |
|---|---|
| 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#OSNX, Beth K. Dawson (unknown)
History
- 2026-11-02: add by m2/dev
Depth From Affine Dispersion AK5EF00SDG
| URI | m2://inv/AK5EF00SDG |
|---|---|
| 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#92DS, Depth From Affine Dispersion (statement). In ZZER8ZBSCR/e1, theorem 5.17
History
- 2026-10-29: add by m2/v0.4.12
Weighted Sobolev estimate AK5G48YHD7
| URI | m2://inv/AK5G48YHD7 |
|---|---|
| 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.09278#FZGV, Weighted Sobolev estimate (statement). In XREKHJHAT7/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
AK5S1E56HK AK5S1E56HK
| URI | m2://inv/AK5S1E56HK |
|---|---|
| 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#GOOY (statement). In JNA2B803FH/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
AK5TNQ5S64 AK5TNQ5S64
| URI | m2://inv/AK5TNQ5S64 |
|---|---|
| Kind | example |
| 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.21181#8HST (example). In 3D0GJXDY11/e1, example 6.4
History
- 2026-10-27: add by m2/v0.4.2
Dichotomy for general anchor densities AK5X5MQSAR
| URI | m2://inv/AK5X5MQSAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#O6A0, Dichotomy for general anchor densities (statement). In 7HXP270BD0/e1, theorem 3.14
History
- 2026-10-30: add by m2/v0.4.12
AK63KJ2RHJ AK63KJ2RHJ
| URI | m2://inv/AK63KJ2RHJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#1C9E (example)
History
- 2026-11-02: add by m2/v0.6.18
AK6FAQBW5Q AK6FAQBW5Q
| URI | m2://inv/AK6FAQBW5Q |
|---|---|
| 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 2605.29624#UHLN (statement). In TAD5A4R089/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
AK6GG6XZ9A AK6GG6XZ9A
| URI | m2://inv/AK6GG6XZ9A |
|---|---|
| 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 0809.4587#9XUM (statement). In KQ8JPHDKKE/e1, proposition 9.1.33
History
- 2026-10-27: add by m2/v0.3.5
AK6MWFD5DR AK6MWFD5DR
| URI | m2://inv/AK6MWFD5DR |
|---|---|
| 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.04809#G6MG (statement). In 2VHV0RNTNV/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
AK6SDDYQ4H AK6SDDYQ4H
| URI | m2://inv/AK6SDDYQ4H |
|---|---|
| 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.18632#7CY9 (statement). In PTM5MVD4M0/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Theorems AK75GJHB21
| URI | m2://inv/AK75GJHB21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base (topology)#WMXA, Theorems (statement)
History
- 2026-11-02: add by m2/dev
AK769T727V AK769T727V
| URI | m2://inv/AK769T727V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-4 (proof). In E59CDZA4DP, proof, section 10.1.2
History
- 2026-11-01: add by m2/v0.6.13
AK7K2ZBZC8 AK7K2ZBZC8
| URI | m2://inv/AK7K2ZBZC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:valid-instances (statement). In PKGMM3P5QY, prop, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
AK7PDPXWTS AK7PDPXWTS
| URI | m2://inv/AK7PDPXWTS |
|---|---|
| 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 2610.08766#HE92 (statement). In QA4JM9SHPA/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
AK7V6X5ESW AK7V6X5ESW
| URI | m2://inv/AK7V6X5ESW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#8FG7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Odd symmetric-power Sato--Tate RMF AK7VM3H5JQ
| URI | m2://inv/AK7VM3H5JQ |
|---|---|
| Kind | example |
| 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#P3T8, Odd symmetric-power Sato--Tate RMF (example)
History
- 2026-11-02: add by m2/v0.6.18
AK7WQFQWBG AK7WQFQWBG
| URI | m2://inv/AK7WQFQWBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#FARU (statement). In ZZ2P08DVQW/e1, theorem 12.4
History
- 2026-10-27: add by m2/v0.3.5
AK7X24BS95 AK7X24BS95
| URI | m2://inv/AK7X24BS95 |
|---|---|
| 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.32614#MNKG (statement). In SG8GT73ZNH/e1, corollary 1.12
History
- 2026-10-31: add by m2/v0.5.6
AK849Y03EP AK849Y03EP
| URI | m2://inv/AK849Y03EP |
|---|---|
| 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.14979#D052 (statement). In 6NH1VVZK1N/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
AK8DHZ70WK AK8DHZ70WK
| URI | m2://inv/AK8DHZ70WK |
|---|---|
| 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#KYJ7 (statement). In K8JMTRS42G/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
AK8H7CV15W AK8H7CV15W
| URI | m2://inv/AK8H7CV15W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18335#8URF (statement). In XKN1C8Y9SD/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
AK8PKCZ4V6 AK8PKCZ4V6
| URI | m2://inv/AK8PKCZ4V6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-11 (example). In E59CDZA4DP, example, section 9.2.4
History
- 2026-11-01: add by m2/v0.6.13
Examples AK8PYXSBB5
| URI | m2://inv/AK8PYXSBB5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse#IE8N, Examples (example)
History
- 2026-11-02: add by m2/dev
Ars Mathematica Contemporanea AK8Y2DF5NC
| URI | m2://inv/AK8Y2DF5NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ars Mathematica Contemporanea, Ars Mathematica Contemporanea (definition). Also Wikidata Q4796311
History
- 2026-11-02: add by m2/dev
Applications AK90825Y29
| URI | m2://inv/AK90825Y29 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lowest common ancestor#32YY, Applications (example)
History
- 2026-11-02: add by m2/dev
AK97XMRX11 AK97XMRX11
| URI | m2://inv/AK97XMRX11 |
|---|---|
| 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.21507#02D9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Parity-check nested ensemble AK9GSRE1N4
| URI | m2://inv/AK9GSRE1N4 |
|---|---|
| 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.40252#PQ2Q, Parity-check nested ensemble (definition). In 7MVPNFPRKB/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
John Stillwell AK9K7K9EYP
| URI | m2://inv/AK9K7K9EYP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9IEA, John Stillwell (topic)
History
- 2026-11-02: add by m2/dev
Computational algebraic geometry AK9WRE87VY
| URI | m2://inv/AK9WRE87VY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic geometry#PPL8, Computational algebraic geometry (unknown)
History
- 2026-11-02: add by m2/dev
AK9XMFJV4A AK9XMFJV4A
| URI | m2://inv/AK9XMFJV4A |
|---|---|
| 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.31907#VWAQ (statement). In 6B2PCEGCYZ/e1, corollary 5.15
History
- 2026-10-31: add by m2/v0.5.6
Why the fourth moment alone does not decide case (C AK9YKKRWMS
| URI | m2://inv/AK9YKKRWMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#NF8M, Why the fourth moment alone does not decide case (C (statement). In QPJ6FWG5HD/e1, proposition 2.59
History
- 2026-10-29: add by m2/v0.4.12
Thin group AKA5RRZM8M
| URI | m2://inv/AKA5RRZM8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin group (finite group theory), Thin group (definition). Also Wikidata Q7784284
History
- 2026-11-02: add by m2/dev
Main dynamical theorem AKA66CW6CG
| URI | m2://inv/AKA66CW6CG |
|---|---|
| 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.30410#RJAT, Main dynamical theorem (statement). In 5HZX3JVJWF/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
Decreasing bounded processes AKA8D7S0NY
| URI | m2://inv/AKA8D7S0NY |
|---|---|
| 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.12713#55ZG, Decreasing bounded processes (statement). In F14A5HX20Q/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Definition AKACX7Q3SJ
| URI | m2://inv/AKACX7Q3SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material nonimplication#A8BG, Definition (definition)
History
- 2026-11-02: add by m2/dev
AKAFEA25J2 AKAFEA25J2
| URI | m2://inv/AKAFEA25J2 |
|---|---|
| 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 0810.0962#WTOM (statement). In 80YMRN5KS9/e1, proposition 21
History
- 2026-10-27: add by m2/v0.3.5
orthogonal coordinate system AKAKQB4N5H
| URI | m2://inv/AKAKQB4N5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2588831, orthogonal coordinate system (unknown). Also EoM Orthogonal_system, MathWorld OrthogonalCoordinateSystem
- wikipedia: Wikipedia Orthogonal coordinates, Orthogonal coordinates (definition). Also Wikidata Q2588831
History
- 2026-10-26: add by m2/dev
AKAMMJ78KS AKAMMJ78KS
| URI | m2://inv/AKAMMJ78KS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26154#3KJ5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Tameness theorem AKAV5AFVV6
| URI | m2://inv/AKAV5AFVV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7ZIC, Tameness theorem (statement)
History
- 2026-11-02: add by m2/dev
AKB5WKCRF4 AKB5WKCRF4
| URI | m2://inv/AKB5WKCRF4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#74E4 (definition). In DB223AABTH/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Introduction to Lattices and Order AKBANDGTZ7
| URI | m2://inv/AKBANDGTZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to Lattices and Order, Introduction to Lattices and Order (definition). Also Wikidata Q106609815
History
- 2026-11-02: add by m2/dev
AKBF7YF9TC AKBF7YF9TC
| URI | m2://inv/AKBF7YF9TC |
|---|---|
| Kind | example |
| 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.21491#FA4M (example)
History
- 2026-11-02: add by m2/v0.6.18
AKBKHA0GEQ AKBKHA0GEQ
| URI | m2://inv/AKBKHA0GEQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-6 (example). In E9HS8K3A52, example, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Block 5 AKBNRGJ2EA
| URI | m2://inv/AKBNRGJ2EA |
|---|---|
| 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.30302#CYKD, Block 5 (statement). In R6ABTE22G0/e1, lemma 23
History
- 2026-10-31: add by m2/v0.5.6
AKBR361B1G AKBR361B1G
| URI | m2://inv/AKBR361B1G |
|---|---|
| Kind | definition |
| 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#DA7S (definition). In 9RBATD2Z1F/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
AKC6Z98KYK AKC6Z98KYK
| URI | m2://inv/AKC6Z98KYK |
|---|---|
| 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.15720#F0QK (statement). In VNN52G3BRE/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
AKCBB0HFFG AKCBB0HFFG
| URI | m2://inv/AKCBB0HFFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00323#Z4UL (definition). In BPRFEQY7W4/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
Louis Nirenberg AKCEDBMECZ
| URI | m2://inv/AKCEDBMECZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WWDZ, Louis Nirenberg (topic)
History
- 2026-11-02: add by m2/dev
Running Gap AKCEV5KMYZ
| URI | m2://inv/AKCEV5KMYZ |
|---|---|
| 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 math/0003117#5NZP, Running Gap (statement). In WD2NCBV9F0/e1, corollary 15.13
History
- 2026-10-27: add by m2/v0.3.5
Shuhei Hayashi AKCKTMAF2Y
| URI | m2://inv/AKCKTMAF2Y |
|---|---|
| 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#2AHG, Shuhei Hayashi (unknown)
History
- 2026-11-02: add by m2/dev
Averaged Lagrangian AKCNZW01TV
| URI | m2://inv/AKCNZW01TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#R2MB, Averaged Lagrangian (unknown)
History
- 2026-11-02: add by m2/dev
The Pi\ neiro moment-shift rectangle AKCVZ4B68Q
| URI | m2://inv/AKCVZ4B68Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#TDIL, The Pi\ neiro moment-shift rectangle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert–Smith conjecture AKCW4X9624
| URI | m2://inv/AKCW4X9624 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Smith conjecture, Hilbert–Smith conjecture (conjecture). Also Wikidata Q5761258
History
- 2026-11-02: add by m2/dev
AKD0TXM60Y AKD0TXM60Y
| URI | m2://inv/AKD0TXM60Y |
|---|---|
| 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.17589#NIJP (statement). In GSTK4569X1/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Reasoned opinion AKDJE7J4VA
| URI | m2://inv/AKDJE7J4VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion#HC3U, Reasoned opinion (unknown)
History
- 2026-11-02: add by m2/dev
fibration AKDNGSW5VV
| URI | m2://inv/AKDNGSW5VV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/fibration, fibration (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Expression of $A^\alpha$, $B^\alpha$ AKDXBS1ZGH
| URI | m2://inv/AKDXBS1ZGH |
|---|---|
| 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.21781#6MQ7, Expression of $A^\alpha$, $B^\alpha$ (statement). In FEQ72D1AX6/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.4.2
AKE0R4XBSF AKE0R4XBSF
| URI | m2://inv/AKE0R4XBSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#1HW6 (statement). In 4TAQ65KZKN/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
AKE2SF3AG8 AKE2SF3AG8
| URI | m2://inv/AKE2SF3AG8 |
|---|---|
| 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#BAJY (statement). In 879ZDHVK7N/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.4.2
Bohr compactification AKE6G9BYXY
| URI | m2://inv/AKE6G9BYXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#T77Q, Bohr compactification (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#GAHK, Bohr compactification (definition)
History
- 2026-11-02: add by m2/dev
AKE88ZEGJN AKE88ZEGJN
| URI | m2://inv/AKE88ZEGJN |
|---|---|
| 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 2609.23810#UDCG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notations AKE8H7VVA5
| URI | m2://inv/AKE8H7VVA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of Pauli matrices#F9C7, Notations (definition)
History
- 2026-11-02: add by m2/dev
AKE8S2FSWG AKE8S2FSWG
| URI | m2://inv/AKE8S2FSWG |
|---|---|
| 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.33941#IKPA (statement). In 64YCRQCKZN/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
AKEB3SJKV4 AKEB3SJKV4
| URI | m2://inv/AKEB3SJKV4 |
|---|---|
| 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 2509.10268#NHL1 (statement). In YR15TN4V4F/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
AKEBSZS235 AKEBSZS235
| URI | m2://inv/AKEBSZS235 |
|---|---|
| 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.16779#7RUX (statement). In 1R7H0ZAHWA/e1, corollary 2.12
History
- 2026-10-28: add by m2/v0.4.2
automaton AKEHEG1A92
| URI | m2://inv/AKEHEG1A92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#26D4, automaton (definition)
History
- 2026-11-02: add by m2/dev
Lucien March AKEJBQTYM2
| URI | m2://inv/AKEJBQTYM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3Z9Z, Lucien March (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6G8C, Lucien March (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZT55, Lucien March (topic)
History
- 2026-11-02: add by m2/dev
Galton's problem AKEJT78K36
| URI | m2://inv/AKEJT78K36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C89P, Galton's problem (definition)
History
- 2026-11-02: add by m2/dev
Gary King AKES2TD5XC
| URI | m2://inv/AKES2TD5XC |
|---|---|
| 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#XGP3, Gary King (unknown)
History
- 2026-11-02: add by m2/dev
Sylvia Ostry AKEYVEY0E1
| URI | m2://inv/AKEYVEY0E1 |
|---|---|
| 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#UEV4, Sylvia Ostry (unknown)
History
- 2026-11-02: add by m2/dev
AKEZ2GWM2S AKEZ2GWM2S
| URI | m2://inv/AKEZ2GWM2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37103#5L7Y (statement). In 6Q8YMAWFZN/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Incidence structure AKF2RWH99E
| URI | m2://inv/AKF2RWH99E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence structure, Incidence structure (definition). Also Wikidata Q367329
History
- 2026-11-02: add by m2/dev
Identity line AKF6CX2HN0
| URI | m2://inv/AKF6CX2HN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity line, Identity line (statement). Also Wikidata Q5988381
History
- 2026-11-02: add by m2/dev
AKF7CEQ6KJ AKF7CEQ6KJ
| URI | m2://inv/AKF7CEQ6KJ |
|---|---|
| Kind | statement |
| 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#N039 (statement). In BJGS6ZCQ12/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.6
Journal of Business & Economic Statistics AKFCF1SJCK
| URI | m2://inv/AKFCF1SJCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#2K5E, Journal of Business & Economic Statistics (topic)
History
- 2026-11-02: add by m2/dev
Modified Szpiro conjecture AKFDZ39Z6F
| URI | m2://inv/AKFDZ39Z6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szpiro's conjecture#YHR6, Modified Szpiro conjecture (statement)
History
- 2026-11-02: add by m2/dev
Euler transform AKFFMY47ET
| URI | m2://inv/AKFFMY47ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#QT8M, Euler transform (definition)
History
- 2026-11-02: add by m2/dev
Lemma AKFTXE07XP
| URI | m2://inv/AKFTXE07XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem#FQHL, Lemma (statement)
History
- 2026-11-02: add by m2/dev
AKGBTTYWWC AKGBTTYWWC
| URI | m2://inv/AKGBTTYWWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#W6FD (statement). In EAABRG99V8/e1, corollary 3.12
History
- 2026-10-27: add by m2/v0.4.0
Examples AKGEK3MQNN
| URI | m2://inv/AKGEK3MQNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape moiré#SGM5, Examples (example)
History
- 2026-11-02: add by m2/dev
Cryptographic key types AKGEPH66ZV
| URI | m2://inv/AKGEPH66ZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic key types, Cryptographic key types (definition). Also Wikidata Q5190938
History
- 2026-11-02: add by m2/dev
Related results AKGEXWH8Z9
| URI | m2://inv/AKGEXWH8Z9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNRS conjecture#FZS1, Related results (statement)
History
- 2026-11-02: add by m2/dev
AKGH6FNP0B AKGH6FNP0B
| URI | m2://inv/AKGH6FNP0B |
|---|---|
| Kind | definition |
| 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#7GB2 (definition). In 9DQKY7KGE8/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
AKGN063BSS AKGN063BSS
| URI | m2://inv/AKGN063BSS |
|---|---|
| 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.31327#JGZO (definition). In F605BQ3AYX/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Convergence AKGP4SEZNV
| URI | m2://inv/AKGP4SEZNV |
|---|---|
| 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 2610.17677#KEUV, Convergence (definition). In 5E9G06XJKC/e1, definition C.28
History
- 2026-10-28: add by m2/v0.4.2
AKGPPX7NBZ AKGPPX7NBZ
| URI | m2://inv/AKGPPX7NBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#JTG6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example AKGWV7YNN1
| URI | m2://inv/AKGWV7YNN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row and column spaces#2JTU, Example (example)
History
- 2026-11-02: add by m2/dev
Abelian AKH0VGZWYQ
| URI | m2://inv/AKH0VGZWYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13050646, Abelian (unknown). Also MathWorld Abelian
History
- 2026-10-26: add by m2/dev
AKH2CGECH1 AKH2CGECH1
| URI | m2://inv/AKH2CGECH1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03264#L73A (example). In 5TXRSPPTHP/e1, example 3
History
- 2026-10-29: add by m2/v0.4.12
AKH2E5VY8E AKH2E5VY8E
| URI | m2://inv/AKH2E5VY8E |
|---|---|
| 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.28518#KT0K (statement)
History
- 2026-11-01: add by m2/v0.6.15
AKH3TNB3JB AKH3TNB3JB
| URI | m2://inv/AKH3TNB3JB |
|---|---|
| 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#FKLG (statement)
History
- 2026-11-01: add by m2/v0.6.15
AKHCHA6KNK AKHCHA6KNK
| URI | m2://inv/AKHCHA6KNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36089#EAJF (statement). In AK4F10SNC0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Conceptual analysis AKHDKKF5J7
| URI | m2://inv/AKHDKKF5J7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#K2OC, Conceptual analysis (unknown)
History
- 2026-11-02: add by m2/dev
Definition AKHFVQFJ17
| URI | m2://inv/AKHFVQFJ17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic bicombing#SH74, Definition (definition)
History
- 2026-11-02: add by m2/dev
AKHHCGSZTP AKHHCGSZTP
| URI | m2://inv/AKHHCGSZTP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25409#U4DN (example)
History
- 2026-11-01: add by m2/v0.6.15
Recalibrated transfer AKHHF9RTHG
| URI | m2://inv/AKHHF9RTHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07721#ZYT6, Recalibrated transfer (statement). In QMJDN66F5N/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
AKHKB6FFHQ AKHKB6FFHQ
| URI | m2://inv/AKHKB6FFHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.40017#RPI1 (statement). In MBHJA0HT06/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ernst Zermelo AKHMJ5D2MK
| URI | m2://inv/AKHMJ5D2MK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9IT9, Ernst Zermelo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NAGY, Ernst Zermelo (topic)
- wikipedia: Wikipedia List of German mathematicians#EIE9, Ernst Zermelo (topic)
History
- 2026-11-02: add by m2/dev
Killing vector field AKHQVRNC1Q
| URI | m2://inv/AKHQVRNC1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Killing vector field 5AKNNW3W4Z |
Mentions
- wikidata: Wikidata Q1200279, Killing vector field (definition). Also MathWorld KillingVectors, nLab Killing vector field, ProofWiki Definition:Killing_Vector_Field
- wikipedia: Wikipedia Killing vector field, Killing vector field (definition). Also Wikidata Q1200279
History
- 2026-10-26: add by m2/dev
AKHRE1EYPT AKHRE1EYPT
| URI | m2://inv/AKHRE1EYPT |
|---|---|
| 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 2205.09049#LF2K (statement). In 37S7MNMZ2F/e1, proposition 86
History
- 2026-10-27: add by m2/v0.3.5
Wayne DeSarbo AKHVHKYGC0
| URI | m2://inv/AKHVHKYGC0 |
|---|---|
| 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#LDXM, Wayne DeSarbo (unknown)
History
- 2026-11-02: add by m2/dev
Ambient pairings and diagonal symmetry AKJ59TW8JX
| URI | m2://inv/AKJ59TW8JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#09WV, Ambient pairings and diagonal symmetry (statement). In 8PTDFHV8SQ/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
Examples AKJ82Y7TE6
| URI | m2://inv/AKJ82Y7TE6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associative algebra#W7M9, Examples (example)
History
- 2026-11-02: add by m2/dev
AKJ9Y5784B AKJ9Y5784B
| URI | m2://inv/AKJ9Y5784B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#15H7 (definition). In 3A4K47Y9F2/e1, definition 3.40
History
- 2026-10-27: add by m2/v0.4.0
Related results AKJFGAF3C1
| URI | m2://inv/AKJFGAF3C1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambek–Moser theorem#NF2Z, Related results (statement)
History
- 2026-11-02: add by m2/dev
core AKJGPQAKB3
| URI | m2://inv/AKJGPQAKB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#RDGM, core (definition)
History
- 2026-11-02: add by m2/dev
Basic properties AKJJ3701A0
| URI | m2://inv/AKJJ3701A0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random measure#5GZT, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Herta Freitag AKJVB5MT2Q
| URI | m2://inv/AKJVB5MT2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herta Freitag, Herta Freitag (topic). Also Wikidata Q11100458
History
- 2026-11-02: add by m2/dev
Central binomial coefficient AKK87AQC5D
| URI | m2://inv/AKK87AQC5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#0E7Y, Central binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
\labelcref{algebraic_reduction AKK9GDMHQJ
| URI | m2://inv/AKK9GDMHQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#VH5L, \labelcref{algebraic_reduction (statement). In X1KWTAA3M2/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
AKKS1X8YWK AKKS1X8YWK
| URI | m2://inv/AKKS1X8YWK |
|---|---|
| Kind | example |
| 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 2610.06152#27KK (example). In HH35K7S17H/e1, example A.26
History
- 2026-10-29: add by m2/v0.4.10
AKKXFHE36V AKKXFHE36V
| URI | m2://inv/AKKXFHE36V |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
AKKY8GGR5H AKKY8GGR5H
| URI | m2://inv/AKKY8GGR5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#TMTT (statement). In 4WJ9HYVSZY/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.6
The primary image in every fine degree AKM0H7R4YM
| URI | m2://inv/AKM0H7R4YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#0Q2K, The primary image in every fine degree (statement). In XDTM624YPE/e1, theorem 17.5
History
- 2026-10-27: add by m2/v0.4.2
Christina Sormani AKM1XA9R5P
| URI | m2://inv/AKM1XA9R5P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christina Sormani, Christina Sormani (topic). Also Wikidata Q19630511
History
- 2026-11-02: add by m2/dev
Heinrich Scholz AKM24QCAVP
| URI | m2://inv/AKM24QCAVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#F352, Heinrich Scholz (topic)
History
- 2026-11-02: add by m2/dev
AKM5RQWBTA AKM5RQWBTA
| URI | m2://inv/AKM5RQWBTA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 8.14
History
- 2026-11-01: add by m2/v0.6.13
A common approximation in two norms AKM7SGK43N
| URI | m2://inv/AKM7SGK43N |
|---|---|
| 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.03683#MGKL, A common approximation in two norms (statement). In 14AMXF6X2V/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
scalar AKMATPBNEM
| URI | m2://inv/AKMATPBNEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#VTJW, scalar (definition)
History
- 2026-11-02: add by m2/dev
AKMGP6P0QH AKMGP6P0QH
| URI | m2://inv/AKMGP6P0QH |
|---|---|
| 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.11056#Y57R (statement). In 1NDB3SAG7K/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.3
$C^\infty$-smooth AKMMDEGC23
| URI | m2://inv/AKMMDEGC23 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/c-infty-smooth, $C^\infty$-smooth (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
parabola AKMS1N3NRM
| URI | m2://inv/AKMS1N3NRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#8SZZ, parabola (definition)
History
- 2026-11-02: add by m2/dev
AKMYAZYDZP AKMYAZYDZP
| URI | m2://inv/AKMYAZYDZP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-72 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
AES-NI AKN36BPNM9
| URI | m2://inv/AKN36BPNM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AES instruction set#0XU2, AES-NI (unknown)
History
- 2026-11-02: add by m2/dev
AKN65Q4V5T AKN65Q4V5T
| URI | m2://inv/AKN65Q4V5T |
|---|---|
| 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.04876#GRD4 (statement). In 2TNAKVC0YP/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
AKN6D962S4 AKN6D962S4
| URI | m2://inv/AKN6D962S4 |
|---|---|
| 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.21544#Z62N (statement). In 5FMMWKNYWW/e1, corollary 3.25
History
- 2026-10-27: add by m2/v0.4.2
Birectification AKN9VT1G5R
| URI | m2://inv/AKN9VT1G5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectification (geometry)#UNM3, Birectification (unknown)
History
- 2026-11-02: add by m2/dev
AKNBTNZDYG AKNBTNZDYG
| URI | m2://inv/AKNBTNZDYG |
|---|---|
| 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 2610.06152#E518 (statement). In HH35K7S17H/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Applications AKNEJSHF3A
| URI | m2://inv/AKNEJSHF3A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman filter#IUYG, Applications (example)
History
- 2026-11-02: add by m2/dev
AKNH84X426 AKNH84X426
| URI | m2://inv/AKNH84X426 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#example-3 (example). In RZP28ERRZV, example, section 65.3
History
- 2026-11-01: add by m2/v0.6.13
Gauge, cut, rule AKNHP7HSFF
| URI | m2://inv/AKNHP7HSFF |
|---|---|
| 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 2609.29605#M9ZX, Gauge, cut, rule (definition)
History
- 2026-11-01: add by m2/v0.6.15
Counting even cycles AKNJ42XB28
| URI | m2://inv/AKNJ42XB28 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06038#KD21, Counting even cycles (problem). In 4TJGTZWJVK/e1, problem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Join AKNPRAPJQF
| URI | m2://inv/AKNPRAPJQF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-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.19669#TKSA, Join (definition). In 1QPAA94Q76/e1, definition 8
History
- 2026-10-28: add by m2/v0.4.2
AKNT6Z8ME9 AKNT6Z8ME9
| URI | m2://inv/AKNT6Z8ME9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/grafting.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 57.4
History
- 2026-11-01: add by m2/v0.6.13
AKNZHKCQH7 AKNZHKCQH7
| URI | m2://inv/AKNZHKCQH7 |
|---|---|
| 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.03628#W840 (statement). In P8KT6JV9N1/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
Equal parallelians point AKP4AH0Z8M
| URI | m2://inv/AKP4AH0Z8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#APGQ, Equal parallelians point (definition)
History
- 2026-11-02: add by m2/dev
Examples AKP552EJ1B
| URI | m2://inv/AKP552EJ1B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape parameter#HXAR, Examples (example)
History
- 2026-11-02: add by m2/dev
Gamma-object AKP5N3FVTB
| URI | m2://inv/AKP5N3FVTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma-object, Gamma-object (definition). Also Wikidata Q39045431
History
- 2026-11-02: add by m2/dev
AKP6Q7Z742 AKP6Q7Z742
| URI | m2://inv/AKP6Q7Z742 |
|---|---|
| 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#D3CP (statement)
History
- 2026-11-01: add by m2/v0.6.15
AKP79Q7X9Z AKP79Q7X9Z
| URI | m2://inv/AKP79Q7X9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07812#K5EN (statement). In PVX8WBBXW5/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.10
AKP9YMP1G3 AKP9YMP1G3
| URI | m2://inv/AKP9YMP1G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#Q9AE (statement). In 6M5WR7KB80/e1, proposition 3.15
History
- 2026-10-28: add by m2/v0.4.3
AKPGFZ074G AKPGFZ074G
| URI | m2://inv/AKPGFZ074G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#SM4O (example)
- arxiv: arXiv 2609.21860#0BZK (example)
History
- 2026-11-02: add by m2/v0.6.18
AKPMKESC4W AKPMKESC4W
| URI | m2://inv/AKPMKESC4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#LZND (definition). In 37S7MNMZ2F/e1, definition 12
History
- 2026-10-27: add by m2/v0.3.5
Cameron–Martin theorem AKPP473CHJ
| URI | m2://inv/AKPP473CHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#643K, Cameron–Martin theorem (statement)
History
- 2026-11-02: add by m2/dev
AKPSJZEEPR AKPSJZEEPR
| URI | m2://inv/AKPSJZEEPR |
|---|---|
| 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.37920#1P48 (statement). In GZPF8R6BBF/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Congruence ideal AKQ3R6RF56
| URI | m2://inv/AKQ3R6RF56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence ideal, Congruence ideal (definition). Also Wikidata Q5160995
History
- 2026-11-02: add by m2/dev
Independence of the parameters, modulo exponentially small terms AKQ5WN24P2
| URI | m2://inv/AKQ5WN24P2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#V8I9, Independence of the parameters, modulo exponentially small terms (statement)
History
- 2026-11-01: add by m2/v0.6.15
Splitting the uniform seed AKQBGZVS0F
| URI | m2://inv/AKQBGZVS0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#XTLB, Splitting the uniform seed (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notation AKQCGR41FY
| URI | m2://inv/AKQCGR41FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toads and Frogs#VTU6, Notation (definition)
History
- 2026-11-02: add by m2/dev
Weak normality at every scalar order in the coprime case AKQK5MRYSQ
| URI | m2://inv/AKQK5MRYSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#H160, Weak normality at every scalar order in the coprime case (statement)
History
- 2026-11-01: add by m2/v0.6.15
materially equivalent AKQMNGAW19
| URI | m2://inv/AKQMNGAW19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BZPS, materially equivalent (definition)
History
- 2026-11-02: add by m2/dev
AKQSJKK4XK AKQSJKK4XK
| URI | m2://inv/AKQSJKK4XK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#H3KF (example). In 5XKHZKEGAF/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
Examples AKQXFPFXB8
| URI | m2://inv/AKQXFPFXB8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of sines#QV7L, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalised inequality indices AKQZFX6202
| URI | m2://inv/AKQZFX6202 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gini coefficient#0D6I, Generalised inequality indices (statement)
History
- 2026-11-02: add by m2/dev
Sixtymile AKR327B9T6
| URI | m2://inv/AKR327B9T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YDDN, Sixtymile (unknown)
History
- 2026-11-02: add by m2/dev
AKR5N1B5B6 AKR5N1B5B6
| URI | m2://inv/AKR5N1B5B6 |
|---|---|
| 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#A13Y (statement). In MB29RAAQMG/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Representations AKR8ZK1RWV
| URI | m2://inv/AKR8ZK1RWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thompson sporadic group#ZUXZ, Representations (definition)
History
- 2026-11-02: add by m2/dev
AKRFY44CQN AKRFY44CQN
| URI | m2://inv/AKRFY44CQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#PU2S (statement). In KZ175036B5/e1, theorem 1.9
History
- 2026-10-28: add by m2/v0.4.2
David Gottlieb AKRG0FX4WH
| URI | m2://inv/AKRG0FX4WH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gottlieb (mathematician), David Gottlieb (topic). Also Wikidata Q1174573
History
- 2026-11-02: add by m2/dev
Minimal cover, \MPMKC AKRJ2FSF1Z
| URI | m2://inv/AKRJ2FSF1Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18017#V0O1, Minimal cover, \MPMKC (definition). In EBSQEQYECS/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Radial and angular displacements AKRM9QVVPC
| URI | m2://inv/AKRM9QVVPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#0FS2, Radial and angular displacements (statement). In HGTFJ325A4/e1, corollary 7.2
History
- 2026-10-30: add by m2/v0.4.12
Connected-word expansion AKRQ36E1DE
| URI | m2://inv/AKRQ36E1DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#HS2Q, Connected-word expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
AKRTKMA0V8 AKRTKMA0V8
| URI | m2://inv/AKRTKMA0V8 |
|---|---|
| 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.03081#XAJK (statement). In TX0H26X4VX/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
Two-point identity AKS6XJKAVB
| URI | m2://inv/AKS6XJKAVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#EJFU, Two-point identity (statement). In 4R1MMSAAVK/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
AKSEWQ0GS5 AKSEWQ0GS5
| URI | m2://inv/AKSEWQ0GS5 |
|---|---|
| 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 Q726687 (unknown). Also nLab Jacques Roubaud
History
- 2026-10-26: add by m2/dev
AKSXETMSHE AKSXETMSHE
| URI | m2://inv/AKSXETMSHE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#C6FR (definition). In FK89DQ9J4S/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
binding number AKT0D9SR4E
| URI | m2://inv/AKT0D9SR4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#81CU, binding number (definition)
History
- 2026-11-02: add by m2/dev
AKT4KAXKSE AKT4KAXKSE
| URI | m2://inv/AKT4KAXKSE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.33590#BJ9P (definition). In WRE0P7V6Z3/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Fanny Kassel AKT5DJ3TAZ
| URI | m2://inv/AKT5DJ3TAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fanny Kassel, Fanny Kassel (topic). Also Wikidata Q20198603
History
- 2026-11-02: add by m2/dev
Identifiable uniqueness of the dynamical regime AKTH2GRTZN
| URI | m2://inv/AKTH2GRTZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25545#L66H, Identifiable uniqueness of the dynamical regime (statement)
History
- 2026-11-01: add by m2/v0.6.15
Negative binomial distribution AKTNEZJJHT
| URI | m2://inv/AKTNEZJJHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3MAW, Negative binomial distribution (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#RH03, Negative binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
AKTP58BBB5 AKTP58BBB5
| URI | m2://inv/AKTP58BBB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#4BOP (statement). In NSP90G5XCQ/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Jane Ammons AKTRG25SQQ
| URI | m2://inv/AKTRG25SQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SDAW, Jane Ammons (unknown)
History
- 2026-11-02: add by m2/dev
AKTVJQFVTZ AKTVJQFVTZ
| URI | m2://inv/AKTVJQFVTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#RNX5 (statement). In 9EMCPF1F2T/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.10
AKV1G9G9CN AKV1G9G9CN
| URI | m2://inv/AKV1G9G9CN |
|---|---|
| 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.33313#L8GH (statement). In HRCEFY172P/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Applications AKV449GRCW
| URI | m2://inv/AKV449GRCW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicategory#4X2Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Norm comparison AKV6G6WHJ6
| URI | m2://inv/AKV6G6WHJ6 |
|---|---|
| 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.02721#LAWE, Norm comparison (statement). In XXFYVDVPPE/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.12
Properties AKV8H7F9J4
| URI | m2://inv/AKV8H7F9J4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wasserstein metric#SCJN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theil index AKVAKFZ5GX
| URI | m2://inv/AKVAKFZ5GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5F8D, Theil index (definition)
History
- 2026-11-02: add by m2/dev
AKVBRK33J5 AKVBRK33J5
| URI | m2://inv/AKVBRK33J5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-eigenvector-approx (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Properties AKVH2Y6FGK
| URI | m2://inv/AKVH2Y6FGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy matrix#IL6S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gyration (geometry) AKVHNZWPV1
| URI | m2://inv/AKVHNZWPV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1TEN, Gyration (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Hyperbolic law of sines AKVHZWXFJ7
| URI | m2://inv/AKVHZWXFJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of sines#5CPE, Hyperbolic law of sines (unknown)
History
- 2026-11-02: add by m2/dev
AKVQKDPZ9S AKVQKDPZ9S
| URI | m2://inv/AKVQKDPZ9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19954#4R6J (statement). In AXPPYWYJZ5/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
6 (crystal class) AKVQMK80C7
| URI | m2://inv/AKVQMK80C7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal crystal family#YSLG, 6 (crystal class) (unknown)
History
- 2026-11-02: add by m2/dev
range AKVWGR31WD
| URI | m2://inv/AKVWGR31WD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4/range, range (concept). In Y91XFCEVHQ, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Collectanea Mathematica AKVZAM9M3F
| URI | m2://inv/AKVZAM9M3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collectanea Mathematica, Collectanea Mathematica (definition). Also Wikidata Q5777499
History
- 2026-11-02: add by m2/dev
AKVZKB43Z7 AKVZKB43Z7
| URI | m2://inv/AKVZKB43Z7 |
|---|---|
| Kind | counterexample |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#VPO9 (counterexample). In TC5QA4AB4Z/e1, counterexample 3.40
History
- 2026-10-30: add by m2/v0.4.12
Yilin Wang AKW0T3T819
| URI | m2://inv/AKW0T3T819 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yilin Wang, Yilin Wang (topic). Also Wikidata Q103165846
History
- 2026-11-02: add by m2/dev
Homomorphism Theorem AKWFS1JXD1
| URI | m2://inv/AKWFS1JXD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptak space#9I1O, Homomorphism Theorem (statement)
History
- 2026-11-02: add by m2/dev
AKWMCG516D AKWMCG516D
| URI | m2://inv/AKWMCG516D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#NSLN (example). In J7ZX3WWRQP/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
International Astrostatistics Association AKWNZ1HWZD
| URI | m2://inv/AKWNZ1HWZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Astrostatistics Association, International Astrostatistics Association (definition). Also Wikidata Q6048633
History
- 2026-11-02: add by m2/dev
AKWQ305BQZ AKWQ305BQZ
| URI | m2://inv/AKWQ305BQZ |
|---|---|
| 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.05953#NS5R (statement). In P3XHJ1VB8C/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
Decomposition of $\Dz R_3(\theta)$ AKWVYRY4FH
| URI | m2://inv/AKWVYRY4FH |
|---|---|
| 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 2601.15010#PJIA, Decomposition of $\Dz R_3(\theta)$ (statement). In K3WJ6ZN184/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
AKWYY2GV23 AKWYY2GV23
| URI | m2://inv/AKWYY2GV23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#C0UG (statement). In CY1FE8W1ZW/e1, corollary 0.131
History
- 2026-10-27: add by m2/v0.4.0
Exact entropy rate AKWZRM24BY
| URI | m2://inv/AKWZRM24BY |
|---|---|
| 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#D0A4, Exact entropy rate (statement). In 9YAE8FNQST/e1, corollary 24.7
History
- 2026-10-30: add by m2/v0.4.12
Jordan's lemma AKX0TBJF42
| URI | m2://inv/AKX0TBJF42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Jordan's lemma 0PNPG2PP9H |
Mentions
- arxiv: arXiv 2610.16267#QCRQ, Jordan's Lemma (statement). In 65GKPZ15VH/e1, lemma 1.1
- wikidata: Wikidata Q1816932, Jordan's lemma (statement). Also MathWorld JordansLemma
- wikipedia: Wikipedia Jordan's lemma, Jordan's lemma (statement). Also Wikidata Q1816932
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
Definitions AKX2CSDJSC
| URI | m2://inv/AKX2CSDJSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Versine#Z4SH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formal definition AKX6F1AT27
| URI | m2://inv/AKX6F1AT27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (G, X)-manifold#R3LM, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Examples AKX8Z0P9NP
| URI | m2://inv/AKX8Z0P9NP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class (set theory)#203Q, Examples (example)
History
- 2026-11-02: add by m2/dev
The certificate as an integral quadratic constraint AKXHCW1ZND
| URI | m2://inv/AKXHCW1ZND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#3CO7, The certificate as an integral quadratic constraint (statement). In 65TJENWK7X/e1, lemma 68
History
- 2026-10-29: add by m2/v0.4.10
Rape in Denmark AKXJ794MJM
| URI | m2://inv/AKXJ794MJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#ZJT4, Rape in Denmark (unknown)
History
- 2026-11-02: add by m2/dev
AKXJRQAGTB AKXJRQAGTB
| URI | m2://inv/AKXJRQAGTB |
|---|---|
| Kind | problem |
| 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#MLLP (problem). In GB0V23Q6C5/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
AKY7SZM1KJ AKY7SZM1KJ
| URI | m2://inv/AKY7SZM1KJ |
|---|---|
| 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.12489#DY04 (statement). In FDWFVD08SE/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
Algorithms AKY85SDFPV
| URI | m2://inv/AKY85SDFPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular number#DWSF, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
matrix, addition AKY8X9EH8K
| URI | m2://inv/AKY8X9EH8K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.2.1/matrix-addition, matrix, addition (concept). In 649HGZKE96, index, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
Properties AKYCRJDEG4
| URI | m2://inv/AKYCRJDEG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate cohomology group#QLKB, Properties (statement)
History
- 2026-11-02: add by m2/dev
AKYDNNRCQ3 AKYDNNRCQ3
| URI | m2://inv/AKYDNNRCQ3 |
|---|---|
| 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.02993#WWL6 (statement). In TJH58FRGEN/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Haldane conjecture AKYEYQPMW0
| URI | m2://inv/AKYEYQPMW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Heisenberg model#1PLG, Haldane conjecture (statement)
History
- 2026-11-02: add by m2/dev
AKYJ2YFM4E AKYJ2YFM4E
| URI | m2://inv/AKYJ2YFM4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#B0FE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eddie Kohler AKYR9C26NH
| URI | m2://inv/AKYR9C26NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0M1D, Eddie Kohler (unknown)
History
- 2026-11-02: add by m2/dev
Limits of the two empirical objects AKYWS9D1YC
| URI | m2://inv/AKYWS9D1YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#YHSC, Limits of the two empirical objects (statement). In 6FY8BVP1F3/e1, lemma K.4
History
- 2026-10-29: add by m2/v0.4.12
spinor field AKYXZMFBVC
| URI | m2://inv/AKYXZMFBVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3254711, spinor field (unknown). Also MathWorld SpinorField
History
- 2026-10-26: add by m2/dev
Kinematic theorem AKZ5EF7WZ1
| URI | m2://inv/AKZ5EF7WZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit analysis#7EIY, Kinematic theorem (statement)
History
- 2026-11-02: add by m2/dev
Genus AKZFKPVC0B
| URI | m2://inv/AKZFKPVC0B |
|---|---|
| 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.28495#ZZ2C, Genus (statement)
History
- 2026-11-01: add by m2/v0.6.15
Péter Pál Pálfy AKZMQX6GAA
| URI | m2://inv/AKZMQX6GAA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Péter Pál Pálfy, Péter Pál Pálfy (topic). Also Wikidata Q1242101
History
- 2026-11-02: add by m2/dev
AKZVE5PBMX AKZVE5PBMX
| URI | m2://inv/AKZVE5PBMX |
|---|---|
| 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.17411#REGB (statement). In 73QW05MWQB/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.2