Inventory rows 5C
The cards of the rows of the inventory whose ids start with 5C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Symmetric 5C092Q9RKN
| URI | m2://inv/5C092Q9RKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#4585, Symmetric (definition)
History
- 2026-11-02: add by m2/dev
classifier, subobject 5C0BZPRE6Z
| URI | m2://inv/5C0BZPRE6Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/classifier-subobject, classifier, subobject (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
5C0ECD3V2J 5C0ECD3V2J
| URI | m2://inv/5C0ECD3V2J |
|---|---|
| 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 2609.36509#DVX6 (statement). In DPJ15KW23C/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Parallelepiped 5C0FS5T0BR
| URI | m2://inv/5C0FS5T0BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KU0W, Parallelepiped (definition)
History
- 2026-11-02: add by m2/dev
5C0HVFF0T0 5C0HVFF0T0
| URI | m2://inv/5C0HVFF0T0 |
|---|---|
| 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 1903.11969#Q26Y (statement). In 9N4EV3GRM7/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
5C0HYF6PXG 5C0HYF6PXG
| URI | m2://inv/5C0HYF6PXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#RW97 (statement). In 6WJ0R9YEBR/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
5C0MX1N5G9 5C0MX1N5G9
| URI | m2://inv/5C0MX1N5G9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:dersconvergecomplex (statement). In E59CDZA4DP, thm, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Space syntax 5C0WHZAZ3K
| URI | m2://inv/5C0WHZAZ3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#OHW9, Space syntax (unknown)
History
- 2026-11-02: add by m2/dev
Proposition (Rees) 5C0WMF754V
| URI | m2://inv/5C0WMF754V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#HU7R, Proposition (Rees) (statement)
History
- 2026-11-02: add by m2/dev
Kant's antinomies 5C0XXC7EXF
| URI | m2://inv/5C0XXC7EXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kant's antinomies, Kant's antinomies (definition). Also Wikidata Q578865
History
- 2026-11-02: add by m2/dev
5C16ZE2XS1 5C16ZE2XS1
| URI | m2://inv/5C16ZE2XS1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.27931#AX1Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
syncategorematic terms 5C1843T4JQ
| URI | m2://inv/5C1843T4JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SU39, syncategorematic terms (definition)
History
- 2026-11-02: add by m2/dev
5C1QP6V9RD 5C1QP6V9RD
| URI | m2://inv/5C1QP6V9RD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#37I0 (definition). In G70Q2FB591/e1, definition 3.20
History
- 2026-10-28: add by m2/v0.4.2
5C1SGRYD9T 5C1SGRYD9T
| URI | m2://inv/5C1SGRYD9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#PR5O (statement). In N3P196CEAJ/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Applications 5C1TNA2FKZ
| URI | m2://inv/5C1TNA2FKZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase space#30HV, Applications (example)
History
- 2026-11-02: add by m2/dev
Message estimate 5C1TXXP223
| URI | m2://inv/5C1TXXP223 |
|---|---|
| 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.20414#U58E, Message estimate (statement). In X2NNNW8CX5/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
Nondegeneracy 5C26EY04AE
| URI | m2://inv/5C26EY04AE |
|---|---|
| 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.01883#NOHO, Nondegeneracy (statement). In CYV4P9TDV0/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.12
Minimum free energy and maximum work principles 5C26KYMZR2
| URI | m2://inv/5C26KYMZR2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmholtz free energy#E04D, Minimum free energy and maximum work principles (statement)
History
- 2026-11-02: add by m2/dev
Local criterion for flatness 5C2A4V8FR9
| URI | m2://inv/5C2A4V8FR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local criterion for flatness, Local criterion for flatness (statement). Also Wikidata Q60790246
History
- 2026-11-02: add by m2/dev
Response surface methodology 5C2CED5FPB
| URI | m2://inv/5C2CED5FPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IRXY, Response surface methodology (definition)
History
- 2026-11-02: add by m2/dev
5C2CWYGGSZ 5C2CWYGGSZ
| URI | m2://inv/5C2CWYGGSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#definition-1 (definition). In RZP28ERRZV, definition, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
5C2V684FTB 5C2V684FTB
| URI | m2://inv/5C2V684FTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#def:topological_manif (definition). In RZP28ERRZV, definition, section 44.1
History
- 2026-11-01: add by m2/v0.6.13
Properties of the compound Poisson process 5C2XSY24EM
| URI | m2://inv/5C2XSY24EM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound Poisson process#FSDV, Properties of the compound Poisson process (statement)
History
- 2026-11-02: add by m2/dev
diagonal matrix 5C3P7NKXPT
| URI | m2://inv/5C3P7NKXPT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.6.1/diagonal-matrix, diagonal matrix (concept). In E9HS8K3A52, index, section 10.6.1
History
- 2026-11-01: add by m2/v0.6.13
Spector 5C3YJXN9FJ
| URI | m2://inv/5C3YJXN9FJ |
|---|---|
| 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.19088#KYE7, Spector (statement). In 90QTB4CC31/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
5C4646RMJ4 5C4646RMJ4
| URI | m2://inv/5C4646RMJ4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-43 (proof). In VNMV985MXX, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Quotient rule 5C4DC48YN0
| URI | m2://inv/5C4DC48YN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product integral#6IOA, Quotient rule (definition)
History
- 2026-11-02: add by m2/dev
5C4DP6QWWY 5C4DP6QWWY
| URI | m2://inv/5C4DP6QWWY |
|---|---|
| Kind | example |
| 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.09694#4K4L (example). In 7VXBVQ5SAC/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.10
5C4NBVRRGJ 5C4NBVRRGJ
| URI | m2://inv/5C4NBVRRGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-combperm.ptx#example-3 (example). In Y91XFCEVHQ, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
5C4T3E7XDF 5C4T3E7XDF
| URI | m2://inv/5C4T3E7XDF |
|---|---|
| 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#OW02 (statement). In 37S7MNMZ2F/e1, proposition 45
History
- 2026-10-27: add by m2/v0.3.5
Lindemann–Weierstrass theorem 5C4X4RJ7MG
| URI | m2://inv/5C4X4RJ7MG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#5UQ6, Lindemann–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
geometric class field theory 5C4YAXM5G4
| URI | m2://inv/5C4YAXM5G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28458660, geometric class field theory (unknown). Also nLab geometric class field theory
- wikipedia: Wikipedia Geometric class field theory, Geometric class field theory (definition). Also Wikidata Q28458660
History
- 2026-10-26: add by m2/dev
5C511SR4VR 5C511SR4VR
| URI | m2://inv/5C511SR4VR |
|---|---|
| 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 2308.05715#IWV8 (statement). In FC0SB9JFWH/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Dignāga 5C54GPKP8R
| URI | m2://inv/5C54GPKP8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dignāga, Dignāga (topic). Also Wikidata Q558272
History
- 2026-11-02: add by m2/dev
5C5F7WKZRG 5C5F7WKZRG
| URI | m2://inv/5C5F7WKZRG |
|---|---|
| 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.36412#UXQD (statement). In 6HKGGCMBCK/e1, proposition 2.10
History
- 2026-10-30: add by m2/v0.4.12
5C5KRNC47X 5C5KRNC47X
| URI | m2://inv/5C5KRNC47X |
|---|---|
| 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.26001#WZPO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Differential privacy 5C5M1AF4X3
| URI | m2://inv/5C5M1AF4X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential privacy, Differential privacy (definition). Also Wikidata Q5275358
History
- 2026-11-02: add by m2/dev
Comonotonicity 5C5MM98VJA
| URI | m2://inv/5C5MM98VJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comonotonicity, Comonotonicity (definition). Also Wikidata Q5155190
History
- 2026-11-02: add by m2/dev
Pauli matrices 5C5NQ9BPMY
| URI | m2://inv/5C5NQ9BPMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#HUGH, Pauli matrices (definition)
- wikipedia: Wikipedia List of Lie groups topics#TMIB, Pauli matrices (definition)
History
- 2026-11-02: add by m2/dev
5C5QDKCTJ5 5C5QDKCTJ5
| URI | m2://inv/5C5QDKCTJ5 |
|---|---|
| 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 1008.4946#5M8I (statement). In R4ZM6Q4SHH/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
5C5SFBHK8R 5C5SFBHK8R
| URI | m2://inv/5C5SFBHK8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-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 2204.04317#G4TD (statement). In 49V3ANDZTY/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
Sketch 5C69ERWES7
| URI | m2://inv/5C69ERWES7 |
|---|---|
| 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#C9IH, Sketch (definition). In 9DQKY7KGE8/e1, definition B.8
History
- 2026-10-31: add by m2/v0.5.6
Action of $q^n$ on Indices 5C6A5VVRY3
| URI | m2://inv/5C6A5VVRY3 |
|---|---|
| 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.21131#JEPA, Action of $q^n$ on Indices (statement). In CPYWHRTPKC/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.4.2
List of things named after Carl Friedrich Gauss 5C6D5D65M0
| URI | m2://inv/5C6D5D65M0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#1FBR, List of things named after Carl Friedrich Gauss (topic)
History
- 2026-11-02: add by m2/dev
5C6E46S7CG 5C6E46S7CG
| URI | m2://inv/5C6E46S7CG |
|---|---|
| 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 2609.34020#KZ5R (statement). In DAMYG8BFAK/e1, lemma 4.14
History
- 2026-10-30: add by m2/v0.4.12
5C6NC8M80R 5C6NC8M80R
| URI | m2://inv/5C6NC8M80R |
|---|---|
| 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.03661#R1RD (statement). In ESDKTYDHC8/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
5C72P00RBZ 5C72P00RBZ
| URI | m2://inv/5C72P00RBZ |
|---|---|
| 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.15525#DCAL (statement). In EFDRME13PT/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Mutual knowledge 5C74DNMXSG
| URI | m2://inv/5C74DNMXSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual knowledge, Mutual knowledge (definition). Also Wikidata Q48968435
History
- 2026-11-02: add by m2/dev
Harmonia (philosophy) 5C772MWWG7
| URI | m2://inv/5C772MWWG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagoreanism#Q41V, Harmonia (philosophy) (unknown)
History
- 2026-11-02: add by m2/dev
5C78QA0EJ8 5C78QA0EJ8
| URI | m2://inv/5C78QA0EJ8 |
|---|---|
| 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 1902.04230#NVKZ (statement). In 22JZ68FGCW/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
5C7AR14TGX 5C7AR14TGX
| URI | m2://inv/5C7AR14TGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24878#ZF8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Consequence of Sutherland's algorithms 5C7EHTTZX2
| URI | m2://inv/5C7EHTTZX2 |
|---|---|
| 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.08280#ZI5M, Consequence of Sutherland's algorithms (statement). In EGADPYP7R3/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
5C7FMP2J6C 5C7FMP2J6C
| URI | m2://inv/5C7FMP2J6C |
|---|---|
| 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.18555#F0XH (statement). In JPR62EY6A5/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Euclidean affine space 5C7MGXCP9A
| URI | m2://inv/5C7MGXCP9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > Euclidean affine space, Euclidean affine space (unknown). Also Mathlib NormedAddTorsor
History
- 2026-10-26: add by m2/dev
5C7N369KVZ 5C7N369KVZ
| URI | m2://inv/5C7N369KVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.35102#53D1 (statement). In XK6H7F2F13/e1, corollary 1.8
History
- 2026-10-30: add by m2/v0.4.12
Variants 5C7XDSDHY4
| URI | m2://inv/5C7XDSDHY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy#5O8O, Variants (statement)
History
- 2026-11-02: add by m2/dev
Cumulants and Entropy 5C8019HTR1
| URI | m2://inv/5C8019HTR1 |
|---|---|
| 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.23994#CA6O, Cumulants and Entropy (statement)
History
- 2026-11-02: add by m2/v0.6.17
Euler summation 5C89S4AFR6
| URI | m2://inv/5C89S4AFR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#JI77, Euler summation (definition)
History
- 2026-11-02: add by m2/dev
5C8A7ZWPCW 5C8A7ZWPCW
| URI | m2://inv/5C8A7ZWPCW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
Lemma 5C8CB85Y24
| URI | m2://inv/5C8CB85Y24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BPP (complexity)#IIP0, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Cluster expansion 5C8D6W1X6T
| URI | m2://inv/5C8D6W1X6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster expansion, Cluster expansion (definition). Also Wikidata Q5136697
History
- 2026-11-02: add by m2/dev
Andrey Gonchar 5C8FG2X0GC
| URI | m2://inv/5C8FG2X0GC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrey Gonchar, Andrey Gonchar (topic). Also Wikidata Q4143171
History
- 2026-11-02: add by m2/dev
Minimal model program 5C8FXX33G9
| URI | m2://inv/5C8FXX33G9 |
|---|---|
| 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.33679#U6ED, Minimal model program (definition). In 3N9E9T6AF5/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Jacques Distler 5C8GJZXMYT
| URI | m2://inv/5C8GJZXMYT |
|---|---|
| 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 Q6120564, Jacques Distler (unknown). Also nLab Jacques Distler
History
- 2026-10-26: add by m2/dev
5C8HT2KY1B 5C8HT2KY1B
| URI | m2://inv/5C8HT2KY1B |
|---|---|
| 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.02295#FYS0 (statement). In PEBD9ZMA1W/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
5C8HTNY17K 5C8HTNY17K
| URI | m2://inv/5C8HTNY17K |
|---|---|
| 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.38138#R23G (definition). In G97FA99ZEF/e1, definition A.6
History
- 2026-10-30: add by m2/v0.4.12
De Bruijn's theorem 5C8NXX0433
| URI | m2://inv/5C8NXX0433 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OLMS, De Bruijn's theorem (statement)
History
- 2026-11-02: add by m2/dev
V. Kumar Murty 5C8RBM0ZFV
| URI | m2://inv/5C8RBM0ZFV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#11AA, V. Kumar Murty (topic)
History
- 2026-11-02: add by m2/dev
Forcing graph 5C8SN6NW41
| URI | m2://inv/5C8SN6NW41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing graph, Forcing graph (definition). Also Wikidata Q111945792
History
- 2026-11-02: add by m2/dev
5C8WBP86MK 5C8WBP86MK
| URI | m2://inv/5C8WBP86MK |
|---|---|
| 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.21414#EQ4C (statement)
History
- 2026-11-02: add by m2/v0.6.18
The indicator of $\Qcode$ 5C8WVA8FD4
| URI | m2://inv/5C8WVA8FD4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#XHPG, The indicator of $\Qcode$ (example). In DSXBMRYE0V/e1, example Example
History
- 2026-10-29: add by m2/v0.4.10
5C8Y9JTTBK 5C8Y9JTTBK
| URI | m2://inv/5C8Y9JTTBK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#OOUM (definition). In 90QTB4CC31/e1, definition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Daniel R. Jeske 5C8ZFDV493
| URI | m2://inv/5C8ZFDV493 |
|---|---|
| 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#7QL1, Daniel R. Jeske (topic)
History
- 2026-11-02: add by m2/dev
5C92H2AHZD 5C92H2AHZD
| URI | m2://inv/5C92H2AHZD |
|---|---|
| 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 2609.23972#C0C2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
5C9BJ459YM 5C9BJ459YM
| URI | m2://inv/5C9BJ459YM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#NJZ9 (definition). In SHCQDPCF2J/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Imperceptible watermark 5C9BXFRAVH
| URI | m2://inv/5C9BXFRAVH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital watermarking#I46T, Imperceptible watermark (unknown)
History
- 2026-11-02: add by m2/dev
Main conjectures 5C9G3ZDHS5
| URI | m2://inv/5C9G3ZDHS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic zeta function#W6FL, Main conjectures (statement)
History
- 2026-11-02: add by m2/dev
Boundary continuation identities 5C9JJA95NN
| URI | m2://inv/5C9JJA95NN |
|---|---|
| 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.33360#72WS, Boundary continuation identities (statement). In GH6FSDK4YB/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Richard Cleve 5CA0Q75Q2V
| URI | m2://inv/5CA0Q75Q2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Cleve, Richard Cleve (topic). Also Wikidata Q7324790
History
- 2026-11-02: add by m2/dev
5CA137D6G7 5CA137D6G7
| URI | m2://inv/5CA137D6G7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
Limit of the regularized normalizers 5CA3S74Q5G
| URI | m2://inv/5CA3S74Q5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#N4S1, Limit of the regularized normalizers (statement). In AMRWRJDNKJ/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem 2 5CAAFQG52D
| URI | m2://inv/5CAAFQG52D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#KEZQ, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Depth tail, radius-free 5CAK0KSTQM
| URI | m2://inv/5CAK0KSTQM |
|---|---|
| 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.25015#BL5S, Depth tail, radius-free (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 5CAN5TNQYY
| URI | m2://inv/5CAN5TNQYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kulkarni–Nomizu product#DVA6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minkowski problem 5CARTYPR7R
| URI | m2://inv/5CARTYPR7R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski problem, Minkowski problem (problem). Also Wikidata Q4183831
History
- 2026-11-02: add by m2/dev
Tamás Szőnyi 5CAXVP709C
| URI | m2://inv/5CAXVP709C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EVCW, Tamás Szőnyi (unknown)
History
- 2026-11-02: add by m2/dev
5CAZC2B7Z1 5CAZC2B7Z1
| URI | m2://inv/5CAZC2B7Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.13100#LKJG (statement). In CC6S1HVK0T/e1, proposition 6.7
History
- 2026-10-28: add by m2/v0.4.2
5CB3725NAE 5CB3725NAE
| URI | m2://inv/5CB3725NAE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-258 (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 5CB5G8ZRDN
| URI | m2://inv/5CB5G8ZRDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main effect#KYNJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
5CBB4XXH88 5CBB4XXH88
| URI | m2://inv/5CBB4XXH88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#2FUA (statement). In PF5JJ9DS8Q/e1, proposition 5.1.5
History
- 2026-10-28: add by m2/v0.4.2
Bhramar Mukherjee 5CBC409R5C
| URI | m2://inv/5CBC409R5C |
|---|---|
| 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#C2NU, Bhramar Mukherjee (topic)
History
- 2026-11-02: add by m2/dev
5CBDEJ2Y1N 5CBDEJ2Y1N
| URI | m2://inv/5CBDEJ2Y1N |
|---|---|
| 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.17408#H1HR (statement). In QR8H4M1X4N/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Syntax 5CBS4DY1TK
| URI | m2://inv/5CBS4DY1TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntax (logic), Syntax (definition). Also Wikidata Q2395230
History
- 2026-11-02: add by m2/dev
5CBT812Y23 5CBT812Y23
| URI | m2://inv/5CBT812Y23 |
|---|---|
| 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.06419#T06H (statement). In JSZRXT3W3E/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Examples 5CBTD2YPZC
| URI | m2://inv/5CBTD2YPZC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived set (mathematics)#PA4Z, Examples (example)
History
- 2026-11-02: add by m2/dev
5CBX0YNNC1 5CBX0YNNC1
| URI | m2://inv/5CBX0YNNC1 |
|---|---|
| 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.34613#O05L (statement). In JPR86T9Y78/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Gerolamo Cardano 5CBXGFK46G
| URI | m2://inv/5CBXGFK46G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#KAL9, Gerolamo Cardano (topic)
History
- 2026-11-02: add by m2/dev
Weyl expansion 5CCFXSPSXE
| URI | m2://inv/5CCFXSPSXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#YR5Z, Weyl expansion (definition)
History
- 2026-11-02: add by m2/dev
5CCJ4NPTKN 5CCJ4NPTKN
| URI | m2://inv/5CCJ4NPTKN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
5CCZK4EAHZ 5CCZK4EAHZ
| URI | m2://inv/5CCZK4EAHZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-7 (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
Cut 5CD4HN58KV
| URI | m2://inv/5CD4HN58KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cuts.tex#defn-1, Cut (definition). In PKGMM3P5QY, defn, section 78.3
History
- 2026-11-01: add by m2/v0.6.13
O-Matrix 5CDAYK5VJC
| URI | m2://inv/5CDAYK5VJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#QEKS, O-Matrix (unknown)
History
- 2026-11-02: add by m2/dev
5CDBFJ4M7B 5CDBFJ4M7B
| URI | m2://inv/5CDBFJ4M7B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
5CDDC7T2P0 5CDDC7T2P0
| URI | m2://inv/5CDDC7T2P0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#5R6C (definition). In KBH265QSBT/e1, definition 8.7
History
- 2026-10-29: add by m2/v0.4.10
Five summands below half Gaussian mass 5CDFP8SDBP
| URI | m2://inv/5CDFP8SDBP |
|---|---|
| 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#8IXI, Five summands below half Gaussian mass (statement). In 9YAE8FNQST/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Definition 5CDG76EDRJ
| URI | m2://inv/5CDG76EDRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path (topology)#BU2B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem 5CDKHZ3Y3H
| URI | m2://inv/5CDKHZ3Y3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singleton bound#PYK5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5CDRPZV944 5CDRPZV944
| URI | m2://inv/5CDRPZV944 |
|---|---|
| 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.26713#UILB (statement)
History
- 2026-11-01: add by m2/v0.6.15
5CDSJ2NFET 5CDSJ2NFET
| URI | m2://inv/5CDSJ2NFET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16208#9UUN (definition). In 7R51MHWQF7/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Sun *{(4.25 5CE22733S5
| URI | m2://inv/5CE22733S5 |
|---|---|
| Kind | conjecture |
| 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.22304#3UX1, Sun *{(4.25 (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
5CEGQQDZ2V 5CEGQQDZ2V
| URI | m2://inv/5CEGQQDZ2V |
|---|---|
| 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.01225#GR19 (statement). In MFR807V4YG/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
5CEP3ZEWEZ 5CEP3ZEWEZ
| URI | m2://inv/5CEP3ZEWEZ |
|---|---|
| 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 2310.19073#6Q0Z (statement). In DK2ZSJ65ZV/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
5CES6TTA2C 5CES6TTA2C
| URI | m2://inv/5CES6TTA2C |
|---|---|
| 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 0803.0074#LI7Y (statement). In NWJEN5GWFV/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Correctness on manifolds 5CEV23CGWB
| URI | m2://inv/5CEV23CGWB |
|---|---|
| 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#JADP, Correctness on manifolds (statement)
History
- 2026-11-01: add by m2/v0.6.15
5CF70NC90F 5CF70NC90F
| URI | m2://inv/5CF70NC90F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.40028#8CDP (statement). In N8TDKGGC7S/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
5CF8DVYPZX 5CF8DVYPZX
| URI | m2://inv/5CF8DVYPZX |
|---|---|
| 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.02097#ST8B (statement). In DQSRCCAG6G/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
5CF8WRANG9 5CF8WRANG9
| URI | m2://inv/5CF8WRANG9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 17.11
History
- 2026-11-01: add by m2/v0.6.13
5CFFCSEP3M 5CFFCSEP3M
| URI | m2://inv/5CFFCSEP3M |
|---|---|
| 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 2403.16814#MA8A (statement). In MN03Z3PRFT/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Toshikazu Sunada 5CFPX1ZAR0
| URI | m2://inv/5CFPX1ZAR0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toshikazu Sunada, Toshikazu Sunada (topic). Also Wikidata Q1399383
History
- 2026-11-02: add by m2/dev
5CFQ6VNDET 5CFQ6VNDET
| URI | m2://inv/5CFQ6VNDET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#9CVG (statement). In ZJQB9W60T6/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
5CFSDZA64R 5CFSDZA64R
| URI | m2://inv/5CFSDZA64R |
|---|---|
| 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.14888#45GC (statement). In GN3ZT9DAD9/e1, theorem D.1
History
- 2026-10-28: add by m2/v0.4.2
Power commutativity 5CG7J8QDC1
| URI | m2://inv/5CG7J8QDC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-associative algebra#0MDQ, Power commutativity (unknown)
History
- 2026-11-02: add by m2/dev
Anadi Sankar Gupta 5CGB0SG7A9
| URI | m2://inv/5CGB0SG7A9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anadi Sankar Gupta, Anadi Sankar Gupta (topic). Also Wikidata Q4750757
History
- 2026-11-02: add by m2/dev
5CGPK8YVEG 5CGPK8YVEG
| URI | m2://inv/5CGPK8YVEG |
|---|---|
| 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 2212.00617#747L (statement). In K7505G10SS/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.3.5
5CGXNQ8R8J 5CGXNQ8R8J
| URI | m2://inv/5CGXNQ8R8J |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09314#KX0N (problem). In Z04N0B3R0V/e1, problem 4.3
History
- 2026-10-29: add by m2/v0.4.10
William S. Burnside 5CGZT6XNTA
| URI | m2://inv/5CGZT6XNTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William S. Burnside, William S. Burnside (topic). Also Wikidata Q74733538
History
- 2026-11-02: add by m2/dev
Curtis Callan 5CHF2GN31M
| URI | m2://inv/5CHF2GN31M |
|---|---|
| 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 Q331623, Curtis Callan (unknown). Also nLab Curtis Callan
History
- 2026-10-26: add by m2/dev
matrix product state 5CHPAWXK91
| URI | m2://inv/5CHPAWXK91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17149634, matrix product state (unknown). Also nLab matrix product state
- wikipedia: Wikipedia Matrix product state, Matrix product state (definition). Also Wikidata Q17149634
History
- 2026-10-26: add by m2/dev
exact differential form 5CHYKBPHYW
| URI | m2://inv/5CHYKBPHYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10492887, exact differential form (unknown). Also nLab exact form
History
- 2026-10-26: add by m2/dev
Tetrachoric correlation 5CJ03CRCR5
| URI | m2://inv/5CJ03CRCR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrachoric correlation, Tetrachoric correlation (definition). Also Wikidata Q30915545
History
- 2026-11-02: add by m2/dev
5CJ5F2J0D1 5CJ5F2J0D1
| URI | m2://inv/5CJ5F2J0D1 |
|---|---|
| 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.17188#TPLA (statement). In KP3ZYTMAN9/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Quart de Poblet 5CJ5VK3QQA
| URI | m2://inv/5CJ5VK3QQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CUN0, Quart de Poblet (unknown)
History
- 2026-11-02: add by m2/dev
Α/α 5CJ90WB07W
| URI | m2://inv/5CJ90WB07W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9887, Α/α (unknown). Also ProofWiki Symbols:Greek/Alpha
History
- 2026-10-26: add by m2/dev
Example 5CJGET4HKZ
| URI | m2://inv/5CJGET4HKZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix exponential#S6X1, Example (example)
History
- 2026-11-02: add by m2/dev
5CJN1FNT6E 5CJN1FNT6E
| URI | m2://inv/5CJN1FNT6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#ZVTR (statement). In D50WST4CG3/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 5CJVAENX5P
| URI | m2://inv/5CJVAENX5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young measure#BQLJ, Examples (example)
History
- 2026-11-02: add by m2/dev
5CJXY7S825 5CJXY7S825
| URI | m2://inv/5CJXY7S825 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-244 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Affine scheme 5CK1JXN0BZ
| URI | m2://inv/5CK1JXN0BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#MP8P, Affine scheme (definition)
History
- 2026-11-02: add by m2/dev
Cell kinds 5CKMNYV831
| URI | m2://inv/5CKMNYV831 |
|---|---|
| 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 math/0003117#AJUJ, Cell kinds (definition). In WD2NCBV9F0/e1, definition 12.4
History
- 2026-10-27: add by m2/v0.3.5
5CKNSV7GBC 5CKNSV7GBC
| URI | m2://inv/5CKNSV7GBC |
|---|---|
| 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.33469#83YX (statement). In TC5QA4AB4Z/e1, corollary 4.49
History
- 2026-10-30: add by m2/v0.4.12
Excess Energy Lemma {[, Lemma 2 5CKRZ2G215
| URI | m2://inv/5CKRZ2G215 |
|---|---|
| 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 2310.11101#03I4, Excess Energy Lemma {[, Lemma 2 (statement). In YBBKTP4E70/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
5CKT8BD11H 5CKT8BD11H
| URI | m2://inv/5CKT8BD11H |
|---|---|
| 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.38194#HN7M (statement). In M9BZSET9ZV/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Cohomology operation 5CKVPR8MAB
| URI | m2://inv/5CKVPR8MAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#8Z09, Cohomology operation (definition)
History
- 2026-11-02: add by m2/dev
5CKVZQ8J9Y 5CKVZQ8J9Y
| URI | m2://inv/5CKVZQ8J9Y |
|---|---|
| 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.09729#72JQ (statement). In 7CDD4HCYTV/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Meaning as use 5CKXJMG6MX
| URI | m2://inv/5CKXJMG6MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical Investigations#0MJ2, Meaning as use (unknown)
History
- 2026-11-02: add by m2/dev
5CKXPR2TWA 5CKXPR2TWA
| URI | m2://inv/5CKXPR2TWA |
|---|---|
| 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.06872#J7KM (statement). In J4H3A11MMX/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Tomohide Terasoma 5CM59Z0T57
| URI | m2://inv/5CM59Z0T57 |
|---|---|
| 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#1RFN, Tomohide Terasoma (unknown)
History
- 2026-11-02: add by m2/dev
Implementations 5CM5CBQW2A
| URI | m2://inv/5CM5CBQW2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum key distribution#CLO4, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Example 5CM5E21XPJ
| URI | m2://inv/5CM5E21XPJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem–Mahler–Lech theorem#FM8H, Example (example)
History
- 2026-11-02: add by m2/dev
Classical off-diagonal estimates 5CM7CBAG4B
| URI | m2://inv/5CM7CBAG4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#6KNL, Classical off-diagonal estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
Structural Alignment with Optimal Receiver 5CM9W8DXZ1
| URI | m2://inv/5CM9W8DXZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33695#J6Z2, Structural Alignment with Optimal Receiver (statement). In F0H13DV8VN/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
5CMCBQB6K5 5CMCBQB6K5
| URI | m2://inv/5CMCBQB6K5 |
|---|---|
| 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.30113#RDUU (statement)
History
- 2026-11-01: add by m2/v0.6.15
5CMNA7B586 5CMNA7B586
| URI | m2://inv/5CMNA7B586 |
|---|---|
| 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.15257#3BEK (statement). In 2R95BYW2V7/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
5CMST7S3YS 5CMST7S3YS
| URI | m2://inv/5CMST7S3YS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#334E (definition). In QNBFHFZ3H0/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
5CMTMJ5BYT 5CMTMJ5BYT
| URI | m2://inv/5CMTMJ5BYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#YV6K (statement). In P3HWTYFDBX/e1, corollary 6.16
History
- 2026-10-29: add by m2/v0.4.12
5CMVWH9E9A 5CMVWH9E9A
| URI | m2://inv/5CMVWH9E9A |
|---|---|
| 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 2207.05628#4UP3 (statement). In 9JPKTEWW4W/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.3.5
5CMXSR0RW8 5CMXSR0RW8
| URI | m2://inv/5CMXSR0RW8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
5CN0J8ZDPS 5CN0J8ZDPS
| URI | m2://inv/5CN0J8ZDPS |
|---|---|
| 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 2507.05923#8M95 (statement). In ZFKZ6YDT62/e1, lemma 14
History
- 2026-10-27: add by m2/v0.4.0
Special cases 5CN4VM64RF
| URI | m2://inv/5CN4VM64RF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mesh analysis#MMV5, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Construction 5CN7EE4Y16
| URI | m2://inv/5CN7EE4Y16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plücker surface#TZ8I, Construction (definition)
History
- 2026-11-02: add by m2/dev
5CNJ442ZF0 5CNJ442ZF0
| URI | m2://inv/5CNJ442ZF0 |
|---|---|
| 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 2207.07461#6SM3 (statement). In GAG532VMPF/e1, lemma 7.2.6
History
- 2026-10-27: add by m2/v0.3.5
5CNN8QW521 5CNN8QW521
| URI | m2://inv/5CNN8QW521 |
|---|---|
| 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.29903#DIP9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compact $\implies$ totally bounded 5CNRN40S3S
| URI | m2://inv/5CNRN40S3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proposition-2, Compact $\implies$ totally bounded (statement). In RZP28ERRZV, proposition, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
Stirling number 5CNSRQ68J5
| URI | m2://inv/5CNSRQ68J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling number, Stirling number (definition). Also Wikidata Q80918
History
- 2026-11-02: add by m2/dev
irregularity of distributions 5CP15909Y3
| URI | m2://inv/5CP15909Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4183837, irregularity of distributions (problem). Also MathWorld 18-PointProblem
- wikipedia: Wikipedia Irregularity of distributions, Irregularity of distributions (definition). Also Wikidata Q4183837
History
- 2026-10-26: add by m2/dev
5CP1NTY2S5 5CP1NTY2S5
| URI | m2://inv/5CP1NTY2S5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#RAWZ (definition). In SD43497T8C/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.3.5
5CP1XQH85N 5CP1XQH85N
| URI | m2://inv/5CP1XQH85N |
|---|---|
| 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#HGTD (statement). In F4M67ZVBF2/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
5CPBC70DCE 5CPBC70DCE
| URI | m2://inv/5CPBC70DCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#50PY (statement). In F8RC6AENB0/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
Extensions 5CPPV9JVTJ
| URI | m2://inv/5CPPV9JVTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True quantified Boolean formula#20Z3, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Luigi Poletti 5CPVHBMNT1
| URI | m2://inv/5CPVHBMNT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Poletti (mathematician), Luigi Poletti (topic). Also Wikidata Q1053961
History
- 2026-11-02: add by m2/dev
5CPW1DM5DA 5CPW1DM5DA
| URI | m2://inv/5CPW1DM5DA |
|---|---|
| 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.04503#DT26 (statement). In GWQP1XPM8E/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
5CPW32REGS 5CPW32REGS
| URI | m2://inv/5CPW32REGS |
|---|---|
| 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 2610.00789#O6US (definition). In 4WPYBTARS2/e1, definition 2.17
History
- 2026-10-29: add by m2/v0.4.12
vertex operator algebra 5CPZGB8WY9
| URI | m2://inv/5CPZGB8WY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 17B69 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28509, vertex operator algebra (topic). Also EoM Vertex_operator_algebra, nLab vertex operator algebra
- wikipedia: Wikipedia Vertex operator algebra, Vertex operator algebra (definition). Also Wikidata Q28509
History
- 2026-10-26: add by m2/dev
Uses 5CQ0K5D8FF
| URI | m2://inv/5CQ0K5D8FF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhetoric#H4NV, Uses (example)
History
- 2026-11-02: add by m2/dev
Charles Clayton Grove 5CQ9JFD3BB
| URI | m2://inv/5CQ9JFD3BB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Clayton Grove, Charles Clayton Grove (topic). Also Wikidata Q5076304
History
- 2026-11-02: add by m2/dev
Lemma 5CQDGA8ZKD
| URI | m2://inv/5CQDGA8ZKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius determinant theorem#E5T1, Lemma (statement)
History
- 2026-11-02: add by m2/dev
5CQG8JR30N 5CQG8JR30N
| URI | m2://inv/5CQG8JR30N |
|---|---|
| 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 2609.30067#55M5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 5CQHVWZ476
| URI | m2://inv/5CQHVWZ476 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survivorship bias#C9Y8, Examples (example)
History
- 2026-11-02: add by m2/dev
set theory, Zermelo--Fraenkel 5CQJV1P7PG
| URI | m2://inv/5CQJV1P7PG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u5/set-theory-zermelo-fraenkel, set theory, Zermelo--Fraenkel (concept). In N54F33XE07, index, section u1.u5
History
- 2026-11-01: add by m2/v0.6.13
valid 5CQPJ1QS6B
| URI | m2://inv/5CQPJ1QS6B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4/valid, valid (concept). In Y91XFCEVHQ, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
5CQR3JQNVG 5CQR3JQNVG
| URI | m2://inv/5CQR3JQNVG |
|---|---|
| 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.11455#577W (statement). In Z1EBVH5SP1/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.3
1-forest 5CQR8MMBQW
| URI | m2://inv/5CQR8MMBQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoforest#RKZ8, 1-forest (unknown)
History
- 2026-11-02: add by m2/dev
Properties of the overlap 5CQXD00BJM
| URI | m2://inv/5CQXD00BJM |
|---|---|
| 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.17403#ADYV, Properties of the overlap (statement). In 9EMNMAW8YH/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
5CR3Y0E6DX 5CR3Y0E6DX
| URI | m2://inv/5CR3Y0E6DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#XQRL (statement)
History
- 2026-11-01: add by m2/v0.6.15
5CR5VTSM6G 5CR5VTSM6G
| URI | m2://inv/5CR5VTSM6G |
|---|---|
| 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.11671#4Z8E (statement). In V06H8BAGEH/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.3
Algorithms + Data Structures = Programs 5CR7S4GWSB
| URI | m2://inv/5CR7S4GWSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#K5RQ, Algorithms + Data Structures = Programs (unknown)
History
- 2026-11-02: add by m2/dev
5CRBJMQZF9 5CRBJMQZF9
| URI | m2://inv/5CRBJMQZF9 |
|---|---|
| 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.16530#8WSE (statement). In G2BFEBAX2W/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
5CRCFD7D15 5CRCFD7D15
| URI | m2://inv/5CRCFD7D15 |
|---|---|
| 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.20110#Z0K9 (statement). In 1SAMKN4477/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.2
Worst-case computational complexity 5CREGPYTA9
| URI | m2://inv/5CREGPYTA9 |
|---|---|
| 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.14965#I9NC, Worst-case computational complexity (statement). In HNJB1WHQGZ/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Luis Radford 5CRNEX50JW
| URI | m2://inv/5CRNEX50JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luis Radford, Luis Radford (topic). Also Wikidata Q6701028
History
- 2026-11-02: add by m2/dev
5CRNF1QC6Y 5CRNF1QC6Y
| URI | m2://inv/5CRNF1QC6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#YUCA (statement). In 7NX9HA8VPM/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
5CRPY2GZRK 5CRPY2GZRK
| URI | m2://inv/5CRPY2GZRK |
|---|---|
| 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.29449#B5HO (statement)
History
- 2026-11-01: add by m2/v0.6.15
5CRQ1SNYY1 5CRQ1SNYY1
| URI | m2://inv/5CRQ1SNYY1 |
|---|---|
| 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.21005#M9V5 (statement). In E63NRC7MBE/e1, theorem 2.26
History
- 2026-10-27: add by m2/v0.4.2
5CRWTA37SY 5CRWTA37SY
| URI | m2://inv/5CRWTA37SY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.22288#MPYN (definition). In X38P26DK6S/e1, definition 3.18
History
- 2026-10-27: add by m2/v0.4.0
Definition 5CRXEYSKC4
| URI | m2://inv/5CRXEYSKC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carry-less product#9FFE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Edward Nelson 5CRYNKR59N
| URI | m2://inv/5CRYNKR59N |
|---|---|
| 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#YFBL, Edward Nelson (topic)
History
- 2026-11-02: add by m2/dev
natural numbers 5CS134GESA
| URI | m2://inv/5CS134GESA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.10/natural-numbers, natural numbers (concept). In N54F33XE07, index, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
5CS3XK72DW 5CS3XK72DW
| URI | m2://inv/5CS3XK72DW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
5CS40AGHS4 5CS40AGHS4
| URI | m2://inv/5CS40AGHS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#VNZ0 (statement). In SN6F0MPPVF/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
5CS4JQJV3H 5CS4JQJV3H
| URI | m2://inv/5CS4JQJV3H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-60 (exercise). In E9HS8K3A52, exercise, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
5CSC0D4P5P 5CSC0D4P5P
| URI | m2://inv/5CSC0D4P5P |
|---|---|
| Kind | definition |
| 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 1002.0879#GF99 (definition). In M0SQY5EZN5/e1, definition 2.3.1
History
- 2026-10-27: add by m2/v0.3.5
House with two rooms 5CSDRSAB3V
| URI | m2://inv/5CSDRSAB3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#IFDI, House with two rooms (definition)
History
- 2026-11-02: add by m2/dev
Pointwise bounds 5CSEE64978
| URI | m2://inv/5CSEE64978 |
|---|---|
| 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 1905.02785#HPGL, Pointwise bounds (statement). In PF9KV74Q02/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Compound of two dodecahedra 5CSFJ6YEGH
| URI | m2://inv/5CSFJ6YEGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two icosahedra#CH0A, Compound of two dodecahedra (unknown)
History
- 2026-11-02: add by m2/dev
5CSH3EPYTJ 5CSH3EPYTJ
| URI | m2://inv/5CSH3EPYTJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odd greedy expansion#F4V6 (problem)
History
- 2026-11-02: add by m2/dev
5CT5KTSKQT 5CT5KTSKQT
| URI | m2://inv/5CT5KTSKQT |
|---|---|
| Kind | statement |
| 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 0808.1331#JCCD (statement). In RB2B1N73P0/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
5CT6NNSQWC 5CT6NNSQWC
| URI | m2://inv/5CT6NNSQWC |
|---|---|
| Kind | statement |
| 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 2302.04566#OB8S (statement). In 80S2NP05HJ/e1, corollary 2.13
History
- 2026-10-27: add by m2/v0.4.0
Applications 5CTE7XBQ39
| URI | m2://inv/5CTE7XBQ39 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem#QMUB, Applications (example)
History
- 2026-11-02: add by m2/dev
5CTPRZGXFK 5CTPRZGXFK
| URI | m2://inv/5CTPRZGXFK |
|---|---|
| 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 1612.08394#EWG6 (statement). In 1P8D88DKG5/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
5CTS8HBE6B 5CTS8HBE6B
| URI | m2://inv/5CTS8HBE6B |
|---|---|
| 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 2609.37124#OEWY (definition). In 2QF1YG9DD0/e1, definition 3.10
History
- 2026-10-30: add by m2/v0.4.12
5CTTSFZ866 5CTTSFZ866
| URI | m2://inv/5CTTSFZ866 |
|---|---|
| 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.13852#006F (statement). In SXTGSAH3WF/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Weyl's inequality about perturbation 5CV04VE0GK
| URI | m2://inv/5CV04VE0GK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's inequality#DUMJ, Weyl's inequality about perturbation (statement)
History
- 2026-11-02: add by m2/dev
William Jones 5CV73E4V93
| URI | m2://inv/5CV73E4V93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Jones (mathematician), William Jones (topic). Also Wikidata Q371877
History
- 2026-11-02: add by m2/dev
5CVC4Q3NBQ 5CVC4Q3NBQ
| URI | m2://inv/5CVC4Q3NBQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#ZN2D (definition). In NBMA6DBKJG/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
5CVVF952VE 5CVVF952VE
| URI | m2://inv/5CVVF952VE |
|---|---|
| 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.23942#J84Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Susan Empson 5CVZSW996Y
| URI | m2://inv/5CVZSW996Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Empson, Susan Empson (topic). Also Wikidata Q102506880
History
- 2026-11-02: add by m2/dev
5CW2TRBNV0 5CW2TRBNV0
| URI | m2://inv/5CW2TRBNV0 |
|---|---|
| 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.25282#WGJ9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
H\"older's inequality 5CW74XHNN2
| URI | m2://inv/5CW74XHNN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#P76O, H\"older's inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
5CW8FA9D8J 5CW8FA9D8J
| URI | m2://inv/5CW8FA9D8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/identity.tex#ex-1 (example). In PKGMM3P5QY, ex, section 17.4
History
- 2026-11-01: add by m2/v0.6.13
5CWA2MS63G 5CWA2MS63G
| URI | m2://inv/5CWA2MS63G |
|---|---|
| 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 2609.31090#JOLX (statement). In SMTJDX0Q6R/e1, lemma 8.7
History
- 2026-10-31: add by m2/v0.5.6
Reliability engineering 5CWD5QWA00
| URI | m2://inv/5CWD5QWA00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability engineering, Reliability engineering (definition). Also Wikidata Q2193887
History
- 2026-11-02: add by m2/dev
5CWMZSEZ6Y 5CWMZSEZ6Y
| URI | m2://inv/5CWMZSEZ6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#73A3 (statement). In TPYRE2ARMD/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Nagata–Smirnov metrization theorem 5CWN1FNV6S
| URI | m2://inv/5CWN1FNV6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J9UH, Nagata–Smirnov metrization theorem (statement)
History
- 2026-11-02: add by m2/dev
5CWNMYMBBB 5CWNMYMBBB
| URI | m2://inv/5CWNMYMBBB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-135 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
J. Tits 5CX8PA22VK
| URI | m2://inv/5CX8PA22VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#VCAV, J. Tits (topic)
History
- 2026-11-02: add by m2/dev
5-cell prism 5CXF32PNMD
| URI | m2://inv/5CXF32PNMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KAAV, 5-cell prism (definition)
History
- 2026-11-02: add by m2/dev
Othello 5CXFBFS3RM
| URI | m2://inv/5CXFBFS3RM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#WCSR, Othello (unknown)
History
- 2026-11-02: add by m2/dev
Finite-deck spectrum 5CXMQFKJCC
| URI | m2://inv/5CXMQFKJCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#9NRQ, Finite-deck spectrum (statement). In NKW6YQ04QW/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Binary dihedral group 5CXP6Y2JZT
| URI | m2://inv/5CXP6Y2JZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dicyclic group#QIUC, Binary dihedral group (unknown)
History
- 2026-11-02: add by m2/dev
Colin Percival 5CXPSQ2A7K
| URI | m2://inv/5CXPSQ2A7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2XMX, Colin Percival (unknown)
History
- 2026-11-02: add by m2/dev
5CXWH27V3Z 5CXWH27V3Z
| URI | m2://inv/5CXWH27V3Z |
|---|---|
| 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#A8T1 (statement). In 4TAQ65KZKN/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
5CY5RM1TWE 5CY5RM1TWE
| URI | m2://inv/5CY5RM1TWE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:Wprop (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Henry Dye 5CYERC5RV9
| URI | m2://inv/5CYERC5RV9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Dye, Henry Dye (topic). Also Wikidata Q37732433
History
- 2026-11-02: add by m2/dev
Regular modal logic 5CYFPGY8X1
| URI | m2://inv/5CYFPGY8X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular modal logic, Regular modal logic (definition). Also Wikidata Q7309611
History
- 2026-11-02: add by m2/dev
5CYM4G3XZZ 5CYM4G3XZZ
| URI | m2://inv/5CYM4G3XZZ |
|---|---|
| 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.35095#G218 (statement). In MM3XTWS35F/e1, fact 3.3
History
- 2026-10-30: add by m2/v0.4.12
Definitions 5CYX5NHFNM
| URI | m2://inv/5CYX5NHFNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tightness of measures#M5EK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Life of an edge 5CZ0WP70M5
| URI | m2://inv/5CZ0WP70M5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#8G6K, Life of an edge (statement). In 11JNM66Z09/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
5CZ1WEGPQX 5CZ1WEGPQX
| URI | m2://inv/5CZ1WEGPQX |
|---|---|
| Kind | definition |
| 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 2510.05499#UVRJ (definition). In WRMNCC8VBC/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.6
plurisubharmonic function 5CZ2DT5NR5
| URI | m2://inv/5CZ2DT5NR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 32U05 |
| Sources | 2 |
| Outcome | open |
| Node | Plurisubharmonic function FF2P7ER3QT |
Mentions
- wikidata: Wikidata Q7205565, plurisubharmonic function (topic). Also EoM Plurisubharmonic_function, MathWorld PlurisubharmonicFunction
- wikipedia: Wikipedia Plurisubharmonic function, Plurisubharmonic function (definition). Also Wikidata Q7205565
History
- 2026-10-26: add by m2/dev
Statement 5CZ3219C13
| URI | m2://inv/5CZ3219C13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel's lemma#XND1, Statement (statement)
History
- 2026-11-02: add by m2/dev
Signature defect 5CZ606HPZ7
| URI | m2://inv/5CZ606HPZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature defect, Signature defect (definition). Also Wikidata Q7512837
History
- 2026-11-02: add by m2/dev
Complex structure deformation 5CZBDSB0PA
| URI | m2://inv/5CZBDSB0PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deformation (mathematics)#YYZI, Complex structure deformation (unknown)
History
- 2026-11-02: add by m2/dev
5CZEQNZG26 5CZEQNZG26
| URI | m2://inv/5CZEQNZG26 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#6587 (definition). In N3P196CEAJ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Scaling 5CZGJQS8NS
| URI | m2://inv/5CZGJQS8NS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scaling (geometry), Scaling (definition). Also Wikidata Q102441924
History
- 2026-11-02: add by m2/dev
5CZK5ZJZGA 5CZK5ZJZGA
| URI | m2://inv/5CZK5ZJZGA |
|---|---|
| Kind | statement |
| 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.25167#QHMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discretization and polynomial approximation of mixtures 5CZZ6DX1ME
| URI | m2://inv/5CZZ6DX1ME |
|---|---|
| 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.21033#GW4C, Discretization and polynomial approximation of mixtures (statement). In A8C1M9BSWH/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.4.2