Inventory rows AY
The cards of the rows of the inventory whose ids start with AY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HegartyMaths AY00V0VQTM
| URI | m2://inv/AY00V0VQTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HegartyMaths, HegartyMaths (definition). Also Wikidata Q60755731
History
- 2026-11-02: add by m2/dev
AY018Q781E AY018Q781E
| URI | m2://inv/AY018Q781E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#EHE3 (statement). In M4ZVJWM8YA/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.4.2
AY03G8X6SE AY03G8X6SE
| URI | m2://inv/AY03G8X6SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02585#1J4J (statement). In V0KBBY82SY/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Strong diagonal lemma AY0B1SGR9X
| URI | m2://inv/AY0B1SGR9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal lemma#XKIH, Strong diagonal lemma (statement)
History
- 2026-11-02: add by m2/dev
AY0C0V6198 AY0C0V6198
| URI | m2://inv/AY0C0V6198 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#0F9C (statement). In GX0K0ZM700/e1, lemma 2.17
History
- 2026-10-30: add by m2/v0.4.12
AY0CKW75GB AY0CKW75GB
| URI | m2://inv/AY0CKW75GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35740#OM0Y (statement). In N7C6C0QGJM/e1, corollary 2.6
History
- 2026-10-30: add by m2/v0.4.12
Theorem AY0F38R9ZR
| URI | m2://inv/AY0F38R9ZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#X0HL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Trilinear filtering AY0GZ82B32
| URI | m2://inv/AY0GZ82B32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#NXRE, Trilinear filtering (unknown)
History
- 2026-11-02: add by m2/dev
Vanishing 3D critical cost AY0P1K9P0V
| URI | m2://inv/AY0P1K9P0V |
|---|---|
| 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.24962#7E7E, Vanishing 3D critical cost (statement)
History
- 2026-11-01: add by m2/v0.6.15
Martin Hellman AY0WTNJW31
| URI | m2://inv/AY0WTNJW31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#9CCN, Martin Hellman (topic)
History
- 2026-11-02: add by m2/dev
AY100J4BRP AY100J4BRP
| URI | m2://inv/AY100J4BRP |
|---|---|
| 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.29152#TKCU (statement)
History
- 2026-11-01: add by m2/v0.6.15
AY17DSA4HQ AY17DSA4HQ
| URI | m2://inv/AY17DSA4HQ |
|---|---|
| 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.01737#275L (statement). In M4JGP708F4/e1, lemma 3.28
History
- 2026-10-29: add by m2/v0.4.12
Lindelöf space AY18D5Q4EP
| URI | m2://inv/AY18D5Q4EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lindelöf space SW0SN1NEJE |
Mentions
- wikidata: Wikidata Q936155, Lindelöf space (definition). Also EoM Lindelöf_space, nLab Lindelöf topological space, ProofWiki Definition:Lindelöf_Space
- wikipedia: Wikipedia Lindelöf space, Lindelöf space (definition). Also Wikidata Q936155
History
- 2026-10-26: add by m2/dev
Examples AY1B5379T8
| URI | m2://inv/AY1B5379T8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex space#ELDZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations AY1EZ1C7SC
| URI | m2://inv/AY1EZ1C7SC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#KB7H, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
AY1N9G3D3W AY1N9G3D3W
| URI | m2://inv/AY1N9G3D3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#ZFTC (statement). In APK7X4MFAX/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Erdős–Pósa theorem AY1NP3KZ3V
| URI | m2://inv/AY1NP3KZ3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#QEYX, Erdős–Pósa theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples AY1P7PJ2EF
| URI | m2://inv/AY1P7PJ2EF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surgery exact sequence#IMZN, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties AY1RNWD1HF
| URI | m2://inv/AY1RNWD1HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercator projection#C75B, Properties (statement)
History
- 2026-11-02: add by m2/dev
Axiom 1 AY1RP3SS6C
| URI | m2://inv/AY1RP3SS6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#YZR4, Axiom 1 (statement)
History
- 2026-11-02: add by m2/dev
AY1V5F20S1 AY1V5F20S1
| URI | m2://inv/AY1V5F20S1 |
|---|---|
| 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 2506.09840#OY3D (statement). In Y7TWHSF2HC/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
AY1WCMAD3X AY1WCMAD3X
| URI | m2://inv/AY1WCMAD3X |
|---|---|
| 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.30823#BAAF (statement). In 1YHQ9YNQ68/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
arborescence AY27F8DZ6R
| URI | m2://inv/AY27F8DZ6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#C17A, arborescence (definition)
History
- 2026-11-02: add by m2/dev
AY2817RA4P AY2817RA4P
| URI | m2://inv/AY2817RA4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34122#RL6R (statement). In 6V2FT31QA1/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Examples AY2RDR29XR
| URI | m2://inv/AY2RDR29XR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy-closed subgroup#M3KS, Examples (example)
History
- 2026-11-02: add by m2/dev
Divisorial scheme AY2ZGFN2WN
| URI | m2://inv/AY2ZGFN2WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisorial scheme, Divisorial scheme (definition). Also Wikidata Q85757194
History
- 2026-11-02: add by m2/dev
Low-degree eigenvectors AY357DE5MY
| URI | m2://inv/AY357DE5MY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#CBOS, Low-degree eigenvectors (example). In 9S7HGSEX6Q/e1, example 3.17
History
- 2026-10-28: add by m2/v0.4.2
Fowlkes–Mallows index AY363KW2YH
| URI | m2://inv/AY363KW2YH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HWAB, Fowlkes–Mallows index (definition)
History
- 2026-11-02: add by m2/dev
meandric number AY39BQJDY3
| URI | m2://inv/AY39BQJDY3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3343078, meandric number (object). Also OEIS A005316
History
- 2026-10-26: add by m2/dev
School of Sciences, UNAM AY3B51XK20
| URI | m2://inv/AY3B51XK20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia School of Sciences, UNAM, School of Sciences, UNAM (definition). Also Wikidata Q5429070
History
- 2026-11-02: add by m2/dev
AY3KWZ3TC5 AY3KWZ3TC5
| URI | m2://inv/AY3KWZ3TC5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#Z217 (definition). In 9TR5E527P5/e1, definition 6.5
History
- 2026-10-29: add by m2/v0.4.10
Webgraph AY3R4V2X52
| URI | m2://inv/AY3R4V2X52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webgraph, Webgraph (definition). Also Wikidata Q7978783
History
- 2026-11-02: add by m2/dev
AY3VFYGTS3 AY3VFYGTS3
| URI | m2://inv/AY3VFYGTS3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#1HBN (definition)
History
- 2026-11-02: add by m2/v0.6.17
Conic ray test AY40550MG2
| URI | m2://inv/AY40550MG2 |
|---|---|
| Kind | definition |
| 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.24078#XRZC, Conic ray test (definition)
History
- 2026-11-02: add by m2/v0.6.17
Image denoising AY44JDFC8P
| URI | m2://inv/AY44JDFC8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AF0I, Image denoising (definition)
History
- 2026-11-02: add by m2/dev
AY467WT90R AY467WT90R
| URI | m2://inv/AY467WT90R |
|---|---|
| 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.28143#1TT9 (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition AY4GP45ZW3
| URI | m2://inv/AY4GP45ZW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover (topology)#ITEY, Definition (definition)
History
- 2026-11-02: add by m2/dev
David Lovelock AY4JCE1PA2
| URI | m2://inv/AY4JCE1PA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#C6C9, David Lovelock (topic)
History
- 2026-11-02: add by m2/dev
Dempster–Shafer theory AY4K4K7422
| URI | m2://inv/AY4K4K7422 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#NKEM, Dempster–Shafer theory (definition)
History
- 2026-11-02: add by m2/dev
AY4SY0GP0S AY4SY0GP0S
| URI | m2://inv/AY4SY0GP0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:fourierlocalization (statement). In E59CDZA4DP, thm, section 1.8.5
History
- 2026-11-01: add by m2/v0.6.13
Root of the strongly monotone chain AY4XGGT85H
| URI | m2://inv/AY4XGGT85H |
|---|---|
| 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#APV6, Root of the strongly monotone chain (statement). In X5BYGZZHPF/e1, lemma J.9
History
- 2026-10-28: add by m2/v0.4.2
Sarah Peluse AY50NCHF1S
| URI | m2://inv/AY50NCHF1S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah Peluse, Sarah Peluse (topic). Also Wikidata Q103328301
History
- 2026-11-02: add by m2/dev
Sahl ibn Bishr AY514XNTDZ
| URI | m2://inv/AY514XNTDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#P1ZV, Sahl ibn Bishr (unknown)
History
- 2026-11-02: add by m2/dev
AY53ER5HDR AY53ER5HDR
| URI | m2://inv/AY53ER5HDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#4PKS (statement). In QBAP8C82FG/e1, theorem 44
History
- 2026-10-30: add by m2/v0.4.12
Dithering AY53SZ62QJ
| URI | m2://inv/AY53SZ62QJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#OM9T, Dithering (unknown)
History
- 2026-11-02: add by m2/dev
Representations of a locally profinite group AY594QCKP4
| URI | m2://inv/AY594QCKP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally profinite group#R83R, Representations of a locally profinite group (definition)
History
- 2026-11-02: add by m2/dev
Mealy machine AY5MHBBT3C
| URI | m2://inv/AY5MHBBT3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1126309, Mealy machine (unknown). Also nLab Mealy machine
- wikipedia: Wikipedia Mealy machine, Mealy machine (definition). Also Wikidata Q1126309
History
- 2026-10-26: add by m2/dev
AY613S73AX AY613S73AX
| URI | m2://inv/AY613S73AX |
|---|---|
| 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#PNMZ (statement). In 9JHMTYGWFQ/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.6
Exact scaling relation for localized bulk/boundary quotients AY626R0K33
| URI | m2://inv/AY626R0K33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09121#585Z, Exact scaling relation for localized bulk/boundary quotients (statement). In 559PF7Q5BT/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Geometric fixed point homotopy groups AY6733C5NA
| URI | m2://inv/AY6733C5NA |
|---|---|
| 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 2610.21675#E79F, Geometric fixed point homotopy groups (definition). In TB1294GY5X/e1, definition A.12
History
- 2026-10-27: add by m2/v0.4.2
Grigorii Fichtenholz AY67QR56DA
| URI | m2://inv/AY67QR56DA |
|---|---|
| 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#N8YK, Grigorii Fichtenholz (topic)
History
- 2026-11-02: add by m2/dev
Correlogram AY68JCHW0A
| URI | m2://inv/AY68JCHW0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlogram, Correlogram (definition). Also Wikidata Q598190
History
- 2026-11-02: add by m2/dev
María Cumplido AY68T2D8NP
| URI | m2://inv/AY68T2D8NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia María Cumplido, María Cumplido (topic). Also Wikidata Q97355145
History
- 2026-11-02: add by m2/dev
semihereditary ring AY6AV6RCPH
| URI | m2://inv/AY6AV6RCPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122972540, semihereditary ring (definition). Also ProofWiki Definition:Semihereditary_Ring
History
- 2026-10-26: add by m2/dev
Examples AY6NHCKR9D
| URI | m2://inv/AY6NHCKR9D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random self-reducibility#596C, Examples (example)
History
- 2026-11-02: add by m2/dev
Čech complex AY6NZWPW33
| URI | m2://inv/AY6NZWPW33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Čech complex, Čech complex (definition). Also Wikidata Q55638301
History
- 2026-11-02: add by m2/dev
AY6RXMMBK0 AY6RXMMBK0
| URI | m2://inv/AY6RXMMBK0 |
|---|---|
| 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.10795#BTDI (statement). In RXPSC74YPT/e1, proposition E.1
History
- 2026-10-28: add by m2/v0.4.3
Philip Caesar Kutzko AY6WC9Y1TJ
| URI | m2://inv/AY6WC9Y1TJ |
|---|---|
| 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#W4CS, Philip Caesar Kutzko (topic)
History
- 2026-11-02: add by m2/dev
Conservation of the Laplace-Runge-Lenz vector AY6WNEEC05
| URI | m2://inv/AY6WNEEC05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace–Runge–Lenz vector#19BF, Conservation of the Laplace-Runge-Lenz vector (unknown)
History
- 2026-11-02: add by m2/dev
AY73B4P8TS AY73B4P8TS
| URI | m2://inv/AY73B4P8TS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37973#SYC0 (problem). In 7276BGZRMP/e1, problem 11
History
- 2026-10-30: add by m2/v0.4.12
Definition AY76E77QGH
| URI | m2://inv/AY76E77QGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split-octonion#HI45, Definition (definition)
History
- 2026-11-02: add by m2/dev
AY76ZZ17VW AY76ZZ17VW
| URI | m2://inv/AY76ZZ17VW |
|---|---|
| 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.00339#D3NM (statement). In ZRG6NY1ECH/e1, lemma 28
History
- 2026-10-30: add by m2/v0.4.12
Definition AY783FAJ9B
| URI | m2://inv/AY783FAJ9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inference#TZFK, Definition (definition)
History
- 2026-11-02: add by m2/dev
AY7DTNWNX0 AY7DTNWNX0
| URI | m2://inv/AY7DTNWNX0 |
|---|---|
| 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 2610.11652#1SKN (statement). In VEXM27M8Q1/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.3
Riemann's explicit formula AY7QVAPHEE
| URI | m2://inv/AY7QVAPHEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#CAGT, Riemann's explicit formula (definition)
History
- 2026-11-02: add by m2/dev
Thermal conductance and resistance AY7TWQ1JPN
| URI | m2://inv/AY7TWQ1JPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conductance and resistance, Thermal conductance and resistance (definition). Also Wikidata Q899628
History
- 2026-11-02: add by m2/dev
Sierpinski number AY7V2NAVE1
| URI | m2://inv/AY7V2NAVE1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#9J63, Sierpinski number (conjecture)
History
- 2026-11-02: add by m2/dev
Bitmessage AY88N153FZ
| URI | m2://inv/AY88N153FZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitmessage, Bitmessage (definition). Also Wikidata Q13903041
History
- 2026-11-02: add by m2/dev
Fixed-step limit AY88RQK3QN
| URI | m2://inv/AY88RQK3QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#YQ2P, Fixed-step limit (statement). In A7HTYWJNCX/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Turingery AY88T9F7N8
| URI | m2://inv/AY88T9F7N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turingery, Turingery (definition). Also Wikidata Q7854970
History
- 2026-11-02: add by m2/dev
AY8P8NS09Y AY8P8NS09Y
| URI | m2://inv/AY8P8NS09Y |
|---|---|
| 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.11369#A5VU (statement). In MEKZJKQHXG/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
AY8XTWYWWY AY8XTWYWWY
| URI | m2://inv/AY8XTWYWWY |
|---|---|
| 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.40207#D3HX (statement). In JXTG8KP95P/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Fermi–Dirac prime AY8Y6WN0P0
| URI | m2://inv/AY8Y6WN0P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi–Dirac prime, Fermi–Dirac prime (definition). Also Wikidata Q115518009
History
- 2026-11-02: add by m2/dev
Tiberiu Popoviciu AY8YYP6S24
| URI | m2://inv/AY8YYP6S24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tiberiu Popoviciu, Tiberiu Popoviciu (topic). Also Wikidata Q3991128
History
- 2026-11-02: add by m2/dev
AY90BVKP62 AY90BVKP62
| URI | m2://inv/AY90BVKP62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-5.xml#prop-svd-ols (statement). In 649HGZKE96, proposition, section 7.5.2
History
- 2026-11-01: add by m2/v0.6.13
AY95MW3A5R AY95MW3A5R
| URI | m2://inv/AY95MW3A5R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#proof-1 (proof). In RZP28ERRZV, proof, section 52.1
History
- 2026-11-01: add by m2/v0.6.13
AY9AZ5448J AY9AZ5448J
| URI | m2://inv/AY9AZ5448J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 70.3
History
- 2026-11-01: add by m2/v0.6.13
Examples AY9B81GGJA
| URI | m2://inv/AY9B81GGJA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Λ-ring#DSZW, Examples (example)
History
- 2026-11-02: add by m2/dev
Persistent homology group AY9GY3GMME
| URI | m2://inv/AY9GY3GMME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistent homology group, Persistent homology group (definition). Also Wikidata Q118904765
History
- 2026-11-02: add by m2/dev
Polynomial functor AY9KVJ4X1S
| URI | m2://inv/AY9KVJ4X1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial functor (type theory), Polynomial functor (definition). Also Wikidata Q49000754
History
- 2026-11-02: add by m2/dev
Non-trivial divisor AY9NDRBDM9
| URI | m2://inv/AY9NDRBDM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor#CV61, Non-trivial divisor (unknown)
History
- 2026-11-02: add by m2/dev
AY9SXW3J0M AY9SXW3J0M
| URI | m2://inv/AY9SXW3J0M |
|---|---|
| Kind | definition |
| 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.32300#YIZV (definition). In VNE8N0D2FB/e1, definition 1.4
History
- 2026-10-31: add by m2/v0.5.6
Properties AY9VR6D5RT
| URI | m2://inv/AY9VR6D5RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival function#CTTT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Uniform analytic propagation in the nonsmoothing cases AY9ZWJTKEE
| URI | m2://inv/AY9ZWJTKEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#WNQF, Uniform analytic propagation in the nonsmoothing cases (statement). In RHBS9QDHC3/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
strict, category AYA31A4J65
| URI | m2://inv/AYA31A4J65 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/strict-category, strict, category (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Definition AYA5FV7M1R
| URI | m2://inv/AYA5FV7M1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze mapping#VIJP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Special \(S^3\)-\(S^3\) bundle AYAAWDAMY5
| URI | m2://inv/AYAAWDAMY5 |
|---|---|
| Kind | definition |
| 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#UFZJ, Special \(S^3\)-\(S^3\) bundle (definition). In QNVKW32G02/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
power AYADVVYP16
| URI | m2://inv/AYADVVYP16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RIPN, power (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Cyclic burst correction capability) AYAE8NQA46
| URI | m2://inv/AYAE8NQA46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#FQLP, Theorem (Cyclic burst correction capability) (statement)
History
- 2026-11-02: add by m2/dev
battle of the sexes AYAFS97A6B
| URI | m2://inv/AYAFS97A6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1187614, battle of the sexes (definition). Also ProofWiki Definition:Bach_or_Stravinsky?
- wikipedia: Wikipedia Battle of the sexes (game theory), Battle of the sexes (definition). Also Wikidata Q1187614
History
- 2026-10-26: add by m2/dev
AYAJNV802E AYAJNV802E
| URI | m2://inv/AYAJNV802E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11809#RU8H (statement). In YQXYSNW78V/e1, theorem 28
History
- 2026-10-27: add by m2/v0.3.5
AYAJVNDB95 AYAJVNDB95
| URI | m2://inv/AYAJVNDB95 |
|---|---|
| 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.36113#GJJM (statement). In FSGSVD0XYH/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Elastic pendulum AYAQ4AHN2N
| URI | m2://inv/AYAQ4AHN2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elastic pendulum, Elastic pendulum (definition). Also Wikidata Q12714444
History
- 2026-11-02: add by m2/dev
magic circle AYAS13KAVM
| URI | m2://inv/AYAS13KAVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2314872, magic circle (unknown). Also MathWorld MagicCircles
History
- 2026-10-26: add by m2/dev
Definition AYAZBZ0K0K
| URI | m2://inv/AYAZBZ0K0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor graph#K3Q0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Martin Wainwright AYB2KAE7SF
| URI | m2://inv/AYB2KAE7SF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Wainwright (statistician), Martin Wainwright (topic). Also Wikidata Q44655457
History
- 2026-11-02: add by m2/dev
AYB3MW7Q51 AYB3MW7Q51
| URI | m2://inv/AYB3MW7Q51 |
|---|---|
| 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.09506#7628 (statement). In AQC7E6RAT4/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Raymond Keiller Butchart AYB4S1QYWT
| URI | m2://inv/AYB4S1QYWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Keiller Butchart, Raymond Keiller Butchart (topic). Also Wikidata Q20638875
History
- 2026-11-02: add by m2/dev
Metaphysical dispositionalism AYB7S40EGB
| URI | m2://inv/AYB7S40EGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disposition#PM16, Metaphysical dispositionalism (unknown)
History
- 2026-11-02: add by m2/dev
Psychometrika AYB99NJ97C
| URI | m2://inv/AYB99NJ97C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometrika, Psychometrika (definition). Also Wikidata Q15763408
History
- 2026-11-02: add by m2/dev
AYB9N9XT7R AYB9N9XT7R
| URI | m2://inv/AYB9N9XT7R |
|---|---|
| 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.22153#MTI0 (statement). In 927F2TZ644/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
Introduction to general relativity AYBD6X2TWB
| URI | m2://inv/AYBD6X2TWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to general relativity, Introduction to general relativity (topic). Also Wikidata Q2743587
History
- 2026-11-02: add by m2/dev
Reed–Solomon error correction AYBKVE7DKY
| URI | m2://inv/AYBKVE7DKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#CSAQ, Reed–Solomon error correction (definition)
History
- 2026-11-02: add by m2/dev
AYBMA8E0WK AYBMA8E0WK
| URI | m2://inv/AYBMA8E0WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23544#6DXF (statement)
History
- 2026-11-02: add by m2/v0.6.17
analytic number theory AYBQ3KPNAJ
| URI | m2://inv/AYBQ3KPNAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10843274, analytic number theory (topic). Also MathWorld AnalyticNumberTheory, nLab analytic number theory, ProofWiki Definition:Analytic_Number_Theory
- wikipedia: Wikipedia Analytic number theory, Analytic number theory (definition). Also Wikidata Q10843274
History
- 2026-10-26: add by m2/dev
Formal statement AYBTYFS5W1
| URI | m2://inv/AYBTYFS5W1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg's inequality#7GZO, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Properties AYC04J638X
| URI | m2://inv/AYC04J638X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete space#V0PB, Properties (statement)
History
- 2026-11-02: add by m2/dev
AYC2G31S3F AYC2G31S3F
| URI | m2://inv/AYC2G31S3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#lem:one-par (statement). In PKGMM3P5QY, lem, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
F. J. Vaes AYC8ASKMH3
| URI | m2://inv/AYC8ASKMH3 |
|---|---|
| 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#ZCU7, F. J. Vaes (unknown)
History
- 2026-11-02: add by m2/dev
Eigenvalue perturbation of symmetric matrices (Corollary 4.3.15 AYCAZXTMZ8
| URI | m2://inv/AYCAZXTMZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30957#L2K1, Eigenvalue perturbation of symmetric matrices (Corollary 4.3.15 (statement). In P5YB6R0RK3/e1, lemma D.11
History
- 2026-10-31: add by m2/v0.5.6
Examples AYCS2K430V
| URI | m2://inv/AYCS2K430V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Security parameter#DXID, Examples (example)
History
- 2026-11-02: add by m2/dev
ring structure $\Z$ AYD7N3MAYF
| URI | m2://inv/AYD7N3MAYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Fundamentals > ring structure $\Z$, ring structure $\Z$ (unknown). Also Mathlib Int.instCommRing
History
- 2026-10-26: add by m2/dev
Reverse Serre relation AYDEBHZFSY
| URI | m2://inv/AYDEBHZFSY |
|---|---|
| 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 2610.04189#WJ7B, Reverse Serre relation (statement). In 1KRZ5ACTKE/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.12
AYDFA2QAHK AYDFA2QAHK
| URI | m2://inv/AYDFA2QAHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#5QLQ (statement). In 2HSB99DW4M/e1, corollary 6.6
History
- 2026-10-27: add by m2/v0.3.6
AYDFR9TGZ7 AYDFR9TGZ7
| URI | m2://inv/AYDFR9TGZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#1590 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Concentration; Proposition 2 AYDJZ23Y4N
| URI | m2://inv/AYDJZ23Y4N |
|---|---|
| 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 2102.11076#8LCN, Concentration; Proposition 2 (statement). In T9HZXHTQBJ/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.6
Epoch $\Omega$-regularized $Q$-learning for $m=1$ AYDKDVFC02
| URI | m2://inv/AYDKDVFC02 |
|---|---|
| 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.14988#7GFT, Epoch $\Omega$-regularized $Q$-learning for $m=1$ (statement). In B29M4E6KGC/e1, corollary H.5
History
- 2026-10-28: add by m2/v0.4.2
$\mathrm{ZF}^2$ AYDW414V8W
| URI | m2://inv/AYDW414V8W |
|---|---|
| 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.32338#JAD0, $\mathrm{ZF}^2$ (statement). In HVY45JQRNK/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
AYEDQQRR78 AYEDQQRR78
| URI | m2://inv/AYEDQQRR78 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31544#3TSA (definition). In TX449S1VZV/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
Explicit formulas AYEJ87MV6S
| URI | m2://inv/AYEJ87MV6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitarian trick#YG8V, Explicit formulas (statement)
History
- 2026-11-02: add by m2/dev
AYEJQX0P5M AYEJQX0P5M
| URI | m2://inv/AYEJQX0P5M |
|---|---|
| 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.24860#15UA (statement)
History
- 2026-11-01: add by m2/v0.6.15
AYEKN67KRW AYEKN67KRW
| URI | m2://inv/AYEKN67KRW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#9SUL (definition). In M0SQY5EZN5/e1, definition 1.1.3
History
- 2026-10-27: add by m2/v0.3.5
Chiral knot AYERW4FKH9
| URI | m2://inv/AYERW4FKH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#8RD5, Chiral knot (definition)
History
- 2026-11-02: add by m2/dev
AYF1DEAH3W AYF1DEAH3W
| URI | m2://inv/AYF1DEAH3W |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#OJ85 (conjecture). In CGA36VE1C5/e1, conjecture 4
History
- 2026-10-27: add by m2/v0.3.6
AYG158TCXY AYG158TCXY
| URI | m2://inv/AYG158TCXY |
|---|---|
| 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.24314#MRPU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rotational lift of the Pi\ neiro measure and its Weyl matrix AYGA2AE5YQ
| URI | m2://inv/AYGA2AE5YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#73RV, Rotational lift of the Pi\ neiro measure and its Weyl matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications AYGR0ACX4E
| URI | m2://inv/AYGR0ACX4E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semilinear map#JZ77, Applications (example)
History
- 2026-11-02: add by m2/dev
AYGSYXM7WH AYGSYXM7WH
| URI | m2://inv/AYGSYXM7WH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#X4X2 (definition). In M0SQY5EZN5/e1, definition 4.7.3
History
- 2026-10-27: add by m2/v0.3.5
Uniform Radius for Majorants AYGW49N2XR
| URI | m2://inv/AYGW49N2XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#0Y22, Uniform Radius for Majorants (statement). In CW9MNA6K58/e1, lemma 9.16
History
- 2026-10-28: add by m2/v0.4.2
Pick's theorem AYH3CZYN9D
| URI | m2://inv/AYH3CZYN9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Pick's theorem K9SBQZMWB9 |
Mentions
- mathlib_1000: mathlib_1000 Q646523, Pick's theorem (statement). Also Wikidata Q646523
- thousand_plus: thousand_plus Q646523, Pick's theorem (statement). Also Wikidata Q646523, Wikipedia Pick's theorem
- wikidata: Wikidata Q646523, Pick's theorem (statement). Also MathWorld PicksTheorem
- wikipedia: Wikipedia Pick's theorem, Pick's theorem (statement). Also Wikidata Q646523
History
- 2026-10-26: add by m2/dev
Crossed pentagonal antiprism AYH70BF5B0
| URI | m2://inv/AYH70BF5B0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal antiprism#9DCT, Crossed pentagonal antiprism (unknown)
History
- 2026-11-02: add by m2/dev
AYH8ZFSNGC AYH8ZFSNGC
| URI | m2://inv/AYH8ZFSNGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32614#SD73 (statement). In SG8GT73ZNH/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Arzel\`a--Ascoli theorem AYHE8PHM3T
| URI | m2://inv/AYHE8PHM3T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.6/arzel-a-ascoli-theorem, Arzel\`a--Ascoli theorem (concept). In E59CDZA4DP, index, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Definition AYHNST05AG
| URI | m2://inv/AYHNST05AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berezin integral#GAJF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Strong convexity AYJ18H0WK4
| URI | m2://inv/AYJ18H0WK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36668#XA8E, Strong convexity (definition). In RD729BY377/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Powers of the identity AYJ51YT0WP
| URI | m2://inv/AYJ51YT0WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm#OUYO, Powers of the identity (statement)
History
- 2026-11-02: add by m2/dev
AYJBPZKKJK AYJBPZKKJK
| URI | m2://inv/AYJBPZKKJK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#dproblem-2 (exercise). In RZP28ERRZV, dproblem, section 34.7
History
- 2026-11-01: add by m2/v0.6.13
Optics (Al-Kindi) AYJBY56AEA
| URI | m2://inv/AYJBY56AEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Kindi#RHQD, Optics (Al-Kindi) (unknown)
History
- 2026-11-02: add by m2/dev
AYJEG8YW4H AYJEG8YW4H
| URI | m2://inv/AYJEG8YW4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.07292#YY8R (statement). In PZ17NHGAKX/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.10
Definition AYJJKGDC6E
| URI | m2://inv/AYJJKGDC6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan theta function#QX32, Definition (definition)
History
- 2026-11-02: add by m2/dev
AYJKPFW23S AYJKPFW23S
| URI | m2://inv/AYJKPFW23S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#U0U6 (statement). In MVSGDTN2PB/e1, corollary
History
- 2026-10-29: add by m2/v0.4.10
AYJPFJ8PW4 AYJPFJ8PW4
| URI | m2://inv/AYJPFJ8PW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#3VIF (statement). In 13GSWBXPCM/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Elongated bipyramid AYJWDB381R
| URI | m2://inv/AYJWDB381R |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated bipyramid, Elongated bipyramid (object). Also Wikidata Q3029312
History
- 2026-11-02: add by m2/dev
Kathryn Mann AYJWPA9TJ5
| URI | m2://inv/AYJWPA9TJ5 |
|---|---|
| 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#H833, Kathryn Mann (topic)
History
- 2026-11-02: add by m2/dev
Ideal-gas law AYJXVF0MN7
| URI | m2://inv/AYJXVF0MN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virial theorem#5O4G, Ideal-gas law (statement)
History
- 2026-11-02: add by m2/dev
AYJZ5BYFXE AYJZ5BYFXE
| URI | m2://inv/AYJZ5BYFXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 0906.2853#7LMS (statement). In 32ZZ1DETCX/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Millionth AYK5PZ7SHC
| URI | m2://inv/AYK5PZ7SHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millionth, Millionth (definition). Also Wikidata Q3501970
History
- 2026-11-02: add by m2/dev
Aggregate data AYK60F7XF9
| URI | m2://inv/AYK60F7XF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregate data, Aggregate data (definition). Also Wikidata Q4692253
History
- 2026-11-02: add by m2/dev
Geometric group action AYK6NVVC7A
| URI | m2://inv/AYK6NVVC7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric group action, Geometric group action (definition). Also Wikidata Q5535486
History
- 2026-11-02: add by m2/dev
Z* theorem AYKEADV2MP
| URI | m2://inv/AYKEADV2MP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FX20, Z* theorem (statement)
History
- 2026-11-02: add by m2/dev
AYKWS211N8 AYKWS211N8
| URI | m2://inv/AYKWS211N8 |
|---|---|
| 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 2610.00914#HM3P (statement). In TQ9CKHBTWN/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
AYM1JNG0ZA AYM1JNG0ZA
| URI | m2://inv/AYM1JNG0ZA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#KGGD (problem). In ANHWXYPQFX/e1, problem 4.15
History
- 2026-10-30: add by m2/v0.4.12
Sean Murphy AYM7D5SNFS
| URI | m2://inv/AYM7D5SNFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QOCS, Sean Murphy (topic)
History
- 2026-11-02: add by m2/dev
Thousandsticks, Kentucky AYM99GMTS4
| URI | m2://inv/AYM99GMTS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WHKW, Thousandsticks, Kentucky (unknown)
History
- 2026-11-02: add by m2/dev
Antiderivative AYMWXXH7SM
| URI | m2://inv/AYMWXXH7SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#WQ7Y, Antiderivative (definition)
History
- 2026-11-02: add by m2/dev
Common translation AYMZM1AZ6X
| URI | m2://inv/AYMZM1AZ6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#D87G, Common translation (statement)
History
- 2026-11-02: add by m2/v0.6.17
AYN14HFQ68 AYN14HFQ68
| URI | m2://inv/AYN14HFQ68 |
|---|---|
| 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.09672#RO4J (statement). In TXBXCPP0QH/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.10
Lin's Problem 1 AYN7R5WQR5
| URI | m2://inv/AYN7R5WQR5 |
|---|---|
| Kind | problem |
| 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#P1UK, Lin's Problem 1 (problem). In XKXG49TNXH/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.3.6
AYN9DV358A AYN9DV358A
| URI | m2://inv/AYN9DV358A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#TNVA (definition)
History
- 2026-11-01: add by m2/v0.6.15
AYNB7RWS9E AYNB7RWS9E
| URI | m2://inv/AYNB7RWS9E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 8.12
History
- 2026-11-01: add by m2/v0.6.13
Yakov Borisovich Zel'dovich AYND66RQE0
| URI | m2://inv/AYND66RQE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#B8YS, Yakov Borisovich Zel'dovich (unknown)
History
- 2026-11-02: add by m2/dev
Martin-Liu validity criterion AYNJX2V3MH
| URI | m2://inv/AYNJX2V3MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False confidence theorem#DHAH, Martin-Liu validity criterion (statement)
History
- 2026-11-02: add by m2/dev
Real algebraic geometry AYNMEAZ2SN
| URI | m2://inv/AYNMEAZ2SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PZXA, Real algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
AYNSGW27G1 AYNSGW27G1
| URI | m2://inv/AYNSGW27G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#ZGFZ (statement). In CEKW9CNVVW/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Dixon's identity AYP8GJZVQX
| URI | m2://inv/AYP8GJZVQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial coefficient#6GIB, Dixon's identity (statement)
History
- 2026-11-02: add by m2/dev
Moulton plane AYPB7R6JHF
| URI | m2://inv/AYPB7R6JHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moulton plane, Moulton plane (definition). Also Wikidata Q650995
History
- 2026-11-02: add by m2/dev
Unlabeled coloring AYPF4KWHST
| URI | m2://inv/AYPF4KWHST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring#NTBY, Unlabeled coloring (unknown)
History
- 2026-11-02: add by m2/dev
AYPGGSRNQ2 AYPGGSRNQ2
| URI | m2://inv/AYPGGSRNQ2 |
|---|---|
| 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 1809.06512#EN9P (statement). In RY2X22P6XW/e1, theorem 36
History
- 2026-10-27: add by m2/v0.3.5
AYPNBB4G67 AYPNBB4G67
| URI | m2://inv/AYPNBB4G67 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#JPGA (definition). In PRVQPSBVHK/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Applications AYPWXKY5VY
| URI | m2://inv/AYPWXKY5VY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-exponential-gamma distribution#PBY7, Applications (example)
History
- 2026-11-02: add by m2/dev
AYQ2QFEK0G AYQ2QFEK0G
| URI | m2://inv/AYQ2QFEK0G |
|---|---|
| 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.04833#F1M4 (statement). In AKB3CNDA0F/e1, proposition C.3
History
- 2026-10-29: add by m2/v0.4.12
Describing function AYQ497N5M9
| URI | m2://inv/AYQ497N5M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Describing function, Describing function (definition). Also Wikidata Q1925419
History
- 2026-11-02: add by m2/dev
AYQ4H13ESG AYQ4H13ESG
| URI | m2://inv/AYQ4H13ESG |
|---|---|
| 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.08050#E0K5 (statement). In K9Q0GZXRN3/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
AYQ4NHVPWS AYQ4NHVPWS
| URI | m2://inv/AYQ4NHVPWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#1KG6 (statement). In E7W2HDNEKJ/e1, theorem 7.9
History
- 2026-10-30: add by m2/v0.4.12
strict AYQN4FPHZP
| URI | m2://inv/AYQN4FPHZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Q7EL, strict (definition)
History
- 2026-11-02: add by m2/dev
AYQPX80N65 AYQPX80N65
| URI | m2://inv/AYQPX80N65 |
|---|---|
| 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.31102#JPS9 (statement). In 7CADATJMAA/e1, theorem 7.2
History
- 2026-10-31: add by m2/v0.5.6
Data-snooping bias AYQW1RT836
| URI | m2://inv/AYQW1RT836 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KNFQ, Data-snooping bias (definition)
History
- 2026-11-02: add by m2/dev
Formal definitions AYR5R9NCZ8
| URI | m2://inv/AYR5R9NCZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular chain#K3QT, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Lebedev quadrature AYRGNT0T2A
| URI | m2://inv/AYRGNT0T2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#6ML5, Lebedev quadrature (definition)
History
- 2026-11-02: add by m2/dev
Rank generating function and recurrence AYRMEC85CM
| URI | m2://inv/AYRMEC85CM |
|---|---|
| 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.24541#99ZE, Rank generating function and recurrence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications AYRT3N7T4R
| URI | m2://inv/AYRT3N7T4R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabelle (proof assistant)#8W2I, Applications (example)
History
- 2026-11-02: add by m2/dev
Cuboid AYS0S8A0DJ
| URI | m2://inv/AYS0S8A0DJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuboid, Cuboid (object). Also Wikidata Q55450691
History
- 2026-11-02: add by m2/dev
Proposition AYS4YTKKVF
| URI | m2://inv/AYS4YTKKVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleus (order theory)#9P8F, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Truncated weighted quantile estimate AYS6WRS01F
| URI | m2://inv/AYS6WRS01F |
|---|---|
| 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.12740#L3WX, Truncated weighted quantile estimate (statement). In HKYRZSZPEC/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Leon Henkin AYS7SX1X4X
| URI | m2://inv/AYS7SX1X4X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#M41U, Leon Henkin (topic)
History
- 2026-11-02: add by m2/dev
AYSBKYFYHC AYSBKYFYHC
| URI | m2://inv/AYSBKYFYHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#8EWH (statement)
History
- 2026-11-02: add by m2/v0.6.17
AYSNMH7TZ5 AYSNMH7TZ5
| URI | m2://inv/AYSNMH7TZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#ODL2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement AYSRHGZ3XK
| URI | m2://inv/AYSRHGZ3XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kōmura's theorem#XYGP, Statement (statement)
History
- 2026-11-02: add by m2/dev
Independent and identically distributed random variables AYTMKJMFJF
| URI | m2://inv/AYTMKJMFJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QM8V, Independent and identically distributed random variables (definition)
History
- 2026-11-02: add by m2/dev
Alexander M. Olevskii AYTNJ7HTJP
| URI | m2://inv/AYTNJ7HTJP |
|---|---|
| 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#IVD1, Alexander M. Olevskii (topic)
History
- 2026-11-02: add by m2/dev
Main theorem AYTS0JBADM
| URI | m2://inv/AYTS0JBADM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#LAG0, Main theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
AYV13S7KYS AYV13S7KYS
| URI | m2://inv/AYV13S7KYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#Q4SS (statement). In 4WPYBTARS2/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Mean value inequality AYV46QFW78
| URI | m2://inv/AYV46QFW78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#8YHE, Mean value inequality (statement)
History
- 2026-11-02: add by m2/dev
AYV4CGBSW3 AYV4CGBSW3
| URI | m2://inv/AYV4CGBSW3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
Hölder space AYV91FXHXP
| URI | m2://inv/AYV91FXHXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#8UNI, Hölder space (definition)
History
- 2026-11-02: add by m2/dev
Saturation without solvability AYVBWEEXWK
| URI | m2://inv/AYVBWEEXWK |
|---|---|
| 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.18154#M5BA, Saturation without solvability (statement). In 4W7ARR1DAR/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
Weitzenböck AYVM190RRF
| URI | m2://inv/AYVM190RRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#LRW2, Weitzenböck (definition)
History
- 2026-11-02: add by m2/dev
AYVMDNV2FX AYVMDNV2FX
| URI | m2://inv/AYVMDNV2FX |
|---|---|
| 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.04271#2W37 (statement). In WBXAW9G4JB/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
AYVMTHA3TH AYVMTHA3TH
| URI | m2://inv/AYVMTHA3TH |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#KT8Q (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
AYVNE3BXTV AYVNE3BXTV
| URI | m2://inv/AYVNE3BXTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#DXFV (statement). In 4RPXT0YCS5/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
AYW1YNW9SD AYW1YNW9SD
| URI | m2://inv/AYW1YNW9SD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#eg-1 (example). In N54F33XE07, eg, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Giuseppe Bruno AYW73F4651
| URI | m2://inv/AYW73F4651 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Bruno (mathematician), Giuseppe Bruno (topic). Also Wikidata Q3770176
History
- 2026-11-02: add by m2/dev
Coppersmith-Winograd algorithm AYWAPJ8HSR
| URI | m2://inv/AYWAPJ8HSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix multiplication algorithm#VE9X, Coppersmith-Winograd algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Symbolic dynamics AYWB2BG981
| URI | m2://inv/AYWB2BG981 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#LA60, Symbolic dynamics (definition)
History
- 2026-11-02: add by m2/dev
Compound of six decagrammic prisms AYWFFPB56B
| URI | m2://inv/AYWFFPB56B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HAPM, Compound of six decagrammic prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#G8LW, Compound of six decagrammic prisms (definition)
History
- 2026-11-02: add by m2/dev
AYWQ4FJN45 AYWQ4FJN45
| URI | m2://inv/AYWQ4FJN45 |
|---|---|
| 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 2312.01517#6OGW (statement). In 1H6HQSMYJW/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
AYWRAM79B8 AYWRAM79B8
| URI | m2://inv/AYWRAM79B8 |
|---|---|
| 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.31458#P6XQ (statement). In SNWC76WKWT/e1, theorem I.1
History
- 2026-10-31: add by m2/v0.5.6
AYWWGHP9EN AYWWGHP9EN
| URI | m2://inv/AYWWGHP9EN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#5A5A (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples AYX8E1GHJQ
| URI | m2://inv/AYX8E1GHJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Sato series#RGMY, Examples (example)
History
- 2026-11-02: add by m2/dev
Balasubramanian–Bax–Franklin–Glynn formula AYXDSY98B5
| URI | m2://inv/AYXDSY98B5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computing the permanent#ZMK8, Balasubramanian–Bax–Franklin–Glynn formula (statement)
History
- 2026-11-02: add by m2/dev
Derivative bounds for the cubed positive part AYXDZCSZPW
| URI | m2://inv/AYXDZCSZPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#L80S, Derivative bounds for the cubed positive part (statement). In WYE2JVEZBT/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Minimal sufficient AYXHPQK087
| URI | m2://inv/AYXHPQK087 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sufficient statistic#WZ2L, Minimal sufficient (unknown)
History
- 2026-11-02: add by m2/dev
Special cases AYXJCNFCSQ
| URI | m2://inv/AYXJCNFCSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#O7L6, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Example AYXJQSHQB9
| URI | m2://inv/AYXJQSHQB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#71SJ, Example (example)
History
- 2026-11-02: add by m2/dev
Giulio Pittarelli AYXJR3ZN0S
| URI | m2://inv/AYXJR3ZN0S |
|---|---|
| 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#PJA5, Giulio Pittarelli (topic)
History
- 2026-11-02: add by m2/dev
AYXMJYB9B7 AYXMJYB9B7
| URI | m2://inv/AYXMJYB9B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-12 (statement). In VNMV985MXX, thm, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
AYXZ0Y5BTC AYXZ0Y5BTC
| URI | m2://inv/AYXZ0Y5BTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#T751 (statement). In 7PACGDW3N7/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Arthur Komar AYY1DRWMAX
| URI | m2://inv/AYY1DRWMAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IW23, Arthur Komar (unknown)
History
- 2026-11-02: add by m2/dev
Kiyoshi Igusa AYY6X2G7QQ
| URI | m2://inv/AYY6X2G7QQ |
|---|---|
| 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 Q71192128, Kiyoshi Igusa (unknown). Also nLab Kiyoshi Igusa
- wikipedia: Wikipedia Kiyoshi Igusa, Kiyoshi Igusa (topic). Also Wikidata Q71192128
History
- 2026-10-26: add by m2/dev
Diophantine geometry AYY7RZH756
| URI | m2://inv/AYY7RZH756 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#VPHV, Diophantine geometry (definition)
History
- 2026-11-02: add by m2/dev
translation surface AYYBB0AYPH
| URI | m2://inv/AYYBB0AYPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56298896, translation surface (unknown). Also EoM Translation_surface
- wikipedia: Wikipedia Translation surface (differential geometry), Translation surface (definition). Also Wikidata Q56298896
History
- 2026-10-26: add by m2/dev
Degen's eight-square identity AYYCGFENQN
| URI | m2://inv/AYYCGFENQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#D5YP, Degen's eight-square identity (statement)
History
- 2026-11-02: add by m2/dev
Moni Naor AYYQC0YXAM
| URI | m2://inv/AYYQC0YXAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2Y19, Moni Naor (unknown)
History
- 2026-11-02: add by m2/dev
Bacterial chemotaxis AYYQX2TE0T
| URI | m2://inv/AYYQX2TE0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemotaxis#9HB5, Bacterial chemotaxis (unknown)
History
- 2026-11-02: add by m2/dev
AYYRBQFRP9 AYYRBQFRP9
| URI | m2://inv/AYYRBQFRP9 |
|---|---|
| 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.08052#LXG8 (statement). In 672XAVEQ34/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.10
Notation AYYT91TXEP
| URI | m2://inv/AYYT91TXEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument (complex analysis)#NFGO, Notation (definition)
History
- 2026-11-02: add by m2/dev
AYZ7EFY18F AYZ7EFY18F
| URI | m2://inv/AYZ7EFY18F |
|---|---|
| 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 2106.09062#IOJ2 (statement). In 8HAH8QVKDF/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Computable analysis AYZAM3349X
| URI | m2://inv/AYZAM3349X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#GMG3, Computable analysis (definition)
History
- 2026-11-02: add by m2/dev
An asymmetric separated partition AYZD9CNAHC
| URI | m2://inv/AYZD9CNAHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#4NB1, An asymmetric separated partition (statement). In ZZER8ZBSCR/e1, lemma 5.26
History
- 2026-10-29: add by m2/v0.4.12
AYZEXFMG8E AYZEXFMG8E
| URI | m2://inv/AYZEXFMG8E |
|---|---|
| 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.07673#40XE (statement). In 37B1MPV8GX/e1, proposition 8.8
History
- 2026-10-29: add by m2/v0.4.10
János Bolyai Mathematical Society AYZH3RDCS7
| URI | m2://inv/AYZH3RDCS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia János Bolyai Mathematical Society, János Bolyai Mathematical Society (definition). Also Wikidata Q834214
History
- 2026-11-02: add by m2/dev
AYZNRBJF50 AYZNRBJF50
| URI | m2://inv/AYZNRBJF50 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#JA02 (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
N-Hash AYZQ5BN51H
| URI | m2://inv/AYZQ5BN51H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#UHR6, N-Hash (unknown)
History
- 2026-11-02: add by m2/dev
Bandeen-Roche, Karen AYZRNGD5JR
| URI | m2://inv/AYZRNGD5JR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TXFB, Bandeen-Roche, Karen (unknown)
History
- 2026-11-02: add by m2/dev
AYZX51HYEA AYZX51HYEA
| URI | m2://inv/AYZX51HYEA |
|---|---|
| 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#BU77 (statement). In 338GKREFVP/e1, lemma 33
History
- 2026-10-27: add by m2/v0.4.0
Rodney James Baxter AYZX5HDRSJ
| URI | m2://inv/AYZX5HDRSJ |
|---|---|
| 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#04G5, Rodney James Baxter (unknown)
History
- 2026-11-02: add by m2/dev
AYZYVNY0CG AYZYVNY0CG
| URI | m2://inv/AYZYVNY0CG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#7TC0 (statement). In 524FZAC6NB/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12