Inventory rows GZ
The cards of the rows of the inventory whose ids start with GZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
GZ01VDSFT4 GZ01VDSFT4
| URI | m2://inv/GZ01VDSFT4 |
|---|---|
| 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#VT2R (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZ06NSYMSJ GZ06NSYMSJ
| URI | m2://inv/GZ06NSYMSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#47DK (statement). In SCSTR1Q1BW/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
meromorphic GZ0A53SATQ
| URI | m2://inv/GZ0A53SATQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#K2KD, meromorphic (definition)
History
- 2026-11-02: add by m2/dev
differential equation GZ0M70Q5FC
| URI | m2://inv/GZ0M70Q5FC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.1.2/differential-equation, differential equation (concept). In 907G4C4EJ1, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem B, parts \textup{(i)} and \textup{(iii GZ0QN315XS
| URI | m2://inv/GZ0QN315XS |
|---|---|
| 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.30999#IX5I, Theorem B, parts \textup{(i)} and \textup{(iii (statement). In J1BWCKW2QK/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
GZ130F1B1X GZ130F1B1X
| URI | m2://inv/GZ130F1B1X |
|---|---|
| Kind | problem |
| 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.28848#CD9E (problem)
History
- 2026-11-01: add by m2/v0.6.15
Goncharov conjecture GZ161A93GP
| URI | m2://inv/GZ161A93GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#C22B, Goncharov conjecture (statement)
History
- 2026-11-02: add by m2/dev
A000796 GZ1DB969QE
| URI | m2://inv/GZ1DB969QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#0HAX, A000796 (unknown)
History
- 2026-11-02: add by m2/dev
Martin Friedman GZ1FHBFG0K
| URI | m2://inv/GZ1FHBFG0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#R3DC, Martin Friedman (unknown)
History
- 2026-11-02: add by m2/dev
A square-zero ring GZ1HK50VH3
| URI | m2://inv/GZ1HK50VH3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#HAKX, A square-zero ring (example). In 25B3WHEKH2/e1, example 7.2
History
- 2026-10-27: add by m2/v0.4.2
Definition GZ1PSKBXM6
| URI | m2://inv/GZ1PSKBXM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aluthge transform#CVMD, Definition (definition)
History
- 2026-11-02: add by m2/dev
GZ1RB6D4CM GZ1RB6D4CM
| URI | m2://inv/GZ1RB6D4CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 1006.3331#XEPA (statement). In AY6WYB9RR3/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
GZ1RK4CDHK GZ1RK4CDHK
| URI | m2://inv/GZ1RK4CDHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15744#QJYY (statement). In NV3PBZGBB7/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
GZ1VK8P62X GZ1VK8P62X
| URI | m2://inv/GZ1VK8P62X |
|---|---|
| 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.06438#VSWQ (statement). In Z633BH3HER/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
GZ20N8BNF0 GZ20N8BNF0
| URI | m2://inv/GZ20N8BNF0 |
|---|---|
| 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 2211.14214#HGWF (statement). In SY85Y9E45A/e1, lemma 49
History
- 2026-10-27: add by m2/v0.3.5
element of a matrix GZ21CKHN5E
| URI | m2://inv/GZ21CKHN5E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.1/element-of-a-matrix, element of a matrix (concept). In E9HS8K3A52, index, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
Example GZ23CQTXHN
| URI | m2://inv/GZ23CQTXHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein polyhedron#TPTV, Example (example)
History
- 2026-11-02: add by m2/dev
GZ29C9D2B0 GZ29C9D2B0
| URI | m2://inv/GZ29C9D2B0 |
|---|---|
| Kind | example |
| 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.23833#M75S (example)
History
- 2026-11-02: add by m2/v0.6.17
Conditional Wiener chaos estimate GZ2ETP272M
| URI | m2://inv/GZ2ETP272M |
|---|---|
| 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 2406.07116#KVUN, Conditional Wiener chaos estimate (statement). In 5B030CB2RK/e1, lemma 9.9
History
- 2026-10-27: add by m2/v0.3.6
GZ2EYN9PTZ GZ2EYN9PTZ
| URI | m2://inv/GZ2EYN9PTZ |
|---|---|
| Kind | definition |
| 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.24580#TRDV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Analytic objects: ζ-functions, L-functions, and class number formula GZ2MQ1V7V3
| URI | m2://inv/GZ2MQ1V7V3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#EK21, Analytic objects: ζ-functions, L-functions, and class number formula (statement)
History
- 2026-11-02: add by m2/dev
Retaining the defining commutator identities GZ2QJE632Z
| URI | m2://inv/GZ2QJE632Z |
|---|---|
| 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.14509#2R9E, Retaining the defining commutator identities (statement). In N6GD8392QB/e1, corollary 6.12
History
- 2026-10-28: add by m2/v0.4.2
Abusive ad hominem GZ2RN4HHKT
| URI | m2://inv/GZ2RN4HHKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ad hominem#S7XQ, Abusive ad hominem (unknown)
History
- 2026-11-02: add by m2/dev
GZ2VGZXQBS GZ2VGZXQBS
| URI | m2://inv/GZ2VGZXQBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2511.15212#71TG (statement). In W99XBH6X5N/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
Collette Coullard GZ32YCDBRS
| URI | m2://inv/GZ32YCDBRS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3PFI, Collette Coullard (topic)
History
- 2026-11-02: add by m2/dev
Ansley J. Coale GZ36VQFS0F
| URI | m2://inv/GZ36VQFS0F |
|---|---|
| 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#23C0, Ansley J. Coale (unknown)
History
- 2026-11-02: add by m2/dev
The box in $\R$: an exactly solvable case GZ3EGJP3DF
| URI | m2://inv/GZ3EGJP3DF |
|---|---|
| Kind | example |
| 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.15086#JAVO, The box in $\R$: an exactly solvable case (example). In V60MVF3KQ1/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
GZ3K7R2R05 GZ3K7R2R05
| URI | m2://inv/GZ3K7R2R05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#ESB2 (statement). In R604B78EVK/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Jakob Yngvason GZ3QZKCGH6
| URI | m2://inv/GZ3QZKCGH6 |
|---|---|
| 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 Q1679428, Jakob Yngvason (unknown). Also nLab Jakob Yngvason
History
- 2026-10-26: add by m2/dev
Global state bound GZ3VG1QVR2
| URI | m2://inv/GZ3VG1QVR2 |
|---|---|
| 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.31407#P562, Global state bound (statement). In 6JSC602CCF/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Dynamic time warping GZ3WDHW767
| URI | m2://inv/GZ3WDHW767 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic time warping, Dynamic time warping (definition). Also Wikidata Q1268863
History
- 2026-11-02: add by m2/dev
Muller's method GZ41ZWXRG8
| URI | m2://inv/GZ41ZWXRG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PEP5, Muller's method (definition)
History
- 2026-11-02: add by m2/dev
Symplectic representation GZ43NTD0Q7
| URI | m2://inv/GZ43NTD0Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#C4E5, Symplectic representation (definition)
History
- 2026-11-02: add by m2/dev
Definition GZ43PAWCNE
| URI | m2://inv/GZ43PAWCNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affiliated operator#OK12, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example GZ46WTS17X
| URI | m2://inv/GZ46WTS17X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel regression#A12Z, Example (example)
History
- 2026-11-02: add by m2/dev
No $\theta$-uniform KL dual GZ49023Y7V
| URI | m2://inv/GZ49023Y7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27250#YLGP, No $\theta$-uniform KL dual (statement)
History
- 2026-11-01: add by m2/v0.6.15
Factorization of cubic functions GZ4AMKPGKE
| URI | m2://inv/GZ4AMKPGKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic equation#T7VR, Factorization of cubic functions (unknown)
History
- 2026-11-02: add by m2/dev
GZ4DARPVME GZ4DARPVME
| URI | m2://inv/GZ4DARPVME |
|---|---|
| Kind | conjecture |
| 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.27628#0B7E (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
GZ4PE21WH3 GZ4PE21WH3
| URI | m2://inv/GZ4PE21WH3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-27 (proof). In N54F33XE07, proof, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
GZ4PY3535B GZ4PY3535B
| URI | m2://inv/GZ4PY3535B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#07Y7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
GZ4YBBCNXH GZ4YBBCNXH
| URI | m2://inv/GZ4YBBCNXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 68.7
History
- 2026-11-01: add by m2/v0.6.13
GZ4YGGFG5H GZ4YGGFG5H
| URI | m2://inv/GZ4YGGFG5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#EH3K (statement). In MB29RAAQMG/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
GZ4Z6S0H2Z GZ4Z6S0H2Z
| URI | m2://inv/GZ4Z6S0H2Z |
|---|---|
| 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.01924#G5VJ (statement). In CB89152EQW/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
combinatorial commutative algebra GZ54DAXT6D
| URI | m2://inv/GZ54DAXT6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13F65 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5150822, combinatorial commutative algebra (topic)
- wikipedia: Wikipedia Combinatorial commutative algebra, Combinatorial commutative algebra (topic). Also Wikidata Q5150822
History
- 2026-10-26: add by m2/dev
GZ57PFB5FT GZ57PFB5FT
| URI | m2://inv/GZ57PFB5FT |
|---|---|
| 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.26450#89OY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moment compatibility GZ59EBZEC1
| URI | m2://inv/GZ59EBZEC1 |
|---|---|
| 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.15262#8RNQ, Moment compatibility (statement). In C44HVXWYRF/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
GZ59EH44KD GZ59EH44KD
| URI | m2://inv/GZ59EH44KD |
|---|---|
| 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 math/0507030#ZWQN (statement). In QV0QQ5ZCHX/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
GZ5EAP0XC9 GZ5EAP0XC9
| URI | m2://inv/GZ5EAP0XC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#K8EW (statement). In D64RQ09KBP/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Consistency in $N$ at fixed $p$ GZ5EG27W1S
| URI | m2://inv/GZ5EG27W1S |
|---|---|
| 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.37762#62PA, Consistency in $N$ at fixed $p$ (statement). In 6YPMRQHMR5/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
singular GZ5H8QHJDF
| URI | m2://inv/GZ5H8QHJDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FEVU, singular (definition)
History
- 2026-11-02: add by m2/dev
Algorithm GZ5MK3XB74
| URI | m2://inv/GZ5MK3XB74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary GCD algorithm#63ZB, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
hereditary property GZ5Q3GZ9E5
| URI | m2://inv/GZ5Q3GZ9E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QIKM, hereditary property (definition)
History
- 2026-11-02: add by m2/dev
GZ62BRD4J1 GZ62BRD4J1
| URI | m2://inv/GZ62BRD4J1 |
|---|---|
| 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.10365#5PJQ (statement). In PRVQPSBVHK/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
Differentiation of trigonometric functions GZ68R4K4N1
| URI | m2://inv/GZ68R4K4N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#HW0K, Differentiation of trigonometric functions (definition)
History
- 2026-11-02: add by m2/dev
Hermann Bottenbruch GZ6C7A93KM
| URI | m2://inv/GZ6C7A93KM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#5FXJ, Hermann Bottenbruch (unknown)
History
- 2026-11-02: add by m2/dev
GZ6ECWWDGB GZ6ECWWDGB
| URI | m2://inv/GZ6ECWWDGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#VE6I (statement). In HGTFJ325A4/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
GZ6HWY0H8B GZ6HWY0H8B
| URI | m2://inv/GZ6HWY0H8B |
|---|---|
| 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.38793#2J21 (statement). In T2N92YSY5R/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Minkowski distance GZ6Q8RPRBT
| URI | m2://inv/GZ6Q8RPRBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski distance, Minkowski distance (definition). Also Wikidata Q2414361
History
- 2026-11-02: add by m2/dev
Littelmann path model GZ6QJ4MQ1J
| URI | m2://inv/GZ6QJ4MQ1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littelmann path model, Littelmann path model (definition). Also Wikidata Q6648763
History
- 2026-11-02: add by m2/dev
Definition GZ6V7E7E5Q
| URI | m2://inv/GZ6V7E7E5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical trace#W7NG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ladislaus Bortkiewicz GZ71NFJ3DN
| URI | m2://inv/GZ71NFJ3DN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladislaus Bortkiewicz, Ladislaus Bortkiewicz (topic). Also Wikidata Q836646
History
- 2026-11-02: add by m2/dev
GZ71V8B5V0 GZ71V8B5V0
| URI | m2://inv/GZ71V8B5V0 |
|---|---|
| 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.20556#7S1J (statement)
History
- 2026-11-02: add by m2/v0.6.18
GZ7CBTGQB8 GZ7CBTGQB8
| URI | m2://inv/GZ7CBTGQB8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Example GZ7DB8XHPE
| URI | m2://inv/GZ7DB8XHPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prestack#HUTO, Example (example)
History
- 2026-11-02: add by m2/dev
GZ7G2PFC2T GZ7G2PFC2T
| URI | m2://inv/GZ7G2PFC2T |
|---|---|
| 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#3LPT (statement). In M4JGP708F4/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
GZ7H3QHEKC GZ7H3QHEKC
| URI | m2://inv/GZ7H3QHEKC |
|---|---|
| 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.07530#T4ID (statement). In C7QZ0VPBC8/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Optical equivalence theorem GZ7HYQP07J
| URI | m2://inv/GZ7HYQP07J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J4IY, Optical equivalence theorem (statement)
History
- 2026-11-02: add by m2/dev
GZ7JG9E32K GZ7JG9E32K
| URI | m2://inv/GZ7JG9E32K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#TGQK (definition)
History
- 2026-11-02: add by m2/v0.6.18
Phase diagram GZ7K4MVXQ0
| URI | m2://inv/GZ7K4MVXQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#ZCIC, Phase diagram (definition)
History
- 2026-11-02: add by m2/dev
Louis Charles Karpinski GZ7M3RF36K
| URI | m2://inv/GZ7M3RF36K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Charles Karpinski, Louis Charles Karpinski (topic). Also Wikidata Q3709967
History
- 2026-11-02: add by m2/dev
Properties GZ7RH3FBEF
| URI | m2://inv/GZ7RH3FBEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersson inner product#3001, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fat-tailed distribution GZ7W5154V6
| URI | m2://inv/GZ7W5154V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat-tailed distribution, Fat-tailed distribution (definition). Also Wikidata Q5256981
History
- 2026-11-02: add by m2/dev
Theorem 1 GZ7YQFDSF5
| URI | m2://inv/GZ7YQFDSF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope theorem#FWPK, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Bahcall–Wolf cusp GZ80PK93PE
| URI | m2://inv/GZ80PK93PE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bahcall–Wolf cusp, Bahcall–Wolf cusp (definition). Also Wikidata Q4842517
History
- 2026-11-02: add by m2/dev
Fisher's "significance testing" vs. Neyman–Pearson "hypothesis testing" GZ83EQKE05
| URI | m2://inv/GZ83EQKE05 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of statistics#874Q, Fisher's "significance testing" vs. Neyman–Pearson "hypothesis testing" (statement)
History
- 2026-11-02: add by m2/dev
GZ87A30QB5 GZ87A30QB5
| URI | m2://inv/GZ87A30QB5 |
|---|---|
| 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 2112.14455#XQ9G (statement). In VDE5R8HBS1/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Five Block, West Virginia GZ8AX0Q5ME
| URI | m2://inv/GZ8AX0Q5ME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CIWR, Five Block, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
Compactness theorem GZ8K4T3EXC
| URI | m2://inv/GZ8K4T3EXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#C3FD, Compactness theorem (statement)
- wikipedia: Wikipedia List of Boolean algebra topics#YKQ9, Compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
Zhou and Li GZ8MZYV57N
| URI | m2://inv/GZ8MZYV57N |
|---|---|
| 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.11441#I116, Zhou and Li (statement). In RNXV4Q58TY/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
GZADK1BETY GZADK1BETY
| URI | m2://inv/GZADK1BETY |
|---|---|
| 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.06556#A0SL (statement). In KW8C7VE9XR/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Proof theory GZAFMYD389
| URI | m2://inv/GZAFMYD389 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PTZR, Proof theory (definition)
History
- 2026-11-02: add by m2/dev
Computation GZAPNPVDP4
| URI | m2://inv/GZAPNPVDP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicubic interpolation#674E, Computation (definition)
History
- 2026-11-02: add by m2/dev
A sharp Bekenstein bound GZAPS8HNZ4
| URI | m2://inv/GZAPS8HNZ4 |
|---|---|
| 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.27830#504L, A sharp Bekenstein bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZATTF857B GZATTF857B
| URI | m2://inv/GZATTF857B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.19214#SA8N (statement). In WZPD7TNNY9/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.2
GZAVENK15E GZAVENK15E
| URI | m2://inv/GZAVENK15E |
|---|---|
| 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.08753#8YGR (statement). In J9P361Z1CX/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
Determinant and mean identities GZAXZ8T4JA
| URI | m2://inv/GZAXZ8T4JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07721#4MV3, Determinant and mean identities (statement). In QMJDN66F5N/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Affine Bézout inequality GZB4N7HPA7
| URI | m2://inv/GZB4N7HPA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout's theorem#76ID, Affine Bézout inequality (unknown)
History
- 2026-11-02: add by m2/dev
GZB7FVJ6KR GZB7FVJ6KR
| URI | m2://inv/GZB7FVJ6KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#M8VV (statement). In PTM5MVD4M0/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Potential flow GZBEE0RYBV
| URI | m2://inv/GZBEE0RYBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential flow, Potential flow (definition). Also Wikidata Q1543991
History
- 2026-11-02: add by m2/dev
based map GZBFT5B0CK
| URI | m2://inv/GZBFT5B0CK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.5/based-map, based map (concept). In N54F33XE07, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Symmetry GZBH2V6EW7
| URI | m2://inv/GZBH2V6EW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-order pentagonal tiling#WFN5, Symmetry (statement)
- wikipedia: Wikipedia Infinite-order hexagonal tiling#ZQZ9, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
GZBHDE7FHH GZBHDE7FHH
| URI | m2://inv/GZBHDE7FHH |
|---|---|
| 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.34813#ABFQ (statement). In P3V3ZGCHV7/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
edge cover GZBK2PS7VC
| URI | m2://inv/GZBK2PS7VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q594001, edge cover (unknown). Also MathWorld EdgeCover
- wikipedia: Wikipedia Edge cover, Edge cover (definition). Also Wikidata Q594001
History
- 2026-10-26: add by m2/dev
GZBNRA9B7F GZBNRA9B7F
| URI | m2://inv/GZBNRA9B7F |
|---|---|
| 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.27689#20V4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steriruncic tesseractic honeycomb GZBQY056TH
| URI | m2://inv/GZBQY056TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steriruncic tesseractic honeycomb, Steriruncic tesseractic honeycomb (definition). Also Wikidata Q17078480
History
- 2026-11-02: add by m2/dev
GZBYFG6NJR GZBYFG6NJR
| URI | m2://inv/GZBYFG6NJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.25080#AQ48 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZCAHBD0B0 GZCAHBD0B0
| URI | m2://inv/GZCAHBD0B0 |
|---|---|
| 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.20002#PGTH (statement)
History
- 2026-11-02: add by m2/v0.6.18
GZCJC6CA86 GZCJC6CA86
| URI | m2://inv/GZCJC6CA86 |
|---|---|
| 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.32475#G51P (statement). In 5N606WED8M/e1, corollary 10
History
- 2026-10-31: add by m2/v0.5.6
Rayleigh distribution GZCKZS8NQ9
| URI | m2://inv/GZCKZS8NQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#K51L, Rayleigh distribution (definition)
History
- 2026-11-02: add by m2/dev
GZCVP338XM GZCVP338XM
| URI | m2://inv/GZCVP338XM |
|---|---|
| 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.28143#XVBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions GZCW2QW5S0
| URI | m2://inv/GZCW2QW5S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-moment#PO3C, Extensions (statement)
History
- 2026-11-02: add by m2/dev
GZCYPK08QK GZCYPK08QK
| URI | m2://inv/GZCYPK08QK |
|---|---|
| Kind | problem |
| 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.26129#IEK5 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Basis of $\RR$ GZD46GQ7YK
| URI | m2://inv/GZD46GQ7YK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#example-4, Basis of $\RR$ (example). In RZP28ERRZV, example, section 101.8
History
- 2026-11-01: add by m2/v0.6.13
GZDM7J9NJ6 GZDM7J9NJ6
| URI | m2://inv/GZDM7J9NJ6 |
|---|---|
| Kind | problem |
| 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#PKMU (problem)
History
- 2026-11-02: add by m2/v0.6.17
Criterion in statistical decision theory GZDNB4M58S
| URI | m2://inv/GZDNB4M58S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax#4UCZ, Criterion in statistical decision theory (statement)
History
- 2026-11-02: add by m2/dev
GZDPKN8MZH GZDPKN8MZH
| URI | m2://inv/GZDPKN8MZH |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17258#0NPA (conjecture). In F4M67ZVBF2/e1, conjecture 3.3
History
- 2026-10-28: add by m2/v0.4.2
Mackey theory GZDTDG6680
| URI | m2://inv/GZDTDG6680 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of imprimitivity#LXPF, Mackey theory (unknown)
History
- 2026-11-02: add by m2/dev
GZDWY8R60E GZDWY8R60E
| URI | m2://inv/GZDWY8R60E |
|---|---|
| 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 2610.00105#N74G (statement). In EZXTEXR47M/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Derivation of discrete formula and work expression GZECGHT5EG
| URI | m2://inv/GZECGHT5EG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic process#PZFV, Derivation of discrete formula and work expression (statement)
History
- 2026-11-02: add by m2/dev
Dual polygon GZEEN1P2X0
| URI | m2://inv/GZEEN1P2X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#LQ7Y, Dual polygon (definition)
History
- 2026-11-02: add by m2/dev
test GZEJ0SVT24
| URI | m2://inv/GZEJ0SVT24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#T8JI, test (definition)
History
- 2026-11-02: add by m2/dev
Ray Exit Distance GZENHHBDPB
| URI | m2://inv/GZENHHBDPB |
|---|---|
| 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.33946#D4R9, Ray Exit Distance (statement). In T61D8EZH24/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Sharp threshold GZENWHN50N
| URI | m2://inv/GZENWHN50N |
|---|---|
| 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.14085#RY9H, Sharp threshold (statement). In T8F19ZGHF3/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
Equivalent Definition GZEVD30BAD
| URI | m2://inv/GZEVD30BAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractionally subadditive valuation#0QM3, Equivalent Definition (definition)
History
- 2026-11-02: add by m2/dev
Hierarchical code GZEWTJXQ55
| URI | m2://inv/GZEWTJXQ55 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#FO0V, Hierarchical code (definition). In WD2NCBV9F0/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Projective span GZEYK3AY42
| URI | m2://inv/GZEYK3AY42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective space#27CY, Projective span (unknown)
History
- 2026-11-02: add by m2/dev
inradius GZEZH8M2P2
| URI | m2://inv/GZEZH8M2P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3799068, inradius (definition). Also MathWorld Inradius, ProofWiki Definition:Incircle_of_Triangle/Inradius
History
- 2026-10-26: add by m2/dev
Hal Schenck GZF1JZKEEC
| URI | m2://inv/GZF1JZKEEC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hal Schenck, Hal Schenck (topic). Also Wikidata Q102085804
History
- 2026-11-02: add by m2/dev
GZF4XF9H81 GZF4XF9H81
| URI | m2://inv/GZF4XF9H81 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#I9OX (definition). In KZ71GXT2B0/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
GZF4XXD028 GZF4XXD028
| URI | m2://inv/GZF4XXD028 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/computable-lambda.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 36.7
History
- 2026-11-01: add by m2/v0.6.13
GZF7HST18S GZF7HST18S
| URI | m2://inv/GZF7HST18S |
|---|---|
| Kind | statement |
| 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 2609.38556#S6U2 (statement). In GC2H0HS7ZM/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Max Planck GZF9TWZM85
| URI | m2://inv/GZF9TWZM85 |
|---|---|
| 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 Q9021, Max Planck (unknown). Also nLab Max Planck, ProofWiki Mathematician:Max_Karl_Ernst_Ludwig_Planck
History
- 2026-10-26: add by m2/dev
Multivariate Alexander Quandle GZFB2JMH9N
| URI | m2://inv/GZFB2JMH9N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2609.30262#ENRI, Multivariate Alexander Quandle (definition). In FWA5QW6FCF/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
HNN extension GZFCQ3M6CX
| URI | m2://inv/GZFCQ3M6CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HNN extension, HNN extension (definition). Also Wikidata Q3062521
History
- 2026-11-02: add by m2/dev
GZFG2H8YXM GZFG2H8YXM
| URI | m2://inv/GZFG2H8YXM |
|---|---|
| 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.24353#JZQS (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZFGGGKWQF GZFGGGKWQF
| URI | m2://inv/GZFGGGKWQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07490#QPH0 (statement). In 1BCKN2RQQ4/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
GZFSWYTS8M GZFSWYTS8M
| URI | m2://inv/GZFSWYTS8M |
|---|---|
| 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.36204#65ZH (statement). In ZEHQDJTEDG/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
Steiner quadruple system GZFTWEHV9H
| URI | m2://inv/GZFTWEHV9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122349096, Steiner quadruple system (unknown). Also MathWorld SteinerQuadrupleSystem
History
- 2026-10-26: add by m2/dev
Subjective logic GZGC0M024N
| URI | m2://inv/GZGC0M024N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective logic, Subjective logic (definition). Also Wikidata Q7631418
History
- 2026-11-02: add by m2/dev
Examples GZGCDY7BSF
| URI | m2://inv/GZGCDY7BSF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series expansion#23CJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Dilworth's theorem GZGF6RGPBZ
| URI | m2://inv/GZGF6RGPBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirsky's theorem#PIE3, Dilworth's theorem (statement)
History
- 2026-11-02: add by m2/dev
GZGFW8XYFR GZGFW8XYFR
| URI | m2://inv/GZGFW8XYFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#ITN0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZGNQVKZPD GZGNQVKZPD
| URI | m2://inv/GZGNQVKZPD |
|---|---|
| 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#SJB2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Learning rate schedule GZGT53E587
| URI | m2://inv/GZGT53E587 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning rate#J6ZP, Learning rate schedule (unknown)
History
- 2026-11-02: add by m2/dev
George Kempf GZGVRBJXDC
| URI | m2://inv/GZGVRBJXDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PVCC, George Kempf (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4F1V, George Kempf (topic)
History
- 2026-11-02: add by m2/dev
Applications GZGVYB96AG
| URI | m2://inv/GZGVYB96AG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dulmage–Mendelsohn decomposition#K4FU, Applications (example)
History
- 2026-11-02: add by m2/dev
GZH0M4H26Z GZH0M4H26Z
| URI | m2://inv/GZH0M4H26Z |
|---|---|
| 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.27078#AG52 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZH2FYV610 GZH2FYV610
| URI | m2://inv/GZH2FYV610 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#RR8F (problem). In RK0ZMDJ23T/e1, problem 1.2.14
History
- 2026-10-31: add by m2/v0.5.6
Definition GZH34DMV6N
| URI | m2://inv/GZH34DMV6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized quadrangle#R9EE, Definition (definition)
History
- 2026-11-02: add by m2/dev
groupoid GZH63SHT8B
| URI | m2://inv/GZH63SHT8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Groupoid FH3C0T643F |
Mentions
- wikidata: Wikidata Q1196038, groupoid (unknown). Also MathWorld Groupoid, nLab groupoid
- wikipedia: Wikipedia Groupoid, Groupoid (definition). Also Wikidata Q1196038
History
- 2026-10-26: add by m2/dev
Willard Thorp GZH6XJBVS6
| URI | m2://inv/GZH6XJBVS6 |
|---|---|
| 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#G4KT, Willard Thorp (unknown)
History
- 2026-11-02: add by m2/dev
Gibbs sampling GZH93CHAS2
| URI | m2://inv/GZH93CHAS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#0LKT, Gibbs sampling (definition)
History
- 2026-11-02: add by m2/dev
predicate variable GZHAV92526
| URI | m2://inv/GZHAV92526 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10531432, predicate variable (unknown). Also EoM Predicate_variable
- wikipedia: Wikipedia Predicate variable, Predicate variable (definition). Also Wikidata Q10531432
History
- 2026-10-26: add by m2/dev
Theorem GZHEYXV8S3
| URI | m2://inv/GZHEYXV8S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#EWS8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GZHQDA5S9D GZHQDA5S9D
| URI | m2://inv/GZHQDA5S9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15352#DTCE (statement). In R39P7AFXM8/e1, corollary 1.8
History
- 2026-10-28: add by m2/v0.4.2
absorbing set GZHRANJRF1
| URI | m2://inv/GZHRANJRF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Absorbing set NM1BCK3ZX9 |
Mentions
- wikidata: Wikidata Q332775, absorbing set (unknown). Also MathWorld AbsorbingSet
- wikipedia: Wikipedia Absorbing set, Absorbing set (definition). Also Wikidata Q332775
History
- 2026-10-26: add by m2/dev
Hosohedron GZHYDABV42
| URI | m2://inv/GZHYDABV42 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of isotoxal polyhedra and tilings#2OVE, Hosohedron (object)
History
- 2026-11-02: add by m2/dev
GZHZ5WTYZ6 GZHZ5WTYZ6
| URI | m2://inv/GZHZ5WTYZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#WV91 (statement). In MBHJA0HT06/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
GZJ5QFVW4X GZJ5QFVW4X
| URI | m2://inv/GZJ5QFVW4X |
|---|---|
| Kind | example |
| 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 2412.14956#186C (example). In T8BQ6HHZYT/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
Properties GZJAG7BV2M
| URI | m2://inv/GZJAG7BV2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural-neighbor interpolation#31VP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stiefel GZJAK8FPDM
| URI | m2://inv/GZJAK8FPDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#79DJ, Stiefel (definition)
History
- 2026-11-02: add by m2/dev
Uses GZJE6D3BAF
| URI | m2://inv/GZJE6D3BAF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative reasoning#EIG1, Uses (example)
History
- 2026-11-02: add by m2/dev
GZJZDBGP1Y GZJZDBGP1Y
| URI | m2://inv/GZJZDBGP1Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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 2609.21931#XFCP (definition)
History
- 2026-11-02: add by m2/v0.6.17
GZK08PXH9N GZK08PXH9N
| URI | m2://inv/GZK08PXH9N |
|---|---|
| Kind | definition |
| 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 2602.07485#LP61 (definition). In 8KAC1E81JQ/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Examples GZK1MWMQEQ
| URI | m2://inv/GZK1MWMQEQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affirming a disjunct#XF0M, Examples (example)
History
- 2026-11-02: add by m2/dev
Polynomial lemniscate GZK91H4AFD
| URI | m2://inv/GZK91H4AFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial lemniscate, Polynomial lemniscate (definition). Also Wikidata Q3821128
History
- 2026-11-02: add by m2/dev
GZKCFWA7ZS GZKCFWA7ZS
| URI | m2://inv/GZKCFWA7ZS |
|---|---|
| Kind | definition |
| 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.19208#BEXH (definition). In Z4R05936J8/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Symmetry GZKK6PXE1S
| URI | m2://inv/GZKK6PXE1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular polyhedron#94NZ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
GZKM9PW2KV GZKM9PW2KV
| URI | m2://inv/GZKM9PW2KV |
|---|---|
| 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 2609.23004#7QSN (statement)
History
- 2026-11-02: add by m2/v0.6.17
M. T. Naraniengar GZKMZDQ3XC
| URI | m2://inv/GZKMZDQ3XC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. T. Naraniengar, M. T. Naraniengar (topic). Also Wikidata Q15997002
History
- 2026-11-02: add by m2/dev
GZKVRJ282B GZKVRJ282B
| URI | m2://inv/GZKVRJ282B |
|---|---|
| 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.12295#807P (statement). In 6DZPR52HRP/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Franciszek Leja GZKYE3NKHV
| URI | m2://inv/GZKYE3NKHV |
|---|---|
| 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#6GWP, Franciszek Leja (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L03D, Franciszek Leja (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SW6J, Franciszek Leja (topic)
History
- 2026-11-02: add by m2/dev
GZM5C9JBBB GZM5C9JBBB
| URI | m2://inv/GZM5C9JBBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27524#L4L7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Binary NOT GZMB44Z3C6
| URI | m2://inv/GZMB44Z3C6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitwise operation#2215, Binary NOT (unknown)
History
- 2026-11-02: add by m2/dev
Greatest Happiness Principle GZMBP20QSK
| URI | m2://inv/GZMBP20QSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Stuart Mill#P9GO, Greatest Happiness Principle (unknown)
History
- 2026-11-02: add by m2/dev
Uniform quasi-subharmonicity GZMC91BKXM
| URI | m2://inv/GZMC91BKXM |
|---|---|
| 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#ZX4A, Uniform quasi-subharmonicity (definition)
History
- 2026-11-02: add by m2/v0.6.17
Coefficient maps GZMDRNSMB7
| URI | m2://inv/GZMDRNSMB7 |
|---|---|
| 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.14509#5SQO, Coefficient maps (statement). In N6GD8392QB/e1, lemma 11.9
History
- 2026-10-28: add by m2/v0.4.2
Continuum fallacy GZMGJ1Q165
| URI | m2://inv/GZMGJ1Q165 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#SZHL, Continuum fallacy (statement)
History
- 2026-11-02: add by m2/dev
Risk function GZMHBKBFC0
| URI | m2://inv/GZMHBKBFC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loss function#9C07, Risk function (unknown)
History
- 2026-11-02: add by m2/dev
One-step Taylor bound GZMKY4XGGQ
| URI | m2://inv/GZMKY4XGGQ |
|---|---|
| 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.21976#3UAW, One-step Taylor bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement GZMPJM1C0T
| URI | m2://inv/GZMPJM1C0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#AWOI, Statement (statement)
History
- 2026-11-02: add by m2/dev
GZMT5G414J GZMT5G414J
| URI | m2://inv/GZMT5G414J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
singular matrix GZMWDTDCSE
| URI | m2://inv/GZMWDTDCSE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.2.2/singular-matrix, singular matrix (concept). In E9HS8K3A52, index, section 10.2.2
History
- 2026-11-01: add by m2/v0.6.13
Australian Mathematics Competition GZMZ23E6ZG
| URI | m2://inv/GZMZ23E6ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#PZGD, Australian Mathematics Competition (unknown)
History
- 2026-11-02: add by m2/dev
Nonconvex great rhombicosidodecahedron GZMZFPTG5N
| URI | m2://inv/GZMZFPTG5N |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GOF3, Nonconvex great rhombicosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
GZN014263Z GZN014263Z
| URI | m2://inv/GZN014263Z |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33124#6G02 (unknown). In P27HYGQDAN/e1, unknown
History
- 2026-10-30: add by m2/v0.4.12
GZNCM444GF GZNCM444GF
| URI | m2://inv/GZNCM444GF |
|---|---|
| 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.33162#KX8L (statement). In RPC7VG3KHQ/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Related results GZNF0EV41V
| URI | m2://inv/GZNF0EV41V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Milman theorem#USHF, Related results (statement)
History
- 2026-11-02: add by m2/dev
Definition GZP2H1WQY0
| URI | m2://inv/GZP2H1WQY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract data type#SEN7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Transposable integer GZP88ABD9W
| URI | m2://inv/GZP88ABD9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transposable integer, Transposable integer (definition). Also Wikidata Q7835325
History
- 2026-11-02: add by m2/dev
Ralescu, Stefan GZPDHWBQ4J
| URI | m2://inv/GZPDHWBQ4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#73XN, Ralescu, Stefan (unknown)
History
- 2026-11-02: add by m2/dev
Region connection calculus GZPH6GZ1KZ
| URI | m2://inv/GZPH6GZ1KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Region connection calculus, Region connection calculus (definition). Also Wikidata Q7308984
History
- 2026-11-02: add by m2/dev
GZPMNZDETR GZPMNZDETR
| URI | m2://inv/GZPMNZDETR |
|---|---|
| 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 2608.24190#GZEF (statement). In DW7FVA587C/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
GZPPS0WCQP GZPPS0WCQP
| URI | m2://inv/GZPPS0WCQP |
|---|---|
| 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#EWQ3 (statement). In VH7EZDGTNA/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.12
GZPQHYPNA5 GZPQHYPNA5
| URI | m2://inv/GZPQHYPNA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#ex-2 (example). In PKGMM3P5QY, ex, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
Kate Claghorn GZPZXDH4BF
| URI | m2://inv/GZPZXDH4BF |
|---|---|
| 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#MR54, Kate Claghorn (unknown)
History
- 2026-11-02: add by m2/dev
GZQ0Q0YHDT GZQ0Q0YHDT
| URI | m2://inv/GZQ0Q0YHDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 1011.4651#SWKZ (statement). In 44YWXB0VB4/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Armstrong, Margaret GZQ1B6KW57
| URI | m2://inv/GZQ1B6KW57 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BAWB, Armstrong, Margaret (topic)
History
- 2026-11-02: add by m2/dev
check GZQ31P5WRZ
| URI | m2://inv/GZQ31P5WRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q842046, check (definition). Also ProofWiki Definition:Chess/Rules/In_Check
History
- 2026-10-26: add by m2/dev
Spectral method GZQ7PTS8PV
| URI | m2://inv/GZQ7PTS8PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral method, Spectral method (definition). Also Wikidata Q2308831
History
- 2026-11-02: add by m2/dev
GZQ9V7DHNM GZQ9V7DHNM
| URI | m2://inv/GZQ9V7DHNM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#M1MR (definition). In 8SVVEVGMNE/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Orbital angular momentum of light GZQBCFBF8A
| URI | m2://inv/GZQBCFBF8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital angular momentum of light, Orbital angular momentum of light (definition). Also Wikidata Q606195
History
- 2026-11-02: add by m2/dev
Alexander Brown GZQEZRCE22
| URI | m2://inv/GZQEZRCE22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Brown (mathematician), Alexander Brown (topic). Also Wikidata Q37731601
History
- 2026-11-02: add by m2/dev
Dual uniform polyhedron GZQGNYNENM
| URI | m2://inv/GZQGNYNENM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual uniform polyhedron, Dual uniform polyhedron (definition). Also Wikidata Q25973112
History
- 2026-11-02: add by m2/dev
Unified super-fast analytic Richardson rate GZQGYZ69TV
| URI | m2://inv/GZQGYZ69TV |
|---|---|
| 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#9T0Y, Unified super-fast analytic Richardson rate (statement). In RHBS9QDHC3/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
GZQHTXXVV1 GZQHTXXVV1
| URI | m2://inv/GZQHTXXVV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#prop:semanticalfacts (statement). In PKGMM3P5QY, prop, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
Zonogon GZQNATE0R1
| URI | m2://inv/GZQNATE0R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonogon, Zonogon (definition). Also Wikidata Q47008488
History
- 2026-11-02: add by m2/dev
Jarah Markar Evslin GZR6CEQ23C
| URI | m2://inv/GZR6CEQ23C |
|---|---|
| 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 Q102306568, Jarah Markar Evslin (unknown). Also nLab Jarah Evslin
History
- 2026-10-26: add by m2/dev
GZRA31E9PC GZRA31E9PC
| URI | m2://inv/GZRA31E9PC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-290 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
GZRPK77QY9 GZRPK77QY9
| URI | m2://inv/GZRPK77QY9 |
|---|---|
| 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.32599#8PNR (statement). In E1Y93JNBJA/e1, proposition 7.5
History
- 2026-10-31: add by m2/v0.5.6
GZRXRPV0JF GZRXRPV0JF
| URI | m2://inv/GZRXRPV0JF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
Shikoku GZRYM0YH1R
| URI | m2://inv/GZRYM0YH1R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DTRJ, Shikoku (unknown)
History
- 2026-11-02: add by m2/dev
right adjoint GZS6HSM2AC
| URI | m2://inv/GZS6HSM2AC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121546687, right adjoint (unknown). Also nLab right adjoint
History
- 2026-10-26: add by m2/dev
Julia Kempe GZS6KQ35Y1
| URI | m2://inv/GZS6KQ35Y1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LFW0, Julia Kempe (unknown)
- wikipedia: Wikipedia List of German mathematicians#BX3P, Julia Kempe (unknown)
History
- 2026-11-02: add by m2/dev
GZS9Q47BMF GZS9Q47BMF
| URI | m2://inv/GZS9Q47BMF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Geography GZSB5D9GQT
| URI | m2://inv/GZSB5D9GQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#719N, Geography (unknown)
History
- 2026-11-02: add by m2/dev
Examples GZSBMJQWC4
| URI | m2://inv/GZSBMJQWC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rng (algebra)#ETSH, Examples (example)
History
- 2026-11-02: add by m2/dev
GZSCK2X7KF GZSCK2X7KF
| URI | m2://inv/GZSCK2X7KF |
|---|---|
| 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.37815#S0A9 (definition). In SVJYA0171G/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
GZSFE108A5 GZSFE108A5
| URI | m2://inv/GZSFE108A5 |
|---|---|
| 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.19853#Z6L0 (statement). In BDD1M5GZR3/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Topological graph theory GZSFRWN6GZ
| URI | m2://inv/GZSFRWN6GZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#97S7, Topological graph theory (topic)
History
- 2026-11-02: add by m2/dev
Kurt Hensel GZSJD599TC
| URI | m2://inv/GZSJD599TC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#HYQB, Kurt Hensel (topic)
History
- 2026-11-02: add by m2/dev
GZSMSRSVZ1 GZSMSRSVZ1
| URI | m2://inv/GZSMSRSVZ1 |
|---|---|
| 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.38742#JUK1 (statement). In TSXBJB0EXK/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Ergodicity GZSNR5PQNK
| URI | m2://inv/GZSNR5PQNK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#FYUJ, Ergodicity (definition). In WD2NCBV9F0/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Selective perception GZSQBA3T86
| URI | m2://inv/GZSQBA3T86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#DMEL, Selective perception (unknown)
History
- 2026-11-02: add by m2/dev
topological defect GZSQFM9PPF
| URI | m2://inv/GZSQFM9PPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1770567, topological defect (unknown). Also nLab topological defect
History
- 2026-10-26: add by m2/dev
The Geometry of Four-Manifolds GZSSHPWQ0B
| URI | m2://inv/GZSSHPWQ0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Geometry of Four-Manifolds, The Geometry of Four-Manifolds (definition). Also Wikidata Q137910737
History
- 2026-11-02: add by m2/dev
Tensor field GZT5RF22QH
| URI | m2://inv/GZT5RF22QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#XU0G, Tensor field (definition)
History
- 2026-11-02: add by m2/dev
Rosenthal, Jeff GZT6Z71D9Y
| URI | m2://inv/GZT6Z71D9Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#K9NP, Rosenthal, Jeff (topic)
History
- 2026-11-02: add by m2/dev
LAPACK GZT9AGWQRX
| URI | m2://inv/GZT9AGWQRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#1SY0, LAPACK (definition)
History
- 2026-11-02: add by m2/dev
GZTCYHKRSZ GZTCYHKRSZ
| URI | m2://inv/GZTCYHKRSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#QB7W (statement). In GAG532VMPF/e1, lemma 6.2.1
History
- 2026-10-27: add by m2/v0.3.5
GZTDSQX0C1 GZTDSQX0C1
| URI | m2://inv/GZTDSQX0C1 |
|---|---|
| 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.15316#TG42 (statement). In 3K84E4150C/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
GZTR31TJ4X GZTR31TJ4X
| URI | m2://inv/GZTR31TJ4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-28 (definition). In VNMV985MXX, defn, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Ralph Tambs-Lyche GZTSKVW8N4
| URI | m2://inv/GZTSKVW8N4 |
|---|---|
| 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#H8BK, Ralph Tambs-Lyche (unknown)
History
- 2026-11-02: add by m2/dev
GZTV3G858N GZTV3G858N
| URI | m2://inv/GZTV3G858N |
|---|---|
| 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.40138#6WRF (statement). In R60HR493TS/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Chapman–Jouguet condition GZV1GPKWGD
| URI | m2://inv/GZV1GPKWGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Jouguet condition, Chapman–Jouguet condition (definition). Also Wikidata Q2992261
History
- 2026-11-02: add by m2/dev
Congruence subgroup GZVBM83VPZ
| URI | m2://inv/GZVBM83VPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FE5E, Congruence subgroup (definition)
- wikipedia: Wikipedia List of Lie groups topics#0FP2, Congruence subgroup (definition)
History
- 2026-11-02: add by m2/dev
GZVBVEDQTK GZVBVEDQTK
| URI | m2://inv/GZVBVEDQTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39951#1DQO (statement). In H343T48ZWE/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Examples GZVH69AGSC
| URI | m2://inv/GZVH69AGSC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing jump#S2WE, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples GZVY7YTYDJ
| URI | m2://inv/GZVY7YTYDJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid rank#W86E, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal definition GZW0X49YR7
| URI | m2://inv/GZW0X49YR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean plane isometry#N5K2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Projective tensor product GZW2RB0Q0J
| URI | m2://inv/GZW2RB0Q0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective tensor product, Projective tensor product (definition). Also Wikidata Q89672221
History
- 2026-11-02: add by m2/dev
PROMYS GZW55FY09T
| URI | m2://inv/GZW55FY09T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Ross#D3PJ, PROMYS (unknown)
History
- 2026-11-02: add by m2/dev
Lie group decompositions GZW908E3KG
| URI | m2://inv/GZW908E3KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#WXYS, Lie group decompositions (definition)
History
- 2026-11-02: add by m2/dev
The price of a long horizon GZWGKFSM6E
| URI | m2://inv/GZWGKFSM6E |
|---|---|
| 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.06653#4AE0, The price of a long horizon (statement). In 9D2N76AJAT/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
GZWK575Z6E GZWK575Z6E
| URI | m2://inv/GZWK575Z6E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#3C4U (definition). In V5PVKDKGGG/e1, definition 1.7
History
- 2026-10-28: add by m2/v0.4.2
GZWRBJGY5Y GZWRBJGY5Y
| URI | m2://inv/GZWRBJGY5Y |
|---|---|
| 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.08935#Y3KP (statement). In G02N9D40B9/e1, lemma 4.4.2
History
- 2026-10-29: add by m2/v0.4.10
fortunate number GZWX3K2N7A
| URI | m2://inv/GZWX3K2N7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5151604, fortunate number (unknown). Also MathWorld FortunatePrime, OEIS A046066
- wikipedia: Wikipedia Fortunate number, Fortunate number (definition). Also Wikidata Q5151604
History
- 2026-10-26: add by m2/dev
Examples GZX6VSTXC5
| URI | m2://inv/GZX6VSTXC5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely positive map#Q43G, Examples (example)
History
- 2026-11-02: add by m2/dev
GZX9M09B4E GZX9M09B4E
| URI | m2://inv/GZX9M09B4E |
|---|---|
| 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.35340#GPG7 (statement). In WCY07D1CJG/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
GZXCA3JFHB GZXCA3JFHB
| URI | m2://inv/GZXCA3JFHB |
|---|---|
| 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.24412#6NYB (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZXGQC8DX2 GZXGQC8DX2
| URI | m2://inv/GZXGQC8DX2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#proof-4 (proof). In QKM9DD2H56, proof, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Semantic relatedness GZXJ7MKDW4
| URI | m2://inv/GZXJ7MKDW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EG8B, Semantic relatedness (definition)
History
- 2026-11-02: add by m2/dev
GZXKG68GJ6 GZXKG68GJ6
| URI | m2://inv/GZXKG68GJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05396#840W (statement). In WMVRX5GV9P/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Flip-equivalence criterion GZXVCRVBJK
| URI | m2://inv/GZXVCRVBJK |
|---|---|
| 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.17006#IBSS, Flip-equivalence criterion (statement). In YY81ZEJ82P/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Goddard–Thorn theorem GZXWS58DYQ
| URI | m2://inv/GZXWS58DYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZKH3, Goddard–Thorn theorem (statement)
History
- 2026-11-02: add by m2/dev
GZY6NXPG88 GZY6NXPG88
| URI | m2://inv/GZY6NXPG88 |
|---|---|
| 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.30049#SPGS (statement)
History
- 2026-11-01: add by m2/v0.6.15
GZYAEGATC7 GZYAEGATC7
| URI | m2://inv/GZYAEGATC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#9QK6 (statement). In CM2YEK9T4F/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
GZYAGX38AS GZYAGX38AS
| URI | m2://inv/GZYAGX38AS |
|---|---|
| Kind | statement |
| 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#D8LU (statement). In 5ZPSZFE08Q/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Definition GZYC42ATKR
| URI | m2://inv/GZYC42ATKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar lamina#RFI0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Relative change and difference GZYGD2TV9N
| URI | m2://inv/GZYGD2TV9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0UTU, Relative change and difference (definition)
History
- 2026-11-02: add by m2/dev
Applications GZYHGQPMA5
| URI | m2://inv/GZYHGQPMA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BF-graph#KU8P, Applications (example)
History
- 2026-11-02: add by m2/dev
tungsten-182 GZYHZXG936
| URI | m2://inv/GZYHZXG936 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18882864, tungsten-182 (definition). Also ProofWiki Definition:Tungsten/182
History
- 2026-10-26: add by m2/dev
498 (number) GZYPK07F5Z
| URI | m2://inv/GZYPK07F5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#B4X1, 498 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Riemann integral GZYSPJWX85
| URI | m2://inv/GZYSPJWX85 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Riemann integral 0QM4TXT3DR |
Mentions
- wikidata: Wikidata Q697181, Riemann integral (concept). Also EoM Riemann_integral, MathWorld RiemannIntegral
- wikipedia: Wikipedia Riemann integral, Riemann integral (definition). Also Wikidata Q697181
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GZZ6J7WSV6 GZZ6J7WSV6
| URI | m2://inv/GZZ6J7WSV6 |
|---|---|
| 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 2607.26169#F5YM (statement). In Q46QV3B0NF/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
Mixed Lipschitzness for chaining GZZ72FKX7N
| URI | m2://inv/GZZ72FKX7N |
|---|---|
| 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#0LSI, Mixed Lipschitzness for chaining (statement). In WYE2JVEZBT/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
Harcourt, Alison GZZAZSJYW3
| URI | m2://inv/GZZAZSJYW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RCVO, Harcourt, Alison (topic)
History
- 2026-11-02: add by m2/dev
Definitions GZZGFVATZB
| URI | m2://inv/GZZGFVATZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy measure theory#0UXX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Meromorphic function GZZJQ2FBR4
| URI | m2://inv/GZZJQ2FBR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#JQFX, Meromorphic function (definition)
History
- 2026-11-02: add by m2/dev
GZZK8JY3SS GZZK8JY3SS
| URI | m2://inv/GZZK8JY3SS |
|---|---|
| Kind | problem |
| 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.36411#T3GW (problem). In 9QG5CND2RQ/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
GZZX1TR4S0 GZZX1TR4S0
| URI | m2://inv/GZZX1TR4S0 |
|---|---|
| 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.33377#YWOC (statement). In RQ1R5VTRAR/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
GZZYHTSMGY GZZYHTSMGY
| URI | m2://inv/GZZYHTSMGY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29205#1EPY (definition)
History
- 2026-11-01: add by m2/v0.6.15