Inventory rows MC
The cards of the rows of the inventory whose ids start with MC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem MC024XG2Y4
| URI | m2://inv/MC024XG2Y4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence theorem#NEV0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Parshin's conjecture MC09MHW0Q0
| URI | m2://inv/MC09MHW0Q0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parshin's conjecture, Parshin's conjecture (statement). Also Wikidata Q17099539
History
- 2026-11-02: add by m2/dev
Fourier $L^1$ norm controls partition capacity MC0EXKVJSK
| URI | m2://inv/MC0EXKVJSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#717A, Fourier $L^1$ norm controls partition capacity (statement)
History
- 2026-11-01: add by m2/v0.6.15
MC0GFG6T31 MC0GFG6T31
| URI | m2://inv/MC0GFG6T31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.06321#VHQ0 (statement). In PGV1116XX4/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
MC0PDWNA18 MC0PDWNA18
| URI | m2://inv/MC0PDWNA18 |
|---|---|
| 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 2412.12141#Q08B (statement). In V980ZMH759/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Ted Petrie MC0RHCW4SM
| URI | m2://inv/MC0RHCW4SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6P72, Ted Petrie (unknown)
History
- 2026-11-02: add by m2/dev
High-probability finite-width convergence MC0ZKH0G8M
| URI | m2://inv/MC0ZKH0G8M |
|---|---|
| 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.09356#GF3Y, High-probability finite-width convergence (statement). In 3VVGPXWH6R/e1, theorem C.12
History
- 2026-10-29: add by m2/v0.4.10
Reduction principle MC12Q0WD90
| URI | m2://inv/MC12Q0WD90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.25321#FC68, Reduction principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of things named after Srinivasa Ramanujan MC1DR10QR2
| URI | m2://inv/MC1DR10QR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan, List of things named after Srinivasa Ramanujan (topic). Also Wikidata Q6643307
History
- 2026-11-02: add by m2/dev
Commitment before cancellation is knowable MC1RPM9W3W
| URI | m2://inv/MC1RPM9W3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#LYN6, Commitment before cancellation is knowable (statement). In FRMCKEGVJZ/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Defect congruences MC1SB6WMRP
| URI | m2://inv/MC1SB6WMRP |
|---|---|
| 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.38993#BMKF, Defect congruences (statement). In AFKQK866Y1/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
MC1SST0HFM MC1SST0HFM
| URI | m2://inv/MC1SST0HFM |
|---|---|
| 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 2610.11386#4K0C (definition). In RH7T1S3MAD/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
Quality control MC1VZKXANC
| URI | m2://inv/MC1VZKXANC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#Q7YS, Quality control (definition)
History
- 2026-11-02: add by m2/dev
MC1WFGKGNX MC1WFGKGNX
| URI | m2://inv/MC1WFGKGNX |
|---|---|
| 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#F7VD (statement). In H3DJV9YQW1/e1, proposition 3.15
History
- 2026-10-28: add by m2/v0.4.2
MC1X6AAT40 MC1X6AAT40
| URI | m2://inv/MC1X6AAT40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#QAAW (definition). In V5PVKDKGGG/e1, definition 1.9
History
- 2026-10-28: add by m2/v0.4.2
Suboptimality of Swap Descent on Sinkhorn Divergence MC1ZAVQPCY
| URI | m2://inv/MC1ZAVQPCY |
|---|---|
| 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.01199#S8FV, Suboptimality of Swap Descent on Sinkhorn Divergence (statement). In XZ4MRWR77Q/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Aharonov-Bohm nano rings MC23PBRGVM
| URI | m2://inv/MC23PBRGVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aharonov–Bohm effect#A0OH, Aharonov-Bohm nano rings (unknown)
History
- 2026-11-02: add by m2/dev
MC29P8K8B4 MC29P8K8B4
| URI | m2://inv/MC29P8K8B4 |
|---|---|
| Kind | definition |
| 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 2110.06338#I753 (definition). In W1VVK7WDPK/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.0
Pamela G. Coxson MC2A9QPB6G
| URI | m2://inv/MC2A9QPB6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pamela G. Coxson, Pamela G. Coxson (topic). Also Wikidata Q98156776
History
- 2026-11-02: add by m2/dev
Effective selfing model MC2EPZ12TM
| URI | m2://inv/MC2EPZ12TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective selfing model, Effective selfing model (definition). Also Wikidata Q5347279
History
- 2026-11-02: add by m2/dev
Definition MC2FDVK2C2
| URI | m2://inv/MC2FDVK2C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective object#QXO9, Definition (definition)
History
- 2026-11-02: add by m2/dev
International Women in Mathematics Day MC2J59HHDM
| URI | m2://inv/MC2J59HHDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Women in Mathematics Day, International Women in Mathematics Day (definition). Also Wikidata Q134451113
History
- 2026-11-02: add by m2/dev
Business statistics MC2K1A46NF
| URI | m2://inv/MC2K1A46NF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WLKH, Business statistics (topic)
History
- 2026-11-02: add by m2/dev
Examples MC2RS6QD3M
| URI | m2://inv/MC2RS6QD3M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central product#V7N5, Examples (example)
History
- 2026-11-02: add by m2/dev
Submodule MC2SQW87CM
| URI | m2://inv/MC2SQW87CM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#8QTP, Submodule (definition)
History
- 2026-11-02: add by m2/dev
MC2V3ATX0A MC2V3ATX0A
| URI | m2://inv/MC2V3ATX0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/kleene.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 42.4
History
- 2026-11-01: add by m2/v0.6.13
Generalisation: equivariant Darboux theorem MC3E2XDQ6S
| URI | m2://inv/MC3E2XDQ6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinstein's neighbourhood theorem#F5HM, Generalisation: equivariant Darboux theorem (statement)
History
- 2026-11-02: add by m2/dev
John Williamson MC3FK6QDWM
| URI | m2://inv/MC3FK6QDWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Williamson (mathematician), John Williamson (topic). Also Wikidata Q14492120
History
- 2026-11-02: add by m2/dev
The semisimple part MC3KNAHFZC
| URI | m2://inv/MC3KNAHFZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#93ZT, The semisimple part (statement). In KR7WXN4EWR/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Frequency truncation error estimate MC3RQQCK6G
| URI | m2://inv/MC3RQQCK6G |
|---|---|
| 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.28454#OXMA, Frequency truncation error estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite-dimensional variational Galerkin theorem MC3SEP42P3
| URI | m2://inv/MC3SEP42P3 |
|---|---|
| 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.33033#YBNX, Finite-dimensional variational Galerkin theorem (statement). In AJWBAHJ8VD/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
Martin Schottenloher MC3VEFTJEW
| URI | m2://inv/MC3VEFTJEW |
|---|---|
| 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 Q28648864, Martin Schottenloher (unknown). Also nLab Martin Schottenloher
- wikipedia: Wikipedia Martin Schottenloher, Martin Schottenloher (topic). Also Wikidata Q28648864
History
- 2026-10-26: add by m2/dev
MC404DKMR2 MC404DKMR2
| URI | m2://inv/MC404DKMR2 |
|---|---|
| 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.32078#GTEP (statement). In 5PN85N6EJF/e1, proposition C.8
History
- 2026-10-31: add by m2/v0.5.6
Pattern matching in Scala MC449XW756
| URI | m2://inv/MC449XW756 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scala (programming language)#PWKE, Pattern matching in Scala (unknown)
History
- 2026-11-02: add by m2/dev
Applications MC486P5YM8
| URI | m2://inv/MC486P5YM8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris graph#195R, Applications (example)
History
- 2026-11-02: add by m2/dev
Duncan's new multiple range test MC49DEHWCV
| URI | m2://inv/MC49DEHWCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duncan's new multiple range test, Duncan's new multiple range test (definition). Also Wikidata Q4502422
History
- 2026-11-02: add by m2/dev
MC4CTHXRC6 MC4CTHXRC6
| URI | m2://inv/MC4CTHXRC6 |
|---|---|
| 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#67JX (statement). In V42PPD7SWH/e1, lemma 6.15
History
- 2026-10-31: add by m2/v0.5.6
Exact laws MC4HS91C16
| URI | m2://inv/MC4HS91C16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation law#0FCL, Exact laws (statement)
History
- 2026-11-02: add by m2/dev
Examples MC4HW0A25S
| URI | m2://inv/MC4HW0A25S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unavoidable pattern#TMNQ, Examples (example)
History
- 2026-11-02: add by m2/dev
MC4YX3K3T8 MC4YX3K3T8
| URI | m2://inv/MC4YX3K3T8 |
|---|---|
| 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.18277#S70O (statement). In YFRNY7S92A/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
MC56GYE4D2 MC56GYE4D2
| URI | m2://inv/MC56GYE4D2 |
|---|---|
| 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.01441#XH3Q (statement). In V678XY1P9A/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Overall target and oracle MC58NJQRFQ
| URI | m2://inv/MC58NJQRFQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#IZ7E, Overall target and oracle (definition). In T9HZXHTQBJ/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.6
MC5B494VZ3 MC5B494VZ3
| URI | m2://inv/MC5B494VZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-polyfit.ptx#example-1 (example). In Y91XFCEVHQ, example, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
MC5JW3ZDPT MC5JW3ZDPT
| URI | m2://inv/MC5JW3ZDPT |
|---|---|
| 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.20203#74LG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Quaternion estimator algorithm MC5PFZE5P0
| URI | m2://inv/MC5PFZE5P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion estimator algorithm, Quaternion estimator algorithm (definition). Also Wikidata Q111021695
History
- 2026-11-02: add by m2/dev
Properties MC5PQ93045
| URI | m2://inv/MC5PQ93045 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bracket of vector fields#HIOM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Goodman's conjecture MC60TZ5Z6P
| URI | m2://inv/MC60TZ5Z6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodman's conjecture, Goodman's conjecture (statement). Also Wikidata Q25489089
History
- 2026-11-02: add by m2/dev
MC650G2W18 MC650G2W18
| URI | m2://inv/MC650G2W18 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
MC6AVXD17R MC6AVXD17R
| URI | m2://inv/MC6AVXD17R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#2VEP (statement). In 879ZDHVK7N/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
MC6KA300JG MC6KA300JG
| URI | m2://inv/MC6KA300JG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#K9KL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dixon's identity MC6R3YJ5FV
| URI | m2://inv/MC6R3YJ5FV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#HPO0, Dixon's identity (statement)
History
- 2026-11-02: add by m2/dev
MC6SMN5V9H MC6SMN5V9H
| URI | m2://inv/MC6SMN5V9H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Examples MC6W9K57K6
| URI | m2://inv/MC6W9K57K6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right group#IO34, Examples (example)
History
- 2026-11-02: add by m2/dev
Peter Bloomfield MC6WEDAYWF
| URI | m2://inv/MC6WEDAYWF |
|---|---|
| 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#AV6K, Peter Bloomfield (topic)
History
- 2026-11-02: add by m2/dev
Definition MC6Y1CAW03
| URI | m2://inv/MC6Y1CAW03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse depth parametrization#1DCY, Definition (definition)
History
- 2026-11-02: add by m2/dev
John P. Hayes MC7AZYZ7DP
| URI | m2://inv/MC7AZYZ7DP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D1YR, John P. Hayes (unknown)
History
- 2026-11-02: add by m2/dev
MC7D1TT5GS MC7D1TT5GS
| URI | m2://inv/MC7D1TT5GS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-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.14060#IRK1 (definition). In X47RYAZF8P/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Claudio Baiocchi MC7FRPZJS3
| URI | m2://inv/MC7FRPZJS3 |
|---|---|
| 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#8GEX, Claudio Baiocchi (topic)
History
- 2026-11-02: add by m2/dev
Emptiness problem MC7GHS9B84
| URI | m2://inv/MC7GHS9B84 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#97R4, Emptiness problem (problem)
History
- 2026-11-02: add by m2/dev
Adler-32 MC7MC2GJ4M
| URI | m2://inv/MC7MC2GJ4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#3Y03, Adler-32 (unknown)
History
- 2026-11-02: add by m2/dev
Definition and examples MC7PCEYR9T
| URI | m2://inv/MC7PCEYR9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic hyperbolic 3-manifold#ZAUY, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
MC7PKF29Y7 MC7PKF29Y7
| URI | m2://inv/MC7PKF29Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#F9NY (statement). In VTVC0TCWSB/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Chasles' theorem MC7R5GP0KQ
| URI | m2://inv/MC7R5GP0KQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SFDK, Chasles' theorem (statement)
History
- 2026-11-02: add by m2/dev
MC7S8QBD6E MC7S8QBD6E
| URI | m2://inv/MC7S8QBD6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.01411#5ILR (statement). In SD28S3K7BT/e1, theorem 16
History
- 2026-10-29: add by m2/v0.4.12
MC7XT6JTG5 MC7XT6JTG5
| URI | m2://inv/MC7XT6JTG5 |
|---|---|
| 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.20170#AVIK (statement)
History
- 2026-11-02: add by m2/v0.6.18
MC83DWFRJ7 MC83DWFRJ7
| URI | m2://inv/MC83DWFRJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#BPSG (statement). In B8A6BPP922/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
MC86B2XJN5 MC86B2XJN5
| URI | m2://inv/MC86B2XJN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#EES6 (statement). In X47RYAZF8P/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Fischer's inequality MC8AZMVJS2
| URI | m2://inv/MC8AZMVJS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fischer's inequality, Fischer's inequality (statement). Also Wikidata Q60790732
History
- 2026-11-02: add by m2/dev
Pocock boundary MC8BX4RRK1
| URI | m2://inv/MC8BX4RRK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AZNF, Pocock boundary (definition)
History
- 2026-11-02: add by m2/dev
Definition MC8DSH9HMY
| URI | m2://inv/MC8DSH9HMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–MacLane spectrum#ASA4, Definition (definition)
History
- 2026-11-02: add by m2/dev
MC8FT7CN6Q MC8FT7CN6Q
| URI | m2://inv/MC8FT7CN6Q |
|---|---|
| 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 2210.16706#47O0 (statement). In JSRVKPT87E/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.0
MC8G4RB9SS MC8G4RB9SS
| URI | m2://inv/MC8G4RB9SS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_discrete-random-variables.ptx#example-2 (example). In QKM9DD2H56, example, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
Cantor group MC8HWDRX6A
| URI | m2://inv/MC8HWDRX6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor space#6UAU, Cantor group (unknown)
History
- 2026-11-02: add by m2/dev
Reflecting tail MC8K4Z6ZR5
| URI | m2://inv/MC8K4Z6ZR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#QNOG, Reflecting tail (statement). In BAWCMJQGVA/e1, lemma 5.4
History
- 2026-10-31: add by m2/v0.5.6
Applications MC8QYG8Z32
| URI | m2://inv/MC8QYG8Z32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taxonomy#F5YR, Applications (example)
History
- 2026-11-02: add by m2/dev
MC8WSR2BQP MC8WSR2BQP
| URI | m2://inv/MC8WSR2BQP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#QLTE (problem). In KP0X1RKKKB/e1, problem 1.5
History
- 2026-10-27: add by m2/v0.4.0
Quality control MC8XA72NAP
| URI | m2://inv/MC8XA72NAP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#YG0P, Quality control (object)
History
- 2026-11-02: add by m2/dev
MC8YH36XJ9 MC8YH36XJ9
| URI | m2://inv/MC8YH36XJ9 |
|---|---|
| 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 1304.4839#OTCP (statement). In YWS516YD1V/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Ext MC932772C3
| URI | m2://inv/MC932772C3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#UQWX, Ext (definition)
History
- 2026-11-02: add by m2/dev
snooker ball MC94J6T2S0
| URI | m2://inv/MC94J6T2S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55398354, snooker ball (statement). Also ProofWiki Collision/Examples/Snooker_Balls
History
- 2026-10-26: add by m2/dev
MC9B85JWPB MC9B85JWPB
| URI | m2://inv/MC9B85JWPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12427#FEAY (statement). In 4R7REB1DVD/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
Example MC9E34GHWP
| URI | m2://inv/MC9E34GHWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman equation#25FT, Example (example)
History
- 2026-11-02: add by m2/dev
MC9GZKN09T MC9GZKN09T
| URI | m2://inv/MC9GZKN09T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.28411#ST06 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Keldysh MC9NCE6EJZ
| URI | m2://inv/MC9NCE6EJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24943#K6KC, Keldysh (statement)
History
- 2026-11-01: add by m2/v0.6.15
MC9PJAJ6VJ MC9PJAJ6VJ
| URI | m2://inv/MC9PJAJ6VJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
The line $p+q=4$ for $Q_8$ MC9T3KSAYC
| URI | m2://inv/MC9T3KSAYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#MUC5, The line $p+q=4$ for $Q_8$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem MC9TTTXFMX
| URI | m2://inv/MC9TTTXFMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (geometry)#IRTG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MCA985339Y MCA985339Y
| URI | m2://inv/MCA985339Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#prop-quadform-extrema (statement). In 649HGZKE96, proposition, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
MCAFT6CTV4 MCAFT6CTV4
| URI | m2://inv/MCAFT6CTV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#8TRI (statement). In M98F6VRPZ2/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Ludwig Stickelberger MCAG0QQAB1
| URI | m2://inv/MCAG0QQAB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Stickelberger, Ludwig Stickelberger (topic). Also Wikidata Q122789
History
- 2026-11-02: add by m2/dev
Limit point MCAJ86JEX1
| URI | m2://inv/MCAJ86JEX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#Q4YP, Limit point (definition)
History
- 2026-11-02: add by m2/dev
Robert Rumely MCAS7FHNDF
| URI | m2://inv/MCAS7FHNDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Rumely, Robert Rumely (topic). Also Wikidata Q1519500
History
- 2026-11-02: add by m2/dev
Definition MCAY1Z7RN7
| URI | m2://inv/MCAY1Z7RN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene–Brouwer order#VGYS, Definition (definition)
History
- 2026-11-02: add by m2/dev
MCAYCKWA27 MCAYCKWA27
| URI | m2://inv/MCAYCKWA27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#S3MV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pythagorean numerology MCB59VAYWR
| URI | m2://inv/MCB59VAYWR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerology#GFV7, Pythagorean numerology (unknown)
History
- 2026-11-02: add by m2/dev
Reduction to excursion polynomials MCB7DHPCYD
| URI | m2://inv/MCB7DHPCYD |
|---|---|
| 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.18277#DVCJ, Reduction to excursion polynomials (statement). In YFRNY7S92A/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
MCBAQAWMF7 MCBAQAWMF7
| URI | m2://inv/MCBAQAWMF7 |
|---|---|
| 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.00241#FG96 (statement). In VBRQTN2RXN/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Examples MCBH30K1GN
| URI | m2://inv/MCBH30K1GN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anticommutative property#36HZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Fuzzy quantification MCBJAMKGRK
| URI | m2://inv/MCBJAMKGRK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy logic#OYXV, Fuzzy quantification (unknown)
History
- 2026-11-02: add by m2/dev
Properties MCBQQ5CKTA
| URI | m2://inv/MCBQQ5CKTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's equation#6BRP, Properties (statement)
History
- 2026-11-02: add by m2/dev
MCBWD1AHR8 MCBWD1AHR8
| URI | m2://inv/MCBWD1AHR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.16332#FW8U (statement). In JJQPFXZQ3D/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
MCBYRVK7JR MCBYRVK7JR
| URI | m2://inv/MCBYRVK7JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#MMBQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two Foot Bay MCC6JD53P1
| URI | m2://inv/MCC6JD53P1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#00IA, Two Foot Bay (unknown)
History
- 2026-11-02: add by m2/dev
half-space MCC9S2YH07
| URI | m2://inv/MCC9S2YH07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q644719, half-space (unknown). Also MathWorld Half-Space
- wikipedia: Wikipedia Half-space (geometry), Half-space (definition). Also Wikidata Q644719
History
- 2026-10-26: add by m2/dev
MCCJW86YP9 MCCJW86YP9
| URI | m2://inv/MCCJW86YP9 |
|---|---|
| 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.30363#7I58 (statement). In QHBBP180QJ/e1, proposition 13
History
- 2026-10-31: add by m2/v0.5.6
Differentiation in spherical coordinates MCCMVRXX7A
| URI | m2://inv/MCCMVRXX7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical coordinate system#B1PY, Differentiation in spherical coordinates (unknown)
History
- 2026-11-02: add by m2/dev
MCCP5PHPKX MCCP5PHPKX
| URI | m2://inv/MCCP5PHPKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#F5OX (statement). In EZ6PAF0MXH/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
MCCRTYZ81Z MCCRTYZ81Z
| URI | m2://inv/MCCRTYZ81Z |
|---|---|
| Kind | definition |
| 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.20894#OMUR (definition)
History
- 2026-11-02: add by m2/v0.6.18
automorphism, of poset MCCTHQHE70
| URI | m2://inv/MCCTHQHE70 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.2/automorphism-of-poset, automorphism, of poset (concept). In QKM9DD2H56, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
MCD0SR5FBQ MCD0SR5FBQ
| URI | m2://inv/MCD0SR5FBQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-8 (proof). In Y91XFCEVHQ, proof, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
MCD1JZ775D MCD1JZ775D
| URI | m2://inv/MCD1JZ775D |
|---|---|
| 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.17240#3OLR (statement). In 59BZ4V9RQW/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
MCD2241WZA MCD2241WZA
| URI | m2://inv/MCD2241WZA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#T6JV (definition). In F5STMSPR6X/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Examples MCD91Z2GAZ
| URI | m2://inv/MCD91Z2GAZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense set#ZGJJ, Examples (example)
History
- 2026-11-02: add by m2/dev
MCDEPXJBH6 MCDEPXJBH6
| URI | m2://inv/MCDEPXJBH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14214#LBXQ (statement). In SY85Y9E45A/e1, proposition 26
History
- 2026-10-27: add by m2/v0.3.5
WPA2 MCDT399P00
| URI | m2://inv/MCDT399P00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wi-Fi Protected Access#ODFV, WPA2 (unknown)
History
- 2026-11-02: add by m2/dev
Mergelyan's theorem MCDVS76345
| URI | m2://inv/MCDVS76345 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5ZPF, Mergelyan's theorem (statement)
History
- 2026-11-02: add by m2/dev
Annihilator matrix MCDW9VAB5Z
| URI | m2://inv/MCDW9VAB5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection matrix#U9ER, Annihilator matrix (unknown)
History
- 2026-11-02: add by m2/dev
MCE2SF27JV MCE2SF27JV
| URI | m2://inv/MCE2SF27JV |
|---|---|
| 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.21532#XZ4C (statement)
History
- 2026-11-02: add by m2/v0.6.18
simplicial complex MCE5MDWETR
| URI | m2://inv/MCE5MDWETR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#9NAU, simplicial complex (definition)
History
- 2026-11-02: add by m2/dev
MCE9GANV2H MCE9GANV2H
| URI | m2://inv/MCE9GANV2H |
|---|---|
| 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 2406.06762#FT71 (statement). In J99PFFJXPE/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.3.6
Voodoo Science MCEFZEKRS1
| URI | m2://inv/MCEFZEKRS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voodoo Science, Voodoo Science (definition). Also Wikidata Q7941677
History
- 2026-11-02: add by m2/dev
MCENN84ZV9 MCENN84ZV9
| URI | m2://inv/MCENN84ZV9 |
|---|---|
| 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.09113#Y7BB (statement). In MWAK0MK21N/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
MCEV5WM41Z MCEV5WM41Z
| URI | m2://inv/MCEV5WM41Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
The theorem MCF0BBDV79
| URI | m2://inv/MCF0BBDV79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ushiki's theorem#WH24, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition MCF15J3ZFD
| URI | m2://inv/MCF15J3ZFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Director string#95I1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Boolean algebra MCF1YG58WM
| URI | m2://inv/MCF1YG58WM |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03G05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q173183, Boolean algebra (topic)
- wikipedia: Wikipedia Boolean algebra, Boolean algebra (definition). Also Wikidata Q173183
History
- 2026-10-26: add by m2/dev
Eubulides MCF41P45MV
| URI | m2://inv/MCF41P45MV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eubulides, Eubulides (topic). Also Wikidata Q461007
History
- 2026-11-02: add by m2/dev
Riordan number MCF7Q38J90
| URI | m2://inv/MCF7Q38J90 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131543210, Riordan number (object). Also OEIS A005043
History
- 2026-10-26: add by m2/dev
MCF7YF2KAF MCF7YF2KAF
| URI | m2://inv/MCF7YF2KAF |
|---|---|
| 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.12047#SIR4 (statement). In ZF1Y3HZMZ9/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Weyl−Lewis−Papapetrou coordinates MCFAXSFWKE
| URI | m2://inv/MCFAXSFWKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#CB7P, Weyl−Lewis−Papapetrou coordinates (definition)
History
- 2026-11-02: add by m2/dev
MCFHFNW58V MCFHFNW58V
| URI | m2://inv/MCFHFNW58V |
|---|---|
| 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.06707#MR5O (statement). In 9TR5E527P5/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
MCFNHDR384 MCFNHDR384
| URI | m2://inv/MCFNHDR384 |
|---|---|
| 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.02481#FUDR (statement). In 5HACFNFY0P/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.12
flagged mixtures MCFPM72P0D
| URI | m2://inv/MCFPM72P0D |
|---|---|
| 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.20775#63C6, flagged mixtures (statement). In XG27B81T0G/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Giovanni Sansone MCFS777XDT
| URI | m2://inv/MCFS777XDT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#PTEV, Giovanni Sansone (topic)
History
- 2026-11-02: add by m2/dev
MCFVB4R2J0 MCFVB4R2J0
| URI | m2://inv/MCFVB4R2J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#PZ07 (statement). In HX63A1PH1W/e1, corollary 5.48
History
- 2026-10-28: add by m2/v0.4.3
Maass–Selberg MCFVWAC8VR
| URI | m2://inv/MCFVWAC8VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#UD1G, Maass–Selberg (definition)
History
- 2026-11-02: add by m2/dev
MCG2C3B9EJ MCG2C3B9EJ
| URI | m2://inv/MCG2C3B9EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#6GZJ (statement). In FT5TKY10T8/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
MCG896Z10A MCG896Z10A
| URI | m2://inv/MCG896Z10A |
|---|---|
| Kind | example |
| 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#UHEI (example). In 9XMZTTSF5E/e1, example 1.4
History
- 2026-10-30: add by m2/v0.4.12
MCGKEZ4R5J MCGKEZ4R5J
| URI | m2://inv/MCGKEZ4R5J |
|---|---|
| Kind | definition |
| 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.04046#X29Z (definition). In 3THDT8WNF7/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Gauss's principle of least constraint MCGNFXKWQ8
| URI | m2://inv/MCGNFXKWQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gauss's principle of least constraint FZWAHMFZM3 |
Mentions
- wikidata: Wikidata Q1477313, Gauss's principle of least constraint (unknown). Also EoM Gauss_principle
- wikipedia: Wikipedia Gauss's principle of least constraint, Gauss's principle of least constraint (statement). Also Wikidata Q1477313
History
- 2026-10-26: add by m2/dev
Visibility (geometry) MCGT1XNFJJ
| URI | m2://inv/MCGT1XNFJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#Y8LC, Visibility (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Lower half-plane MCGVDCCH9E
| URI | m2://inv/MCGVDCCH9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2513451, Lower half-plane (unknown). Also MathWorld LowerHalf-Plane
History
- 2026-10-26: add by m2/dev
MCGWP28HF0 MCGWP28HF0
| URI | m2://inv/MCGWP28HF0 |
|---|---|
| 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 2205.09049#B3XF (statement). In 37S7MNMZ2F/e1, proposition 91
History
- 2026-10-27: add by m2/v0.3.5
Generalizations MCHHZX9YWJ
| URI | m2://inv/MCHHZX9YWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frame (linear algebra)#9K5H, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties MCJ0DVE8CN
| URI | m2://inv/MCJ0DVE8CN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue measure#OZ8E, Properties (statement)
History
- 2026-11-02: add by m2/dev
MCJAT4YTFE MCJAT4YTFE
| URI | m2://inv/MCJAT4YTFE |
|---|---|
| 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.01915#0PHF (statement). In 6HJQXZS0A6/e1, lemma 1.23
History
- 2026-10-29: add by m2/v0.4.12
Kuratowski–Ulam theorem MCJHHTGMBD
| URI | m2://inv/MCJHHTGMBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski–Ulam theorem, Kuratowski–Ulam theorem (statement). Also Wikidata Q19597641
History
- 2026-11-02: add by m2/dev
Construction MCJQ2XMX32
| URI | m2://inv/MCJQ2XMX32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hughes plane#7LML, Construction (definition)
History
- 2026-11-02: add by m2/dev
MCJQB4A9S5 MCJQB4A9S5
| URI | m2://inv/MCJQB4A9S5 |
|---|---|
| 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.24325#VBWW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition MCJR22X6XC
| URI | m2://inv/MCJR22X6XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching in hypergraphs#AM1Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kevin Buzzard MCJR8F6WSM
| URI | m2://inv/MCJR8F6WSM |
|---|---|
| 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#JVNB, Kevin Buzzard (topic)
History
- 2026-11-02: add by m2/dev
MCJRPP8HBM MCJRPP8HBM
| URI | m2://inv/MCJRPP8HBM |
|---|---|
| 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.10372#9EJ5 (statement). In P77W283VXT/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Positive and negative parts MCJTR1RW7Z
| URI | m2://inv/MCJTR1RW7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q949756, Positive and negative parts (unknown). Also MathWorld PositivePart
- wikipedia: Wikipedia Positive and negative parts, Positive and negative parts (definition). Also Wikidata Q949756
History
- 2026-10-26: add by m2/dev
Tumor growth MCJZ6SR560
| URI | m2://inv/MCJZ6SR560 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#4YJF, Tumor growth (example)
History
- 2026-11-02: add by m2/v0.6.17
MCK1MGGGGR MCK1MGGGGR
| URI | m2://inv/MCK1MGGGGR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29205#VJZQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
MCKDEDZCJY MCKDEDZCJY
| URI | m2://inv/MCKDEDZCJY |
|---|---|
| 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 2104.00162#IG2C (statement). In HVGT9D84WV/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
MCKFW09KT2 MCKFW09KT2
| URI | m2://inv/MCKFW09KT2 |
|---|---|
| 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.01228#L9B8 (statement). In HZAJ20XW7F/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Simultaneous stationary norms MCKJ7RDFNR
| URI | m2://inv/MCKJ7RDFNR |
|---|---|
| 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.30301#VMSP, Simultaneous stationary norms (statement). In 7NS75J7HAM/e1, lemma 9.37
History
- 2026-10-31: add by m2/v0.5.6
MCKTP45443 MCKTP45443
| URI | m2://inv/MCKTP45443 |
|---|---|
| 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.16554#H3GC (statement). In GWNT8HEZG1/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.6
Bull. London Math. Soc. MCKW15DP2D
| URI | m2://inv/MCKW15DP2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia London Mathematical Society#H497, Bull. London Math. Soc. (unknown)
History
- 2026-11-02: add by m2/dev
MCKZJGBHG8 MCKZJGBHG8
| URI | m2://inv/MCKZJGBHG8 |
|---|---|
| Kind | definition |
| 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.01802#8A4Z (definition). In XGPZ0G9E1Q/e1, definition 7.11
History
- 2026-10-29: add by m2/v0.4.12
MCMB35K9MK MCMB35K9MK
| URI | m2://inv/MCMB35K9MK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#example-2 (example). In RZP28ERRZV, example, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
Truncated tetrahexagonal tiling MCMGY06KR5
| URI | m2://inv/MCMGY06KR5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrahexagonal tiling, Truncated tetrahexagonal tiling (object). Also Wikidata Q7847919
History
- 2026-11-02: add by m2/dev
MCMR5D0B08 MCMR5D0B08
| URI | m2://inv/MCMR5D0B08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:dedekind-reals (definition). In N54F33XE07, defn, section B.2
History
- 2026-11-01: add by m2/v0.6.13
MCMWY4EZ42 MCMWY4EZ42
| URI | m2://inv/MCMWY4EZ42 |
|---|---|
| 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 2207.11097#4J2E (statement). In 13H5BTAXHF/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Applications MCN2P24CEZ
| URI | m2://inv/MCN2P24CEZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profiling (information science)#09V1, Applications (example)
History
- 2026-11-02: add by m2/dev
List of things named after Isaac Newton MCN7D8BX12
| URI | m2://inv/MCN7D8BX12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#XAHL, List of things named after Isaac Newton (topic)
History
- 2026-11-02: add by m2/dev
Turing+ MCN8AGCDM6
| URI | m2://inv/MCN8AGCDM6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#ACSO, Turing+ (unknown)
History
- 2026-11-02: add by m2/dev
Genevera Allen MCNM105ZW8
| URI | m2://inv/MCNM105ZW8 |
|---|---|
| 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#JB7F, Genevera Allen (topic)
History
- 2026-11-02: add by m2/dev
L. S. Pontryagin MCNYRET0RX
| URI | m2://inv/MCNYRET0RX |
|---|---|
| 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#LF0U, L. S. Pontryagin (topic)
History
- 2026-11-02: add by m2/dev
Pushforward stability MCP08Q1EG6
| URI | m2://inv/MCP08Q1EG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#6U0I, Pushforward stability (statement)
History
- 2026-11-02: add by m2/v0.6.18
induction principle, for natural numbers MCPENQBCPZ
| URI | m2://inv/MCPENQBCPZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/induction-principle-for-natural-numbers, induction principle, for natural numbers (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
Process control MCPJ6SSCAM
| URI | m2://inv/MCPJ6SSCAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TO6R, Process control (topic)
History
- 2026-11-02: add by m2/dev
Carol Alexander MCPRQESS1V
| URI | m2://inv/MCPRQESS1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol Alexander, Carol Alexander (topic). Also Wikidata Q30078516
History
- 2026-11-02: add by m2/dev
Single operator theory MCPWPEMGQZ
| URI | m2://inv/MCPWPEMGQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3BBX, Single operator theory (definition)
History
- 2026-11-02: add by m2/dev
Intrinsic pull-back recognition MCPY9J4AZB
| URI | m2://inv/MCPY9J4AZB |
|---|---|
| Kind | problem |
| 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.26152#91A2, Intrinsic pull-back recognition (problem)
History
- 2026-11-01: add by m2/v0.6.15
Graciela Chichilnisky MCQ1Y39HGQ
| URI | m2://inv/MCQ1Y39HGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graciela Chichilnisky, Graciela Chichilnisky (topic). Also Wikidata Q4516788
History
- 2026-11-02: add by m2/dev
MCQ4NK8Y8W MCQ4NK8Y8W
| URI | m2://inv/MCQ4NK8Y8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#EK9Z (statement). In KZ71GXT2B0/e1, lemma 2.38
History
- 2026-10-28: add by m2/v0.4.2
Formal definition MCQ6E5NHPC
| URI | m2://inv/MCQ6E5NHPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilibrium point (mathematics)#TCBN, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
MCQ7DT0JVR MCQ7DT0JVR
| URI | m2://inv/MCQ7DT0JVR |
|---|---|
| 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 2610.05320#BU3O (statement). In MVXZWHKEX8/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Implementation MCQ9YJK8XT
| URI | m2://inv/MCQ9YJK8XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wichmann–Hill#YH4R, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Strict sign gap MCQEFWB07G
| URI | m2://inv/MCQEFWB07G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#5J4H, Strict sign gap (statement). In YCRZC9SDCE/e1, proposition 13.5
History
- 2026-10-28: add by m2/v0.4.2
MCQEQ4JPV9 MCQEQ4JPV9
| URI | m2://inv/MCQEQ4JPV9 |
|---|---|
| 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.21278#2DNP (statement). In DCH1JJGGYH/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
MCQJVST6X4 MCQJVST6X4
| URI | m2://inv/MCQJVST6X4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#DU7M (unknown). In QNBFHFZ3H0/e1, unknown 71
History
- 2026-10-28: add by m2/v0.4.2
Phase margin MCQK113MAR
| URI | m2://inv/MCQK113MAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase margin, Phase margin (definition). Also Wikidata Q7180955
History
- 2026-11-02: add by m2/dev
MCQMNEYYMB MCQMNEYYMB
| URI | m2://inv/MCQMNEYYMB |
|---|---|
| Kind | definition |
| 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#H6IU (definition). In 6KR7Z5ETRY/e1, definition 2.51
History
- 2026-10-27: add by m2/v0.3.5
MCQPHXHZH1 MCQPHXHZH1
| URI | m2://inv/MCQPHXHZH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#AZO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 4 MCQTRPW8T5
| URI | m2://inv/MCQTRPW8T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander code#DHME, Lemma 4 (statement)
History
- 2026-11-02: add by m2/dev
MCQTZZEKQ6 MCQTZZEKQ6
| URI | m2://inv/MCQTZZEKQ6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lonely runner conjecture#H0TJ (problem)
History
- 2026-11-02: add by m2/dev
MCQY3VACRC MCQY3VACRC
| URI | m2://inv/MCQY3VACRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
Helen MacGillivray MCR5S0FD6B
| URI | m2://inv/MCR5S0FD6B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen MacGillivray, Helen MacGillivray (topic). Also Wikidata Q78662768
History
- 2026-11-02: add by m2/dev
Pál Turán MCRCMJN9GY
| URI | m2://inv/MCRCMJN9GY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pál Turán, Pál Turán (topic). Also Wikidata Q19063
History
- 2026-11-02: add by m2/dev
MCRGFB82K8 MCRGFB82K8
| URI | m2://inv/MCRGFB82K8 |
|---|---|
| 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 1007.4365#PHFB (statement). In 935WKCMD8C/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
3rd Landau's constant MCRHQS5VB6
| URI | m2://inv/MCRHQS5VB6 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#L8U0, 3rd Landau's constant (conjecture)
History
- 2026-11-02: add by m2/dev
Frobenius category MCRN0N7PGB
| URI | m2://inv/MCRN0N7PGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16889063, Frobenius category (unknown). Also nLab Frobenius category
- wikipedia: Wikipedia Frobenius category, Frobenius category (definition). Also Wikidata Q16889063
History
- 2026-10-26: add by m2/dev
MCRN55KYJC MCRN55KYJC
| URI | m2://inv/MCRN55KYJC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36141#5F9J (statement). In F1WNDBMKSZ/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Directional phase and arrival-time difference MCRNQTE3A9
| URI | m2://inv/MCRNQTE3A9 |
|---|---|
| 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.21328#K8CJ, Directional phase and arrival-time difference (statement). In BJXVV4ZF7B/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
MCRPJH1ZQY MCRPJH1ZQY
| URI | m2://inv/MCRPJH1ZQY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.21080#YNGY (definition). In DGE917KQSQ/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Victoria Howle MCRTTWSWY3
| URI | m2://inv/MCRTTWSWY3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victoria Howle, Victoria Howle (topic). Also Wikidata Q94336443
History
- 2026-11-02: add by m2/dev
Local-to-global criterion MCS0HA1SRZ
| URI | m2://inv/MCS0HA1SRZ |
|---|---|
| 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#MOVE, Local-to-global criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
MCS248J2MP MCS248J2MP
| URI | m2://inv/MCS248J2MP |
|---|---|
| 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 1804.06366#R64T (statement). In 89XYDVXG38/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
MCS3YCCKAD MCS3YCCKAD
| URI | m2://inv/MCS3YCCKAD |
|---|---|
| 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 2508.03972#GB5H (statement). In 2JD3KNKJ1P/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
Criterion for univalence MCS5P8EBQ8
| URI | m2://inv/MCS5P8EBQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grunsky matrix#4K0M, Criterion for univalence (statement)
History
- 2026-11-02: add by m2/dev
symmetric model MCS6DREEGN
| URI | m2://inv/MCS6DREEGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KUM0, symmetric model (definition)
History
- 2026-11-02: add by m2/dev
Covercosine MCSBB6CQVB
| URI | m2://inv/MCSBB6CQVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#RLW4, Covercosine (definition)
History
- 2026-11-02: add by m2/dev
August Beer MCSBHPRHCT
| URI | m2://inv/MCSBHPRHCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia August Beer, August Beer (topic). Also Wikidata Q62990
History
- 2026-11-02: add by m2/dev
MCSE3T8B63 MCSE3T8B63
| URI | m2://inv/MCSE3T8B63 |
|---|---|
| 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 2312.06473#0E7H (statement). In P1MYSYHSGX/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Nancy Mann MCSJGXZSVS
| URI | m2://inv/MCSJGXZSVS |
|---|---|
| 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#73QJ, Nancy Mann (unknown)
History
- 2026-11-02: add by m2/dev
MCSQG35EBF MCSQG35EBF
| URI | m2://inv/MCSQG35EBF |
|---|---|
| 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.36181#UA37 (statement). In 1KSE33PVS6/e1, lemma 47
History
- 2026-10-30: add by m2/v0.4.12
Applications MCSR8QT92Q
| URI | m2://inv/MCSR8QT92Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error detection and correction#T5LF, Applications (example)
History
- 2026-11-02: add by m2/dev
MCSS65FECA MCSS65FECA
| URI | m2://inv/MCSS65FECA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2610.13100#63B1 (statement). In CC6S1HVK0T/e1, proposition B.7
History
- 2026-10-28: add by m2/v0.4.2
Tropical projective space MCSSG2NV1M
| URI | m2://inv/MCSSG2NV1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical projective space, Tropical projective space (definition). Also Wikidata Q60791876
History
- 2026-11-02: add by m2/dev
Nevanlinna function MCT4J6R8EJ
| URI | m2://inv/MCT4J6R8EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna function, Nevanlinna function (definition). Also Wikidata Q7003746
History
- 2026-11-02: add by m2/dev
MCT64MR5HV MCT64MR5HV
| URI | m2://inv/MCT64MR5HV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#WYJ2 (definition). In Y3X5XY2J65/e1, definition 9.1
History
- 2026-10-28: add by m2/v0.4.2
MCTE3ZWCT9 MCTE3ZWCT9
| URI | m2://inv/MCTE3ZWCT9 |
|---|---|
| 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 2610.09599#PT16 (statement). In 4JYGH9XNA9/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Morin surface MCTJ4QJTJ1
| URI | m2://inv/MCTJ4QJTJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#49CA, Morin surface (definition)
History
- 2026-11-02: add by m2/dev
MCTM7CHP1D MCTM7CHP1D
| URI | m2://inv/MCTM7CHP1D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#Q8UM (example). In G02N9D40B9/e1, example 3.2.7
History
- 2026-10-29: add by m2/v0.4.10
MCTRJRTN0Q MCTRJRTN0Q
| URI | m2://inv/MCTRJRTN0Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#NI4T (example). In ZPT9XCCAPQ/e1, example A.0.8
History
- 2026-10-31: add by m2/v0.5.6
MCTTY107HM MCTTY107HM
| URI | m2://inv/MCTTY107HM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#VYIM (statement). In DB223AABTH/e1, theorem 7.6
History
- 2026-10-27: add by m2/v0.3.5
Finite-rank nontrivial actions MCVJ73GEVB
| URI | m2://inv/MCVJ73GEVB |
|---|---|
| Kind | example |
| 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.00021#AVK8, Finite-rank nontrivial actions (example). In EX42AVA7CV/e1, example 8.2
History
- 2026-10-30: add by m2/v0.4.12
Chaitin's constant MCVPXW9671
| URI | m2://inv/MCVPXW9671 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#7SHI, Chaitin's constant (definition)
History
- 2026-11-02: add by m2/dev
Cherry picking MCVQ85M81N
| URI | m2://inv/MCVQ85M81N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#ZDDN, Cherry picking (definition)
History
- 2026-11-02: add by m2/dev
MCW1K7WXHA MCW1K7WXHA
| URI | m2://inv/MCW1K7WXHA |
|---|---|
| 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.30113#9XFE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Swarm intelligence MCW64XQ4TZ
| URI | m2://inv/MCW64XQ4TZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#0J7F, Swarm intelligence (unknown)
History
- 2026-11-02: add by m2/dev
Sergey Antonyan MCWA9PJJ8S
| URI | m2://inv/MCWA9PJJ8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102342622, Sergey Antonyan (unknown). Also nLab Sergey Antonyan
History
- 2026-10-26: add by m2/dev
Example MCWEY2A742
| URI | m2://inv/MCWEY2A742 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#9QCR, Example (example)
History
- 2026-11-02: add by m2/dev
Hermann–Mauguin notation MCWH33M9CE
| URI | m2://inv/MCWH33M9CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#AZX5, Hermann–Mauguin notation (definition)
History
- 2026-11-02: add by m2/dev
ethnomathematics MCWJSBH598
| URI | m2://inv/MCWJSBH598 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 01A07 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282213, ethnomathematics (topic)
- wikipedia: Wikipedia Ethnomathematics, Ethnomathematics (topic). Also Wikidata Q282213
History
- 2026-10-26: add by m2/dev
Isador Lubin MCWM3SGF0F
| URI | m2://inv/MCWM3SGF0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isador Lubin, Isador Lubin (topic). Also Wikidata Q16008410
History
- 2026-11-02: add by m2/dev
MCWMPGFTCH MCWMPGFTCH
| URI | m2://inv/MCWMPGFTCH |
|---|---|
| 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 math/0003117#H24Q (statement). In WD2NCBV9F0/e1, lemma 14.18
History
- 2026-10-27: add by m2/v0.3.5
Identification of the directed Gaussian family MCWN94SFQP
| URI | m2://inv/MCWN94SFQP |
|---|---|
| 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 2609.27752#29J6, Identification of the directed Gaussian family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Approximate RGO MCWT0Z12DV
| URI | m2://inv/MCWT0Z12DV |
|---|---|
| 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.16248#MNX2, Approximate RGO (statement). In TP61DYMBMK/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
Lemoine line MCWTY1P227
| URI | m2://inv/MCWTY1P227 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central line (geometry)#NRXC, Lemoine line (unknown)
History
- 2026-11-02: add by m2/dev
MCWX11V891 MCWX11V891
| URI | m2://inv/MCWX11V891 |
|---|---|
| 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.09565#7UZ0 (statement). In 7A5YZACF1E/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.10
Quotient-subspace planner, QSP MCX4GMW5DZ
| URI | m2://inv/MCX4GMW5DZ |
|---|---|
| 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.12211#LTPY, Quotient-subspace planner, QSP (statement). In WBC7PQTVYC/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
MCXKGBAFHB MCXKGBAFHB
| URI | m2://inv/MCXKGBAFHB |
|---|---|
| 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.10107#WLMR (statement). In ZHNJ8MSXHW/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
transformation matrix MCXNPTR8A7
| URI | m2://inv/MCXNPTR8A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#BTKL, transformation matrix (statement). In 6W9H24A378/e1, corollary 7
History
- 2026-10-30: add by m2/v0.4.12
Automated market maker MCXP7JXXNQ
| URI | m2://inv/MCXP7JXXNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decentralized finance#KQ1X, Automated market maker (unknown)
History
- 2026-11-02: add by m2/dev
RC algorithm MCXPJYBH2C
| URI | m2://inv/MCXPJYBH2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC algorithm, RC algorithm (definition). Also Wikidata Q7276210
History
- 2026-11-02: add by m2/dev
MCXWXTEWWE MCXWXTEWWE
| URI | m2://inv/MCXWXTEWWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.11545#4RYX (statement). In VN084GGZGK/e1, proposition 4.30
History
- 2026-10-28: add by m2/v0.4.3
MCY7FMQTH9 MCY7FMQTH9
| URI | m2://inv/MCY7FMQTH9 |
|---|---|
| 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.29478#ZFH3 (statement). In XAFYHH8G7X/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
MCY7FSXWJM MCY7FSXWJM
| URI | m2://inv/MCY7FSXWJM |
|---|---|
| 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.23128#N9IM (statement)
History
- 2026-11-02: add by m2/v0.6.17
MCYBYJKSS1 MCYBYJKSS1
| URI | m2://inv/MCYBYJKSS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#TNXP (statement). In EHW82CK883/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.12
Rough set theory MCYC23E64H
| URI | m2://inv/MCYC23E64H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TPP7, Rough set theory (definition)
History
- 2026-11-02: add by m2/dev
MCYCDP8SK2 MCYCDP8SK2
| URI | m2://inv/MCYCDP8SK2 |
|---|---|
| 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 2205.15365#AUYT (statement). In R2XC1SC9NZ/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
MCYDTWFYWV MCYDTWFYWV
| URI | m2://inv/MCYDTWFYWV |
|---|---|
| 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.02489#2HQ6 (example). In ZCJDWDR16Z/e1, example 7.2
History
- 2026-10-29: add by m2/v0.4.12
MCYFX4N4R0 MCYFX4N4R0
| URI | m2://inv/MCYFX4N4R0 |
|---|---|
| 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.35186#06RV (statement). In VFNPANY3HD/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
BIO-LGCA MCYGW3D2H3
| URI | m2://inv/MCYGW3D2H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BIO-LGCA, BIO-LGCA (definition). Also Wikidata Q107616454
History
- 2026-11-02: add by m2/dev
rational polynomial MCYH01ZJSR
| URI | m2://inv/MCYH01ZJSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141150061, rational polynomial (unknown). Also MathWorld RationalPolynomial
History
- 2026-10-26: add by m2/dev
Schwartz space MCYH1R1B86
| URI | m2://inv/MCYH1R1B86 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schwartz space CG9JEATW3Q |
Mentions
- wikidata: Wikidata Q1369621, Schwartz space (concept). Also MathWorld SchwartzSpace, nLab Schwartz space, ProofWiki Definition:Schwartz_Space
- wikipedia: Wikipedia Schwartz space, Schwartz space (definition). Also Wikidata Q1369621
History
- 2026-10-26: add by m2/dev
Extensions MCYN6VJ4BK
| URI | m2://inv/MCYN6VJ4BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized functional linear model#FSVM, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Bounding sphere MCYN82TMD4
| URI | m2://inv/MCYN82TMD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounding sphere, Bounding sphere (definition). Also Wikidata Q3493405
History
- 2026-11-02: add by m2/dev
Mazur's conjecture B MCYSV6X8GM
| URI | m2://inv/MCYSV6X8GM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness conjecture for rational points#04S5, Mazur's conjecture B (statement)
History
- 2026-11-02: add by m2/dev
Jacob Lurie MCZ87ZD0D3
| URI | m2://inv/MCZ87ZD0D3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0OI1, Jacob Lurie (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MS6P, Jacob Lurie (topic)
History
- 2026-11-02: add by m2/dev
Generalizations MCZA42QQQ3
| URI | m2://inv/MCZA42QQQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onsager–Machlup function#NY6H, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Svetlana Katok MCZG976Y97
| URI | m2://inv/MCZG976Y97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svetlana Katok, Svetlana Katok (topic). Also Wikidata Q2371787
History
- 2026-11-02: add by m2/dev
sangaku MCZJR4YVDK
| URI | m2://inv/MCZJR4YVDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2569069, sangaku (unknown). Also MathWorld SangakuProblem
- wikipedia: Wikipedia Sangaku, Sangaku (definition). Also Wikidata Q2569069
History
- 2026-10-26: add by m2/dev
Ami Radunskaya MCZXKHY3A3
| URI | m2://inv/MCZXKHY3A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ami Radunskaya, Ami Radunskaya (topic). Also Wikidata Q28002396
History
- 2026-11-02: add by m2/dev