Inventory rows WC
The cards of the rows of the inventory whose ids start with WC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The ring {$\ZZ[\sqrt{11}]$} is a Euclidean domain WC00S2CQME
| URI | m2://inv/WC00S2CQME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-9, The ring {$\ZZ[\sqrt{11}]$} is a Euclidean domain (example). In RZP28ERRZV, example, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
WC04AQR4EV WC04AQR4EV
| URI | m2://inv/WC04AQR4EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#0SAH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hamiltonian matrix WC04SH0EH2
| URI | m2://inv/WC04SH0EH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3299275, Hamiltonian matrix (unknown). Also MathWorld HamiltonianMatrix
- wikipedia: Wikipedia Hamiltonian matrix, Hamiltonian matrix (definition). Also Wikidata Q3299275
History
- 2026-10-26: add by m2/dev
Definition WC0AFF9KC7
| URI | m2://inv/WC0AFF9KC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic field#L9DO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition WC0FRNYTAV
| URI | m2://inv/WC0FRNYTAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized quantifier#0JOQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
A lower bound on the complexity of $L(3n,1)$ WC0N5SSZBV
| URI | m2://inv/WC0N5SSZBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#V4O2, A lower bound on the complexity of $L(3n,1)$ (statement). In MS7M2BJS9X/e1, corollary 8.1
History
- 2026-10-29: add by m2/v0.4.10
Exact feasible outputs WC0Q8ZR8RB
| URI | m2://inv/WC0Q8ZR8RB |
|---|---|
| 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#F8HN, Exact feasible outputs (statement). In 9YAE8FNQST/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
WC0RC2047Q WC0RC2047Q
| URI | m2://inv/WC0RC2047Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.02722#UHXO (statement). In AH7D55D3WV/e1, proposition 17.2
History
- 2026-10-27: add by m2/v0.3.5
Example WC0WBFVSZB
| URI | m2://inv/WC0WBFVSZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routh–Hurwitz matrix#VBO6, Example (example)
History
- 2026-11-02: add by m2/dev
Applications WC194H40WP
| URI | m2://inv/WC194H40WP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection filters#4TVR, Applications (example)
History
- 2026-11-02: add by m2/dev
Hudson's equation WC1GYP0Y6C
| URI | m2://inv/WC1GYP0Y6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hudson's equation, Hudson's equation (definition). Also Wikidata Q5928484
History
- 2026-11-02: add by m2/dev
WC1J3VJPAQ WC1J3VJPAQ
| URI | m2://inv/WC1J3VJPAQ |
|---|---|
| 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.22291#38U2 (statement). In TMBJ7NVPC7/e1, theorem 6
History
- 2026-10-27: add by m2/v0.4.0
Vera Huckel WC1P2Y41EW
| URI | m2://inv/WC1P2Y41EW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vera Huckel, Vera Huckel (topic). Also Wikidata Q108809269
History
- 2026-11-02: add by m2/dev
WC1V3TZM6Z WC1V3TZM6Z
| URI | m2://inv/WC1V3TZM6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#RJ5S (statement). In 702AF3E4AF/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
Properties WC1Y1PQNNM
| URI | m2://inv/WC1Y1PQNNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realcompact space#U9V4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition WC25VQ102Y
| URI | m2://inv/WC25VQ102Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's lemma#GFKN, Definition (definition)
History
- 2026-11-02: add by m2/dev
subfunctor WC262DRT0N
| URI | m2://inv/WC262DRT0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7631142, subfunctor (unknown). Also nLab subfunctor
- wikipedia: Wikipedia Subfunctor, Subfunctor (definition). Also Wikidata Q7631142
History
- 2026-10-26: add by m2/dev
Erdős–Turán conjecture on additive bases WC26G4KR37
| URI | m2://inv/WC26G4KR37 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#UELJ, Erdős–Turán conjecture on additive bases (conjecture)
History
- 2026-11-02: add by m2/dev
Examples WC27JEMX5D
| URI | m2://inv/WC27JEMX5D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive dual pair#NZ58, Examples (example)
History
- 2026-11-02: add by m2/dev
half-closed interval WC2D4SDV2G
| URI | m2://inv/WC2D4SDV2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16708615, half-closed interval (definition). Also MathWorld Half-ClosedInterval, ProofWiki Definition:Real_Interval/Half-Open
History
- 2026-10-26: add by m2/dev
WC2D7F422Z WC2D7F422Z
| URI | m2://inv/WC2D7F422Z |
|---|---|
| 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.12633#FGRJ (statement). In NGZ5AZ70NN/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
WC2DS3YRX4 WC2DS3YRX4
| URI | m2://inv/WC2DS3YRX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19845#UO5J (statement). In A8Y7B1MD91/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.2
WC2EWEDGPB WC2EWEDGPB
| URI | m2://inv/WC2EWEDGPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#E0E9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complete sharp-layer classification WC2HZ5AQ79
| URI | m2://inv/WC2HZ5AQ79 |
|---|---|
| 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.39262#CN43, Complete sharp-layer classification (statement). In XA2NE2Z06S/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Margaret E. Martin WC2PFTS1WW
| URI | m2://inv/WC2PFTS1WW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret E. Martin, Margaret E. Martin (topic). Also Wikidata Q17006472
History
- 2026-11-02: add by m2/dev
Garlandus Compotista WC2R5VTY4Z
| URI | m2://inv/WC2R5VTY4Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#J756, Garlandus Compotista (topic)
History
- 2026-11-02: add by m2/dev
WC2RCCWEFP WC2RCCWEFP
| URI | m2://inv/WC2RCCWEFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#11Q7 (statement). In QM1T8JDK4A/e1, fact 3.3
History
- 2026-10-30: add by m2/v0.4.12
WC2VFJ1TYK WC2VFJ1TYK
| URI | m2://inv/WC2VFJ1TYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.38126#J660 (statement). In QNVKW32G02/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Generalized Freudenthal theorem WC2WYMB6J9
| URI | m2://inv/WC2WYMB6J9 |
|---|---|
| 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 2609.31269#1W18, Generalized Freudenthal theorem (statement). In ZPT9XCCAPQ/e1, theorem 1.2.11
History
- 2026-10-31: add by m2/v0.5.6
Definition WC2XF4ZXS9
| URI | m2://inv/WC2XF4ZXS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Weil zeta function#H4RS, Definition (definition)
History
- 2026-11-02: add by m2/dev
WC3HKG3PZJ WC3HKG3PZJ
| URI | m2://inv/WC3HKG3PZJ |
|---|---|
| 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 math/0411039#HK23 (statement). In ZTBDXSKFFW/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Dynnikov WC3KXZAVFV
| URI | m2://inv/WC3KXZAVFV |
|---|---|
| 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.01596#XGTQ, Dynnikov (statement). In 40VTEP7WH8/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Spritz (cipher) WC3M0MD3FJ
| URI | m2://inv/WC3M0MD3FJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC4#45V7, Spritz (cipher) (unknown)
History
- 2026-11-02: add by m2/dev
WC3N28FW5G WC3N28FW5G
| URI | m2://inv/WC3N28FW5G |
|---|---|
| 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.02213#T9E7 (statement). In 43B5W08GMR/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.12
Immigration and terrorism WC3YHX4DRH
| URI | m2://inv/WC3YHX4DRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#E08R, Immigration and terrorism (unknown)
History
- 2026-11-02: add by m2/dev
WC41M35C3A WC41M35C3A
| URI | m2://inv/WC41M35C3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#I79Y (statement). In GW23NX78SB/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Alexander I. Nazarov WC46YN91MZ
| URI | m2://inv/WC46YN91MZ |
|---|---|
| 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#2BCH, Alexander I. Nazarov (unknown)
History
- 2026-11-02: add by m2/dev
Classification theorem WC46Z7TN3Q
| URI | m2://inv/WC46Z7TN3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrov classification#GJAC, Classification theorem (statement)
History
- 2026-11-02: add by m2/dev
WC492VRBCQ WC492VRBCQ
| URI | m2://inv/WC492VRBCQ |
|---|---|
| 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.03674#MUAM (statement). In GAGZ2K7VMC/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Continuous local consistency on the box WC4BVGDTBQ
| URI | m2://inv/WC4BVGDTBQ |
|---|---|
| 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.29524#UXJG, Continuous local consistency on the box (statement)
History
- 2026-11-01: add by m2/v0.6.15
WC4CJ6567Y WC4CJ6567Y
| URI | m2://inv/WC4CJ6567Y |
|---|---|
| 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.25656#HQSK (statement)
History
- 2026-11-01: add by m2/v0.6.15
WC4DPFP6DX WC4DPFP6DX
| URI | m2://inv/WC4DPFP6DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#4C3Y (statement). In CSRZ9CWK69/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
second order WC4QA76NE4
| URI | m2://inv/WC4QA76NE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AL8X, second order (definition)
History
- 2026-11-02: add by m2/dev
Citizen survey WC4XC1WYCE
| URI | m2://inv/WC4XC1WYCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Citizen survey, Citizen survey (definition). Also Wikidata Q1021040
History
- 2026-11-02: add by m2/dev
WC4ZDVT84T WC4ZDVT84T
| URI | m2://inv/WC4ZDVT84T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#prob:reword as conditional (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
WC53TSV1AM WC53TSV1AM
| URI | m2://inv/WC53TSV1AM |
|---|---|
| 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 2001.10234#T9H4 (statement). In YYZHNNJR1P/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.6
WC56D119VE WC56D119VE
| URI | m2://inv/WC56D119VE |
|---|---|
| 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 2308.05066#ODTK (statement). In 1QSCT53ZED/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.0
WC5B0CVTVJ WC5B0CVTVJ
| URI | m2://inv/WC5B0CVTVJ |
|---|---|
| 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.13513#4QZN (statement). In BAGX2TDXM4/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Properties WC5E2T2EYP
| URI | m2://inv/WC5E2T2EYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring homomorphism#PY44, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kefeng Liu WC5RJ3JB9F
| URI | m2://inv/WC5RJ3JB9F |
|---|---|
| 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#20CE, Kefeng Liu (topic)
History
- 2026-11-02: add by m2/dev
WC5TN4AWPB WC5TN4AWPB
| URI | m2://inv/WC5TN4AWPB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Ernst Zermelo WC5XMD0HYG
| URI | m2://inv/WC5XMD0HYG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#LREX, Ernst Zermelo (topic)
History
- 2026-11-02: add by m2/dev
WC609H529E WC609H529E
| URI | m2://inv/WC609H529E |
|---|---|
| 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 2311.16205#DRKD (statement). In 3GE9PS9AH0/e1, lemma 5.3.4
History
- 2026-10-27: add by m2/v0.3.5
Basic properties WC66FQFCXF
| URI | m2://inv/WC66FQFCXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (algebra)#RMRJ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Decay without an upper Sobolev bound on damping WC6EHB56SG
| URI | m2://inv/WC6EHB56SG |
|---|---|
| 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.15528#D0QG, Decay without an upper Sobolev bound on damping (statement). In G9GEE64N32/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
free field WC6MR5Z64R
| URI | m2://inv/WC6MR5Z64R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5500226, free field (unknown). Also nLab free field
History
- 2026-10-26: add by m2/dev
Statement WC6Q2QXT40
| URI | m2://inv/WC6Q2QXT40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf–Rinow theorem#HYQA, Statement (statement)
History
- 2026-11-02: add by m2/dev
WC6RHRS2RP WC6RHRS2RP
| URI | m2://inv/WC6RHRS2RP |
|---|---|
| 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 2505.04063#FAHC (statement). In TFH7T63DX9/e1, lemma S.15
History
- 2026-10-27: add by m2/v0.3.5
Collette Coullard WC6Z53MGEE
| URI | m2://inv/WC6Z53MGEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collette Coullard, Collette Coullard (topic). Also Wikidata Q67611985
History
- 2026-11-02: add by m2/dev
reachability objective WC76QT0VMT
| URI | m2://inv/WC76QT0VMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17541#13AL, reachability objective (definition). In 9PHDBFMHH6/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Lévy's modulus of continuity theorem WC7E9H9MB0
| URI | m2://inv/WC7E9H9MB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6711207, Lévy's modulus of continuity theorem (statement). Also Wikidata Q6711207
- thousand_plus: thousand_plus Q6711207, Lévy's modulus of continuity theorem (statement). Also Wikidata Q6711207, Wikipedia Lévy's modulus of continuity theorem
- wikipedia: Wikipedia Lévy's modulus of continuity theorem, Lévy's modulus of continuity theorem (statement). Also Wikidata Q6711207
History
- 2026-10-26: add by m2/dev
The Ciphers of the Monks WC7Z1K5VHH
| URI | m2://inv/WC7Z1K5VHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cistercian numerals#686G, The Ciphers of the Monks (unknown)
History
- 2026-11-02: add by m2/dev
G. V. Kolosoff WC81Q2SSBQ
| URI | m2://inv/WC81Q2SSBQ |
|---|---|
| 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#6H4U, G. V. Kolosoff (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FA5A, G. V. Kolosoff (unknown)
History
- 2026-11-02: add by m2/dev
Cantor's first set theory article WC8A406JRA
| URI | m2://inv/WC8A406JRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor's first set theory article, Cantor's first set theory article (definition). Also Wikidata Q356702
History
- 2026-11-02: add by m2/dev
Axiom of non-choice WC8CHCVVRD
| URI | m2://inv/WC8CHCVVRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of non-choice, Axiom of non-choice (statement). Also Wikidata Q28456649
History
- 2026-11-02: add by m2/dev
WC8Q9808P5 WC8Q9808P5
| URI | m2://inv/WC8Q9808P5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#I5SZ (example)
History
- 2026-11-01: add by m2/v0.6.15
WC8S5XBSX1 WC8S5XBSX1
| URI | m2://inv/WC8S5XBSX1 |
|---|---|
| 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.23343#Y1ZN (statement)
History
- 2026-11-02: add by m2/v0.6.17
WC8TC5N09Q WC8TC5N09Q
| URI | m2://inv/WC8TC5N09Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25912#H7NV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Truncation functors WC8VQ940HD
| URI | m2://inv/WC8VQ940HD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#7GTP, Truncation functors (definition). In G3D1YR20BJ/e1, definition A.28
History
- 2026-10-29: add by m2/v0.4.12
WC8XE2Z88S WC8XE2Z88S
| URI | m2://inv/WC8XE2Z88S |
|---|---|
| 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.03337#5OX2 (statement). In VH7EZDGTNA/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.12
GAP WC8YGGV401
| URI | m2://inv/WC8YGGV401 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#P7WL, GAP (unknown)
History
- 2026-11-02: add by m2/dev
Antoine Augustin Cournot WC8YV9Z6G7
| URI | m2://inv/WC8YV9Z6G7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antoine Augustin Cournot, Antoine Augustin Cournot (topic). Also Wikidata Q323245
History
- 2026-11-02: add by m2/dev
Journal of the American Mathematical Society WC91FAQ69S
| URI | m2://inv/WC91FAQ69S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2404489, Journal of the American Mathematical Society (unknown). Also ProofWiki Book:Journal/Journal_of_the_American_Mathematical_Society
History
- 2026-10-26: add by m2/dev
WC9E6VV75C WC9E6VV75C
| URI | m2://inv/WC9E6VV75C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example-9 (example). In E59CDZA4DP, example, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
WC9E9XFM3M WC9E9XFM3M
| URI | m2://inv/WC9E9XFM3M |
|---|---|
| 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.33185#ILBI (statement). In QX30H2WNA7/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
WC9PEBWWA3 WC9PEBWWA3
| URI | m2://inv/WC9PEBWWA3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1504.03271#J7AH (definition). In RY17N5T1NQ/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
WC9RSN0SXN WC9RSN0SXN
| URI | m2://inv/WC9RSN0SXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20145#29DT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Scope WCA45GRS5N
| URI | m2://inv/WCA45GRS5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scope (formal semantics), Scope (definition). Also Wikidata Q104853399
History
- 2026-11-02: add by m2/dev
WCAEADT2NP WCAEADT2NP
| URI | m2://inv/WCAEADT2NP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#CSS1 (statement). In N1S169J2MV/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
WCAEPRDAEM WCAEPRDAEM
| URI | m2://inv/WCAEPRDAEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#EFOQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
WCAG16MB1S WCAG16MB1S
| URI | m2://inv/WCAG16MB1S |
|---|---|
| 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.13847#RA0A (statement). In S4FHV821A2/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Kit Fine WCAN5J67RJ
| URI | m2://inv/WCAN5J67RJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kit Fine, Kit Fine (topic). Also Wikidata Q23450
History
- 2026-11-02: add by m2/dev
Ranee Brylinski WCAQGV7WBM
| URI | m2://inv/WCAQGV7WBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranee Brylinski, Ranee Brylinski (topic). Also Wikidata Q56949613
History
- 2026-11-02: add by m2/dev
WCARBNV7EA WCARBNV7EA
| URI | m2://inv/WCARBNV7EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#GGWM (statement). In B5GGGWNJA6/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.3
WCB6257JWX WCB6257JWX
| URI | m2://inv/WCB6257JWX |
|---|---|
| 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.11157#KE8Q (definition). In G30YTST9ZK/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.3
WCB6E63ACN WCB6E63ACN
| URI | m2://inv/WCB6E63ACN |
|---|---|
| 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.04989#MI9N (statement). In 1T4SYTCKW8/e1, proposition S3
History
- 2026-10-29: add by m2/v0.4.12
image WCB960M7AC
| URI | m2://inv/WCB960M7AC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/image, image (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
WCBABRN0Y5 WCBABRN0Y5
| URI | m2://inv/WCBABRN0Y5 |
|---|---|
| Kind | definition |
| 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 1303.4328#OEA9 (definition). In HCTYW6VH87/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Dynamic mode decomposition WCBG5Q80H1
| URI | m2://inv/WCBG5Q80H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic mode decomposition, Dynamic mode decomposition (definition). Also Wikidata Q5318993
History
- 2026-11-02: add by m2/dev
WCBK21JAV7 WCBK21JAV7
| URI | m2://inv/WCBK21JAV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#definition-3 (definition). In RZP28ERRZV, definition, section 51.2
History
- 2026-11-01: add by m2/v0.6.13
Cryptochannel WCBNNGSQ27
| URI | m2://inv/WCBNNGSQ27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptochannel, Cryptochannel (definition). Also Wikidata Q5190858
History
- 2026-11-02: add by m2/dev
Meyerovitch--Sanadhya--Solomon WCBVC1P4PK
| URI | m2://inv/WCBVC1P4PK |
|---|---|
| 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.00099#JDNY, Meyerovitch--Sanadhya--Solomon (statement). In NNBY2AEHP4/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
WCBYRJG3D6 WCBYRJG3D6
| URI | m2://inv/WCBYRJG3D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#D9L3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WCC615RZEA WCC615RZEA
| URI | m2://inv/WCC615RZEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#S73P (statement). In WAXS6FS388/e1, theorem G
History
- 2026-10-30: add by m2/v0.4.12
WCC64M6JBD WCC64M6JBD
| URI | m2://inv/WCC64M6JBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#IICE (statement). In MBJA03ES8N/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
WCC7B43CK9 WCC7B43CK9
| URI | m2://inv/WCC7B43CK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20607#FXTY (statement)
History
- 2026-11-02: add by m2/v0.6.18
WCC81WSVXM WCC81WSVXM
| URI | m2://inv/WCC81WSVXM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#41KV (example). In 2QP93JHYNB/e1, example 9.5
History
- 2026-10-27: add by m2/v0.4.2
Lagrange Island WCCP4F2M3R
| URI | m2://inv/WCCP4F2M3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#EP1X, Lagrange Island (unknown)
History
- 2026-11-02: add by m2/dev
Examples WCCRWDE9BA
| URI | m2://inv/WCCRWDE9BA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic K-theory#4X5S, Examples (example)
History
- 2026-11-02: add by m2/dev
Daniel Shanks WCCSNV59DQ
| URI | m2://inv/WCCSNV59DQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZRIX, Daniel Shanks (topic)
History
- 2026-11-02: add by m2/dev
Finitely generated cone WCCWZXYG8E
| URI | m2://inv/WCCWZXYG8E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cone#WNOL, Finitely generated cone (unknown)
History
- 2026-11-02: add by m2/dev
Notation WCD2NKKPZ5
| URI | m2://inv/WCD2NKKPZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero object (algebra)#8E77, Notation (definition)
History
- 2026-11-02: add by m2/dev
David Gregory Ebin WCD6RMDR7P
| URI | m2://inv/WCD6RMDR7P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gregory Ebin, David Gregory Ebin (topic). Also Wikidata Q23928929
History
- 2026-11-02: add by m2/dev
WCD9KF1C5A WCD9KF1C5A
| URI | m2://inv/WCD9KF1C5A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:no-dep-uniqueness-failure (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
David J. Tweedie WCD9QENPXZ
| URI | m2://inv/WCD9QENPXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David J. Tweedie, David J. Tweedie (topic). Also Wikidata Q37738225
History
- 2026-11-02: add by m2/dev
WCDEZ02CPQ WCDEZ02CPQ
| URI | m2://inv/WCDEZ02CPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#UILX (statement). In CVESAPNMCQ/e1, corollary 3.16
History
- 2026-10-28: add by m2/v0.4.2
WCDJ6ZVHV5 WCDJ6ZVHV5
| URI | m2://inv/WCDJ6ZVHV5 |
|---|---|
| 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.34551#6JF5 (statement). In 3AF7G56AGE/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
WCDKWJ04AB WCDKWJ04AB
| URI | m2://inv/WCDKWJ04AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.19707#8207 (statement). In R6SEBXARYC/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
buoyancy WCDSB9MRH5
| URI | m2://inv/WCDSB9MRH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6497624, buoyancy (definition). Also ProofWiki Definition:Buoyancy
History
- 2026-10-26: add by m2/dev
Stress resultants WCDWCFS3CG
| URI | m2://inv/WCDWCFS3CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress resultants, Stress resultants (definition). Also Wikidata Q7623450
History
- 2026-11-02: add by m2/dev
WCE46A5ZRB WCE46A5ZRB
| URI | m2://inv/WCE46A5ZRB |
|---|---|
| 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 2409.17318#MZ0W (statement). In 2P63T9MJ4P/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
WCEC65R0VT WCEC65R0VT
| URI | m2://inv/WCEC65R0VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#CDS8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R-algebroid WCEHZ4YK1S
| URI | m2://inv/WCEHZ4YK1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R-algebroid, R-algebroid (definition). Also Wikidata Q7273278
History
- 2026-11-02: add by m2/dev
Carol House WCEKRKJWPT
| URI | m2://inv/WCEKRKJWPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol House, Carol House (topic). Also Wikidata Q107523389
History
- 2026-11-02: add by m2/dev
WCEN3VA70E WCEN3VA70E
| URI | m2://inv/WCEN3VA70E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.32138#SZCJ (statement). In ZG0GNHTCWB/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Examples WCEP9A4WK2
| URI | m2://inv/WCEP9A4WK2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilsemigroup#G8UE, Examples (example)
History
- 2026-11-02: add by m2/dev
Zdzisław Pawlak WCESMRZ3MT
| URI | m2://inv/WCESMRZ3MT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zdzisław Pawlak, Zdzisław Pawlak (topic). Also Wikidata Q8068114
History
- 2026-11-02: add by m2/dev
WCETCD7B4Z WCETCD7B4Z
| URI | m2://inv/WCETCD7B4Z |
|---|---|
| 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.33766#L64E (statement). In VGKK4M68EK/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
WCEWCARF6N WCEWCARF6N
| URI | m2://inv/WCEWCARF6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#RAI1 (statement). In AWF7ZHK4EM/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Deligne–Beilinson cohomology WCEXRK63M6
| URI | m2://inv/WCEXRK63M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#2V0Q, Deligne–Beilinson cohomology (definition)
History
- 2026-11-02: add by m2/dev
WCEZX0VWJD WCEZX0VWJD
| URI | m2://inv/WCEZX0VWJD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-29 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Isidore of Miletus WCF23X6A9G
| URI | m2://inv/WCF23X6A9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#EG6K, Isidore of Miletus (unknown)
History
- 2026-11-02: add by m2/dev
Coherency WCF4PEKR3S
| URI | m2://inv/WCF4PEKR3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherency (homotopy theory), Coherency (definition). Also Wikidata Q85753249
History
- 2026-11-02: add by m2/dev
Braided Hopf algebra WCF8M3MTTH
| URI | m2://inv/WCF8M3MTTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided Hopf algebra, Braided Hopf algebra (definition). Also Wikidata Q4955649
History
- 2026-11-02: add by m2/dev
Theodore O. Yntema WCF8ST13G2
| URI | m2://inv/WCF8ST13G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#DX5V, Theodore O. Yntema (unknown)
History
- 2026-11-02: add by m2/dev
$p$-capacity of $\mathcal I_u$ and $\mathcal S_u$ WCFCCZXNZB
| URI | m2://inv/WCFCCZXNZB |
|---|---|
| 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 2609.25449#G7FS, $p$-capacity of $\mathcal I_u$ and $\mathcal S_u$ (statement). In 9JHMTYGWFQ/e1, proposition 7.7
History
- 2026-10-27: add by m2/v0.3.6
WCFDE6VG15 WCFDE6VG15
| URI | m2://inv/WCFDE6VG15 |
|---|---|
| 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#21XS (statement). In JSZRXT3W3E/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
WCFKBTSR0F WCFKBTSR0F
| URI | m2://inv/WCFKBTSR0F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:sigma-eq-components-neq (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Claudio Procesi WCFRNPNERT
| URI | m2://inv/WCFRNPNERT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1098136, Claudio Procesi (unknown). Also nLab Claudio Procesi
- wikipedia: Wikipedia Claudio Procesi, Claudio Procesi (topic). Also Wikidata Q1098136
History
- 2026-10-26: add by m2/dev
WCFYMJVDNN WCFYMJVDNN
| URI | m2://inv/WCFYMJVDNN |
|---|---|
| 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.01946#71G4 (statement). In NB1Z31FMXN/e1, lemma 2.14
History
- 2026-10-29: add by m2/v0.4.12
Compound of twelve pentagrammic prisms WCFYP7MFMA
| URI | m2://inv/WCFYP7MFMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of twelve pentagrammic prisms, Compound of twelve pentagrammic prisms (definition). Also Wikidata Q5156902
History
- 2026-11-02: add by m2/dev
Weinstein's neighbourhood theorem WCFZES1YK2
| URI | m2://inv/WCFZES1YK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinstein's neighbourhood theorem, Weinstein's neighbourhood theorem (statement). Also Wikidata Q3527179
History
- 2026-11-02: add by m2/dev
WCG304WH25 WCG304WH25
| URI | m2://inv/WCG304WH25 |
|---|---|
| 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.15313#LFVZ (statement). In KWKY1CWG1Z/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
WCG6C17YP2 WCG6C17YP2
| URI | m2://inv/WCG6C17YP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#PL08 (statement). In 9VPMHV0M4R/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Open problems WCGKHV345N
| URI | m2://inv/WCGKHV345N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unavoidable pattern#JBTR, Open problems (statement)
History
- 2026-11-02: add by m2/dev
WCGZXK91NF WCGZXK91NF
| URI | m2://inv/WCGZXK91NF |
|---|---|
| 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.22218#LMOR (statement). In 338GKREFVP/e1, lemma 42
History
- 2026-10-27: add by m2/v0.4.0
WCHD1JK03A WCHD1JK03A
| URI | m2://inv/WCHD1JK03A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#O8UC (statement). In 6FV4CCY1NX/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Shehu transform WCHFJ3YFMC
| URI | m2://inv/WCHFJ3YFMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shehu transform, Shehu transform (definition). Also Wikidata Q135192387
History
- 2026-11-02: add by m2/dev
Application WCHQCMYVA9
| URI | m2://inv/WCHQCMYVA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmert transformation#21TC, Application (example)
History
- 2026-11-02: add by m2/dev
Roger Hui WCHTVX7RKX
| URI | m2://inv/WCHTVX7RKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#40KJ, Roger Hui (unknown)
History
- 2026-11-02: add by m2/dev
WCHXBYMR7R WCHXBYMR7R
| URI | m2://inv/WCHXBYMR7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2009.11127#19QG (statement). In QEFS0Y021A/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Shortcut model WCJ2R7R9CA
| URI | m2://inv/WCJ2R7R9CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortcut model, Shortcut model (definition). Also Wikidata Q7502139
History
- 2026-11-02: add by m2/dev
WCJH0ZSXS3 WCJH0ZSXS3
| URI | m2://inv/WCJH0ZSXS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2405.14678#HSS7 (statement). In 9ZSNSJRJ5N/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
Applications WCJHCB3EDM
| URI | m2://inv/WCJHCB3EDM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-center bipolar coordinates#NGFM, Applications (example)
History
- 2026-11-02: add by m2/dev
Sub-multiple WCJP4F8B70
| URI | m2://inv/WCJP4F8B70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple (mathematics)#MD0W, Sub-multiple (unknown)
History
- 2026-11-02: add by m2/dev
standard basis WCJVY34VFT
| URI | m2://inv/WCJVY34VFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Standard basis 0V7ZD6P7RK |
Mentions
- wikidata: Wikidata Q2000912, standard basis (unknown). Also MathWorld StandardBasis
- wikipedia: Wikipedia Standard basis, Standard basis (definition). Also Wikidata Q2000912
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kent Mathematics Project WCK4CDR1W0
| URI | m2://inv/WCK4CDR1W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kent Mathematics Project, Kent Mathematics Project (definition). Also Wikidata Q48816092
History
- 2026-11-02: add by m2/dev
WCKCHZ1W40 WCKCHZ1W40
| URI | m2://inv/WCKCHZ1W40 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#example-3 (example). In RZP28ERRZV, example, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
WCKK0FF2BW WCKK0FF2BW
| URI | m2://inv/WCKK0FF2BW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/undecidability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
WCKN4MD93T WCKN4MD93T
| URI | m2://inv/WCKN4MD93T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#GDY8 (statement). In EBNXA84CPM/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
WCKP5QNRGS WCKP5QNRGS
| URI | m2://inv/WCKP5QNRGS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#YX1T (definition). In 5ZPSZFE08Q/e1, definition 5.8
History
- 2026-10-29: add by m2/v0.4.10
WCKQ3KAF3V WCKQ3KAF3V
| URI | m2://inv/WCKQ3KAF3V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#MU5H (definition). In 7SRERSS1PF/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
Even family WCKT8V674M
| URI | m2://inv/WCKT8V674M |
|---|---|
| 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.08252#I73W, Even family (statement). In M50TGNSJJR/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
WCM19Y1NH7 WCM19Y1NH7
| URI | m2://inv/WCM19Y1NH7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#40II (example). In 1KSE33PVS6/e1, example 82
History
- 2026-10-30: add by m2/v0.4.12
WCM2BQ92JA WCM2BQ92JA
| URI | m2://inv/WCM2BQ92JA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#Z14M (definition). In HX63A1PH1W/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Model existence theorem WCMCVZR0SC
| URI | m2://inv/WCMCVZR0SC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's completeness theorem#2V6I, Model existence theorem (statement)
History
- 2026-11-02: add by m2/dev
tritangent WCMFW49FE9
| URI | m2://inv/WCMFW49FE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#S6XL, tritangent (definition)
History
- 2026-11-02: add by m2/dev
WCMGNMSX4B WCMGNMSX4B
| URI | m2://inv/WCMGNMSX4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#TIV5 (statement). In YH1W5A0JTS/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Policy capturing WCMHKKVASK
| URI | m2://inv/WCMHKKVASK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Policy capturing, Policy capturing (definition). Also Wikidata Q7209693
History
- 2026-11-02: add by m2/dev
Theorem WCMSW6K1Q3
| URI | m2://inv/WCMSW6K1Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#SQ92, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hiding with a prescribed chain length WCN05SQHYG
| URI | m2://inv/WCN05SQHYG |
|---|---|
| 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.12641#Z39H, Hiding with a prescribed chain length (statement). In X5BYGZZHPF/e1, lemma J.10
History
- 2026-10-28: add by m2/v0.4.2
Statement of the inequality WCN1YW8DMG
| URI | m2://inv/WCN1YW8DMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Etemadi's inequality#KINA, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Mean Speed Theorem WCN3MH9Q0A
| URI | m2://inv/WCN3MH9Q0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oxford Calculators#SMH3, Mean Speed Theorem (statement)
History
- 2026-11-02: add by m2/dev
WCN99SKQ5M WCN99SKQ5M
| URI | m2://inv/WCN99SKQ5M |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Antonio Tucci Manetti WCNNMC106R
| URI | m2://inv/WCNNMC106R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#1T81, Antonio Tucci Manetti (unknown)
History
- 2026-11-02: add by m2/dev
WCNTP9CSYJ WCNTP9CSYJ
| URI | m2://inv/WCNTP9CSYJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
Full fold WCNV79R4YC
| URI | m2://inv/WCNV79R4YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#3SQI, Full fold (statement). In R630A60CMM/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Analogy of the divided line WCNZ30HP4A
| URI | m2://inv/WCNZ30HP4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analogy of the divided line, Analogy of the divided line (definition). Also Wikidata Q1051304
History
- 2026-11-02: add by m2/dev
Relaxation WCP4B080KX
| URI | m2://inv/WCP4B080KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxation (physics), Relaxation (definition). Also Wikidata Q2142629
History
- 2026-11-02: add by m2/dev
Catalan pseudoprime WCP4FB2VW9
| URI | m2://inv/WCP4FB2VW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5051230, Catalan pseudoprime (object). Also OEIS A163209
- wikipedia: Wikipedia Catalan pseudoprime, Catalan pseudoprime (definition). Also Wikidata Q5051230
History
- 2026-10-26: add by m2/dev
WCPDXPRVCC WCPDXPRVCC
| URI | m2://inv/WCPDXPRVCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#Y30N (statement). In A4VP56CT7B/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
WCPMF1E5XZ WCPMF1E5XZ
| URI | m2://inv/WCPMF1E5XZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-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 2605.02634#9U7X (definition). In EZ6PAF0MXH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Hoop conjecture WCPY0YE2WV
| URI | m2://inv/WCPY0YE2WV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoop conjecture, Hoop conjecture (statement). Also Wikidata Q1673713
History
- 2026-11-02: add by m2/dev
Reproducing Kernel Hilbert Space WCPZD8HXAS
| URI | m2://inv/WCPZD8HXAS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#WO4J, Reproducing Kernel Hilbert Space (definition). In 5ZPQ60TM6J/e1, definition 19
History
- 2026-10-28: add by m2/v0.4.2
WCQ131WH2P WCQ131WH2P
| URI | m2://inv/WCQ131WH2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#XYCR (statement). In S26QVW5613/e1, lemma 4.7.2
History
- 2026-10-30: add by m2/v0.4.12
WCQ3HFSA4J WCQ3HFSA4J
| URI | m2://inv/WCQ3HFSA4J |
|---|---|
| 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.31910#NR4B (statement). In E4EK1XXPY4/e1, proposition 4.8
History
- 2026-10-31: add by m2/v0.5.6
Sean Hartnoll WCQ44GSECQ
| URI | m2://inv/WCQ44GSECQ |
|---|---|
| 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 Q19308919, Sean Hartnoll (unknown). Also nLab Sean Hartnoll
History
- 2026-10-26: add by m2/dev
Coercivity on the compact core WCQ7Z221TA
| URI | m2://inv/WCQ7Z221TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#YE8M, Coercivity on the compact core (statement). In HF7YNMW39N/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.0
The Suzuki orbit number WCQB2DPAPC
| URI | m2://inv/WCQB2DPAPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#H5QB, The Suzuki orbit number (statement). In 9NVKKW8HDH/e1, theorem 2.54
History
- 2026-10-28: add by m2/v0.4.2
WCQNHS5GW8 WCQNHS5GW8
| URI | m2://inv/WCQNHS5GW8 |
|---|---|
| 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 2212.06621#WTJN (statement). In DB223AABTH/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.5
Peter Rousseeuw WCQQ3XT6HM
| URI | m2://inv/WCQQ3XT6HM |
|---|---|
| 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#HK7F, Peter Rousseeuw (topic)
History
- 2026-11-02: add by m2/dev
WCQQ8M7EYR WCQQ8M7EYR
| URI | m2://inv/WCQQ8M7EYR |
|---|---|
| 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.10338#KA2V (statement). In WZ3GXRAB00/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Algorithm \(\SampleHollow\ WCR0TKYJHG
| URI | m2://inv/WCR0TKYJHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#V0KI, Algorithm \(\SampleHollow\ (definition). In 1YY0P4ZS0T/e1, definition 29
History
- 2026-10-29: add by m2/v0.4.10
Certifying with an estimated agreement WCR1YZ4005
| URI | m2://inv/WCR1YZ4005 |
|---|---|
| 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.14012#R7NY, Certifying with an estimated agreement (statement). In B8M5XAJASD/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Statement WCR31NTKXD
| URI | m2://inv/WCR31NTKXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dinitz theorem#EGAY, Statement (statement)
History
- 2026-11-02: add by m2/dev
WCR4V3W0WT WCR4V3W0WT
| URI | m2://inv/WCR4V3W0WT |
|---|---|
| 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.35252#1J35 (statement). In RPFP34GH09/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
tribar WCRES2WNB3
| URI | m2://inv/WCRES2WNB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#U8VP, tribar (definition)
History
- 2026-11-02: add by m2/dev
Richard L. Arnowitt WCRGXG1Q1M
| URI | m2://inv/WCRGXG1Q1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#CYV9, Richard L. Arnowitt (unknown)
History
- 2026-11-02: add by m2/dev
WCRKYD7R9N WCRKYD7R9N
| URI | m2://inv/WCRKYD7R9N |
|---|---|
| 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.14217#BJGA (statement). In K0DHYQC5B7/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
A History of Folding in Mathematics WCRN39WTP6
| URI | m2://inv/WCRN39WTP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A History of Folding in Mathematics, A History of Folding in Mathematics (definition). Also Wikidata Q96371278
History
- 2026-11-02: add by m2/dev
WCRQG414BJ WCRQG414BJ
| URI | m2://inv/WCRQG414BJ |
|---|---|
| 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.14841#4RGW (statement). In 6V5HP8W1ZG/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
WCRR7BWKBQ WCRR7BWKBQ
| URI | m2://inv/WCRR7BWKBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#MX2J (statement)
History
- 2026-11-01: add by m2/v0.6.15
WCRVMGKN5G WCRVMGKN5G
| URI | m2://inv/WCRVMGKN5G |
|---|---|
| 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.20153#FLNU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robert Fones Williams WCSC8MC3B7
| URI | m2://inv/WCSC8MC3B7 |
|---|---|
| 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#Q439, Robert Fones Williams (unknown)
History
- 2026-11-02: add by m2/dev
Krichevsky–Trofimov estimator WCSH5NX1QD
| URI | m2://inv/WCSH5NX1QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#3THC, Krichevsky–Trofimov estimator (definition)
History
- 2026-11-02: add by m2/dev
Thakkar Pheru WCT0WRM7G4
| URI | m2://inv/WCT0WRM7G4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#D1BT, Thakkar Pheru (unknown)
History
- 2026-11-02: add by m2/dev
WCT8ZQBPZX WCT8ZQBPZX
| URI | m2://inv/WCT8ZQBPZX |
|---|---|
| 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.21017#DSLM (statement). In 8KKYZ4NKT2/e1, theorem 35
History
- 2026-10-27: add by m2/v0.4.2
WCTCXHNN54 WCTCXHNN54
| URI | m2://inv/WCTCXHNN54 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38567#L40A (definition). In 59AXA7QFTE/e1, definition 6
History
- 2026-10-30: add by m2/v0.4.12
Examples WCTFDEXDJ2
| URI | m2://inv/WCTFDEXDJ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal SU(2)-bundle#IJN2, Examples (example)
History
- 2026-11-02: add by m2/dev
WCTNRVWT3C WCTNRVWT3C
| URI | m2://inv/WCTNRVWT3C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
WCTSJD0CN4 WCTSJD0CN4
| URI | m2://inv/WCTSJD0CN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#NBHQ (statement). In XKXG49TNXH/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
WCTYX5GJBZ WCTYX5GJBZ
| URI | m2://inv/WCTYX5GJBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#GKJY (statement). In FPSGZ5S6YF/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Step 3: the conditional \epower equals $c$ at every step WCVF06DJ3X
| URI | m2://inv/WCVF06DJ3X |
|---|---|
| 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#RPVP, Step 3: the conditional \epower equals $c$ at every step (statement)
History
- 2026-11-01: add by m2/v0.6.15
WCVGVHW9QV WCVGVHW9QV
| URI | m2://inv/WCVGVHW9QV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#1QP2 (statement). In D0F1GK5AHW/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Dmitry Feichtner-Kozlov WCVM06GRVT
| URI | m2://inv/WCVM06GRVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GJUS, Dmitry Feichtner-Kozlov (unknown)
History
- 2026-11-02: add by m2/dev
WCVSF3G1YB WCVSF3G1YB
| URI | m2://inv/WCVSF3G1YB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#S37D (definition). In G0J92BSX4A/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
WCVXZZ8F34 WCVXZZ8F34
| URI | m2://inv/WCVXZZ8F34 |
|---|---|
| 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 2506.16491#TBIU (statement). In P9J6P06Y40/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
Applications WCVYD35SCE
| URI | m2://inv/WCVYD35SCE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian matrix#WTML, Applications (example)
History
- 2026-11-02: add by m2/dev
Vedic Mathematics WCW532EZD0
| URI | m2://inv/WCW532EZD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vedic Mathematics, Vedic Mathematics (definition). Also Wikidata Q1199521
History
- 2026-11-02: add by m2/dev
Friedlander-Iwaniec, 2003 WCW5PX8JTW
| URI | m2://inv/WCW5PX8JTW |
|---|---|
| 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.35950#L7MZ, Friedlander-Iwaniec, 2003 (statement). In BZN1G5W5FX/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
WCW6H8R8ZS WCW6H8R8ZS
| URI | m2://inv/WCW6H8R8ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12852#ES1F (statement). In 1NRV3J17T7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Finite-overlap approximation WCWATDH3Q1
| URI | m2://inv/WCWATDH3Q1 |
|---|---|
| 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.32710#ORZC, Finite-overlap approximation (statement). In KVYG6R7CGJ/e1, lemma 3.21
History
- 2026-10-31: add by m2/v0.5.6
natural logarithm WCWGSR2ZY7
| URI | m2://inv/WCWGSR2ZY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#9D6B, natural logarithm (definition)
History
- 2026-11-02: add by m2/dev
Balayage WCWK8MYKZW
| URI | m2://inv/WCWK8MYKZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balayage, Balayage (definition). Also Wikidata Q4850161
History
- 2026-11-02: add by m2/dev
function extensionality WCWQ4QTE41
| URI | m2://inv/WCWQ4QTE41 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/function-extensionality, function extensionality (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Charles Anthony Micchelli WCWS3PSZJP
| URI | m2://inv/WCWS3PSZJP |
|---|---|
| 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#YI4J, Charles Anthony Micchelli (topic)
History
- 2026-11-02: add by m2/dev
Cost with a source at the center WCWX0JY3GJ
| URI | m2://inv/WCWX0JY3GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#T62U, Cost with a source at the center (statement). In BAWCMJQGVA/e1, proposition 6.2
History
- 2026-10-31: add by m2/v0.5.6
Observable distance WCWX5J71QB
| URI | m2://inv/WCWX5J71QB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#QVPX, Observable distance (definition)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Mielke WCWX86496J
| URI | m2://inv/WCWX86496J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Mielke, Alexander Mielke (topic). Also Wikidata Q58387220
History
- 2026-11-02: add by m2/dev
WCX0AMJXDW WCX0AMJXDW
| URI | m2://inv/WCX0AMJXDW |
|---|---|
| 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 2609.31445#R85D (statement). In 7V2PVZS04C/e1, corollary 2.14
History
- 2026-10-31: add by m2/v0.5.6
Carl Ludvig Godske WCX0BNZV3N
| URI | m2://inv/WCX0BNZV3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Ludvig Godske, Carl Ludvig Godske (topic). Also Wikidata Q12713983
History
- 2026-11-02: add by m2/dev
Chiral homology WCX3148FND
| URI | m2://inv/WCX3148FND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiral homology, Chiral homology (definition). Also Wikidata Q16929163
History
- 2026-11-02: add by m2/dev
Inverse gamma function WCX4X29H8C
| URI | m2://inv/WCX4X29H8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse gamma function, Inverse gamma function (definition). Also Wikidata Q120824225
History
- 2026-11-02: add by m2/dev
Binary classification; Verhoeff {\rm WCX5T89531
| URI | m2://inv/WCX5T89531 |
|---|---|
| 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.01240#54MP, Binary classification; Verhoeff {\rm (statement). In XD5HCP8DHF/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.12
Theorem WCXEXS4PJV
| URI | m2://inv/WCXEXS4PJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence group#N9ZN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
WCXFWTQDTD WCXFWTQDTD
| URI | m2://inv/WCXFWTQDTD |
|---|---|
| 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.01669#QS1S (statement). In 41AVNP6DJ9/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.12
Eugene Seneta WCXH9SSK1W
| URI | m2://inv/WCXH9SSK1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CA6E, Eugene Seneta (topic)
History
- 2026-11-02: add by m2/dev
square metre WCXKEMK391
| URI | m2://inv/WCXKEMK391 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25343, square metre (definition). Also ProofWiki Definition:Metre/Square_Metre
History
- 2026-10-26: add by m2/dev
Definition WCXM7567XB
| URI | m2://inv/WCXM7567XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological conjugacy#X69J, Definition (definition)
History
- 2026-11-02: add by m2/dev
WCXMKN55TC WCXMKN55TC
| URI | m2://inv/WCXMKN55TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#QE4L (statement). In 65GKPZ15VH/e1, proposition 3.21
History
- 2026-10-28: add by m2/v0.4.2
WCXMMPC845 WCXMMPC845
| URI | m2://inv/WCXMMPC845 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#9MYN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Confidence interval from the observed pattern WCXQANGNK3
| URI | m2://inv/WCXQANGNK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#HZA7, Confidence interval from the observed pattern (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diophantus and Diophantine Equations WCY1BMPCV3
| URI | m2://inv/WCY1BMPCV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantus and Diophantine Equations, Diophantus and Diophantine Equations (definition). Also Wikidata Q96376399
History
- 2026-11-02: add by m2/dev
WCY6PZX627 WCY6PZX627
| URI | m2://inv/WCY6PZX627 |
|---|---|
| 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.27056#4XMZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WCY71PDTXG WCY71PDTXG
| URI | m2://inv/WCY71PDTXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-3 (example). In E59CDZA4DP, example, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
Louis François Antoine Arbogast WCYCEF57FR
| URI | m2://inv/WCYCEF57FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis François Antoine Arbogast, Louis François Antoine Arbogast (topic). Also Wikidata Q2572301
History
- 2026-11-02: add by m2/dev
sufficient condition WCYGZJ1KDE
| URI | m2://inv/WCYGZJ1KDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18192682, sufficient condition (unknown). Also MathWorld Sufficient
History
- 2026-10-26: add by m2/dev
Helen Abbey WCYMNB63KY
| URI | m2://inv/WCYMNB63KY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen Abbey, Helen Abbey (topic). Also Wikidata Q60777736
History
- 2026-11-02: add by m2/dev
Weyl sum WCYMT5R7HN
| URI | m2://inv/WCYMT5R7HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#I7EK, Weyl sum (definition)
History
- 2026-11-02: add by m2/dev
Generalizations WCYWAGDY8P
| URI | m2://inv/WCYWAGDY8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Schreier curve#FSAA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
WCYXWFAJP6 WCYXWFAJP6
| URI | m2://inv/WCYXWFAJP6 |
|---|---|
| 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.06461#T3MR (statement). In QXY3W2JV2N/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
Example WCYZFYCEW4
| URI | m2://inv/WCYZFYCEW4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative deepening depth-first search#KXAW, Example (example)
History
- 2026-11-02: add by m2/dev
WCZ0WNYJ5N WCZ0WNYJ5N
| URI | m2://inv/WCZ0WNYJ5N |
|---|---|
| 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 2609.31757#38E1 (statement). In KBJHAD5TTY/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
Finite-width GD for fixed linear observations WCZ3PSJF0Z
| URI | m2://inv/WCZ3PSJF0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#1BZY, Finite-width GD for fixed linear observations (statement). In 6FY8BVP1F3/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Noncrossing partition WCZ5V84KZY
| URI | m2://inv/WCZ5V84KZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#O9IH, Noncrossing partition (definition)
History
- 2026-11-02: add by m2/dev
Spring Prize WCZGNKCDED
| URI | m2://inv/WCZGNKCDED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Society of Japan#EGCA, Spring Prize (unknown)
History
- 2026-11-02: add by m2/dev
Chance constrained programming WCZM245VA7
| URI | m2://inv/WCZM245VA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chance constrained programming, Chance constrained programming (definition). Also Wikidata Q131124952
History
- 2026-11-02: add by m2/dev
Quantum operation WCZRAMQ5PV
| URI | m2://inv/WCZRAMQ5PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#QC9X, Quantum operation (definition)
History
- 2026-11-02: add by m2/dev
Weighted Mikhlin multiplier theorem WCZW59MJM9
| URI | m2://inv/WCZW59MJM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#O9BI, Weighted Mikhlin multiplier theorem (statement). In YYV9SHAPCZ/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
WCZWGTQ1BZ WCZWGTQ1BZ
| URI | m2://inv/WCZWGTQ1BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#V351 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Forward Duhamel operators are singular operators WCZZD5P0Q2
| URI | m2://inv/WCZZD5P0Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#KR52, Forward Duhamel operators are singular operators (statement)
History
- 2026-11-01: add by m2/v0.6.15