Inventory rows CM
The cards of the rows of the inventory whose ids start with CM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
CM0EBK4PQG CM0EBK4PQG
| URI | m2://inv/CM0EBK4PQG |
|---|---|
| Kind | conjecture |
| 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.27800#LIZC (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Barbara Rokowska CM0FXMBRWF
| URI | m2://inv/CM0FXMBRWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Rokowska, Barbara Rokowska (topic). Also Wikidata Q9165555
History
- 2026-11-02: add by m2/dev
Corruption-protected adaptive smoothing CM0HM6RHVV
| URI | m2://inv/CM0HM6RHVV |
|---|---|
| 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.15202#8KN5, Corruption-protected adaptive smoothing (statement). In X1FPG0KYBM/e1, theorem M.6
History
- 2026-10-28: add by m2/v0.4.2
Totally bounded (functional analysis) CM0NN982FV
| URI | m2://inv/CM0NN982FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally bounded space#U943, Totally bounded (functional analysis) (unknown)
History
- 2026-11-02: add by m2/dev
CM0RWKHDW7 CM0RWKHDW7
| URI | m2://inv/CM0RWKHDW7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#8IPA (definition). In 76850E2X7T/e1, definition 2.14
History
- 2026-10-28: add by m2/v0.4.3
Properties CM0XDDW7YK
| URI | m2://inv/CM0XDDW7YK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected shortfall#TNEO, Properties (statement)
History
- 2026-11-02: add by m2/dev
CM0XHQX3V8 CM0XHQX3V8
| URI | m2://inv/CM0XHQX3V8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#ACUS (definition). In B9EX6K51RD/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
transitivity, of $<$ in a field CM13PT99HA
| URI | m2://inv/CM13PT99HA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/transitivity-of-in-a-field, transitivity, of $<$ in a field (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
CM1594E578 CM1594E578
| URI | m2://inv/CM1594E578 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#IWYN (statement). In PZCA01JXVR/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.3.5
Computable isomorphism CM16KM9AT0
| URI | m2://inv/CM16KM9AT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable isomorphism, Computable isomorphism (definition). Also Wikidata Q5157265
History
- 2026-11-02: add by m2/dev
Peter Bürgisser CM19C1B20R
| URI | m2://inv/CM19C1B20R |
|---|---|
| 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#IMG5, Peter Bürgisser (topic)
History
- 2026-11-02: add by m2/dev
CM1GS7R5Q3 CM1GS7R5Q3
| URI | m2://inv/CM1GS7R5Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08753#M1GO (statement). In J9P361Z1CX/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
CM1KVH1Y6B CM1KVH1Y6B
| URI | m2://inv/CM1KVH1Y6B |
|---|---|
| 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.17476#HUQG (statement). In 6HXD74FA4S/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Tangential maximality of the terminal scale CM1WECE2YK
| URI | m2://inv/CM1WECE2YK |
|---|---|
| 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.20643#2TQR, Tangential maximality of the terminal scale (statement)
History
- 2026-11-02: add by m2/v0.6.18
CM2818P8G8 CM2818P8G8
| URI | m2://inv/CM2818P8G8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#3UMD (definition). In FCMMB2EVAP/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.4.2
Extensionality CM28NWBS2E
| URI | m2://inv/CM28NWBS2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/eta.tex#defn-2, Extensionality (definition). In PKGMM3P5QY, defn, section 38.13
History
- 2026-11-01: add by m2/v0.6.13
Stirling numbers and exponential generating functions in symbolic combinatorics CM29PMCF4Q
| URI | m2://inv/CM29PMCF4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers and exponential generating functions in symbolic combinatorics, Stirling numbers and exponential generating functions in symbolic combinatorics (definition). Also Wikidata Q7617595
History
- 2026-11-02: add by m2/dev
CM2EZK6X8Q CM2EZK6X8Q
| URI | m2://inv/CM2EZK6X8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#TP6H (statement). In 9YAE8FNQST/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
CM2FAJY1QE CM2FAJY1QE
| URI | m2://inv/CM2FAJY1QE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#ZY4G (example). In Y1DR0DPWD0/e1, example 5.6
History
- 2026-10-29: add by m2/v0.4.12
Heteroclinic channels CM2RXXFF0K
| URI | m2://inv/CM2RXXFF0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heteroclinic channels, Heteroclinic channels (definition). Also Wikidata Q115827022
History
- 2026-11-02: add by m2/dev
CM2S114C2W CM2S114C2W
| URI | m2://inv/CM2S114C2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#9US2 (statement). In Q74G3BVZAQ/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
material implication CM2T4BBAE7
| URI | m2://inv/CM2T4BBAE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Implication 0NMG7W7Q11 |
Mentions
- wikidata: Wikidata Q7881229, material implication (unknown). Also EoM Implication, MathWorld Implies
- wikipedia: Wikipedia Material conditional, Material conditional (definition). Also Wikidata Q7881229
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Generalizations CM31RJ6R30
| URI | m2://inv/CM31RJ6R30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge's theorem#2NBV, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
CM32VPMA44 CM32VPMA44
| URI | m2://inv/CM32VPMA44 |
|---|---|
| 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 2609.20798#EL2B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mohammad Saleh Zarepour CM39BNH7N5
| URI | m2://inv/CM39BNH7N5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mohammad Saleh Zarepour, Mohammad Saleh Zarepour (topic). Also Wikidata Q113309093
History
- 2026-11-02: add by m2/dev
double-spend CM3CCTC7TW
| URI | m2://inv/CM3CCTC7TW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of bitcoin forks#KBDP, double-spend (unknown)
History
- 2026-11-02: add by m2/dev
Yates, Frank CM3CCW7NWJ
| URI | m2://inv/CM3CCW7NWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#51J3, Yates, Frank (topic)
History
- 2026-11-02: add by m2/dev
CM3GFNDYXR CM3GFNDYXR
| URI | m2://inv/CM3GFNDYXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00103#N7I1 (statement). In S7RDXJWP1A/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
The Baire space CM3JH1WCEQ
| URI | m2://inv/CM3JH1WCEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#S4DT, The Baire space (definition)
History
- 2026-11-02: add by m2/dev
Religious views of Bertrand Russell CM3NQDN67Y
| URI | m2://inv/CM3NQDN67Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand Russell#4J8Y, Religious views of Bertrand Russell (unknown)
History
- 2026-11-02: add by m2/dev
Jean-Pierre Serre CM42TZW3EY
| URI | m2://inv/CM42TZW3EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212063, Jean-Pierre Serre (unknown). Also nLab Jean-Pierre Serre
- wikipedia: Wikipedia Jean-Pierre Serre, Jean-Pierre Serre (topic). Also Wikidata Q212063
History
- 2026-10-26: add by m2/dev
Quotient rule CM48TZASD9
| URI | m2://inv/CM48TZASD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#9X8N, Quotient rule (definition)
- wikipedia: Wikipedia List of calculus topics#DFB5, Quotient rule (definition)
- wikipedia: Wikipedia List of real analysis topics#PHAV, Quotient rule (definition)
History
- 2026-11-02: add by m2/dev
NP-intermediate CM4904Q8AM
| URI | m2://inv/CM4904Q8AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1130846, Ladner's theorem (statement). Also Wikidata Q1130846
- thousand_plus: thousand_plus Q1130846, Ladner's theorem (statement). Also Wikidata Q1130846, Wikipedia Ladner's theorem
- wikipedia: Wikipedia NP-intermediate, NP-intermediate (definition). Also Wikidata Q1130846
History
- 2026-10-26: add by m2/dev
The perfect kernel of the full shadow CM4ES0ZP78
| URI | m2://inv/CM4ES0ZP78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#L0LT, The perfect kernel of the full shadow (statement). In 4AQ48WSBDQ/e1, corollary 5.13
History
- 2026-10-29: add by m2/v0.4.10
Applications CM4GQQ53PW
| URI | m2://inv/CM4GQQ53PW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic mean#XZVC, Applications (example)
History
- 2026-11-02: add by m2/dev
CM4TCY6JJS CM4TCY6JJS
| URI | m2://inv/CM4TCY6JJS |
|---|---|
| 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.29531#8Y97 (statement)
History
- 2026-11-01: add by m2/v0.6.15
λ-calculus CM5207AP79
| URI | m2://inv/CM5207AP79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#872A, λ-calculus (definition)
History
- 2026-11-02: add by m2/dev
Rating scales for depression CM5E9ETJ85
| URI | m2://inv/CM5E9ETJ85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rating scales for depression, Rating scales for depression (definition). Also Wikidata Q7295722
History
- 2026-11-02: add by m2/dev
CM5GQF5BG6 CM5GQF5BG6
| URI | m2://inv/CM5GQF5BG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#4ODM (statement)
History
- 2026-11-02: add by m2/v0.6.18
CM5HRBFP17 CM5HRBFP17
| URI | m2://inv/CM5HRBFP17 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#OJ81 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Melchior's inequality CM5J03RDDX
| URI | m2://inv/CM5J03RDDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester–Gallai theorem#ICIA, Melchior's inequality (statement)
History
- 2026-11-02: add by m2/dev
Example CM5TTRYBT6
| URI | m2://inv/CM5TTRYBT6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditivity effect#B31Y, Example (example)
History
- 2026-11-02: add by m2/dev
CM658DH8YY CM658DH8YY
| URI | m2://inv/CM658DH8YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#4LBP (statement). In 6Z1DDCYCQ8/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
CM6D751ZWE CM6D751ZWE
| URI | m2://inv/CM6D751ZWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 81.3
History
- 2026-11-01: add by m2/v0.6.13
CM6JC99VVH CM6JC99VVH
| URI | m2://inv/CM6JC99VVH |
|---|---|
| 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.03568#BZK5 (statement). In TGNKGP0XNY/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Schatten norm bound CM6KTTQAZE
| URI | m2://inv/CM6KTTQAZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28635#9RR7, Schatten norm bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
CM6VNCX0X0 CM6VNCX0X0
| URI | m2://inv/CM6VNCX0X0 |
|---|---|
| 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.21668#K9RS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Terminology CM738RZR5T
| URI | m2://inv/CM738RZR5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (algebra)#I8IV, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Ordinary group equivariance CM7395905G
| URI | m2://inv/CM7395905G |
|---|---|
| Kind | example |
| 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.25987#8OK6, Ordinary group equivariance (example)
History
- 2026-11-01: add by m2/v0.6.15
Reverse Schur--Horn CM7814R2QP
| URI | m2://inv/CM7814R2QP |
|---|---|
| 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.35558#RFRK, Reverse Schur--Horn (statement). In HR2TQ292AE/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Monad CM79GE5CJK
| URI | m2://inv/CM79GE5CJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (philosophy), Monad (definition). Also Wikidata Q12370437
History
- 2026-11-02: add by m2/dev
CM7BXJY58W CM7BXJY58W
| URI | m2://inv/CM7BXJY58W |
|---|---|
| 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.23781#WHK6 (definition)
History
- 2026-11-02: add by m2/v0.6.17
CM7DJ6X3YK CM7DJ6X3YK
| URI | m2://inv/CM7DJ6X3YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25912#N0M2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Real subspace CM7HHPQ144
| URI | m2://inv/CM7HHPQ144 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real structure#2XIA, Real subspace (unknown)
History
- 2026-11-02: add by m2/dev
CM7JFQK0JK CM7JFQK0JK
| URI | m2://inv/CM7JFQK0JK |
|---|---|
| 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 2312.06581#O0AT (statement). In WXJ2V3HA2R/e1, lemma G.4
History
- 2026-10-27: add by m2/v0.3.5
resizing CM7ZZSPVQR
| URI | m2://inv/CM7ZZSPVQR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/resizing, resizing (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
Construction CM86FY2DEN
| URI | m2://inv/CM86FY2DEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex projective space#IYAD, Construction (definition)
History
- 2026-11-02: add by m2/dev
CM879HQQZN CM879HQQZN
| URI | m2://inv/CM879HQQZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#0C8W (statement). In ZNBQD5WH1M/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Notations CM8AX964WD
| URI | m2://inv/CM8AX964WD |
|---|---|
| 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 2506.08233#QAOA, Notations (definition). In 2TXXQ2575Y/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Hermann Weyl CM8D3MBYXE
| URI | m2://inv/CM8D3MBYXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#XNH6, Hermann Weyl (topic)
History
- 2026-11-02: add by m2/dev
Shifted sampled cuts CM8RGWTMKZ
| URI | m2://inv/CM8RGWTMKZ |
|---|---|
| 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.12713#7EK5, Shifted sampled cuts (statement). In F14A5HX20Q/e1, theorem C.4.1
History
- 2026-10-28: add by m2/v0.4.2
Going up and going down CM8VGHCEDQ
| URI | m2://inv/CM8VGHCEDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2379132, Going-up and going-down theorems (statement). Also Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isDomain, Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isPrime, Mathlib Algebra.HasGoingDown.iff_generalizingMap_primeSpectrumComap, Mathlib Algebra.HasGoingDown.of_comap_localRingHom_surjective, Wikidata Q2379132
- thousand_plus: thousand_plus Q2379132, Going-up and going-down theorems (statement). Also Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isDomain, Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isPrime, Mathlib Algebra.HasGoingDown.iff_generalizingMap_primeSpectrumComap, Mathlib Algebra.HasGoingDown.of_comap_localRingHom_surjective, Wikidata Q2379132, Wikipedia Going up and going down
- wikipedia: Wikipedia Going up and going down, Going up and going down (definition). Also Wikidata Q2379132
History
- 2026-10-26: add by m2/dev
Henry Jack CM8W07YVM0
| URI | m2://inv/CM8W07YVM0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Jack, Henry Jack (topic). Also Wikidata Q15994535
History
- 2026-11-02: add by m2/dev
CM8XEW0CBD CM8XEW0CBD
| URI | m2://inv/CM8XEW0CBD |
|---|---|
| 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.08567#WQ0N (statement). In CMJE9V2BJ0/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Hans Wilhelm Alt CM953AYGW7
| URI | m2://inv/CM953AYGW7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Wilhelm Alt, Hans Wilhelm Alt (topic). Also Wikidata Q1583101
History
- 2026-11-02: add by m2/dev
Health issues in Sub-Saharan Africa CM9B6M02ES
| URI | m2://inv/CM9B6M02ES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Africa#DD0A, Health issues in Sub-Saharan Africa (unknown)
History
- 2026-11-02: add by m2/dev
Megastudy CM9E8QKWM1
| URI | m2://inv/CM9E8QKWM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Megastudy, Megastudy (definition). Also Wikidata Q124749433
History
- 2026-11-02: add by m2/dev
Compound of ten octahedra CM9GT7684T
| URI | m2://inv/CM9GT7684T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#MILI, Compound of ten octahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YAS8, Compound of ten octahedra (definition)
History
- 2026-11-02: add by m2/dev
elementary particle CM9KBAX5M6
| URI | m2://inv/CM9KBAX5M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43116, elementary particle (definition). Also ProofWiki Definition:Elementary_Particle
History
- 2026-10-26: add by m2/dev
Gunung Tujuh CM9KFJB2RP
| URI | m2://inv/CM9KFJB2RP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H78P, Gunung Tujuh (unknown)
History
- 2026-11-02: add by m2/dev
CM9PH117Z0 CM9PH117Z0
| URI | m2://inv/CM9PH117Z0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#AL92 (definition). In M0SQY5EZN5/e1, definition 4.7.1
History
- 2026-10-27: add by m2/v0.3.5
CM9RY4SARV CM9RY4SARV
| URI | m2://inv/CM9RY4SARV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09095#4BPZ (statement). In 6DTDDM6JHP/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
CMA3MBQEBP CMA3MBQEBP
| URI | m2://inv/CMA3MBQEBP |
|---|---|
| Kind | definition |
| 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.19260#6455 (definition). In PWXT7J9JX3/e1, definition 2.16
History
- 2026-10-28: add by m2/v0.4.2
CMAA1MJBVS CMAA1MJBVS
| URI | m2://inv/CMAA1MJBVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#R86Q (statement). In QX77AN49J0/e1, corollary 7.10
History
- 2026-10-27: add by m2/v0.4.2
CMAA963CWK CMAA963CWK
| URI | m2://inv/CMAA963CWK |
|---|---|
| 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.01029#QOTJ (statement). In KA8VS65Z9G/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Wide and narrow data CMAED36Z42
| URI | m2://inv/CMAED36Z42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wide and narrow data, Wide and narrow data (definition). Also Wikidata Q17053536
History
- 2026-11-02: add by m2/dev
CMAFJH235A CMAFJH235A
| URI | m2://inv/CMAFJH235A |
|---|---|
| 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.36186#OS3D (statement). In 30PQN6JP7W/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
CMAG32D351 CMAG32D351
| URI | m2://inv/CMAG32D351 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#CNZH (statement). In 2PP4XRVS0J/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
CMAJ4T53W6 CMAJ4T53W6
| URI | m2://inv/CMAJ4T53W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#1RUW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Itô's lemma CMANEQR5VB
| URI | m2://inv/CMANEQR5VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô calculus#A6YJ, Itô's lemma (statement)
History
- 2026-11-02: add by m2/dev
CMB4WQFFGW CMB4WQFFGW
| URI | m2://inv/CMB4WQFFGW |
|---|---|
| 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.13833#5CFX (statement). In VD4JP4HVBX/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Almost complex manifold CMBATH9BHE
| URI | m2://inv/CMBATH9BHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#JYFH, Almost complex manifold (definition)
History
- 2026-11-02: add by m2/dev
Applications CMBJWWXZKP
| URI | m2://inv/CMBJWWXZKP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness theorem#HLX4, Applications (example)
History
- 2026-11-02: add by m2/dev
CMBSJMCN3S CMBSJMCN3S
| URI | m2://inv/CMBSJMCN3S |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#CIBW (problem). In SHCQDPCF2J/e1, problem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Theorem 2 CMC79AV5T8
| URI | m2://inv/CMC79AV5T8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmichael function#CBI6, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Two-sided frequency criticality CMCAB5PA2W
| URI | m2://inv/CMCAB5PA2W |
|---|---|
| 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 2610.10950#WPO8, Two-sided frequency criticality (definition). In P392PEVRAY/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.3
recursion CMCBV2EV4S
| URI | m2://inv/CMCBV2EV4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q264164, recursion (unknown). Also EoM Recursion, MathWorld Recursion
- wikipedia: Wikipedia Recursion (computer science), Recursion (definition). Also Wikidata Q264164
History
- 2026-10-26: add by m2/dev
CMCNA9H0G6 CMCNA9H0G6
| URI | m2://inv/CMCNA9H0G6 |
|---|---|
| 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.26922#KR2E (statement)
History
- 2026-11-01: add by m2/v0.6.15
crystal CMCR8GXPP6
| URI | m2://inv/CMCR8GXPP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#P1AU, crystal (definition)
History
- 2026-11-02: add by m2/dev
CMD65RXQBA CMD65RXQBA
| URI | m2://inv/CMD65RXQBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#Z9D1 (statement). In XX1J2REXY2/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
Pre-feedback through the normal velocity CMDC7XDVHB
| URI | m2://inv/CMDC7XDVHB |
|---|---|
| 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#2SS7, Pre-feedback through the normal velocity (statement)
History
- 2026-11-02: add by m2/v0.6.17
Transition function of \(M_\zeta\ CMDG3WPBQ1
| URI | m2://inv/CMDG3WPBQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#LGWQ, Transition function of \(M_\zeta\ (statement). In TBFPBPQV3G/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
event-forced tube family CMDJ33GAS1
| URI | m2://inv/CMDJ33GAS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#Q51Y, event-forced tube family (statement). In RENT22YXW3/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Altman, Naomi CMDKN161YH
| URI | m2://inv/CMDKN161YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0LCF, Altman, Naomi (unknown)
History
- 2026-11-02: add by m2/dev
CMDRABB3FC CMDRABB3FC
| URI | m2://inv/CMDRABB3FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.27730#G906 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eisenbud–Levine–Khimshiashvili signature formula CMDRVG0GAQ
| URI | m2://inv/CMDRVG0GAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenbud–Levine–Khimshiashvili signature formula, Eisenbud–Levine–Khimshiashvili signature formula (statement). Also Wikidata Q5349904
History
- 2026-11-02: add by m2/dev
parameter CMDTPPX3TA
| URI | m2://inv/CMDTPPX3TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1413083, parameter (unknown). Also MathWorld Parameter
- wikipedia: Wikipedia Parameter, Parameter (definition). Also Wikidata Q1413083
History
- 2026-10-26: add by m2/dev
CMDW2HKSYC CMDW2HKSYC
| URI | m2://inv/CMDW2HKSYC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.27420#KIF8 (example)
History
- 2026-11-01: add by m2/v0.6.15
CMDXGSR1GG CMDXGSR1GG
| URI | m2://inv/CMDXGSR1GG |
|---|---|
| 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.38250#STPQ (statement). In 5KDV984W48/e1, proposition 11
History
- 2026-10-30: add by m2/v0.4.12
Free boundary varifolds CMDZJVG4DW
| URI | m2://inv/CMDZJVG4DW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#AJ3Q, Free boundary varifolds (definition). In AKB3CNDA0F/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
CME6AMW4VP CME6AMW4VP
| URI | m2://inv/CME6AMW4VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#thm:rezk-completion (statement). In N54F33XE07, thm, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
CME87FBQKZ CME87FBQKZ
| URI | m2://inv/CME87FBQKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05953#JGR6 (statement). In P3XHJ1VB8C/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Rape in Rwanda CMECTXJQX3
| URI | m2://inv/CMECTXJQX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#SACM, Rape in Rwanda (unknown)
History
- 2026-11-02: add by m2/dev
Per-protocol analysis CMEDFZ60SF
| URI | m2://inv/CMEDFZ60SF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of clinical trials#YSMB, Per-protocol analysis (unknown)
History
- 2026-11-02: add by m2/dev
Spectrum of the rigidity operator CMENWV5HQ5
| URI | m2://inv/CMENWV5HQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#XNXM, Spectrum of the rigidity operator (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grace Y. Yi CMEQQBKXJY
| URI | m2://inv/CMEQQBKXJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#4EWA, Grace Y. Yi (topic)
History
- 2026-11-02: add by m2/dev
CMEYD1RBSG CMEYD1RBSG
| URI | m2://inv/CMEYD1RBSG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#T7DT (definition). In 46370P3Y9S/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
CMF1VS70A3 CMF1VS70A3
| URI | m2://inv/CMF1VS70A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#WH3S (statement). In SCSTR1Q1BW/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Cucconi test CMF4MDARFJ
| URI | m2://inv/CMF4MDARFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cucconi test, Cucconi test (definition). Also Wikidata Q28458422
History
- 2026-11-02: add by m2/dev
Near-ERM oracle inequality CMF8E2CP02
| URI | m2://inv/CMF8E2CP02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#5O7R, Near-ERM oracle inequality (statement). In SNWC76WKWT/e1, lemma I.3
History
- 2026-10-31: add by m2/v0.5.6
Two-point posterior on the complete record CMFDWQKDVE
| URI | m2://inv/CMFDWQKDVE |
|---|---|
| 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.33154#0FGZ, Two-point posterior on the complete record (statement). In N28DEYRBW7/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Representations CMFJQR8ZTS
| URI | m2://inv/CMFJQR8ZTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind cut#8I7J, Representations (definition)
History
- 2026-11-02: add by m2/dev
Friedrich Wilhelm Levi CMFR1ZKSY0
| URI | m2://inv/CMFR1ZKSY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91672, Friedrich Wilhelm Levi (unknown). Also nLab Friedrich Levi
- wikipedia: Wikipedia Friedrich Wilhelm Levi, Friedrich Wilhelm Levi (topic). Also Wikidata Q91672
History
- 2026-10-26: add by m2/dev
Mathematical truth CMFVFQEDKP
| URI | m2://inv/CMFVFQEDKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth#CDY7, Mathematical truth (unknown)
History
- 2026-11-02: add by m2/dev
Lie theory CMFWBW7PE8
| URI | m2://inv/CMFWBW7PE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#M5PL, Lie theory (definition)
History
- 2026-11-02: add by m2/dev
CMG15GN3K3 CMG15GN3K3
| URI | m2://inv/CMG15GN3K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#XT16 (statement). In 4GRNWWH88J/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
CMGBX4CCRM CMGBX4CCRM
| URI | m2://inv/CMGBX4CCRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#K6XG (statement). In HK7FV97MFD/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
CMGDYKKRCZ CMGDYKKRCZ
| URI | m2://inv/CMGDYKKRCZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#ex:spec_C_morphism (example). In RZP28ERRZV, example, section 22.4.1
History
- 2026-11-01: add by m2/v0.6.13
CMGK7M0NG8 CMGK7M0NG8
| URI | m2://inv/CMGK7M0NG8 |
|---|---|
| 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 2509.16898#81OP (statement). In FXBFTRHBAH/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Temporal velocity of $v_\star$ CMGMDXTJD7
| URI | m2://inv/CMGMDXTJD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#O0UT, Temporal velocity of $v_\star$ (statement). In PGAZ70WGMG/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
Biostatistics CMGTTNRNK2
| URI | m2://inv/CMGTTNRNK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#8HCO, Biostatistics (unknown)
History
- 2026-11-02: add by m2/dev
Kaluza's hypothesis for the matter stress–energy tensor CMGVFBT5WW
| URI | m2://inv/CMGVFBT5WW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaluza–Klein theory#OH5B, Kaluza's hypothesis for the matter stress–energy tensor (statement)
History
- 2026-11-02: add by m2/dev
semiprimitive CMGX879DQH
| URI | m2://inv/CMGX879DQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#HZPB, semiprimitive (definition)
History
- 2026-11-02: add by m2/dev
theorem of holomorphic functions under integral domains CMH13P48Z5
| URI | m2://inv/CMH13P48Z5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > theorem of holomorphic functions under integral domains, theorem of holomorphic functions under integral domains (unknown)
History
- 2026-10-26: add by m2/dev
Examples CMH4Z87CYF
| URI | m2://inv/CMH4Z87CYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression fallacy#422E, Examples (example)
History
- 2026-11-02: add by m2/dev
Poincaré–Hopf theorem CMH9KSKM0D
| URI | m2://inv/CMH9KSKM0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZHGP, Poincaré–Hopf theorem (statement)
History
- 2026-11-02: add by m2/dev
James Porter CMHH8ANFDJ
| URI | m2://inv/CMHH8ANFDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Porter (Master of Peterhouse, Cambridge), James Porter (topic). Also Wikidata Q56253462
History
- 2026-11-02: add by m2/dev
Mathematics and Plausible Reasoning CMHQCVWN0S
| URI | m2://inv/CMHQCVWN0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and Plausible Reasoning, Mathematics and Plausible Reasoning (definition). Also Wikidata Q25051573
History
- 2026-11-02: add by m2/dev
Examples CMHQS388ZD
| URI | m2://inv/CMHQS388ZD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bracket of vector fields#UEBR, Examples (example)
History
- 2026-11-02: add by m2/dev
Uses CMHSJMKEQV
| URI | m2://inv/CMHSJMKEQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space partitioning#PSYG, Uses (example)
History
- 2026-11-02: add by m2/dev
Properties of polynomial hulls CMHTWJHHMF
| URI | m2://inv/CMHTWJHHMF |
|---|---|
| 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.28028#FOFH, Properties of polynomial hulls (statement)
History
- 2026-11-01: add by m2/v0.6.15
CMJ3AKHPVN CMJ3AKHPVN
| URI | m2://inv/CMJ3AKHPVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#O07J (statement). In WPDRT63QNW/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
CMJ946F668 CMJ946F668
| URI | m2://inv/CMJ946F668 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/foundation.tex#zfentailsregularity (statement). In PKGMM3P5QY, thm, section 74.2
History
- 2026-11-01: add by m2/v0.6.13
CMJMTG7YXF CMJMTG7YXF
| URI | m2://inv/CMJMTG7YXF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-55 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
CMJV2KS65T CMJV2KS65T
| URI | m2://inv/CMJV2KS65T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#32WG (statement). In 6KR7Z5ETRY/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
CMJWR82SX2 CMJWR82SX2
| URI | m2://inv/CMJWR82SX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#9U0S (statement). In GWQP1XPM8E/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
CMK4NE0Y2E CMK4NE0Y2E
| URI | m2://inv/CMK4NE0Y2E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#SFQ4 (definition). In YG5EX49042/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
CMK9XZKGAZ CMK9XZKGAZ
| URI | m2://inv/CMK9XZKGAZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#KFNS (definition). In 2WZQC0TKVK/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
CMKCAHM1HF CMKCAHM1HF
| URI | m2://inv/CMKCAHM1HF |
|---|---|
| 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.37897#OFOX (statement). In RBQ5FNCVNZ/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
Quarter 6-cubic honeycomb CMKDA7SV1N
| URI | m2://inv/CMKDA7SV1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quarter 6-cubic honeycomb, Quarter 6-cubic honeycomb (definition). Also Wikidata Q17078181
History
- 2026-11-02: add by m2/dev
Computations CMKK57J4MQ
| URI | m2://inv/CMKK57J4MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field with one element#9SOX, Computations (definition)
History
- 2026-11-02: add by m2/dev
Simple example of Azuma's inequality for coin flips CMKXXV1CVN
| URI | m2://inv/CMKXXV1CVN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azuma's inequality#PAX0, Simple example of Azuma's inequality for coin flips (example)
History
- 2026-11-02: add by m2/dev
CMM6YF45GB CMM6YF45GB
| URI | m2://inv/CMM6YF45GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19023#W68S (statement). In QFA8TMJPHZ/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Bound on deviation from one-hot reference labels CMMF6Y48D8
| URI | m2://inv/CMMF6Y48D8 |
|---|---|
| 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.32652#OMQB, Bound on deviation from one-hot reference labels (statement). In 6KAZWJ8RFX/e1, corollary 5.16
History
- 2026-10-31: add by m2/v0.5.6
Statistical graphics CMMFYXJ4T4
| URI | m2://inv/CMMFYXJ4T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical graphics, Statistical graphics (definition). Also Wikidata Q3427422
History
- 2026-11-02: add by m2/dev
Gravitational singularity CMMG0GAGSM
| URI | m2://inv/CMMG0GAGSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational singularity, Gravitational singularity (definition). Also Wikidata Q201721
History
- 2026-11-02: add by m2/dev
CMMKE22X97 CMMKE22X97
| URI | m2://inv/CMMKE22X97 |
|---|---|
| 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 2411.05198#9QD4 (statement). In NJWY6HPFHG/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
CMMKH91ZPY CMMKH91ZPY
| URI | m2://inv/CMMKH91ZPY |
|---|---|
| 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.24902#DNV8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Italian society of economics demography and statistics CMMN10QN80
| URI | m2://inv/CMMN10QN80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#UCVJ, Italian society of economics demography and statistics (unknown)
History
- 2026-11-02: add by m2/dev
CMMPDPC5SN CMMPDPC5SN
| URI | m2://inv/CMMPDPC5SN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#A7VQ (definition). In 3A4K47Y9F2/e1, definition 3.20
History
- 2026-10-27: add by m2/v0.4.0
CMMQYQEKCS CMMQYQEKCS
| URI | m2://inv/CMMQYQEKCS |
|---|---|
| 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.00337#PIN2 (statement). In 5STQ3ABZ60/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
DFB-Ligapokal CMN04G52AH
| URI | m2://inv/CMN04G52AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#3KAF, DFB-Ligapokal (unknown)
History
- 2026-11-02: add by m2/dev
Kernel theorem CMN0PRN2S4
| URI | m2://inv/CMN0PRN2S4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory kernel theorem#SOVJ, Kernel theorem (statement)
History
- 2026-11-02: add by m2/dev
$\delta$-Reliability CMN48KFBMG
| URI | m2://inv/CMN48KFBMG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24994#3TPN, $\delta$-Reliability (definition)
History
- 2026-11-01: add by m2/v0.6.15
Giovanni Paolo Galdi CMNYX32V2A
| URI | m2://inv/CMNYX32V2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Paolo Galdi, Giovanni Paolo Galdi (topic). Also Wikidata Q93435697
History
- 2026-11-02: add by m2/dev
CMNYZ8VJC3 CMNYZ8VJC3
| URI | m2://inv/CMNYZ8VJC3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Homogeneity CMP2Q95XDC
| URI | m2://inv/CMP2Q95XDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#7610, Homogeneity (statement). In DW7FVA587C/e1, lemma 3.17
History
- 2026-10-27: add by m2/v0.3.5
CMPCDG9PPW CMPCDG9PPW
| URI | m2://inv/CMPCDG9PPW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#example-4 (example). In RZP28ERRZV, example, section 63.4
History
- 2026-11-01: add by m2/v0.6.13
Boundary degeneration CMPDQ51JN7
| URI | m2://inv/CMPDQ51JN7 |
|---|---|
| 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#P9NE, Boundary degeneration (statement). In QPJ6FWG5HD/e1, proposition 2.86
History
- 2026-10-29: add by m2/v0.4.12
CMPEJ6JVN3 CMPEJ6JVN3
| URI | m2://inv/CMPEJ6JVN3 |
|---|---|
| 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 2203.10220#REBL (statement). In FX2SD1GFHT/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Redfield equation CMPG87MQV9
| URI | m2://inv/CMPG87MQV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redfield equation, Redfield equation (definition). Also Wikidata Q25312728
History
- 2026-11-02: add by m2/dev
Linear least squares CMPHRYQFG8
| URI | m2://inv/CMPHRYQFG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UUCA, Linear least squares (definition)
History
- 2026-11-02: add by m2/dev
CMPK85R02A CMPK85R02A
| URI | m2://inv/CMPK85R02A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#definition-2 (definition). In RZP28ERRZV, definition, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
Isaac Stern CMPRCK5486
| URI | m2://inv/CMPRCK5486 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#3EG2, Isaac Stern (unknown)
History
- 2026-11-02: add by m2/dev
Two-order phase diagram for $B_h[g]$ sets CMQ837NAV4
| URI | m2://inv/CMQ837NAV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23922#494P, Two-order phase diagram for $B_h[g]$ sets (statement)
History
- 2026-11-02: add by m2/v0.6.17
CMQH4RNANM CMQH4RNANM
| URI | m2://inv/CMQH4RNANM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#M7RD (statement). In BZ54C9SKYS/e1, lemma 6.18
History
- 2026-10-27: add by m2/v0.3.5
CMQHD3210J CMQHD3210J
| URI | m2://inv/CMQHD3210J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05867#Y90B (statement). In E2TP3AKTNV/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
CMQKMZH1NV CMQKMZH1NV
| URI | m2://inv/CMQKMZH1NV |
|---|---|
| Kind | problem |
| 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 2605.24355#XRPN (problem). In VV3AJMWWCR/e1, problem 5
History
- 2026-10-27: add by m2/v0.3.6
CMQPPPWQJQ CMQPPPWQJQ
| URI | m2://inv/CMQPPPWQJQ |
|---|---|
| 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.10477#V5EZ (statement). In 1NZSZ241WE/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
CMQRE960ZX CMQRE960ZX
| URI | m2://inv/CMQRE960ZX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:is-conn-trunc-functor (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
CMQW670NG0 CMQW670NG0
| URI | m2://inv/CMQW670NG0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-3 (example). In RZP28ERRZV, example, section 22.4.2
History
- 2026-11-01: add by m2/v0.6.13
CMQX32VWTR CMQX32VWTR
| URI | m2://inv/CMQX32VWTR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#2IXP (definition). In SD43497T8C/e1, definition 1.33
History
- 2026-10-27: add by m2/v0.3.5
CMR1KBZW3F CMR1KBZW3F
| URI | m2://inv/CMR1KBZW3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#RAWF (statement). In KS30K5JXGB/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Examples CMR42V0MQX
| URI | m2://inv/CMR42V0MQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structured derivations#OYS0, Examples (example)
History
- 2026-11-02: add by m2/dev
CMR46PMPV7 CMR46PMPV7
| URI | m2://inv/CMR46PMPV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24580#U0XV (definition)
History
- 2026-11-01: add by m2/v0.6.15
CMR5QWR64M CMR5QWR64M
| URI | m2://inv/CMR5QWR64M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#EE7S (example). In Q39BEKW6D9/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.10
CMR89C1F44 CMR89C1F44
| URI | m2://inv/CMR89C1F44 |
|---|---|
| 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.10875#PLZP (statement). In N91F15MHW1/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.3
Explicit substitution CMR9RQRVNV
| URI | m2://inv/CMR9RQRVNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421271, Explicit substitution (unknown). Also nLab explicit substitution
- wikipedia: Wikipedia Explicit substitution, Explicit substitution (definition). Also Wikidata Q5421271
History
- 2026-10-26: add by m2/dev
CMRB83S2YK CMRB83S2YK
| URI | m2://inv/CMRB83S2YK |
|---|---|
| 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.14321#HX8J (statement). In 7EGFPFKD5T/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
comonad CMRC6K6NXW
| URI | m2://inv/CMRC6K6NXW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/comonad, comonad (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Process calculus CMRCYXC6C7
| URI | m2://inv/CMRCYXC6C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process calculus, Process calculus (definition). Also Wikidata Q1970286
History
- 2026-11-02: add by m2/dev
Construction CMRERS1FW1
| URI | m2://inv/CMRERS1FW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented dodecahedron#2ZH4, Construction (definition)
History
- 2026-11-02: add by m2/dev
Maura Mast CMRGZ7KZF9
| URI | m2://inv/CMRGZ7KZF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maura Mast, Maura Mast (topic). Also Wikidata Q64010403
History
- 2026-11-02: add by m2/dev
Carol Karp CMRJF8B1WV
| URI | m2://inv/CMRJF8B1WV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol Karp, Carol Karp (topic). Also Wikidata Q545558
History
- 2026-11-02: add by m2/dev
CMRMHR1YR3 CMRMHR1YR3
| URI | m2://inv/CMRMHR1YR3 |
|---|---|
| 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 2602.07485#DYSJ (statement). In 8KAC1E81JQ/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
Whitehead manifold CMS8MR9D2N
| URI | m2://inv/CMS8MR9D2N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2669907, Whitehead manifold (concept). Also MathWorld WhiteheadManifold
- wikipedia: Wikipedia Whitehead manifold, Whitehead manifold (definition). Also Wikidata Q2669907
History
- 2026-10-26: add by m2/dev
Bonaventura Cavalieri CMSBTYXBE1
| URI | m2://inv/CMSBTYXBE1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonaventura Cavalieri, Bonaventura Cavalieri (topic). Also Wikidata Q214544
History
- 2026-11-02: add by m2/dev
CMSV53B7T7 CMSV53B7T7
| URI | m2://inv/CMSV53B7T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#QNII (statement). In SMJMAQ2S3J/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.0
CMSY94YXTY CMSY94YXTY
| URI | m2://inv/CMSY94YXTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#VOS3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bertrand curve CMT67RF853
| URI | m2://inv/CMT67RF853 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#ZUFS, Bertrand curve (unknown)
History
- 2026-11-02: add by m2/dev
Half Hollow Hills, New York CMTH3C3B27
| URI | m2://inv/CMTH3C3B27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PGK9, Half Hollow Hills, New York (unknown)
History
- 2026-11-02: add by m2/dev
CMTMX70A5N CMTMX70A5N
| URI | m2://inv/CMTMX70A5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#X200 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lagrangian point CMTP1KZK02
| URI | m2://inv/CMTP1KZK02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#GLU0, Lagrangian point (definition)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#AWFJ, Lagrangian point (definition)
History
- 2026-11-02: add by m2/dev
Properties CMTVSHJV2W
| URI | m2://inv/CMTVSHJV2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian monoidal category#CRQE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hilbert-scale contraction implies uniform geometric MMD relaxation CMTWKWCQKA
| URI | m2://inv/CMTWKWCQKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13916#27V7, Hilbert-scale contraction implies uniform geometric MMD relaxation (statement). In JS2JSD0507/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
CMTXQ61BRF CMTXQ61BRF
| URI | m2://inv/CMTXQ61BRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#JXNE (statement). In R604B78EVK/e1, corollary 6.7
History
- 2026-10-29: add by m2/v0.4.10
Applications CMV7ATFBY2
| URI | m2://inv/CMV7ATFBY2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#KPP2, Applications (example)
History
- 2026-11-02: add by m2/dev
CMVDENK0V1 CMVDENK0V1
| URI | m2://inv/CMVDENK0V1 |
|---|---|
| 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.24185#MJRY (statement)
History
- 2026-11-01: add by m2/v0.6.15
CMVFRYY2F2 CMVFRYY2F2
| URI | m2://inv/CMVFRYY2F2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-9 (example). In RZP28ERRZV, example, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Swinnerton-Dyer polynomial CMW94442JQ
| URI | m2://inv/CMW94442JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swinnerton-Dyer polynomial, Swinnerton-Dyer polynomial (definition). Also Wikidata Q124547604
History
- 2026-11-02: add by m2/dev
Maximum principle CMWSMMKMQV
| URI | m2://inv/CMWSMMKMQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem#E1RN, Maximum principle (statement)
History
- 2026-11-02: add by m2/dev
CMWX4XQDGW CMWX4XQDGW
| URI | m2://inv/CMWX4XQDGW |
|---|---|
| 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.36622#DFCE (statement). In 9704QPRPR6/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
CMX3WY3MDB CMX3WY3MDB
| URI | m2://inv/CMX3WY3MDB |
|---|---|
| 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 2604.02255#40HN (statement). In 14NGZPH8B9/e1, corollary 2
History
- 2026-11-02: add by m2/v0.6.18
Necessary conditions for Cayley cospectrality CMX42THDPT
| URI | m2://inv/CMX42THDPT |
|---|---|
| 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.14373#2ET6, Necessary conditions for Cayley cospectrality (statement). In 77TK7M3B9Y/e1, corollary 8
History
- 2026-10-28: add by m2/v0.4.2
statistics CMX69VPHXD
| URI | m2://inv/CMX69VPHXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12483, statistics (topic). Also MathWorld Statistics, ProofWiki Definition:Statistics
- wikipedia: Wikipedia Statistics, Statistics (topic). Also Wikidata Q12483
History
- 2026-10-26: add by m2/dev
canonicity CMX6HNWYZ5
| URI | m2://inv/CMX6HNWYZ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u8/canonicity, canonicity (concept). In N54F33XE07, index, section u1.u8
History
- 2026-11-01: add by m2/v0.6.13
Berlyand, Leonid Viktorovich CMXCB7YAWG
| URI | m2://inv/CMXCB7YAWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#OQI7, Berlyand, Leonid Viktorovich (topic)
History
- 2026-11-02: add by m2/dev
CMXH43PXQ4 CMXH43PXQ4
| URI | m2://inv/CMXH43PXQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#HMYW (statement). In V42PPD7SWH/e1, lemma 7.3
History
- 2026-10-31: add by m2/v0.5.6
Statement CMXJQPE7TA
| URI | m2://inv/CMXJQPE7TA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodman's theorem#8XFD, Statement (statement)
History
- 2026-11-02: add by m2/dev
CMXRQAY0PY CMXRQAY0PY
| URI | m2://inv/CMXRQAY0PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#RQRN (statement). In 5ZPSZFE08Q/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
factorial, definition CMXVMJC67Q
| URI | m2://inv/CMXVMJC67Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.2/factorial-definition, factorial, definition (concept). In QKM9DD2H56, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
CMXWCZXR4B CMXWCZXR4B
| URI | m2://inv/CMXWCZXR4B |
|---|---|
| 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.03612#TUY9 (statement). In REDG6QVHM3/e1, lemma 10.4
History
- 2026-10-29: add by m2/v0.4.12
CMXX157RQ0 CMXX157RQ0
| URI | m2://inv/CMXX157RQ0 |
|---|---|
| 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#6IEQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
CMY2NBSR76 CMY2NBSR76
| URI | m2://inv/CMY2NBSR76 |
|---|---|
| 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.31336#E0GE (statement). In 70RV7J456D/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Seven Points, Texas CMY4P3JSNT
| URI | m2://inv/CMY4P3JSNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#PKMN, Seven Points, Texas (unknown)
History
- 2026-11-02: add by m2/dev
CMY6YHPJDA CMY6YHPJDA
| URI | m2://inv/CMY6YHPJDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#JB09 (statement). In 9JZJTRRVR1/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
CMY8QGXGDB CMY8QGXGDB
| URI | m2://inv/CMY8QGXGDB |
|---|---|
| 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 2404.06445#JJYV (statement). In 12JKZ8EN52/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.3.5
CMY9AVHA58 CMY9AVHA58
| URI | m2://inv/CMY9AVHA58 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#ex-1 (example). In PKGMM3P5QY, ex, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
Duality for Relations CMYAZV5ZXF
| URI | m2://inv/CMYAZV5ZXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#DI8Z, Duality for Relations (statement). In 8Z47D12KSX/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Hydrological optimization CMYBMDTNVN
| URI | m2://inv/CMYBMDTNVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrological optimization, Hydrological optimization (definition). Also Wikidata Q17079417
History
- 2026-11-02: add by m2/dev
Bollobás, Thomason CMYJTABSEV
| URI | m2://inv/CMYJTABSEV |
|---|---|
| Kind | statement |
| 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#DJTA, Bollobás, Thomason (statement)
History
- 2026-11-01: add by m2/v0.6.15
CMYQK50FG4 CMYQK50FG4
| URI | m2://inv/CMYQK50FG4 |
|---|---|
| Kind | definition |
| 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 2411.16022#1TJ7 (definition). In QG9ATXTKJ6/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
CMYYAZJE4B CMYYAZJE4B
| URI | m2://inv/CMYYAZJE4B |
|---|---|
| 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 2401.05118#C7O9 (statement). In BT0T0QS2TN/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
Generalizations CMZ05KRYFB
| URI | m2://inv/CMZ05KRYFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite field#2LEA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Lies, damned lies, and statistics CMZ1M5BQEX
| URI | m2://inv/CMZ1M5BQEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MKGF, Lies, damned lies, and statistics (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorems CMZ5X2XTE2
| URI | m2://inv/CMZ5X2XTE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malmquist's theorem#KMT4, Statement of the theorems (statement)
History
- 2026-11-02: add by m2/dev
539 (number) CMZ9PYCYRT
| URI | m2://inv/CMZ9PYCYRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#PI6G, 539 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Carlos Kenig CMZD6YMYB1
| URI | m2://inv/CMZD6YMYB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlos Kenig, Carlos Kenig (topic). Also Wikidata Q1042994
History
- 2026-11-02: add by m2/dev
CMZTXV2S9P CMZTXV2S9P
| URI | m2://inv/CMZTXV2S9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#PCF8 (statement). In 6Z1DDCYCQ8/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
CMZYW3J5KA CMZYW3J5KA
| URI | m2://inv/CMZYW3J5KA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27689#C8SM (definition)
History
- 2026-11-01: add by m2/v0.6.15