Inventory rows SQ
The cards of the rows of the inventory whose ids start with SQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Proposition SQ00H52125
| URI | m2://inv/SQ00H52125 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#EKLR, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Z-group SQ01HPDPK5
| URI | m2://inv/SQ01HPDPK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8062835, Z-group (unknown). Also LMFDB knowl group.z_group
- wikipedia: Wikipedia Z-group, Z-group (definition). Also Wikidata Q8062835
History
- 2026-10-26: add by m2/dev
SQ02BH0ZSV SQ02BH0ZSV
| URI | m2://inv/SQ02BH0ZSV |
|---|---|
| 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.07318#D5IY (problem). In JWQNSEXRNW/e1, problem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Well-posedness of the reconstruction SQ07MDEX7J
| URI | m2://inv/SQ07MDEX7J |
|---|---|
| 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.01504#94VB, Well-posedness of the reconstruction (statement). In JAVB10Q2YZ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Definition SQ0CY4K23T
| URI | m2://inv/SQ0CY4K23T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic analysis on manifolds#C7AL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Delta potential SQ0G658Y4Z
| URI | m2://inv/SQ0G658Y4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta potential, Delta potential (definition). Also Wikidata Q2381860
History
- 2026-11-02: add by m2/dev
SQ0HANQGC5 SQ0HANQGC5
| URI | m2://inv/SQ0HANQGC5 |
|---|---|
| Kind | definition |
| 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.12888#C76Y (definition). In ZNX7Y5CWS1/e1, definition 2.2.1
History
- 2026-10-28: add by m2/v0.4.2
Calder, Kate SQ0KJH10N0
| URI | m2://inv/SQ0KJH10N0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#W7WJ, Calder, Kate (topic)
History
- 2026-11-02: add by m2/dev
SQ0N96D237 SQ0N96D237
| URI | m2://inv/SQ0N96D237 |
|---|---|
| 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 2301.02848#IFPI (statement). In G6WQDW52TJ/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
SQ0XSD1681 SQ0XSD1681
| URI | m2://inv/SQ0XSD1681 |
|---|---|
| Kind | problem |
| 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.20018#XLC2 (problem)
History
- 2026-11-02: add by m2/v0.6.18
SQ0YCPWDQN SQ0YCPWDQN
| URI | m2://inv/SQ0YCPWDQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#O7QU (statement). In 1WCXV5PVZA/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Simple example SQ0Z51F7K0
| URI | m2://inv/SQ0Z51F7K0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous function#ZD2F, Simple example (example)
History
- 2026-11-02: add by m2/dev
SQ15K67VDZ SQ15K67VDZ
| URI | m2://inv/SQ15K67VDZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18287#EEEN (example). In ZXZN6RMN38/e1, example 5
History
- 2026-10-28: add by m2/v0.4.2
International Society for Analysis, its Applications and Computation SQ16PYST94
| URI | m2://inv/SQ16PYST94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#HXN0, International Society for Analysis, its Applications and Computation (definition)
History
- 2026-11-02: add by m2/dev
SQ1DG94BQV SQ1DG94BQV
| URI | m2://inv/SQ1DG94BQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06669#PN6D (statement). In YXD3950ZXR/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Bass conjecture SQ1F9GXMP7
| URI | m2://inv/SQ1F9GXMP7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WU1X, Bass conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
SQ1JJMNBS0 SQ1JJMNBS0
| URI | m2://inv/SQ1JJMNBS0 |
|---|---|
| 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.27524#AEKR (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQ242XP6HQ SQ242XP6HQ
| URI | m2://inv/SQ242XP6HQ |
|---|---|
| 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.27699#IUMT (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQ27AWQQGM SQ27AWQQGM
| URI | m2://inv/SQ27AWQQGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38014#R60F (statement). In F3X5W4E0AJ/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Rózsa Péter SQ2A1AZK8T
| URI | m2://inv/SQ2A1AZK8T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Q2ZR, Rózsa Péter (topic)
History
- 2026-11-02: add by m2/dev
SQ2B2FCCM7 SQ2B2FCCM7
| URI | m2://inv/SQ2B2FCCM7 |
|---|---|
| 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 2207.11097#ORWC (statement). In 13H5BTAXHF/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Applications SQ2BSJ7V4H
| URI | m2://inv/SQ2BSJ7V4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler tour technique#1PR9, Applications (example)
History
- 2026-11-02: add by m2/dev
SQ2GPE4MTP SQ2GPE4MTP
| URI | m2://inv/SQ2GPE4MTP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#CBLK (statement). In 1SPQ4J3AWY/e1, fact 2.8
History
- 2026-10-29: add by m2/v0.4.10
Rule 110 SQ2Q85KMH8
| URI | m2://inv/SQ2Q85KMH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#F4FF, Rule 110 (definition)
History
- 2026-11-02: add by m2/dev
loop SQ2V1BQ11R
| URI | m2://inv/SQ2V1BQ11R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.2/loop, loop (concept). In QKM9DD2H56, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Thomas Jakobsen SQ2ZS02QDB
| URI | m2://inv/SQ2ZS02QDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Jakobsen, Thomas Jakobsen (topic). Also Wikidata Q7791197
History
- 2026-11-02: add by m2/dev
homothetic transformation SQ3B8WD8DX
| URI | m2://inv/SQ3B8WD8DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Homothety 0ZG1PNEP35 |
Mentions
- wikidata: Wikidata Q583960, homothetic transformation (unknown). Also MathWorld Homothecy
- wikipedia: Wikipedia Homothety, Homothety (definition). Also Wikidata Q583960
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Admissible cruise speed SQ3BVJE6PD
| URI | m2://inv/SQ3BVJE6PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21808#F3M9, Admissible cruise speed (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition SQ3PFBPKTW
| URI | m2://inv/SQ3PFBPKTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation immunity#F3KV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Process calculi SQ3RZ1KB7R
| URI | m2://inv/SQ3RZ1KB7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#6BKW, Process calculi (definition)
History
- 2026-11-02: add by m2/dev
Theorem SQ3W81ASMD
| URI | m2://inv/SQ3W81ASMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual lattice#YINZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
SQ42A1SHR2 SQ42A1SHR2
| URI | m2://inv/SQ42A1SHR2 |
|---|---|
| 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.06045#LRQ1 (statement). In SVKM0852RJ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Definition SQ49SPPR2K
| URI | m2://inv/SQ49SPPR2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier extension operator#WDZH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Transcendental law of homogeneity SQ4F9ZV2A1
| URI | m2://inv/SQ4F9ZV2A1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental law of homogeneity, Transcendental law of homogeneity (statement). Also Wikidata Q7833870
History
- 2026-11-02: add by m2/dev
$C^{(1,3)}$ Penrose singularity theorem SQ4GSZ3HES
| URI | m2://inv/SQ4GSZ3HES |
|---|---|
| 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 2610.11911#RK98, $C^{(1,3)}$ Penrose singularity theorem (statement). In 5BYE5NYB89/e1, theorem 4.12
History
- 2026-10-28: add by m2/v0.4.3
Peter W. Bates SQ4JWQ0WBT
| URI | m2://inv/SQ4JWQ0WBT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter W. Bates, Peter W. Bates (topic). Also Wikidata Q21005002
History
- 2026-11-02: add by m2/dev
SQ4NGB6A6B SQ4NGB6A6B
| URI | m2://inv/SQ4NGB6A6B |
|---|---|
| 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 1907.01440#8KMI (statement). In QDRYC6WJJ7/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Zevenhuizen (disambiguation) SQ4NTWPTMR
| URI | m2://inv/SQ4NTWPTMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JIP9, Zevenhuizen (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
SQ4NYRBD3V SQ4NYRBD3V
| URI | m2://inv/SQ4NYRBD3V |
|---|---|
| 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.21455#56E9 (statement). In CY0E87QDED/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
Example SQ4PC45AK1
| URI | m2://inv/SQ4PC45AK1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jury theorem#KCIS, Example (example)
History
- 2026-11-02: add by m2/dev
Substitution–permutation network SQ4PGP6NHX
| URI | m2://inv/SQ4PGP6NHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#MA7U, Substitution–permutation network (unknown)
History
- 2026-11-02: add by m2/dev
Griffith's criterion SQ51R8B92F
| URI | m2://inv/SQ51R8B92F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fracture mechanics#G7H3, Griffith's criterion (statement)
History
- 2026-11-02: add by m2/dev
Uniform asymptotics of the normalized Mellin transform SQ52YR417Y
| URI | m2://inv/SQ52YR417Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#21W2, Uniform asymptotics of the normalized Mellin transform (statement)
History
- 2026-11-02: add by m2/v0.6.17
Channel surface SQ54C1VPTD
| URI | m2://inv/SQ54C1VPTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#VMIH, Channel surface (definition)
History
- 2026-11-02: add by m2/dev
Properties SQ5YE13KKH
| URI | m2://inv/SQ5YE13KKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski convergence#BBLD, Properties (statement)
History
- 2026-11-02: add by m2/dev
COMP128 algorithms SQ6BSAFTYD
| URI | m2://inv/SQ6BSAFTYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COMP128#XBHU, COMP128 algorithms (definition)
History
- 2026-11-02: add by m2/dev
Adrastus of Cyzicus SQ6C7SGZ1N
| URI | m2://inv/SQ6C7SGZ1N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adrastus of Cyzicus, Adrastus of Cyzicus (topic). Also Wikidata Q4684706
History
- 2026-11-02: add by m2/dev
Correlation inequality SQ6D933SAN
| URI | m2://inv/SQ6D933SAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#NUXO, Correlation inequality (statement)
History
- 2026-11-02: add by m2/dev
SQ6HTNYDNT SQ6HTNYDNT
| URI | m2://inv/SQ6HTNYDNT |
|---|---|
| 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.21098#3FQC (statement)
History
- 2026-11-02: add by m2/v0.6.18
SQ79TSC22K SQ79TSC22K
| URI | m2://inv/SQ79TSC22K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-3.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
SQ7A88S58Y SQ7A88S58Y
| URI | m2://inv/SQ7A88S58Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#prob:diagram_chase (exercise). In RZP28ERRZV, problem, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
Asymptotic decrease of the effective dimension SQ7AXPR2GS
| URI | m2://inv/SQ7AXPR2GS |
|---|---|
| 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.16680#BAOO, Asymptotic decrease of the effective dimension (statement). In H29YHXQZV6/e1, corollary 17
History
- 2026-10-28: add by m2/v0.4.2
Definition SQ7QH243F3
| URI | m2://inv/SQ7QH243F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry-preserving filter#HV0X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Thue–Siegel–Roth theorem SQ7SEKNTJP
| URI | m2://inv/SQ7SEKNTJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NFH6, Thue–Siegel–Roth theorem (statement)
History
- 2026-11-02: add by m2/dev
SQ7SZ7YJW1 SQ7SZ7YJW1
| URI | m2://inv/SQ7SZ7YJW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#XLZT (statement). In 7ZBQ8WGQVB/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Lenore Cowen SQ819BFC7G
| URI | m2://inv/SQ819BFC7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#52Z8, Lenore Cowen (topic)
History
- 2026-11-02: add by m2/dev
Maximum Entropy Principle SQ86MV0CHD
| URI | m2://inv/SQ86MV0CHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network entropy#Y2MO, Maximum Entropy Principle (statement)
History
- 2026-11-02: add by m2/dev
Sand abacus SQ8AVR7DZK
| URI | m2://inv/SQ8AVR7DZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sand table#S6L1, Sand abacus (unknown)
History
- 2026-11-02: add by m2/dev
Contravariant power set functor SQ8D1CVGDA
| URI | m2://inv/SQ8D1CVGDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power set#FWFY, Contravariant power set functor (unknown)
History
- 2026-11-02: add by m2/dev
Definition of Poly1305 SQ8NCYCEYR
| URI | m2://inv/SQ8NCYCEYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poly1305#2NSZ, Definition of Poly1305 (definition)
History
- 2026-11-02: add by m2/dev
Tail work SQ8PSWNA44
| URI | m2://inv/SQ8PSWNA44 |
|---|---|
| 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.17329#KBO2, Tail work (statement). In F6GD5JWK9M/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
SQ8R0TKPDX SQ8R0TKPDX
| URI | m2://inv/SQ8R0TKPDX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-297 (exercise). In VNMV985MXX, exercise, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
SQ8Z0A11ZV SQ8Z0A11ZV
| URI | m2://inv/SQ8Z0A11ZV |
|---|---|
| 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.29916#3G3L (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQ9C12YQZ1 SQ9C12YQZ1
| URI | m2://inv/SQ9C12YQZ1 |
|---|---|
| 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.19852#T6IB (statement). In SPW2D8X2PG/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Pythagoras on $\G_N$ SQ9PP1R3VN
| URI | m2://inv/SQ9PP1R3VN |
|---|---|
| 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.17678#7V51, Pythagoras on $\G_N$ (statement). In V753EAWQ3S/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
SQA72SE18H SQA72SE18H
| URI | m2://inv/SQA72SE18H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#36V7 (statement). In 1PR73ECTZB/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.5
Sue-Jane Wang SQA8H6FHRH
| URI | m2://inv/SQA8H6FHRH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#NWXG, Sue-Jane Wang (topic)
History
- 2026-11-02: add by m2/dev
SQA8N0KA1W SQA8N0KA1W
| URI | m2://inv/SQA8N0KA1W |
|---|---|
| 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 2512.07340#CYWF (statement). In WXE3PVAZBT/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
SQAER0M2C0 SQAER0M2C0
| URI | m2://inv/SQAER0M2C0 |
|---|---|
| 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 2206.11809#XKVK (statement). In YQXYSNW78V/e1, corollary 9
History
- 2026-10-27: add by m2/v0.3.5
\coqident{qq_morphism_structure SQAHRHMXFB
| URI | m2://inv/SQAHRHMXFB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#L2FG, \coqident{qq_morphism_structure (definition). In MG51GG0QZN/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Mereological nihilism SQAMCC23NR
| URI | m2://inv/SQAMCC23NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereological nihilism, Mereological nihilism (definition). Also Wikidata Q4290829
History
- 2026-11-02: add by m2/dev
Trigintaduonion SQAV99JF96
| URI | m2://inv/SQAV99JF96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#B4Z2, Trigintaduonion (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of Riemannian geometry SQAXW6N0GT
| URI | m2://inv/SQAXW6N0GT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#0X1C, Fundamental theorem of Riemannian geometry (statement)
History
- 2026-11-02: add by m2/dev
SQB6JP33FR SQB6JP33FR
| URI | m2://inv/SQB6JP33FR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#818M (statement). In RYWAX33Z51/e1, lemma 4.28
History
- 2026-10-31: add by m2/v0.5.6
Envy-graph procedure SQB6VZHCJG
| URI | m2://inv/SQB6VZHCJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-graph procedure, Envy-graph procedure (definition). Also Wikidata Q28404391
History
- 2026-11-02: add by m2/dev
SQB8E4SXSN SQB8E4SXSN
| URI | m2://inv/SQB8E4SXSN |
|---|---|
| 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.20758#4W4P (statement). In PG0B4PH9YH/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
set theory SQBATTVW0M
| URI | m2://inv/SQBATTVW0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03Exx |
| Sources | 2 |
| Outcome | open |
| Node | Set theory RTHHCX84HN |
Mentions
- wikidata: Wikidata Q12482, set theory (topic). Also EoM Set_theory, MathWorld SetTheory, nLab set theory, ProofWiki Definition:Set_Theory
- wikipedia: Wikipedia Set theory, Set theory (topic). Also Wikidata Q12482
History
- 2026-10-26: add by m2/dev
SQBAVZ3JJ3 SQBAVZ3JJ3
| URI | m2://inv/SQBAVZ3JJ3 |
|---|---|
| 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.06541#2Z6J (statement). In R604B78EVK/e1, theorem 6.11
History
- 2026-10-29: add by m2/v0.4.10
Properties SQBB3W19YB
| URI | m2://inv/SQBB3W19YB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement of formation#DV95, Properties (statement)
History
- 2026-11-02: add by m2/dev
QMLE envelopes SQBBFSREY2
| URI | m2://inv/SQBBFSREY2 |
|---|---|
| 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.19421#EIQP, QMLE envelopes (statement). In 3S1VFGYWQE/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
SQBC09VGNS SQBC09VGNS
| URI | m2://inv/SQBC09VGNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#SXKR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Acyclic SQBDW2KEG2
| URI | m2://inv/SQBDW2KEG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#5L37, Acyclic (definition)
History
- 2026-11-02: add by m2/dev
Sunil Mukhi SQBKHJ3Q4K
| URI | m2://inv/SQBKHJ3Q4K |
|---|---|
| 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 Q32782, Sunil Mukhi (unknown). Also nLab Sunil Mukhi
History
- 2026-10-26: add by m2/dev
SQCA26BPW5 SQCA26BPW5
| URI | m2://inv/SQCA26BPW5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 66.7
History
- 2026-11-01: add by m2/v0.6.13
SQCGE38E73 SQCGE38E73
| URI | m2://inv/SQCGE38E73 |
|---|---|
| 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.24325#2RW3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQCGJJXPJ1 SQCGJJXPJ1
| URI | m2://inv/SQCGJJXPJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.0714#AMWL (statement). In XNNM92X6A8/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
SQCR6DNR26 SQCR6DNR26
| URI | m2://inv/SQCR6DNR26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38268#9UWE (statement). In TQ18V9TDQS/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
SQCTAVH4DM SQCTAVH4DM
| URI | m2://inv/SQCTAVH4DM |
|---|---|
| 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 2511.05069#2I9B (statement). In SFQBJBTW8K/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
SQD1RQ9ES0 SQD1RQ9ES0
| URI | m2://inv/SQD1RQ9ES0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#Q32D (statement). In DSXBMRYE0V/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Lars Edvard Phragmén SQD4TVVSXX
| URI | m2://inv/SQD4TVVSXX |
|---|---|
| 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#QIGJ, Lars Edvard Phragmén (topic)
History
- 2026-11-02: add by m2/dev
Reciprocal fractional parts SQD7VHQVRJ
| URI | m2://inv/SQD7VHQVRJ |
|---|---|
| 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.30207#BB1E, Reciprocal fractional parts (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQD9QMZ6M2 SQD9QMZ6M2
| URI | m2://inv/SQD9QMZ6M2 |
|---|---|
| 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.10086#X7IR (statement). In NP9X9CAK19/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
SQDB7X95EK SQDB7X95EK
| URI | m2://inv/SQDB7X95EK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2610.20368#GRWM (definition). In T8CDHW9MC1/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
SQDNB3S0EZ SQDNB3S0EZ
| URI | m2://inv/SQDNB3S0EZ |
|---|---|
| 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.23779#7V2S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ideal gas law SQDR0201F3
| URI | m2://inv/SQDR0201F3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal gas law, Ideal gas law (statement). Also Wikidata Q191785
History
- 2026-11-02: add by m2/dev
Urey–Bigeleisen–Mayer equation SQDXN4SFHB
| URI | m2://inv/SQDXN4SFHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urey–Bigeleisen–Mayer equation, Urey–Bigeleisen–Mayer equation (definition). Also Wikidata Q115918001
History
- 2026-11-02: add by m2/dev
SQE6M8VH99 SQE6M8VH99
| URI | m2://inv/SQE6M8VH99 |
|---|---|
| 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.06810#7ZEG (statement). In 1NY2SA03XF/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
SQEHK1BNA2 SQEHK1BNA2
| URI | m2://inv/SQEHK1BNA2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
SQEX0VT46X SQEX0VT46X
| URI | m2://inv/SQEX0VT46X |
|---|---|
| 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.33124#WRU5 (example). In P27HYGQDAN/e1, example 13
History
- 2026-10-30: add by m2/v0.4.12
Theodore Wilbur Anderson SQEXK8P4D3
| URI | m2://inv/SQEXK8P4D3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y48J, Theodore Wilbur Anderson (topic)
History
- 2026-11-02: add by m2/dev
SQEY1P7JWB SQEY1P7JWB
| URI | m2://inv/SQEY1P7JWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#2SVK (statement). In 5Z3FH46YSY/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2
scope SQF0P8NJNV
| URI | m2://inv/SQF0P8NJNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#0ZIS, scope (definition)
History
- 2026-11-02: add by m2/dev
Applications SQF2S6W1SG
| URI | m2://inv/SQF2S6W1SG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym theorem#86OY, Applications (example)
History
- 2026-11-02: add by m2/dev
SQF69642BT SQF69642BT
| URI | m2://inv/SQF69642BT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Talagrand's $\gammafn{\alpha}$ Functionals SQF6A351TV
| URI | m2://inv/SQF6A351TV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-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.11869#BDGR, Talagrand's $\gammafn{\alpha}$ Functionals (definition). In B5GGGWNJA6/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
SQF6K4DC4S SQF6K4DC4S
| URI | m2://inv/SQF6K4DC4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#C919 (statement). In 67GE5M1GGD/e1, proposition 5.12
History
- 2026-10-30: add by m2/v0.4.12
SQFTMCWC6R SQFTMCWC6R
| URI | m2://inv/SQFTMCWC6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#1XN6 (statement). In PREJREM4BB/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
Gauss, Johann Carl Friedrich SQGDJEW2B4
| URI | m2://inv/SQGDJEW2B4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LRRR, Gauss, Johann Carl Friedrich (topic)
History
- 2026-11-02: add by m2/dev
\textsf{Critical covariance comparison SQGQQE5KCC
| URI | m2://inv/SQGQQE5KCC |
|---|---|
| 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.09404#CSQ1, \textsf{Critical covariance comparison (statement). In D7CZZ48FRN/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Giuseppe Vitali SQH9WYA7YV
| URI | m2://inv/SQH9WYA7YV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Vitali, Giuseppe Vitali (topic). Also Wikidata Q739969
History
- 2026-11-02: add by m2/dev
SQHC3G3WJA SQHC3G3WJA
| URI | m2://inv/SQHC3G3WJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#0ESH (statement). In RAF0BFY3Z3/e1, corollary 5.11
History
- 2026-10-28: add by m2/v0.4.2
computation rule SQHG88ZQFQ
| URI | m2://inv/SQHG88ZQFQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/computation-rule, computation rule (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Tsachik Gelander SQHN1F8TX8
| URI | m2://inv/SQHN1F8TX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsachik Gelander, Tsachik Gelander (topic). Also Wikidata Q99857426
History
- 2026-11-02: add by m2/dev
Knaster–Kuratowski fan SQHR9TS4A4
| URI | m2://inv/SQHR9TS4A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski fan, Knaster–Kuratowski fan (definition). Also Wikidata Q4105873
History
- 2026-11-02: add by m2/dev
Balanced weight SQHWFQ91SW
| URI | m2://inv/SQHWFQ91SW |
|---|---|
| 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 2507.13548#HDKQ, Balanced weight (definition). In 4NVVK50D1P/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Type-flow identity SQHZQEQDW2
| URI | m2://inv/SQHZQEQDW2 |
|---|---|
| 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.04027#M808, Type-flow identity (statement). In DQB4YR2DFH/e1, proposition 12.2
History
- 2026-10-29: add by m2/v0.4.12
SQJ9CHT4Y9 SQJ9CHT4Y9
| URI | m2://inv/SQJ9CHT4Y9 |
|---|---|
| Kind | problem |
| 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.11900#5A3G (problem). In TV4E4ZEAM4/e1, problem II.1
History
- 2026-10-28: add by m2/v0.4.3
SQJC781ZDM SQJC781ZDM
| URI | m2://inv/SQJC781ZDM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.16834#1EIJ (problem). In Q0DTV6PJJW/e1, problem 6.10
History
- 2026-10-28: add by m2/v0.4.2
SQJJMA6E2E SQJJMA6E2E
| URI | m2://inv/SQJJMA6E2E |
|---|---|
| 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.36613#B6I5 (statement). In GX0K0ZM700/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
exact boundary conditions SQJKQK0KDF
| URI | m2://inv/SQJKQK0KDF |
|---|---|
| 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.08016#K4B7, exact boundary conditions (statement). In YR3CSTYEJW/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.10
504 (number) SQJM33Z2R2
| URI | m2://inv/SQJM33Z2R2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#44DE, 504 (number) (unknown)
History
- 2026-11-02: add by m2/dev
SQJNTSM9YZ SQJNTSM9YZ
| URI | m2://inv/SQJNTSM9YZ |
|---|---|
| Kind | definition |
| 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#1LHM (definition). In 8Z47D12KSX/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.10
generation, of a type, inductive SQJS7EB8MN
| URI | m2://inv/SQJS7EB8MN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/generation-of-a-type-inductive, generation, of a type, inductive (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Jonathan Taylor SQJTPHY2GS
| URI | m2://inv/SQJTPHY2GS |
|---|---|
| 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#V9UA, Jonathan Taylor (unknown)
History
- 2026-11-02: add by m2/dev
Pseudoentropy, nonuniform setting SQJY8W3VZ7
| URI | m2://inv/SQJY8W3VZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#JIDV, Pseudoentropy, nonuniform setting (definition). In 7D5MMP8XB5/e1, definition 2.19
History
- 2026-10-28: add by m2/v0.4.2
SQK0MDD4YY SQK0MDD4YY
| URI | m2://inv/SQK0MDD4YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#U2N0 (statement). In 9DQKY7KGE8/e1, proposition 4.20
History
- 2026-10-27: add by m2/v0.3.5
Theorem 2-1 (Helmholtz's theorem in fluid dynamics) SQK3GZB8QZ
| URI | m2://inv/SQK3GZB8QZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#0Z1R, Theorem 2-1 (Helmholtz's theorem in fluid dynamics) (statement)
History
- 2026-11-02: add by m2/dev
Pitteway triangulation SQK7PKPPZ6
| URI | m2://inv/SQK7PKPPZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pitteway triangulation, Pitteway triangulation (definition). Also Wikidata Q3538712
History
- 2026-11-02: add by m2/dev
SQKE8E4PPR SQKE8E4PPR
| URI | m2://inv/SQKE8E4PPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06045#LW4K (definition). In SVKM0852RJ/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
SQKEGB4EW6 SQKEGB4EW6
| URI | m2://inv/SQKEGB4EW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.08211#5GNJ (statement). In 1QRK9HXJWT/e1, lemma 1.3
History
- 2026-10-29: add by m2/v0.4.10
Embedding into \(L_1\ SQKMSQC1ND
| URI | m2://inv/SQKMSQC1ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21717#PG1L, Embedding into \(L_1\ (statement). In CE603VK92S/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
SQKW1FKMRP SQKW1FKMRP
| URI | m2://inv/SQKW1FKMRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17516#AOZF (statement). In Z16NBNM4AK/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
SQKYK7FHCW SQKYK7FHCW
| URI | m2://inv/SQKYK7FHCW |
|---|---|
| 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 2311.01874#IVXF (statement). In A4TR95VGX2/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Hopf theorem SQM6RMK5MD
| URI | m2://inv/SQM6RMK5MD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZIKA, Hopf theorem (statement)
History
- 2026-11-02: add by m2/dev
Identification of the fixed-beta family SQMEQZP5NM
| URI | m2://inv/SQMEQZP5NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#XRV8, Identification of the fixed-beta family (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQMMA2HVKY SQMMA2HVKY
| URI | m2://inv/SQMMA2HVKY |
|---|---|
| Kind | problem |
| 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 2504.14383#X7YD (problem). In QD0X3XJS6T/e1, problem 1.8
History
- 2026-10-27: add by m2/v0.3.5
SQMRSKCXJN SQMRSKCXJN
| URI | m2://inv/SQMRSKCXJN |
|---|---|
| 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.40355#A56J (statement). In SBP98GWKC8/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
Truncated square tiling SQN0BWPAX7
| URI | m2://inv/SQN0BWPAX7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated square tiling, Truncated square tiling (object). Also Wikidata Q3063287
History
- 2026-11-02: add by m2/dev
Example SQN3THVJ4H
| URI | m2://inv/SQN3THVJ4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemiperfect number#0ZN1, Example (example)
History
- 2026-11-02: add by m2/dev
SQN3TYDS5R SQN3TYDS5R
| URI | m2://inv/SQN3TYDS5R |
|---|---|
| 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.26307#8UNV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vector graphics editor SQN79JKBP1
| URI | m2://inv/SQN79JKBP1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#FWQQ, Vector graphics editor (unknown)
History
- 2026-11-02: add by m2/dev
Černý conjecture SQNA81E563
| URI | m2://inv/SQNA81E563 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avraham Trahtman#JQ92, Černý conjecture (statement)
History
- 2026-11-02: add by m2/dev
SQNRKDVQDQ SQNRKDVQDQ
| URI | m2://inv/SQNRKDVQDQ |
|---|---|
| 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 2404.05965#FZIB (statement). In GD1GED3FZ3/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
mathematics, classical SQP85DWSPB
| URI | m2://inv/SQP85DWSPB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
SQP8PR0RY7 SQP8PR0RY7
| URI | m2://inv/SQP8PR0RY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#T6D3 (statement). In JW8HH6EPG2/e1, lemma 2.15
History
- 2026-10-29: add by m2/v0.4.10
William B. Johnson SQPGAETGYN
| URI | m2://inv/SQPGAETGYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EP2E, William B. Johnson (topic)
History
- 2026-11-02: add by m2/dev
Lévy's convergence theorem SQPGDTTQ4H
| URI | m2://inv/SQPGDTTQ4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1HV4, Lévy's convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Montgomery's pair correlation conjecture SQPNG2PNAV
| URI | m2://inv/SQPNG2PNAV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6905620, Montgomery's pair correlation conjecture (conjecture). Also MathWorld Montgomery-OdlyzkoLaw
- wikipedia: Wikipedia Montgomery's pair correlation conjecture, Montgomery's pair correlation conjecture (conjecture). Also Wikidata Q6905620
History
- 2026-10-26: add by m2/dev
Sums of powers SQQ6556JMB
| URI | m2://inv/SQQ6556JMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sums of powers, Sums of powers (definition). Also Wikidata Q15051202
History
- 2026-11-02: add by m2/dev
Flat torus SQQCJ8H8TE
| URI | m2://inv/SQQCJ8H8TE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus#VKVZ, Flat torus (unknown)
History
- 2026-11-02: add by m2/dev
SQQKWCTS3V SQQKWCTS3V
| URI | m2://inv/SQQKWCTS3V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35460#5ZME (definition). In R515NECVME/e1, definition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Low-rank matrix completion SQQR6B3JGZ
| URI | m2://inv/SQQR6B3JGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix completion#ILR4, Low-rank matrix completion (unknown)
History
- 2026-11-02: add by m2/dev
SQQTED5B63 SQQTED5B63
| URI | m2://inv/SQQTED5B63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2407.06927#W2IA (statement). In YM4CSJJDJZ/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.3.6
Stationary coefficients from a norm SQQVB8B757
| URI | m2://inv/SQQVB8B757 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#FMQT, Stationary coefficients from a norm (statement). In 7NS75J7HAM/e1, lemma 9.4
History
- 2026-10-31: add by m2/v0.5.6
Exact rate and realization SQQYVQZ47A
| URI | m2://inv/SQQYVQZ47A |
|---|---|
| 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#AMG6, Exact rate and realization (statement). In 65TJENWK7X/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Cosco--Zeitouni SQR1BYWMNR
| URI | m2://inv/SQR1BYWMNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#LVA1, Cosco--Zeitouni (statement)
History
- 2026-11-02: add by m2/v0.6.17
Presburger arithmetic SQR8D520EY
| URI | m2://inv/SQR8D520EY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Presburger arithmetic B66JYY3K58 |
Mentions
- wikidata: Wikidata Q956059, Presburger arithmetic (unknown). Also MathWorld PresburgerArithmetic, nLab Presburger arithmetic
- wikipedia: Wikipedia Presburger arithmetic, Presburger arithmetic (definition). Also Wikidata Q956059
History
- 2026-10-26: add by m2/dev
Algorithm SQRA5BPME9
| URI | m2://inv/SQRA5BPME9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto-PAn#AZTP, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Manindra Agrawal SQRMFTW16K
| URI | m2://inv/SQRMFTW16K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#D5RV, Manindra Agrawal (unknown)
History
- 2026-11-02: add by m2/dev
Ford–Fulkerson algorithm SQRZJG2MV2
| URI | m2://inv/SQRZJG2MV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ford–Fulkerson algorithm, Ford–Fulkerson algorithm (definition). Also Wikidata Q284695
History
- 2026-11-02: add by m2/dev
Variants SQS2K6CX4Q
| URI | m2://inv/SQS2K6CX4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kondo model#XDUW, Variants (statement)
History
- 2026-11-02: add by m2/dev
SQS37C8PHX SQS37C8PHX
| URI | m2://inv/SQS37C8PHX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#HZTO (example). In RQZGQG3PBR/e1, example Example
History
- 2026-10-30: add by m2/v0.4.12
SQS9X062ZJ SQS9X062ZJ
| URI | m2://inv/SQS9X062ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#PHE0 (statement). In 332PQD90SW/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
Properties SQSCBMGRCW
| URI | m2://inv/SQSCBMGRCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normed vector lattice#RJ4X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Argument from fallacy SQSH0D4NXD
| URI | m2://inv/SQSH0D4NXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#H6OK, Argument from fallacy (definition)
History
- 2026-11-02: add by m2/dev
Lectures in Geometric Combinatorics SQSNQD1D9H
| URI | m2://inv/SQSNQD1D9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lectures in Geometric Combinatorics, Lectures in Geometric Combinatorics (definition). Also Wikidata Q104849164
History
- 2026-11-02: add by m2/dev
Introductio in analysin infinitorum SQSTGEHF5Y
| URI | m2://inv/SQSTGEHF5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#K4JA, Introductio in analysin infinitorum (definition)
History
- 2026-11-02: add by m2/dev
Marginal-gain factorization SQT1NBR7N7
| URI | m2://inv/SQT1NBR7N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37247#7JZ8, Marginal-gain factorization (statement). In HMA5T6VHCN/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
SQT28JPNS8 SQT28JPNS8
| URI | m2://inv/SQT28JPNS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#F5DB (statement)
History
- 2026-11-02: add by m2/v0.6.18
SQT39TGZ4A SQT39TGZ4A
| URI | m2://inv/SQT39TGZ4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1603.00857#KUZR (statement). In XT50B5RJF5/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Lucas–Lehmer residue SQT4REEXDB
| URI | m2://inv/SQT4REEXDB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas–Lehmer primality test#URQC, Lucas–Lehmer residue (unknown)
History
- 2026-11-02: add by m2/dev
SQT4V0NATW SQT4V0NATW
| URI | m2://inv/SQT4V0NATW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.37252#SXYV (statement). In E3EK0ESPA7/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Cauchy's stress theorem—stress tensor SQT6BHZ168
| URI | m2://inv/SQT6BHZ168 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor#JR59, Cauchy's stress theorem—stress tensor (statement)
History
- 2026-11-02: add by m2/dev
SQT6EF9J52 SQT6EF9J52
| URI | m2://inv/SQT6EF9J52 |
|---|---|
| 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 2508.17135#1EM7 (definition). In 74MXJ2RX4B/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.5
RED/BLACK concept SQTMYZ9HTS
| URI | m2://inv/SQTMYZ9HTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#8XWA, RED/BLACK concept (definition)
History
- 2026-11-02: add by m2/dev
SQTT7VTRDQ SQTT7VTRDQ
| URI | m2://inv/SQTT7VTRDQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#78H7 (unknown). In 32ZZ1DETCX/e1, unknown 4.9
History
- 2026-10-27: add by m2/v0.3.5
Francesca Biagini SQTTPGT1S1
| URI | m2://inv/SQTTPGT1S1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesca Biagini, Francesca Biagini (topic). Also Wikidata Q102434293
History
- 2026-11-02: add by m2/dev
SQV33JVQP9 SQV33JVQP9
| URI | m2://inv/SQV33JVQP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#1YP7 (statement). In YY4KFNMPC0/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
number field SQV4KG6RAC
| URI | m2://inv/SQV4KG6RAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#AZQV, number field (definition)
History
- 2026-11-02: add by m2/dev
SQV5DKHJHN SQV5DKHJHN
| URI | m2://inv/SQV5DKHJHN |
|---|---|
| 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.36321#I0WB (statement). In 3KTZ6Z615H/e1, proposition 6.9
History
- 2026-10-30: add by m2/v0.4.12
John David Crawford SQV5GQNRPJ
| URI | m2://inv/SQV5GQNRPJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John David Crawford, John David Crawford (topic). Also Wikidata Q20656840
History
- 2026-11-02: add by m2/dev
Modulo SQV6J34EYY
| URI | m2://inv/SQV6J34EYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulo (mathematics), Modulo (definition). Also Wikidata Q1415345
History
- 2026-11-02: add by m2/dev
The universal half-mean factor is sharp SQV9YPM2YV
| URI | m2://inv/SQV9YPM2YV |
|---|---|
| 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#OQHW, The universal half-mean factor is sharp (statement). In 9YAE8FNQST/e1, proposition 27.5
History
- 2026-10-30: add by m2/v0.4.12
SQVBMR2CPP SQVBMR2CPP
| URI | m2://inv/SQVBMR2CPP |
|---|---|
| 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.36181#QTIP (statement). In 1KSE33PVS6/e1, theorem 64
History
- 2026-10-30: add by m2/v0.4.12
SQVRERK2DG SQVRERK2DG
| URI | m2://inv/SQVRERK2DG |
|---|---|
| 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.20656#N2HH (statement)
History
- 2026-11-02: add by m2/v0.6.18
SQW1YYDD4J SQW1YYDD4J
| URI | m2://inv/SQW1YYDD4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#M98Q (statement). In S8NB83KQX3/e1, lemma 12
History
- 2026-10-31: add by m2/v0.5.6
Reciprocity laws SQW59BQXXM
| URI | m2://inv/SQW59BQXXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential of the first kind#KGZQ, Reciprocity laws (statement)
History
- 2026-11-02: add by m2/dev
Pythagorean trigonometric identity SQW5Z61XWV
| URI | m2://inv/SQW5Z61XWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#JKOD, Pythagorean trigonometric identity (statement)
History
- 2026-11-02: add by m2/dev
SQW6KR08Q1 SQW6KR08Q1
| URI | m2://inv/SQW6KR08Q1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#EVAG (statement). In W5XRKWDADE/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
Elementary all-metric exclusions SQWARQ22Z6
| URI | m2://inv/SQWARQ22Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#7ES3, Elementary all-metric exclusions (statement). In KFEASG3ZHS/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Gauss's lemma SQWBVHQPMW
| URI | m2://inv/SQWBVHQPMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential geometry of surfaces#P8NL, Gauss's lemma (statement)
History
- 2026-11-02: add by m2/dev
SQWDCWYJ45 SQWDCWYJ45
| URI | m2://inv/SQWDCWYJ45 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:transportequiv (example). In N54F33XE07, eg, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
SQWPWD1FM7 SQWPWD1FM7
| URI | m2://inv/SQWPWD1FM7 |
|---|---|
| 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.39706#6FHN (statement). In 79Y8JJMKP4/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
SQWVVXM1X9 SQWVVXM1X9
| URI | m2://inv/SQWVVXM1X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.25353#12J9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQWZBW78XV SQWZBW78XV
| URI | m2://inv/SQWZBW78XV |
|---|---|
| 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 2401.00191#OSGZ (definition). In ZMH2KJDAWJ/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Formal definitions SQWZNABF8M
| URI | m2://inv/SQWZNABF8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular singular point#STRC, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
SQX02YHNMR SQX02YHNMR
| URI | m2://inv/SQX02YHNMR |
|---|---|
| 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.31604#1XY8 (statement). In GSN5YTQS2K/e1, lemma 1.23
History
- 2026-10-31: add by m2/v0.5.6
SQX03Z6M6A SQX03Z6M6A
| URI | m2://inv/SQX03Z6M6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#GBWC (statement). In V7SN19J84T/e1, corollary 7.10
History
- 2026-10-28: add by m2/v0.4.2
Channel-resolved Maass--Selberg term for \(\Gamma_0(T)\ SQX1464DGP
| URI | m2://inv/SQX1464DGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#Y0VO, Channel-resolved Maass--Selberg term for \(\Gamma_0(T)\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
SQX34H722B SQX34H722B
| URI | m2://inv/SQX34H722B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.36823#YCV1 (statement). In 55WT8DME6Y/e1, corollary 2.4
History
- 2026-10-30: add by m2/v0.4.12
kernel SQX979P0VQ
| URI | m2://inv/SQX979P0VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#6F4K, kernel (definition)
History
- 2026-11-02: add by m2/dev
Hoàng Xuân Sính SQXFE134XA
| URI | m2://inv/SQXFE134XA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10769120, Hoàng Xuân Sính (unknown). Also nLab Hoàng Xuân Sính
- wikipedia: Wikipedia Hoàng Xuân Sính, Hoàng Xuân Sính (topic). Also Wikidata Q10769120
History
- 2026-10-26: add by m2/dev
Normalization stability SQXMYBT7RJ
| URI | m2://inv/SQXMYBT7RJ |
|---|---|
| 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.11309#DMMV, Normalization stability (statement). In TTEAQA1XXR/e1, lemma C.5
History
- 2026-10-28: add by m2/v0.4.3
inflection SQXQ9SE7KF
| URI | m2://inv/SQXQ9SE7KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#DXYM, inflection (definition)
History
- 2026-11-02: add by m2/dev
\mycite{celisse:hal-02548917}(Lemma 28 SQXS59P4X3
| URI | m2://inv/SQXS59P4X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#GPW8, \mycite{celisse:hal-02548917}(Lemma 28 (statement)
History
- 2026-11-02: add by m2/v0.6.18
SQXV5ZSKN6 SQXV5ZSKN6
| URI | m2://inv/SQXV5ZSKN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#UW9D (statement). In EXA79VR78Q/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Geometric Poisson distribution SQXVWS03QW
| URI | m2://inv/SQXVWS03QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric Poisson distribution, Geometric Poisson distribution (definition). Also Wikidata Q18207355
History
- 2026-11-02: add by m2/dev
Applications SQY03X459Q
| URI | m2://inv/SQY03X459Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biological neuron model#LAH7, Applications (example)
History
- 2026-11-02: add by m2/dev
locally free sheaf SQY1N3Z4SM
| URI | m2://inv/SQY1N3Z4SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6664699, locally free sheaf (unknown). Also nLab algebraic vector bundle
History
- 2026-10-26: add by m2/dev
Definition SQY674SA3Y
| URI | m2://inv/SQY674SA3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action algebra#IP0Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Self-adjoint morphism SQY6Q50ZZ1
| URI | m2://inv/SQY6Q50ZZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger category#05K1, Self-adjoint morphism (unknown)
History
- 2026-11-02: add by m2/dev
SQYHCQ7902 SQYHCQ7902
| URI | m2://inv/SQYHCQ7902 |
|---|---|
| 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.17541#WJAF (statement). In 9PHDBFMHH6/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Lucky numbers of Euler SQYMNECZKE
| URI | m2://inv/SQYMNECZKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#QU5D, Lucky numbers of Euler (unknown)
History
- 2026-11-02: add by m2/dev
SQYR0M5W9N SQYR0M5W9N
| URI | m2://inv/SQYR0M5W9N |
|---|---|
| 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 2011.05871#DW9A (statement). In 399GJ6EEC2/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Development of the laws SQYSZBJQGS
| URI | m2://inv/SQYSZBJQGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler orbit#YN7Y, Development of the laws (statement)
History
- 2026-11-02: add by m2/dev
Terminology SQYV3KF4JY
| URI | m2://inv/SQYV3KF4JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size#VOU9, Terminology (definition)
History
- 2026-11-02: add by m2/dev
SQYXHZQ5SK SQYXHZQ5SK
| URI | m2://inv/SQYXHZQ5SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#FP92 (statement). In KS30K5JXGB/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
SSM Stability SQZ0F0GZEX
| URI | m2://inv/SQZ0F0GZEX |
|---|---|
| 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.02659#SNHA, SSM Stability (definition). In EV933413SJ/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Topological combinatorics SQZ7JE66M2
| URI | m2://inv/SQZ7JE66M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#EJFF, Topological combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Hanner's inequalities SQZ92Z8ASY
| URI | m2://inv/SQZ92Z8ASY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#9ROB, Hanner's inequalities (definition)
History
- 2026-11-02: add by m2/dev
SQZSA2CBY8 SQZSA2CBY8
| URI | m2://inv/SQZSA2CBY8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Consequences of the fundamental theorem SQZX2Q4A45
| URI | m2://inv/SQZX2Q4A45 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#YEVG, Consequences of the fundamental theorem (statement)
History
- 2026-11-02: add by m2/dev