Inventory rows CJ
The cards of the rows of the inventory whose ids start with CJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
CJ00S11MBP CJ00S11MBP
| URI | m2://inv/CJ00S11MBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#EPV6 (statement). In PA3B6C0WY7/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.10
CJ04Q61FK5 CJ04Q61FK5
| URI | m2://inv/CJ04Q61FK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26813#4E1H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermite–Hadamard inequality CJ05RTDD2V
| URI | m2://inv/CJ05RTDD2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite–Hadamard inequality, Hermite–Hadamard inequality (statement). Also Wikidata Q1035624
History
- 2026-11-02: add by m2/dev
Krylov–Bogolyubov theorem CJ08EH7SGS
| URI | m2://inv/CJ08EH7SGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#8AJ2, Krylov–Bogolyubov theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions CJ08P19HZY
| URI | m2://inv/CJ08P19HZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregative game#4REH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Jacobi lower bidiagonal factors CJ0F060N60
| URI | m2://inv/CJ0F060N60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#72TK, Jacobi lower bidiagonal factors (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nested case–control study CJ0GXSPCYW
| URI | m2://inv/CJ0GXSPCYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested case–control study, Nested case–control study (definition). Also Wikidata Q17071134
History
- 2026-11-02: add by m2/dev
CJ0Q60119Y CJ0Q60119Y
| URI | m2://inv/CJ0Q60119Y |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#TUE6 (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Example CJ0TSQ0F9H
| URI | m2://inv/CJ0TSQ0F9H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic curvature#0LRG, Example (example)
History
- 2026-11-02: add by m2/dev
Example CJ0TX8379T
| URI | m2://inv/CJ0TX8379T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution random number generator#JPX0, Example (example)
History
- 2026-11-02: add by m2/dev
Erika Pannwitz CJ0W45TX2Q
| URI | m2://inv/CJ0W45TX2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erika Pannwitz, Erika Pannwitz (topic). Also Wikidata Q102019
History
- 2026-11-02: add by m2/dev
Relation to other axioms CJ0W8Q2BCC
| URI | m2://inv/CJ0W8Q2BCC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of countable choice#N883, Relation to other axioms (statement)
History
- 2026-11-02: add by m2/dev
Simultaneous action selection CJ0Y6VR5QC
| URI | m2://inv/CJ0Y6VR5QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous action selection, Simultaneous action selection (definition). Also Wikidata Q7521361
History
- 2026-11-02: add by m2/dev
CJ1FA4D728 CJ1FA4D728
| URI | m2://inv/CJ1FA4D728 |
|---|---|
| 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 2510.01873#HY5D (statement). In FVZZDPEYNM/e1, proposition 1.5
- arxiv: arXiv 2609.23167#48SC (statement)
History
- 2026-10-27: add by m2/v0.3.5
Verhoeff {\rm CJ1MMVNY75
| URI | m2://inv/CJ1MMVNY75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01240#YJRS, Verhoeff {\rm (statement). In XD5HCP8DHF/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
CJ296ADRW8 CJ296ADRW8
| URI | m2://inv/CJ296ADRW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#898T (statement). In GX0K0ZM700/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Second-order propositional logic CJ29TNZ9YT
| URI | m2://inv/CJ29TNZ9YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order propositional logic, Second-order propositional logic (definition). Also Wikidata Q7442985
History
- 2026-11-02: add by m2/dev
type, universe, Russell-style CJ2C3WYD3M
| URI | m2://inv/CJ2C3WYD3M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/type-universe-russell-style, type, universe, Russell-style (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Planar separator theorem CJ2EH5WKXN
| URI | m2://inv/CJ2EH5WKXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7200963, Planar separator theorem (statement). Also Wikidata Q7200963
- thousand_plus: thousand_plus Q7200963, Planar separator theorem (statement). Also Wikidata Q7200963, Wikipedia Planar separator theorem
- wikipedia: Wikipedia Planar separator theorem, Planar separator theorem (statement). Also Wikidata Q7200963
History
- 2026-10-26: add by m2/dev
Traian Herseni CJ2HVJVNYF
| URI | m2://inv/CJ2HVJVNYF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traian Herseni, Traian Herseni (topic). Also Wikidata Q18540734
History
- 2026-11-02: add by m2/dev
CJ2K0P9Q3T CJ2K0P9Q3T
| URI | m2://inv/CJ2K0P9Q3T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
CJ2PXA8C0V CJ2PXA8C0V
| URI | m2://inv/CJ2PXA8C0V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-3 (proof). In E59CDZA4DP, proof, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
CJ2TR3FTM3 CJ2TR3FTM3
| URI | m2://inv/CJ2TR3FTM3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#QHQ5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Separation of variables CJ2VV0MFVH
| URI | m2://inv/CJ2VV0MFVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#EGUY, Separation of variables (definition)
History
- 2026-11-02: add by m2/dev
CJ2Y51VYBY CJ2Y51VYBY
| URI | m2://inv/CJ2Y51VYBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#CNXD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bahmanyār CJ3274VSTQ
| URI | m2://inv/CJ3274VSTQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#1LZ9, Bahmanyār (topic)
History
- 2026-11-02: add by m2/dev
Taylor L. Booth Education Award CJ3870KVWZ
| URI | m2://inv/CJ3870KVWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor Booth (mathematician)#Q3EQ, Taylor L. Booth Education Award (unknown)
History
- 2026-11-02: add by m2/dev
Piltz divisor problem CJ3AQCNXWA
| URI | m2://inv/CJ3AQCNXWA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LK1O, Piltz divisor problem (conjecture)
History
- 2026-11-02: add by m2/dev
univalence axiom CJ3C3X70CV
| URI | m2://inv/CJ3C3X70CV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.5/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
CJ3CG472SW CJ3CG472SW
| URI | m2://inv/CJ3CG472SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#DGHH (statement). In 332PQD90SW/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
Likelihood-trained affine flows give Mahalanobis and Gaussian Jeffreys divergence CJ3ENE4R41
| URI | m2://inv/CJ3ENE4R41 |
|---|---|
| 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.31544#ZXEZ, Likelihood-trained affine flows give Mahalanobis and Gaussian Jeffreys divergence (statement). In TX449S1VZV/e1, proposition B.2
History
- 2026-10-31: add by m2/v0.5.6
cf.\ CJ3ESB405J
| URI | m2://inv/CJ3ESB405J |
|---|---|
| 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.20345#207Y, cf.\ (statement). In WVRRST04WS/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
qfh topology CJ3JSXGPKG
| URI | m2://inv/CJ3JSXGPKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#UEDE, qfh topology (definition)
History
- 2026-11-02: add by m2/dev
Instituto de Investigaciones en Matemáticas Aplicadas y Sistemas CJ3K291YRZ
| URI | m2://inv/CJ3K291YRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instituto de Investigaciones en Matemáticas Aplicadas y Sistemas, Instituto de Investigaciones en Matemáticas Aplicadas y Sistemas (definition). Also Wikidata Q17073865
History
- 2026-11-02: add by m2/dev
CJ3KK77T07 CJ3KK77T07
| URI | m2://inv/CJ3KK77T07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11056#SJGE (statement). In 1NDB3SAG7K/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
CJ3SV8RGGP CJ3SV8RGGP
| URI | m2://inv/CJ3SV8RGGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39430#TYUU (statement). In 6FH24CYAMW/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
CJ3X8NYHBA CJ3X8NYHBA
| URI | m2://inv/CJ3X8NYHBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#T9CR (statement). In Y23VR7N90M/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
estimator CJ3X9JVYB4
| URI | m2://inv/CJ3X9JVYB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Estimator 0SSS6ERQ0S |
Mentions
- wikidata: Wikidata Q1130160, estimator (unknown). Also MathWorld Estimator
- wikipedia: Wikipedia Estimator, Estimator (definition). Also Wikidata Q1130160
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cavity perturbation theory CJ3Z52D9KV
| URI | m2://inv/CJ3Z52D9KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cavity perturbation theory, Cavity perturbation theory (definition). Also Wikidata Q5055186
History
- 2026-11-02: add by m2/dev
homogeneous side conditions CJ44B7EVET
| URI | m2://inv/CJ44B7EVET |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.6.1/homogeneous-side-conditions, homogeneous side conditions (concept). In E9HS8K3A52, index, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
Amir Leshem CJ4BH18CG2
| URI | m2://inv/CJ4BH18CG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amir Leshem, Amir Leshem (topic). Also Wikidata Q102182856
History
- 2026-11-02: add by m2/dev
CJ4CWJNB8H CJ4CWJNB8H
| URI | m2://inv/CJ4CWJNB8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#N3X0 (statement). In 9C684206F0/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
CJ4E0R0CJQ CJ4E0R0CJQ
| URI | m2://inv/CJ4E0R0CJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2311.00918#Y7EV (statement). In 2SMJ5V7FZ7/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Transformation between distributions in time–frequency analysis CJ4END29A7
| URI | m2://inv/CJ4END29A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transformation between distributions in time–frequency analysis, Transformation between distributions in time–frequency analysis (definition). Also Wikidata Q7834083
History
- 2026-11-02: add by m2/dev
CJ4Q61C61A CJ4Q61C61A
| URI | m2://inv/CJ4Q61C61A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#FBGV (definition)
History
- 2026-11-01: add by m2/v0.6.15
CJ4ST236AY CJ4ST236AY
| URI | m2://inv/CJ4ST236AY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
Abbey, Helen CJ4SY3RK65
| URI | m2://inv/CJ4SY3RK65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q9SW, Abbey, Helen (topic)
History
- 2026-11-02: add by m2/dev
CJ556Q5QY6 CJ556Q5QY6
| URI | m2://inv/CJ556Q5QY6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.13671#DUBU (definition). In PN02WN5AA6/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Lyapunov Spectrum Invariance CJ55H6KEQT
| URI | m2://inv/CJ55H6KEQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#RVTG, Lyapunov Spectrum Invariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
Atiyah–Singer index theorem CJ5PQN607R
| URI | m2://inv/CJ5PQN607R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WW66, Atiyah–Singer index theorem (statement)
History
- 2026-11-02: add by m2/dev
Anders Hald CJ61AHR9SQ
| URI | m2://inv/CJ61AHR9SQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anders Hald, Anders Hald (topic). Also Wikidata Q2846113
History
- 2026-11-02: add by m2/dev
G2-structure CJ63VH1YF1
| URI | m2://inv/CJ63VH1YF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G2-structure, G2-structure (definition). Also Wikidata Q5512673
History
- 2026-11-02: add by m2/dev
Wilson quotient CJ6JDKJV43
| URI | m2://inv/CJ6JDKJV43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3894437, Wilson quotient (unknown). Also MathWorld WilsonQuotient, OEIS A007619
- wikipedia: Wikipedia Wilson quotient, Wilson quotient (definition). Also Wikidata Q3894437
History
- 2026-10-26: add by m2/dev
Definition CJ77SVHSA3
| URI | m2://inv/CJ77SVHSA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing set (random dynamical systems)#SEIL, Definition (definition)
History
- 2026-11-02: add by m2/dev
CJ7A5N0H0E CJ7A5N0H0E
| URI | m2://inv/CJ7A5N0H0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#715C (statement). In YZNK67K060/e1, corollary 7.4
History
- 2026-10-29: add by m2/v0.4.12
Mastermind CJ7BFQVH00
| URI | m2://inv/CJ7BFQVH00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17286, Mastermind (unknown). Also MathWorld Mastermind
History
- 2026-10-26: add by m2/dev
Statement CJ7C9M9SYE
| URI | m2://inv/CJ7C9M9SYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson–Morozov theorem#QB1P, Statement (statement)
History
- 2026-11-02: add by m2/dev
Planimetrics CJ7VDCAN7G
| URI | m2://inv/CJ7VDCAN7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planimetrics, Planimetrics (topic). Also Wikidata Q1133157
History
- 2026-11-02: add by m2/dev
Stream cipher CJ87JDB3VX
| URI | m2://inv/CJ87JDB3VX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#3Y7V, Stream cipher (definition)
History
- 2026-11-02: add by m2/dev
Every eigenvalue is controllable from the two wall inputs CJ8BB2MTBA
| URI | m2://inv/CJ8BB2MTBA |
|---|---|
| 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.22384#5F6M, Every eigenvalue is controllable from the two wall inputs (statement)
History
- 2026-11-02: add by m2/v0.6.17
L-balance theorem CJ8DPMQBHV
| URI | m2://inv/CJ8DPMQBHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6456122, L-balance theorem (statement). Also Wikidata Q6456122
- thousand_plus: thousand_plus Q6456122, L-balance theorem (statement). Also Wikidata Q6456122, Wikipedia L-balance theorem
- wikipedia: Wikipedia L-balance theorem, L-balance theorem (statement). Also Wikidata Q6456122
History
- 2026-10-26: add by m2/dev
matrix CJ8N6CCN7Y
| URI | m2://inv/CJ8N6CCN7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#N7YM, matrix (definition)
History
- 2026-11-02: add by m2/dev
Definition CJ8RN7ZDWQ
| URI | m2://inv/CJ8RN7ZDWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted K-theory#2N2U, Definition (definition)
History
- 2026-11-02: add by m2/dev
CJ8SFZMSM5 CJ8SFZMSM5
| URI | m2://inv/CJ8SFZMSM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:NO-encode-decode (statement). In N54F33XE07, thm, section B.6
History
- 2026-11-01: add by m2/v0.6.13
CJ959RPT8Y CJ959RPT8Y
| URI | m2://inv/CJ959RPT8Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 44.11
History
- 2026-11-01: add by m2/v0.6.13
Calibration with matched base gradients and scalar Fisher information CJ96D488DE
| URI | m2://inv/CJ96D488DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33499#46KJ, Calibration with matched base gradients and scalar Fisher information (statement). In AAH14S2JJ2/e1, theorem B.1
History
- 2026-10-30: add by m2/v0.4.12
Hungarian Central Statistical Office CJ96NCPVJT
| URI | m2://inv/CJ96NCPVJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hungarian Central Statistical Office, Hungarian Central Statistical Office (definition). Also Wikidata Q1125966
History
- 2026-11-02: add by m2/dev
CJ9VN6T4SC CJ9VN6T4SC
| URI | m2://inv/CJ9VN6T4SC |
|---|---|
| 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#58MW (statement). In WMVRX5GV9P/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Hirschman uncertainty CJA2V7YARA
| URI | m2://inv/CJA2V7YARA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R6KQ, Hirschman uncertainty (definition)
History
- 2026-11-02: add by m2/dev
CJAARCA42Z CJAARCA42Z
| URI | m2://inv/CJAARCA42Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:ZF-algebras (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Samuel Roberts CJAE3B4SG1
| URI | m2://inv/CJAE3B4SG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Roberts (mathematician), Samuel Roberts (topic). Also Wikidata Q2218809
History
- 2026-11-02: add by m2/dev
Thomas Crapper CJAFR7J23E
| URI | m2://inv/CJAFR7J23E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#HLGD, Thomas Crapper (unknown)
History
- 2026-11-02: add by m2/dev
Cover CJAH924Y6B
| URI | m2://inv/CJAH924Y6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover (telecommunications), Cover (definition). Also Wikidata Q16959201
History
- 2026-11-02: add by m2/dev
Transfer from a normal subgroup of a uniform lattice CJAN9FVD24
| URI | m2://inv/CJAN9FVD24 |
|---|---|
| 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.08581#L27J, Transfer from a normal subgroup of a uniform lattice (statement). In VCSPPW15BE/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
CJARPEJ8W9 CJARPEJ8W9
| URI | m2://inv/CJARPEJ8W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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 2609.28220#6JQJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borel set CJAS93RGAZ
| URI | m2://inv/CJAS93RGAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#EC60, Borel set (definition)
- wikipedia: Wikipedia List of types of sets#B3OL, Borel set (definition)
History
- 2026-11-02: add by m2/dev
CJASW88T0Y CJASW88T0Y
| URI | m2://inv/CJASW88T0Y |
|---|---|
| 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.09140#TKBY (statement). In 9934P5E5AM/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
CJAYPQQZ90 CJAYPQQZ90
| URI | m2://inv/CJAYPQQZ90 |
|---|---|
| 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.30444#ROOG (statement). In RZWJ0AT8W5/e1, theorem 3.11
History
- 2026-10-31: add by m2/v0.5.6
Definition CJAYSCWSDS
| URI | m2://inv/CJAYSCWSDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semilinear map#CSK4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Critical numbers $v_\pm(A)$ CJAZ17J3XQ
| URI | m2://inv/CJAZ17J3XQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#USYQ, Critical numbers $v_\pm(A)$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
CJB3QHY7HP CJB3QHY7HP
| URI | m2://inv/CJB3QHY7HP |
|---|---|
| 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#JKLW (statement)
History
- 2026-11-01: add by m2/v0.6.15
index of $\Gam_{F'}$ CJBHVE95N8
| URI | m2://inv/CJBHVE95N8 |
|---|---|
| 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.07508#XMQA, index of $\Gam_{F'}$ (statement). In TPA3E67MKK/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
CJBN6V3BMA CJBN6V3BMA
| URI | m2://inv/CJBN6V3BMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.01359#SKBG (statement). In BFV19FC2G7/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Wold's theorem CJBZ6TQK7B
| URI | m2://inv/CJBZ6TQK7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0PF4, Wold's theorem (statement)
History
- 2026-11-02: add by m2/dev
The equal-degree variant A CJC0SSKMJJ
| URI | m2://inv/CJC0SSKMJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21991#AT9P, The equal-degree variant A (statement). In KRBDK9J44X/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.4.2
CJC7802F68 CJC7802F68
| URI | m2://inv/CJC7802F68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17569#I9CG (statement). In ERE1EWGZA3/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Identity theorem CJC9DXY8KJ
| URI | m2://inv/CJC9DXY8KJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TA6K, Identity theorem (statement)
History
- 2026-11-02: add by m2/dev
Oneoneone CJCEXYWJK5
| URI | m2://inv/CJCEXYWJK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclamation mark#UPYH, Oneoneone (unknown)
History
- 2026-11-02: add by m2/dev
Fraser--Sherman--Bennett CJCFJ06W8J
| URI | m2://inv/CJCFJ06W8J |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#WFEK, Fraser--Sherman--Bennett (conjecture). In 6G1KBA0SXV/e1, conjecture 2.15
History
- 2026-10-31: add by m2/v0.5.6
Properties CJCMXKMPJR
| URI | m2://inv/CJCMXKMPJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity element#0BLK, Properties (statement)
History
- 2026-11-02: add by m2/dev
product rule CJCQDEZ76D
| URI | m2://inv/CJCQDEZ76D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Product rule 0V9A43H7WV |
Mentions
- wikidata: Wikidata Q466720, product rule (unknown). Also MathWorld ProductRule, nLab product law
- wikipedia: Wikipedia Product rule, Product rule (definition). Also Wikidata Q466720
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
reciprocity CJD49J1C6T
| URI | m2://inv/CJD49J1C6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#F4TW, reciprocity (definition)
History
- 2026-11-02: add by m2/dev
CJD8SGANJ3 CJD8SGANJ3
| URI | m2://inv/CJD8SGANJ3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-5.xml#activity-2 (exercise). In 649HGZKE96, activity, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Palette (computing) CJD976MYZS
| URI | m2://inv/CJD976MYZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#8P06, Palette (computing) (unknown)
History
- 2026-11-02: add by m2/dev
CJDS8FCN95 CJDS8FCN95
| URI | m2://inv/CJDS8FCN95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#DNGV (statement). In Y23VR7N90M/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Transport integrals CJE69KCYHP
| URI | m2://inv/CJE69KCYHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport integrals, Transport integrals (definition). Also Wikidata Q7834924
History
- 2026-11-02: add by m2/dev
Symmetry CJE92V992K
| URI | m2://inv/CJE92V992K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (mathematics)#YE4V, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Éric Leichtnam CJEC440VPT
| URI | m2://inv/CJEC440VPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Éric Leichtnam, Éric Leichtnam (topic). Also Wikidata Q8078402
History
- 2026-11-02: add by m2/dev
Applications CJECDDYMKF
| URI | m2://inv/CJECDDYMKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent cross mapping#4HER, Applications (example)
History
- 2026-11-02: add by m2/dev
Variants CJEHZ1Y6Z7
| URI | m2://inv/CJEHZ1Y6Z7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus based optimization#L1KM, Variants (statement)
History
- 2026-11-02: add by m2/dev
CJEPZEM1HA CJEPZEM1HA
| URI | m2://inv/CJEPZEM1HA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-26 (proof). In N54F33XE07, proof, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
CJEVJX88G4 CJEVJX88G4
| URI | m2://inv/CJEVJX88G4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#example-3 (example). In Y91XFCEVHQ, example, section 5.2.3
History
- 2026-11-01: add by m2/v0.6.13
CJF0FFFCE5 CJF0FFFCE5
| URI | m2://inv/CJF0FFFCE5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#BLFZ (example). In X88HPQ0W8C/e1, example 2.43
History
- 2026-10-27: add by m2/v0.3.5
William F. Barnes CJF2EJBYKD
| URI | m2://inv/CJF2EJBYKD |
|---|---|
| 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#OGFE, William F. Barnes (unknown)
History
- 2026-11-02: add by m2/dev
Tukey's test of additivity CJF37CZTQK
| URI | m2://inv/CJF37CZTQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HA7L, Tukey's test of additivity (definition)
History
- 2026-11-02: add by m2/dev
finite-zero face CJF41AB363
| URI | m2://inv/CJF41AB363 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#1VMO, finite-zero face (statement). In 67BZ87CQ74/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
List of textbooks on classical mechanics and quantum mechanics CJFBZ83TY9
| URI | m2://inv/CJFBZ83TY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of textbooks on classical mechanics and quantum mechanics, List of textbooks on classical mechanics and quantum mechanics (topic). Also Wikidata Q66084834
History
- 2026-11-02: add by m2/dev
CJFJW26ZZ1 CJFJW26ZZ1
| URI | m2://inv/CJFJW26ZZ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00267#05R6 (definition). In 38XJWDZ2PH/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Carl Gustav Axel Harnack CJFK6TZBYR
| URI | m2://inv/CJFK6TZBYR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#10KO, Carl Gustav Axel Harnack (topic)
History
- 2026-11-02: add by m2/dev
CJFKB6924D CJFKB6924D
| URI | m2://inv/CJFKB6924D |
|---|---|
| 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.23147#WC0A (statement)
History
- 2026-11-02: add by m2/v0.6.17
CJFQ7NRBVB CJFQ7NRBVB
| URI | m2://inv/CJFQ7NRBVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38211#WJAB (statement). In KWKK0S9YJN/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
graph, planar CJFWSVKZ8R
| URI | m2://inv/CJFWSVKZ8R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.5/graph-planar, graph, planar (concept). In QKM9DD2H56, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
CJG1R8EDN7 CJG1R8EDN7
| URI | m2://inv/CJG1R8EDN7 |
|---|---|
| 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.30760#WOO0 (statement). In MMVNRRE7N0/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
CJG32QQH1N CJG32QQH1N
| URI | m2://inv/CJG32QQH1N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
Christophe Breuil CJG3ZGTYZH
| URI | m2://inv/CJG3ZGTYZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christophe Breuil, Christophe Breuil (topic). Also Wikidata Q370140
History
- 2026-11-02: add by m2/dev
CJG4YCFWSV CJG4YCFWSV
| URI | m2://inv/CJG4YCFWSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#definition-2 (definition). In RZP28ERRZV, definition, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
CJG9N5FWSF CJG9N5FWSF
| URI | m2://inv/CJG9N5FWSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06381#4OH2 (statement). In X9JKBDHACW/e1, proposition 9.6
History
- 2026-10-29: add by m2/v0.4.10
CJGKVPW7HJ CJGKVPW7HJ
| URI | m2://inv/CJGKVPW7HJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#NI8V (statement)
History
- 2026-11-01: add by m2/v0.6.15
CJGM7Z8FDV CJGM7Z8FDV
| URI | m2://inv/CJGM7Z8FDV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#NN7Y (definition). In R589MXXHX4/e1, definition 5.7
History
- 2026-10-31: add by m2/v0.5.6
William J. Cook CJH03YEZKD
| URI | m2://inv/CJH03YEZKD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AK8X, William J. Cook (topic)
History
- 2026-11-02: add by m2/dev
Łoś–Tarski preservation theorem CJH3H24YQP
| URI | m2://inv/CJH3H24YQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#H7Z7, Łoś–Tarski preservation theorem (statement)
History
- 2026-11-02: add by m2/dev
CJH72T94B2 CJH72T94B2
| URI | m2://inv/CJH72T94B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 30-XX, 32-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26808#3IB0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
CJHHFT8GWH CJHHFT8GWH
| URI | m2://inv/CJHHFT8GWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#H8FT (statement). In F8RC6AENB0/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
CJHJDAKCNZ CJHJDAKCNZ
| URI | m2://inv/CJHJDAKCNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#NWOL (statement). In QQFXT31CA5/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
CJHMBYHV7Z CJHMBYHV7Z
| URI | m2://inv/CJHMBYHV7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#W3AJ (statement). In 8H0KHK7AMN/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Jodi Lapidus CJHRWZA3VN
| URI | m2://inv/CJHRWZA3VN |
|---|---|
| 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#VX6Q, Jodi Lapidus (unknown)
History
- 2026-11-02: add by m2/dev
Silver Bulletin CJHY467NCC
| URI | m2://inv/CJHY467NCC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nate Silver#E8WJ, Silver Bulletin (unknown)
History
- 2026-11-02: add by m2/dev
CJJ1ATXP0H CJJ1ATXP0H
| URI | m2://inv/CJJ1ATXP0H |
|---|---|
| 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.21899#NTXS (statement). In YRN5P43B2N/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
CJJ3T0REEY CJJ3T0REEY
| URI | m2://inv/CJJ3T0REEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#B712 (statement). In KXWYE4SJY3/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
CJJ7W1VT8F CJJ7W1VT8F
| URI | m2://inv/CJJ7W1VT8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#LLF2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Retrosnub tetrahedron CJJAPYMCF9
| URI | m2://inv/CJJAPYMCF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great icosahedron#V1EZ, Retrosnub tetrahedron (unknown)
History
- 2026-11-02: add by m2/dev
Everett phone CJJN09926K
| URI | m2://inv/CJJN09926K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wormhole#BX9D, Everett phone (unknown)
History
- 2026-11-02: add by m2/dev
Exponential integrator CJJQJKMX2R
| URI | m2://inv/CJJQJKMX2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential integrator, Exponential integrator (definition). Also Wikidata Q16148845
History
- 2026-11-02: add by m2/dev
Bicorn CJJQSE6BMS
| URI | m2://inv/CJJQSE6BMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3772869, Bicorn (unknown). Also MathWorld Bicorn
- wikipedia: Wikipedia Bicorn, Bicorn (definition). Also Wikidata Q3772869
History
- 2026-10-26: add by m2/dev
Definition CJJVDEXX4E
| URI | m2://inv/CJJVDEXX4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle metric#H3TA, Definition (definition)
History
- 2026-11-02: add by m2/dev
CJK252M8WQ CJK252M8WQ
| URI | m2://inv/CJK252M8WQ |
|---|---|
| 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#CA66 (statement). In H343T48ZWE/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Non-classical analysis CJK2T42CRK
| URI | m2://inv/CJK2T42CRK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical analysis#Y04S, Non-classical analysis (unknown)
History
- 2026-11-02: add by m2/dev
CJK8M49AMN CJK8M49AMN
| URI | m2://inv/CJK8M49AMN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
Induced impulse-to-energy norm CJKF1DX60G
| URI | m2://inv/CJKF1DX60G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#9GOP, Induced impulse-to-energy norm (definition). In XKJ7VKN4P0/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.2
Karen Parshall CJKMQNZFJ4
| URI | m2://inv/CJKMQNZFJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Parshall, Karen Parshall (topic). Also Wikidata Q1729266
History
- 2026-11-02: add by m2/dev
Gilbreath permutation CJKSA7M917
| URI | m2://inv/CJKSA7M917 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbreath shuffle#UEEZ, Gilbreath permutation (unknown)
History
- 2026-11-02: add by m2/dev
Non-asymptotic achievability CJKXYAAWKM
| URI | m2://inv/CJKXYAAWKM |
|---|---|
| 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.38725#XLXQ, Non-asymptotic achievability (statement). In 2Q5WSEAKGP/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Examples CJM2XE3DAV
| URI | m2://inv/CJM2XE3DAV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order (ring theory)#EUPS, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications of the theorem CJM5Q7Q7RB
| URI | m2://inv/CJM5Q7Q7RB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition theorem of Beilinson, Bernstein and Deligne#1ART, Applications of the theorem (statement)
History
- 2026-11-02: add by m2/dev
transitive CJMH421ZP4
| URI | m2://inv/CJMH421ZP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QX11, transitive (definition)
History
- 2026-11-02: add by m2/dev
function space CJMJBHNMT0
| URI | m2://inv/CJMJBHNMT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Function space 0GZB2SN0PH |
Mentions
- wikidata: Wikidata Q934367, function space (unknown). Also MathWorld FunctionSpace, nLab function space
- wikipedia: Wikipedia Function space, Function space (definition). Also Wikidata Q934367
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Theorem (Kalton) CJMJDGYN4Q
| URI | m2://inv/CJMJDGYN4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#9Q4C, Theorem (Kalton) (statement)
- wikipedia: Wikipedia Metrizable topological vector space#V5MT, Theorem (Kalton) (statement)
History
- 2026-11-02: add by m2/dev
Special cases CJMK6TA2HV
| URI | m2://inv/CJMK6TA2HV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular bipyramid#536N, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Commandino's theorem CJMRSWJG1F
| URI | m2://inv/CJMRSWJG1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226625, Commandino's theorem (statement). Also Mathlib Affine.Simplex.point_vsub_centroid_eq_smul_vsub, Wikidata Q2226625
- thousand_plus: thousand_plus Q2226625, Commandino's theorem (statement). Also Mathlib Affine.Simplex.point_vsub_centroid_eq_smul_vsub, Wikidata Q2226625, Wikipedia Commandino's theorem
- wikipedia: Wikipedia Commandino's theorem, Commandino's theorem (statement). Also Wikidata Q2226625
History
- 2026-10-26: add by m2/dev
CJMTB4JVZT CJMTB4JVZT
| URI | m2://inv/CJMTB4JVZT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#AXT7 (example). In HRCEFY172P/e1, example 3.22
History
- 2026-10-30: add by m2/v0.4.12
CJN0SXWCS3 CJN0SXWCS3
| URI | m2://inv/CJN0SXWCS3 |
|---|---|
| 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.20008#D81Q (statement). In 60SZ4NYPHF/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Automorphic symbol CJN7266MPD
| URI | m2://inv/CJN7266MPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#830P, Automorphic symbol (definition). In CRFDGFZHBF/e1, definition 7.8
History
- 2026-10-28: add by m2/v0.4.3
CJNEHHRT3R CJNEHHRT3R
| URI | m2://inv/CJNEHHRT3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02295#FZPO (statement). In PEBD9ZMA1W/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
CJNMEW955Y CJNMEW955Y
| URI | m2://inv/CJNMEW955Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#EKNW (statement). In 702AF3E4AF/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
linear map CJNTTSN8AW
| URI | m2://inv/CJNTTSN8AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#U6N1, linear map (definition)
History
- 2026-11-02: add by m2/dev
Examples CJNVCEAT5J
| URI | m2://inv/CJNVCEAT5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent#G8XP, Examples (example)
History
- 2026-11-02: add by m2/dev
CJP0E3YXRZ CJP0E3YXRZ
| URI | m2://inv/CJP0E3YXRZ |
|---|---|
| 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 2504.01057#8LXQ (statement). In 69QFBXJENW/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Examples CJP5H0VRAY
| URI | m2://inv/CJP5H0VRAY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistent estimator#6NQ3, Examples (example)
History
- 2026-11-02: add by m2/dev
Magical thinking CJP8PCV742
| URI | m2://inv/CJP8PCV742 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magical thinking, Magical thinking (definition). Also Wikidata Q136783
History
- 2026-11-02: add by m2/dev
CJP9KR1TBF CJP9KR1TBF
| URI | m2://inv/CJP9KR1TBF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 33.5
History
- 2026-11-01: add by m2/v0.6.13
CJPCJRHYD5 CJPCJRHYD5
| URI | m2://inv/CJPCJRHYD5 |
|---|---|
| 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 2602.14912#9WU2 (example). In A87BVH5DCM/e1, example 5.4
History
- 2026-10-27: add by m2/v0.3.5
Vagueness CJPDN7C0EP
| URI | m2://inv/CJPDN7C0EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vagueness, Vagueness (definition). Also Wikidata Q1411921
History
- 2026-11-02: add by m2/dev
Hooper, Hubert \& Weiss CJPHAEC7EV
| URI | m2://inv/CJPHAEC7EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#NSWD, Hooper, Hubert \& Weiss (statement). In WRE0P7V6Z3/e1, corollary 1.18
History
- 2026-10-30: add by m2/v0.4.12
Stretched-exponential decay of correlations under LI CJPMJYWNE8
| URI | m2://inv/CJPMJYWNE8 |
|---|---|
| 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.31858#RMMP, Stretched-exponential decay of correlations under LI (statement). In QV16PHDXKJ/e1, theorem 4.14
History
- 2026-10-31: add by m2/v0.5.6
Example CJPSAQ69XN
| URI | m2://inv/CJPSAQ69XN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-defined expression#C9Q1, Example (example)
History
- 2026-11-02: add by m2/dev
Mark Krein CJPZ3C9E0R
| URI | m2://inv/CJPZ3C9E0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V0JC, Mark Krein (topic)
History
- 2026-11-02: add by m2/dev
CJQ48JDVPZ CJQ48JDVPZ
| URI | m2://inv/CJQ48JDVPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05403#EL7K (statement). In PQGGCD09KP/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Rational-circle data CJQAYSHMM7
| URI | m2://inv/CJQAYSHMM7 |
|---|---|
| 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.26576#EHZE, Rational-circle data (statement)
History
- 2026-11-01: add by m2/v0.6.15
CJQFF6H6BN CJQFF6H6BN
| URI | m2://inv/CJQFF6H6BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#NRXS (statement). In 68VEQQX68G/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
Genetic map function CJQJ7VS0EX
| URI | m2://inv/CJQJ7VS0EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic map function, Genetic map function (definition). Also Wikidata Q125924421
History
- 2026-11-02: add by m2/dev
XploRe CJQKA3X9NE
| URI | m2://inv/CJQKA3X9NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#QYSP, XploRe (definition)
History
- 2026-11-02: add by m2/dev
Convergence of geodesic approximation CJQYEX73NM
| URI | m2://inv/CJQYEX73NM |
|---|---|
| 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 2410.06788#CKI6, Convergence of geodesic approximation (statement). In B2VE3JQZD3/e1, theorem 27
History
- 2026-10-27: add by m2/v0.3.5
CJR6JG9GAM CJR6JG9GAM
| URI | m2://inv/CJR6JG9GAM |
|---|---|
| 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.03460#WRII (statement). In 54HWP298DG/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.12
Boundary exclusion CJR6SC2R20
| URI | m2://inv/CJR6SC2R20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10545#6FM4, Boundary exclusion (statement). In ZA75D59G8K/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
CJRASNYWS7 CJRASNYWS7
| URI | m2://inv/CJRASNYWS7 |
|---|---|
| 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-5 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Generalizations CJRGV4NGKR
| URI | m2://inv/CJRGV4NGKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual number#N4AU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
CJRH966WER CJRH966WER
| URI | m2://inv/CJRH966WER |
|---|---|
| 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.28075#ZURN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Certificate Transparency CJRMYYB18F
| URI | m2://inv/CJRMYYB18F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate Transparency, Certificate Transparency (definition). Also Wikidata Q17080777
History
- 2026-11-02: add by m2/dev
biquadratic CJRSB5QWY9
| URI | m2://inv/CJRSB5QWY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#A258, biquadratic (definition)
History
- 2026-11-02: add by m2/dev
CJS0A4NVVE CJS0A4NVVE
| URI | m2://inv/CJS0A4NVVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#ETVL (definition)
History
- 2026-11-02: add by m2/v0.6.18
CJS1DP6CW1 CJS1DP6CW1
| URI | m2://inv/CJS1DP6CW1 |
|---|---|
| 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.13580#QWW5 (statement). In KEQ57N9N7Z/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
CJS4ZY22YZ CJS4ZY22YZ
| URI | m2://inv/CJS4ZY22YZ |
|---|---|
| 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.21762#HHOE (statement). In CYDJ6JGD4A/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
CJS85VQXWH CJS85VQXWH
| URI | m2://inv/CJS85VQXWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#T3S8 (statement). In QX30H2WNA7/e1, corollary 10.2
History
- 2026-10-30: add by m2/v0.4.12
Stephen Bigelow CJSDXN03H0
| URI | m2://inv/CJSDXN03H0 |
|---|---|
| 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#E843, Stephen Bigelow (topic)
History
- 2026-11-02: add by m2/dev
Jordan's theorem (multiply transitive groups) CJSEASFN0N
| URI | m2://inv/CJSEASFN0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#G3UT, Jordan's theorem (multiply transitive groups) (statement)
History
- 2026-11-02: add by m2/dev
Generalization CJSECXGDN7
| URI | m2://inv/CJSECXGDN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's criterion#AFYW, Generalization (statement)
History
- 2026-11-02: add by m2/dev
CJSM5X1TK5 CJSM5X1TK5
| URI | m2://inv/CJSM5X1TK5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#O9VP (example). In T3W7SMWQ73/e1, example 30
History
- 2026-10-28: add by m2/v0.4.3
Recurrent point CJSNZAS5VP
| URI | m2://inv/CJSNZAS5VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#Z6D3, Recurrent point (definition)
History
- 2026-11-02: add by m2/dev
Examples CJSPDBJRFD
| URI | m2://inv/CJSPDBJRFD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientability#R3HQ, Examples (example)
History
- 2026-11-02: add by m2/dev
CJSWK2EJGF CJSWK2EJGF
| URI | m2://inv/CJSWK2EJGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#2Q29 (statement). In 8H0KHK7AMN/e1, proposition 4.17
History
- 2026-10-30: add by m2/v0.4.12
the factor $K$ CJSZZDRZ7T
| URI | m2://inv/CJSZZDRZ7T |
|---|---|
| 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.19249#I2FI, the factor $K$ (statement). In 2X586J6KQ1/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
CJT0KNA57Y CJT0KNA57Y
| URI | m2://inv/CJT0KNA57Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#6LD9 (statement). In B5GGGWNJA6/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.3
CJT2JTF69A CJT2JTF69A
| URI | m2://inv/CJT2JTF69A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
CJT4P4WGD9 CJT4P4WGD9
| URI | m2://inv/CJT4P4WGD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#5883 (statement). In 3JZDKWS8NK/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Jack Kiefer CJT5GGA40K
| URI | m2://inv/CJT5GGA40K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JOIB, Jack Kiefer (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KX7W, Jack Kiefer (unknown)
History
- 2026-11-02: add by m2/dev
CJT619WKTF CJT619WKTF
| URI | m2://inv/CJT619WKTF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#1BY2 (example). In 2S89BG5WPH/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.10
CJTKF8AA8T CJTKF8AA8T
| URI | m2://inv/CJTKF8AA8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#9AMX (statement). In 49V3ANDZTY/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Hilbert stress-energy tensor CJV2YG22J5
| URI | m2://inv/CJV2YG22J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress–energy tensor#1CP0, Hilbert stress-energy tensor (unknown)
History
- 2026-11-02: add by m2/dev
Appeal to nature CJV7P9C901
| URI | m2://inv/CJV7P9C901 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to nature, Appeal to nature (definition). Also Wikidata Q2582176
History
- 2026-11-02: add by m2/dev
Leading pressure and gradient bounds CJVA0N7VME
| URI | m2://inv/CJVA0N7VME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06544#4JW5, Leading pressure and gradient bounds (statement). In VCRB27RMN6/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
The complement of $\Gm^4$ CJVD2B67WQ
| URI | m2://inv/CJVD2B67WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#WH83, The complement of $\Gm^4$ (statement). In QPJ6FWG5HD/e1, lemma 2.24
History
- 2026-10-29: add by m2/v0.4.12
Example CJVHACTGSP
| URI | m2://inv/CJVHACTGSP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unified neutral theory of biodiversity#VY7U, Example (example)
History
- 2026-11-02: add by m2/dev
Support derivatives CJVTBNS7HX
| URI | m2://inv/CJVTBNS7HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.21670#5J6S, Support derivatives (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algebraic closure CJW23FYTM6
| URI | m2://inv/CJW23FYTM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#V6GJ, Algebraic closure (definition)
History
- 2026-11-02: add by m2/dev
Cubic cupola CJW2G6JJX2
| URI | m2://inv/CJW2G6JJX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic cupola, Cubic cupola (definition). Also Wikidata Q18206192
History
- 2026-11-02: add by m2/dev
CJWFYEEC2Q CJWFYEEC2Q
| URI | m2://inv/CJWFYEEC2Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-7 (exercise). In RZP28ERRZV, exercise, section 9.9.2
History
- 2026-11-01: add by m2/v0.6.13
CJWNKFEV7D CJWNKFEV7D
| URI | m2://inv/CJWNKFEV7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#62YE (statement). In 9XMZTTSF5E/e1, proposition B.6
History
- 2026-10-30: add by m2/v0.4.12
CJWQRWHS9B CJWQRWHS9B
| URI | m2://inv/CJWQRWHS9B |
|---|---|
| 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.07445#PUAR (statement). In F1BM3Q8125/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
Properties CJWSVYZ0TV
| URI | m2://inv/CJWSVYZ0TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open set#0UWS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement CJWV0XP7BV
| URI | m2://inv/CJWV0XP7BV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koecher–Vinberg theorem#K2UQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
CJWZVK495S CJWZVK495S
| URI | m2://inv/CJWZVK495S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
CJX1ZJ9XQB CJX1ZJ9XQB
| URI | m2://inv/CJX1ZJ9XQB |
|---|---|
| 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 2103.02468#O7I7 (statement). In Q7C6G66CWM/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
Applications CJX4J1EMQJ
| URI | m2://inv/CJX4J1EMQJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obstruction theory#Q2T2, Applications (example)
History
- 2026-11-02: add by m2/dev
CJX6P9XJ58 CJX6P9XJ58
| URI | m2://inv/CJX6P9XJ58 |
|---|---|
| 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.04809#6CPB (statement). In 2VHV0RNTNV/e1, lemma 9.7
History
- 2026-10-29: add by m2/v0.4.12
Properties CJXDYBC5VJ
| URI | m2://inv/CJXDYBC5VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initialization vector#B3M3, Properties (statement)
History
- 2026-11-02: add by m2/dev
CJXJ7ACNH1 CJXJ7ACNH1
| URI | m2://inv/CJXJ7ACNH1 |
|---|---|
| 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.16225#5MNR (statement). In H3DJV9YQW1/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Gustav Kirchhoff CJXMDNKZBW
| URI | m2://inv/CJXMDNKZBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#C17H, Gustav Kirchhoff (unknown)
History
- 2026-11-02: add by m2/dev
Example CJXMDWXHE9
| URI | m2://inv/CJXMDWXHE9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility rule#WAAI, Example (example)
History
- 2026-11-02: add by m2/dev
CJXTPZMQES CJXTPZMQES
| URI | m2://inv/CJXTPZMQES |
|---|---|
| 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.14121#4X8R (statement). In MRKCK4QYZN/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
CJY0Y0RHMH CJY0Y0RHMH
| URI | m2://inv/CJY0Y0RHMH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#ZAGM (definition). In PG0B4PH9YH/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
Daniel Goldston CJY2DEAJED
| URI | m2://inv/CJY2DEAJED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G1FB, Daniel Goldston (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J68H, Daniel Goldston (topic)
History
- 2026-11-02: add by m2/dev
CJY66BE58B CJY66BE58B
| URI | m2://inv/CJY66BE58B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#UE6T (statement)
History
- 2026-11-02: add by m2/v0.6.17
CJYFJV5HXM CJYFJV5HXM
| URI | m2://inv/CJYFJV5HXM |
|---|---|
| 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.39491#I9LI (statement). In 9R00V9TGVT/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
CJYHZ7AMKK CJYHZ7AMKK
| URI | m2://inv/CJYHZ7AMKK |
|---|---|
| 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.40251#PHO6 (statement). In 9J7TJYKGYX/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Alexandroff extension CJYJQ8PRSR
| URI | m2://inv/CJYJQ8PRSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#JX5A, Alexandroff extension (definition)
History
- 2026-11-02: add by m2/dev
Equivalent forms of Cram\'er's condition CJYTNPP4RW
| URI | m2://inv/CJYTNPP4RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#1KKW, Equivalent forms of Cram\'er's condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Untangled families of curves and Lagrangian representations CJYVFYVA4S
| URI | m2://inv/CJYVFYVA4S |
|---|---|
| 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 2610.17129#QMM3, Untangled families of curves and Lagrangian representations (definition). In TCZWAMNYCV/e1, definition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Bin (computational geometry) CJYXN5XD3Y
| URI | m2://inv/CJYXN5XD3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#MIKO, Bin (computational geometry) (definition)
History
- 2026-11-02: add by m2/dev
Gaussian BROJA union and unique information CJZ2EAJNA1
| URI | m2://inv/CJZ2EAJNA1 |
|---|---|
| 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.13464#FZ5X, Gaussian BROJA union and unique information (statement). In P40KK40XFP/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
CJZ36CS88H CJZ36CS88H
| URI | m2://inv/CJZ36CS88H |
|---|---|
| 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.04124#HWOK (statement). In DB9WCCW840/e1, lemma 0.12
History
- 2026-10-29: add by m2/v0.4.12
Almost Pythagoras formula CJZ485T702
| URI | m2://inv/CJZ485T702 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#6C1D, Almost Pythagoras formula (statement). In VCHH2AC34R/e1, proposition 3.17
History
- 2026-10-29: add by m2/v0.4.10
CJZ7JPAF2E CJZ7JPAF2E
| URI | m2://inv/CJZ7JPAF2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#UQTM (statement). In 2RC8WXQ9ET/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
geodesic convexity CJZ9HPHQB5
| URI | m2://inv/CJZ9HPHQB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5533980, geodesic convexity (unknown). Also nLab geodesic convexity
- wikipedia: Wikipedia Geodesic convexity, Geodesic convexity (definition). Also Wikidata Q5533980
History
- 2026-10-26: add by m2/dev
Radha Charan Gupta CJZAT8TEXJ
| URI | m2://inv/CJZAT8TEXJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radha Charan Gupta, Radha Charan Gupta (topic). Also Wikidata Q2125632
History
- 2026-11-02: add by m2/dev
CJZBEDPS8D CJZBEDPS8D
| URI | m2://inv/CJZBEDPS8D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
CJZBGC9GMM CJZBGC9GMM
| URI | m2://inv/CJZBGC9GMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#X542 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fundamental theorem on homomorphisms CJZC2P52J0
| URI | m2://inv/CJZC2P52J0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3PES, Fundamental theorem on homomorphisms (statement)
History
- 2026-11-02: add by m2/dev
CJZCFB9FX6 CJZCFB9FX6
| URI | m2://inv/CJZCFB9FX6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
homotopy pullback CJZJZHMZFF
| URI | m2://inv/CJZJZHMZFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#1UNS, homotopy pullback (definition)
History
- 2026-11-02: add by m2/dev
CJZNP1MYDK CJZNP1MYDK
| URI | m2://inv/CJZNP1MYDK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#MPRC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Slice splitting balances GEMM against conversion, making the whole $O(p^{1.5})$ CJZXARH44Z
| URI | m2://inv/CJZXARH44Z |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#EUK7, Slice splitting balances GEMM against conversion, making the whole $O(p^{1.5})$ (unknown)
History
- 2026-11-01: add by m2/v0.6.15