Inventory rows CW
The cards of the rows of the inventory whose ids start with CW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kuratowski's free set theorem CW02JV4N1B
| URI | m2://inv/CW02JV4N1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#CBHK, Kuratowski's free set theorem (statement)
History
- 2026-11-02: add by m2/dev
$\Site$ has binary products CW0FZ246DM
| URI | m2://inv/CW0FZ246DM |
|---|---|
| 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.26270#1OFJ, $\Site$ has binary products (statement)
History
- 2026-11-01: add by m2/v0.6.15
Active intellect CW0ME68TSS
| URI | m2://inv/CW0ME68TSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#9QYO, Active intellect (unknown)
History
- 2026-11-02: add by m2/dev
Pollyanna principle CW0NSWF133
| URI | m2://inv/CW0NSWF133 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollyanna principle, Pollyanna principle (statement). Also Wikidata Q2659226
History
- 2026-11-02: add by m2/dev
Beam tracing CW0Q6W1MYT
| URI | m2://inv/CW0Q6W1MYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#HCQ3, Beam tracing (unknown)
History
- 2026-11-02: add by m2/dev
Jeremy Avigad CW0SBVX1QQ
| URI | m2://inv/CW0SBVX1QQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NQ7P, Jeremy Avigad (topic)
History
- 2026-11-02: add by m2/dev
CW1880Y2VW CW1880Y2VW
| URI | m2://inv/CW1880Y2VW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#V061 (problem). In 2BET1RE1F6/e1, problem 1.1
History
- 2026-10-31: add by m2/v0.5.6
CW1CD5B5TF CW1CD5B5TF
| URI | m2://inv/CW1CD5B5TF |
|---|---|
| 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.17516#5RV0 (statement). In Z16NBNM4AK/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Sergei Sobolev CW1FA2095J
| URI | m2://inv/CW1FA2095J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#V348, Sergei Sobolev (topic)
History
- 2026-11-02: add by m2/dev
Applications CW1G7FDVXD
| URI | m2://inv/CW1G7FDVXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix renormalization group#ENFO, Applications (example)
History
- 2026-11-02: add by m2/dev
CW1MBMH2J2 CW1MBMH2J2
| URI | m2://inv/CW1MBMH2J2 |
|---|---|
| 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 1912.13357#XWM9 (statement). In K8CQDCYBR3/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
CW1XD0994G CW1XD0994G
| URI | m2://inv/CW1XD0994G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:smoothingout (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Adjacent-order growth CW21PHYNPA
| URI | m2://inv/CW21PHYNPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#7DX5, Adjacent-order growth (statement). In N6GD8392QB/e1, corollary 14.2
History
- 2026-10-28: add by m2/v0.4.2
Lev Schnirelmann CW26QQMW3H
| URI | m2://inv/CW26QQMW3H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZHGD, Lev Schnirelmann (topic)
History
- 2026-11-02: add by m2/dev
CW2B17BQEB CW2B17BQEB
| URI | m2://inv/CW2B17BQEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#A504 (definition). In H3FDP8S1Z7/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
dualizing sheaf CW2EBRZ56W
| URI | m2://inv/CW2EBRZ56W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#3J4F, dualizing sheaf (definition)
History
- 2026-11-02: add by m2/dev
Examples CW2KG3JNPA
| URI | m2://inv/CW2KG3JNPA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperkähler manifold#447S, Examples (example)
History
- 2026-11-02: add by m2/dev
Nahm transform CW2MEJ66VX
| URI | m2://inv/CW2MEJ66VX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q72286792, Nahm transform (unknown). Also nLab Nahm transform
History
- 2026-10-26: add by m2/dev
causal study CW2REC2T34
| URI | m2://inv/CW2REC2T34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#D3P8, causal study (definition)
History
- 2026-11-02: add by m2/dev
CW2VX57F72 CW2VX57F72
| URI | m2://inv/CW2VX57F72 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#OD8W (example). In 5MJ4NJ5ZCV/e1, example 2.17
History
- 2026-10-28: add by m2/v0.4.3
Unfoldable cardinal CW2ZKZB1TQ
| URI | m2://inv/CW2ZKZB1TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#BHHY, Unfoldable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Alexander V. Karzanov CW30F15SBE
| URI | m2://inv/CW30F15SBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander V. Karzanov, Alexander V. Karzanov (topic). Also Wikidata Q64853097
History
- 2026-11-02: add by m2/dev
CW362E3RSX CW362E3RSX
| URI | m2://inv/CW362E3RSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#7ZOH (statement). In QX77AN49J0/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.4.2
Covariance closure and conservation laws CW3G8HC76A
| URI | m2://inv/CW3G8HC76A |
|---|---|
| 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#RUOL, Covariance closure and conservation laws (statement). In 3VVGPXWH6R/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
CW3GS7C26P CW3GS7C26P
| URI | m2://inv/CW3GS7C26P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#Q3IE (example). In 73A9KWZJRD/e1, example 4.1
History
- 2026-10-28: add by m2/v0.4.2
Exotic R4 CW3JTN603R
| URI | m2://inv/CW3JTN603R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#0MGZ, Exotic R4 (definition)
History
- 2026-11-02: add by m2/dev
orientable surface CW3MVTV0FC
| URI | m2://inv/CW3MVTV0FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Orientable surface 0EKZW08FQ5 |
Mentions
- wikidata: Wikidata Q116965911, orientable surface (unknown). Also MathWorld OrientableSurface
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
CW3QTEPVVD CW3QTEPVVD
| URI | m2://inv/CW3QTEPVVD |
|---|---|
| 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.09390#5BL3 (definition). In 7SSKW778T8/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
CW3S7JHEZX CW3S7JHEZX
| URI | m2://inv/CW3S7JHEZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.16779#7NMQ (statement). In 1R7H0ZAHWA/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
CW42SYRKDK CW42SYRKDK
| URI | m2://inv/CW42SYRKDK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12017#8I1U (definition). In WW04MP0NAZ/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
Example CW44SPAYNT
| URI | m2://inv/CW44SPAYNT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc elasticity#CDUT, Example (example)
History
- 2026-11-02: add by m2/dev
Password length equation CW47DK5YVH
| URI | m2://inv/CW47DK5YVH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password cracking#R4RI, Password length equation (unknown)
History
- 2026-11-02: add by m2/dev
Hermite class CW4A52YGSE
| URI | m2://inv/CW4A52YGSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite class, Hermite class (definition). Also Wikidata Q7264799
History
- 2026-11-02: add by m2/dev
CW4BKRNYBV CW4BKRNYBV
| URI | m2://inv/CW4BKRNYBV |
|---|---|
| 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.12810#6R8V (statement). In DR35633CPN/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition CW4DFP1ZPN
| URI | m2://inv/CW4DFP1ZPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk closeness centrality#RD1K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Single reveal CW4GDBE42B
| URI | m2://inv/CW4GDBE42B |
|---|---|
| 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.04989#7DQJ, Single reveal (statement). In 1T4SYTCKW8/e1, corollary S1
History
- 2026-10-29: add by m2/v0.4.12
CW4HAS40RD CW4HAS40RD
| URI | m2://inv/CW4HAS40RD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-54 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Example CW522HMCQ7
| URI | m2://inv/CW522HMCQ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Ritz method#Y04Y, Example (example)
History
- 2026-11-02: add by m2/dev
Example CW58AG1373
| URI | m2://inv/CW58AG1373 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse-delete algorithm#IZDL, Example (example)
History
- 2026-11-02: add by m2/dev
Properties CW5BPT59E1
| URI | m2://inv/CW5BPT59E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#9BF7, Properties (statement)
History
- 2026-11-02: add by m2/dev
principal ideal domain CW5ERFPKGK
| URI | m2://inv/CW5ERFPKGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > principal ideal domain, principal ideal domain (unknown). Also Mathlib Submodule.IsPrincipal
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > principal ideal domain, principal ideal domain (unknown). Also Mathlib Submodule.IsPrincipal
History
- 2026-10-26: add by m2/dev
CW5HPA36N3 CW5HPA36N3
| URI | m2://inv/CW5HPA36N3 |
|---|---|
| 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.07259#3QIU (statement). In XMR1TTDSPG/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Picture superiority effect CW5T1VSA54
| URI | m2://inv/CW5T1VSA54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picture superiority effect, Picture superiority effect (definition). Also Wikidata Q7191204
History
- 2026-11-02: add by m2/dev
Standardized mortality ratio CW5WTNHRE5
| URI | m2://inv/CW5WTNHRE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZHNF, Standardized mortality ratio (definition)
History
- 2026-11-02: add by m2/dev
Infinite-dimensional formulas CW639S4208
| URI | m2://inv/CW639S4208 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô's lemma#QA0L, Infinite-dimensional formulas (statement)
History
- 2026-11-02: add by m2/dev
Pure powers CW66M43XFC
| URI | m2://inv/CW66M43XFC |
|---|---|
| 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.30817#SGML, Pure powers (statement). In DP5KJ7AATM/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Actuarial credentialing and exams CW66MQV5JS
| URI | m2://inv/CW66MQV5JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial credentialing and exams, Actuarial credentialing and exams (definition). Also Wikidata Q4677844
History
- 2026-11-02: add by m2/dev
CW66NNX53M CW66NNX53M
| URI | m2://inv/CW66NNX53M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#NGW7 (statement). In FDYZFDHZH9/e1, corollary 2.13
History
- 2026-10-31: add by m2/v0.5.6
CW67S4DCGV CW67S4DCGV
| URI | m2://inv/CW67S4DCGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#DIO4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
CW6DTPHEHM CW6DTPHEHM
| URI | m2://inv/CW6DTPHEHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00344#NIZT (statement). In WNA8D3Y1RA/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
pencil of circles CW6GDPYGS0
| URI | m2://inv/CW6GDPYGS0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2689032, pencil of circles (unknown). Also MathWorld CoaxalSystem
History
- 2026-10-26: add by m2/dev
CW6MY3GSHF CW6MY3GSHF
| URI | m2://inv/CW6MY3GSHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04124#28BV (statement). In DB9WCCW840/e1, lemma 0.13
History
- 2026-10-29: add by m2/v0.4.12
CW6QVF0X8P CW6QVF0X8P
| URI | m2://inv/CW6QVF0X8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#OBGH (statement). In E7W2HDNEKJ/e1, corollary 10.18
History
- 2026-10-30: add by m2/v0.4.12
CW6RREVWGN CW6RREVWGN
| URI | m2://inv/CW6RREVWGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#GIXT (statement). In VWNB6QJWFN/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Decomposition of spectrum CW6XRDWH0V
| URI | m2://inv/CW6XRDWH0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of spectrum (functional analysis), Decomposition of spectrum (definition). Also Wikidata Q130603417
History
- 2026-11-02: add by m2/dev
Roger Jones CW6XW2M1F0
| URI | m2://inv/CW6XW2M1F0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WOBY, Roger Jones (topic)
History
- 2026-11-02: add by m2/dev
CW7A8F3ZQ1 CW7A8F3ZQ1
| URI | m2://inv/CW7A8F3ZQ1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37634#T6SG (example). In NTWNXKDBKK/e1, example 2.6
History
- 2026-10-30: add by m2/v0.4.12
Using the Central Limit Theorem and the Poisson distribution CW7GPPJZWE
| URI | m2://inv/CW7GPPJZWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling's approximation#EVO3, Using the Central Limit Theorem and the Poisson distribution (statement)
History
- 2026-11-02: add by m2/dev
Resolution of conjectures CW7K2DBR60
| URI | m2://inv/CW7K2DBR60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjecture#O81C, Resolution of conjectures (statement)
History
- 2026-11-02: add by m2/dev
CW7QCB40E0 CW7QCB40E0
| URI | m2://inv/CW7QCB40E0 |
|---|---|
| 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 2212.00617#XWES (statement). In K7505G10SS/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.3.5
CW7W81JE4P CW7W81JE4P
| URI | m2://inv/CW7W81JE4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#P8EB (statement). In ET0TQ8YF7Z/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.10
rough number CW83V9J357
| URI | m2://inv/CW83V9J357 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1755380, rough number (unknown). Also MathWorld RoughNumber
- wikipedia: Wikipedia Rough number, Rough number (definition). Also Wikidata Q1755380
History
- 2026-10-26: add by m2/dev
Friedmann universe CW86K4WFBD
| URI | m2://inv/CW86K4WFBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3859858, Friedmann universe (unknown). Also nLab FRW model
History
- 2026-10-26: add by m2/dev
CW87RCAGQ5 CW87RCAGQ5
| URI | m2://inv/CW87RCAGQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#I8CR (statement). In 5CKPXBWSCX/e1, proposition 2.11
History
- 2026-10-30: add by m2/v0.4.12
Dynamic friction CW88PQ99T0
| URI | m2://inv/CW88PQ99T0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friction#1HU0, Dynamic friction (unknown)
History
- 2026-11-02: add by m2/dev
Sion's minimax theorem CW88S7RVHB
| URI | m2://inv/CW88S7RVHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7525341, Sion's minimax theorem (statement). Also Wikidata Q7525341
- thousand_plus: thousand_plus Q7525341, Sion's minimax theorem (statement). Also Wikidata Q7525341, Wikipedia Sion's minimax theorem
History
- 2026-10-26: add by m2/dev
Information entropy CW88ZK9D9H
| URI | m2://inv/CW88ZK9D9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#H082, Information entropy (definition)
History
- 2026-11-02: add by m2/dev
CW8DXC9ZFS CW8DXC9ZFS
| URI | m2://inv/CW8DXC9ZFS |
|---|---|
| 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.37593#DDE9 (statement). In YTF96VHKAH/e1, corollary A.5
History
- 2026-10-30: add by m2/v0.4.12
Examples CW8JJR5BS5
| URI | m2://inv/CW8JJR5BS5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary symmetric polynomial#9YQ7, Examples (example)
History
- 2026-11-02: add by m2/dev
Interactive proof system CW8KDFHJDH
| URI | m2://inv/CW8KDFHJDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#6GGE, Interactive proof system (definition)
- wikipedia: Wikipedia List of computability and complexity topics#TNYO, Interactive proof system (definition)
History
- 2026-11-02: add by m2/dev
CW8KQVHWSD CW8KQVHWSD
| URI | m2://inv/CW8KQVHWSD |
|---|---|
| Kind | definition |
| 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.27301#A035 (definition)
History
- 2026-11-01: add by m2/v0.6.15
CW8ZAJD5KH CW8ZAJD5KH
| URI | m2://inv/CW8ZAJD5KH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
formal proof CW8ZV153GQ
| URI | m2://inv/CW8ZV153GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6E44, formal proof (definition)
History
- 2026-11-02: add by m2/dev
CW932J3WTA CW932J3WTA
| URI | m2://inv/CW932J3WTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13241#DA7C (statement). In DWQWQ5KTEE/e1, proposition 23
History
- 2026-10-28: add by m2/v0.4.2
Logarithmic lemma, second order CW958R1F8C
| URI | m2://inv/CW958R1F8C |
|---|---|
| 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.15086#U7VV, Logarithmic lemma, second order (statement). In V60MVF3KQ1/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Example CW99XYRRHC
| URI | m2://inv/CW99XYRRHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension by new constant and function names#NY1D, Example (example)
History
- 2026-11-02: add by m2/dev
Robert Marshak CW9A9E5KGJ
| URI | m2://inv/CW9A9E5KGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M30F, Robert Marshak (unknown)
History
- 2026-11-02: add by m2/dev
List of topology topics CW9FC98CVQ
| URI | m2://inv/CW9FC98CVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics, List of topology topics (topic). Also Wikidata Q6643463
History
- 2026-11-02: add by m2/dev
Emanuel Lodewijk Elte CW9M2NE3AT
| URI | m2://inv/CW9M2NE3AT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuel Lodewijk Elte, Emanuel Lodewijk Elte (topic). Also Wikidata Q5322007
History
- 2026-11-02: add by m2/dev
CW9SSWWM7Q CW9SSWWM7Q
| URI | m2://inv/CW9SSWWM7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#ZJ2Y (statement). In BVAWVRS3R9/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Deliberative opinion poll CW9SX3GNXJ
| URI | m2://inv/CW9SX3GNXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deliberative opinion poll, Deliberative opinion poll (definition). Also Wikidata Q1184210
History
- 2026-11-02: add by m2/dev
CW9SYSJP72 CW9SYSJP72
| URI | m2://inv/CW9SYSJP72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.08839#XE1N (statement). In HJPDS53MX4/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.4.0
Residual zero-frequency weight CW9VRXKX29
| URI | m2://inv/CW9VRXKX29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#Y9TM, Residual zero-frequency weight (statement). In 1QSV7EQE3T/e1, corollary S50
History
- 2026-10-28: add by m2/v0.4.2
Strict linear order CW9XMVRQ9Z
| URI | m2://inv/CW9XMVRQ9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#def:strictlinearorder, Strict linear order (definition). In PKGMM3P5QY, defn, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Examples CW9Z8WMGVZ
| URI | m2://inv/CW9Z8WMGVZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witness (mathematics)#PZO0, Examples (example)
History
- 2026-11-02: add by m2/dev
structure theorem CWA3DAPZ4X
| URI | m2://inv/CWA3DAPZ4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#XG68, structure theorem (definition)
History
- 2026-11-02: add by m2/dev
CWA91HVD3J CWA91HVD3J
| URI | m2://inv/CWA91HVD3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 68.4
History
- 2026-11-01: add by m2/v0.6.13
Political forecasting CWA9FZAPWF
| URI | m2://inv/CWA9FZAPWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Political forecasting, Political forecasting (definition). Also Wikidata Q1286937
History
- 2026-11-02: add by m2/dev
Jan Saxl CWA9TTP8M2
| URI | m2://inv/CWA9TTP8M2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Saxl, Jan Saxl (topic). Also Wikidata Q93863611
History
- 2026-11-02: add by m2/dev
1 + 2 + 3 + 4 + ⋯ CWACD9ZR82
| URI | m2://inv/CWACD9ZR82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 + 2 + 3 + 4 + ⋯, 1 + 2 + 3 + 4 + ⋯ (definition). Also Wikidata Q2605420
History
- 2026-11-02: add by m2/dev
CWAD268V6A CWAD268V6A
| URI | m2://inv/CWAD268V6A |
|---|---|
| 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 2407.08976#AQ0B (statement). In ZVNM9X4NNG/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Statistical syllogism CWAD843P5H
| URI | m2://inv/CWAD843P5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical syllogism, Statistical syllogism (definition). Also Wikidata Q7604417
History
- 2026-11-02: add by m2/dev
Diagonal separation CWAHBAC7RQ
| URI | m2://inv/CWAHBAC7RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#9JZO, Diagonal separation (statement). In 7Z3KQRFEVG/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Institution CWAZFPX4H3
| URI | m2://inv/CWAZFPX4H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institution (computer science), Institution (definition). Also Wikidata Q6041045
History
- 2026-11-02: add by m2/dev
Thurstone scale CWB284DHNA
| URI | m2://inv/CWB284DHNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurstone scale, Thurstone scale (definition). Also Wikidata Q1992046
History
- 2026-11-02: add by m2/dev
Boris Kashin CWB7YTY3XX
| URI | m2://inv/CWB7YTY3XX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Kashin, Boris Kashin (topic). Also Wikidata Q4218102
History
- 2026-11-02: add by m2/dev
CWB96T978Y CWB96T978Y
| URI | m2://inv/CWB96T978Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#F4S0 (statement). In V06H8BAGEH/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.3
CWBE98GWVT CWBE98GWVT
| URI | m2://inv/CWBE98GWVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#HPO8 (statement). In F3BKXXPR3K/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
CWBH8Q9F5K CWBH8Q9F5K
| URI | m2://inv/CWBH8Q9F5K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#3Q5E (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
Remark CWBJNHW352
| URI | m2://inv/CWBJNHW352 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological quantum field theory#51QR, Remark (unknown)
History
- 2026-11-02: add by m2/dev
CWBRKGS7TR CWBRKGS7TR
| URI | m2://inv/CWBRKGS7TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#WQ2A (statement). In XJVZSGCX5V/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
CWBS1VVJGP CWBS1VVJGP
| URI | m2://inv/CWBS1VVJGP |
|---|---|
| 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 2605.24355#M1LQ (statement). In VV3AJMWWCR/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.6
Lichnerowicz conjecture CWBW3WV7MH
| URI | m2://inv/CWBW3WV7MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lichnerowicz conjecture, Lichnerowicz conjecture (statement). Also Wikidata Q6543305
History
- 2026-11-02: add by m2/dev
Modular exponentiation CWC0Y7KA2V
| URI | m2://inv/CWC0Y7KA2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular exponentiation, Modular exponentiation (definition). Also Wikidata Q1228841
History
- 2026-11-02: add by m2/dev
Farsightedness CWC7SCE074
| URI | m2://inv/CWC7SCE074 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farsightedness (game theory), Farsightedness (definition). Also Wikidata Q133252321
History
- 2026-11-02: add by m2/dev
real-analyticity Away from the Measurement Sites CWC7VQXE4E
| URI | m2://inv/CWC7VQXE4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#P2MT, real-analyticity Away from the Measurement Sites (statement). In CW9MNA6K58/e1, lemma 9.25
History
- 2026-10-28: add by m2/v0.4.2
Carus Mathematical Monographs CWC80P2KTA
| URI | m2://inv/CWC80P2KTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carus Mathematical Monographs, Carus Mathematical Monographs (definition). Also Wikidata Q5047487
History
- 2026-11-02: add by m2/dev
Multiresolution analysis CWC8DW0R9C
| URI | m2://inv/CWC8DW0R9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5011, Multiresolution analysis (definition)
History
- 2026-11-02: add by m2/dev
algorithm CWCD46KZDS
| URI | m2://inv/CWCD46KZDS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/algorithm, algorithm (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
T-statistic CWCJZCWBBX
| URI | m2://inv/CWCJZCWBBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-statistic, T-statistic (definition). Also Wikidata Q7667935
History
- 2026-11-02: add by m2/dev
Heine CWCSDWSAAM
| URI | m2://inv/CWCSDWSAAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#0CNI, Heine (topic)
History
- 2026-11-02: add by m2/dev
Counting with a positive initial weight CWD5GQ9P37
| URI | m2://inv/CWD5GQ9P37 |
|---|---|
| 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.21461#2S4X, Counting with a positive initial weight (statement). In DWQANBV7B7/e1, lemma B.6
History
- 2026-10-27: add by m2/v0.4.2
CWDB1HMZRV CWDB1HMZRV
| URI | m2://inv/CWDB1HMZRV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/refproofs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 73.11
History
- 2026-11-01: add by m2/v0.6.13
Difference polynomials CWDB3V74TZ
| URI | m2://inv/CWDB3V74TZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference polynomials, Difference polynomials (definition). Also Wikidata Q5275279
History
- 2026-11-02: add by m2/dev
Extensions CWDPZRRE4Y
| URI | m2://inv/CWDPZRRE4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinusoidal model#B69F, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Exact periodic risk of completed windows CWDRX5RKKF
| URI | m2://inv/CWDRX5RKKF |
|---|---|
| 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.15543#4Z6S, Exact periodic risk of completed windows (statement). In TQSHQZFCS5/e1, theorem G.1
History
- 2026-10-28: add by m2/v0.4.2
Beauville–Laszlo theorem CWDVN83VWA
| URI | m2://inv/CWDVN83VWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4877965, Beauville–Laszlo theorem (statement). Also Wikidata Q4877965
- thousand_plus: thousand_plus Q4877965, Beauville–Laszlo theorem (statement). Also Wikidata Q4877965, Wikipedia Beauville–Laszlo theorem
- wikipedia: Wikipedia Beauville–Laszlo theorem, Beauville–Laszlo theorem (statement). Also Wikidata Q4877965
History
- 2026-10-26: add by m2/dev
Multivariate interpolation CWE9GABZ15
| URI | m2://inv/CWE9GABZ15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#475D, Multivariate interpolation (definition)
History
- 2026-11-02: add by m2/dev
CWED36TFDS CWED36TFDS
| URI | m2://inv/CWED36TFDS |
|---|---|
| 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.26041#8X97 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed graph theorem CWEF0KC5TW
| URI | m2://inv/CWEF0KC5TW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#0JG0, Closed graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples CWEH79BJTB
| URI | m2://inv/CWEH79BJTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#II6O, Examples (example)
History
- 2026-11-02: add by m2/dev
CWEVQQHJFW CWEVQQHJFW
| URI | m2://inv/CWEVQQHJFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136087511 (unknown). Also House of Graphs 294
History
- 2026-10-26: add by m2/dev
CWF3G5BPPC CWF3G5BPPC
| URI | m2://inv/CWF3G5BPPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#WK4B (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWF7FE9YH8 CWF7FE9YH8
| URI | m2://inv/CWF7FE9YH8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
von Neumann regular ring CWFHD34HXC
| URI | m2://inv/CWFHD34HXC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | von Neumann regular ring DXX7GNY3HE |
Mentions
- wikidata: Wikidata Q2895315, von Neumann regular ring (concept). Also MathWorld vonNeumannRegularRing
- wikipedia: Wikipedia Von Neumann regular ring, Von Neumann regular ring (definition). Also Wikidata Q2895315
History
- 2026-10-26: add by m2/dev
CWFKDS145R CWFKDS145R
| URI | m2://inv/CWFKDS145R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27687#0AEF (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWFN0P911E CWFN0P911E
| URI | m2://inv/CWFN0P911E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36811#IO3U (statement). In ZQDX8E43SQ/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
CWG6RNR1DK CWG6RNR1DK
| URI | m2://inv/CWG6RNR1DK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#example-2 (example). In RZP28ERRZV, example, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
Fubini's theorem for distributions CWG7Y06JCH
| URI | m2://inv/CWG7Y06JCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#07KE, Fubini's theorem for distributions (statement)
History
- 2026-11-02: add by m2/dev
Definition CWGKQS5Z9N
| URI | m2://inv/CWGKQS5Z9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-recursive sequence#4F9N, Definition (definition)
History
- 2026-11-02: add by m2/dev
John Gordon Skellam CWGNCEJ5EA
| URI | m2://inv/CWGNCEJ5EA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Gordon Skellam, John Gordon Skellam (topic). Also Wikidata Q662692
History
- 2026-11-02: add by m2/dev
Neumann–Poincaré operator CWGPAG00R0
| URI | m2://inv/CWGPAG00R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neumann–Poincaré operator, Neumann–Poincaré operator (definition). Also Wikidata Q7001957
History
- 2026-11-02: add by m2/dev
cf.\ {*{Lemma 3.8 CWGPAM02QW
| URI | m2://inv/CWGPAM02QW |
|---|---|
| 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 2403.15255#KWQR, cf.\ {*{Lemma 3.8 (statement). In G691MXMYW0/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.4.0
Definitions CWGPQS9JXE
| URI | m2://inv/CWGPQS9JXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rough set#ZDU8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
5-uniform tiling CWGXXRJFMY
| URI | m2://inv/CWGXXRJFMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of k-uniform tilings#PSUE, 5-uniform tiling (unknown)
History
- 2026-11-02: add by m2/dev
eleven-point conic CWH9PX15CQ
| URI | m2://inv/CWH9PX15CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Q1VL, eleven-point conic (definition)
History
- 2026-11-02: add by m2/dev
CWHV10KF1M CWHV10KF1M
| URI | m2://inv/CWHV10KF1M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#ex:weak-adm (example). In PKGMM3P5QY, ex, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
chain CWJ16BBGWG
| URI | m2://inv/CWJ16BBGWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7479, chain (definition)
History
- 2026-11-02: add by m2/dev
CWJ27MY7Y2 CWJ27MY7Y2
| URI | m2://inv/CWJ27MY7Y2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 23.3
History
- 2026-11-01: add by m2/v0.6.13
The algorithm CWJ2NN78N4
| URI | m2://inv/CWJ2NN78N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas–Lehmer–Riesel test#B316, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
CWJ2T28TE8 CWJ2T28TE8
| URI | m2://inv/CWJ2T28TE8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.40290#JIYX (definition). In 4K1CNBYJHF/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Definition CWJ4SQKP4M
| URI | m2://inv/CWJ4SQKP4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete intersection ring#36ZG, Definition (definition)
History
- 2026-11-02: add by m2/dev
CWJ9DS2Y41 CWJ9DS2Y41
| URI | m2://inv/CWJ9DS2Y41 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1910.05504#0RJJ (definition). In 6ZR1NC9Z1S/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
CWJAKXMR3J CWJAKXMR3J
| URI | m2://inv/CWJAKXMR3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#VRUA (statement). In KS30K5JXGB/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.2
Hirosi Ooguri CWJAZXRDSG
| URI | m2://inv/CWJAZXRDSG |
|---|---|
| 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 Q1620293, Hirosi Ooguri (unknown). Also nLab Hirosi Ooguri
History
- 2026-10-26: add by m2/dev
Thin group CWJGV9CCFN
| URI | m2://inv/CWJGV9CCFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin group (combinatorial group theory), Thin group (definition). Also Wikidata Q7784285
History
- 2026-11-02: add by m2/dev
distance from a point to a plane CWJN4C7MV5
| URI | m2://inv/CWJN4C7MV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Distance from a point to a plane 0K1E2S6Z69 |
Mentions
- wikidata: Wikidata Q3030668, distance from a point to a plane (unknown). Also MathWorld Point-PlaneDistance
- wikipedia: Wikipedia Distance from a point to a plane, Distance from a point to a plane (definition). Also Wikidata Q3030668
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MacWilliams identity CWJNNSF6CJ
| URI | m2://inv/CWJNNSF6CJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerator polynomial#JT7F, MacWilliams identity (statement)
History
- 2026-11-02: add by m2/dev
Oppenheim conjecture CWJQE3H4J5
| URI | m2://inv/CWJQE3H4J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oppenheim conjecture, Oppenheim conjecture (statement). Also Wikidata Q7098547
History
- 2026-11-02: add by m2/dev
CWJR9BCXGW CWJR9BCXGW
| URI | m2://inv/CWJR9BCXGW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.13822#4POE (definition). In R9D4FQR3TA/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
CWJS93JMRF CWJS93JMRF
| URI | m2://inv/CWJS93JMRF |
|---|---|
| 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 1909.03896#4SEV (statement). In CX9RVPQVBM/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
CWJT8N9NZ2 CWJT8N9NZ2
| URI | m2://inv/CWJT8N9NZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15643#FC19 (statement). In 7QFBJCRPW1/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
CWJYTM3D0D CWJYTM3D0D
| URI | m2://inv/CWJYTM3D0D |
|---|---|
| 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.20316#STXY (statement). In YRJS76169Z/e1, corollary 7.7
History
- 2026-10-27: add by m2/v0.4.2
Identity for Alexandrov's Theorem CWK2S99PY2
| URI | m2://inv/CWK2S99PY2 |
|---|---|
| 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#499O, Identity for Alexandrov's Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWK79F72RW CWK79F72RW
| URI | m2://inv/CWK79F72RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#HRGT (statement). In 2XBYZ1QP22/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
CWK7MDY8Z4 CWK7MDY8Z4
| URI | m2://inv/CWK7MDY8Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#OF59 (statement). In D50WST4CG3/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
CWKCAQRVTD CWKCAQRVTD
| URI | m2://inv/CWKCAQRVTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#FWUD (statement). In BMSAXTDV47/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Dominic Thomas CWKJ9TTM5M
| URI | m2://inv/CWKJ9TTM5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#IEH8, Dominic Thomas (unknown)
History
- 2026-11-02: add by m2/dev
Definition CWKK6G8WCJ
| URI | m2://inv/CWKK6G8WCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurst exponent#CP7I, Definition (definition)
History
- 2026-11-02: add by m2/dev
CWM0HPF8JZ CWM0HPF8JZ
| URI | m2://inv/CWM0HPF8JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#J1ZO (statement). In MS7M2BJS9X/e1, lemma 7.15
History
- 2026-10-29: add by m2/v0.4.10
CWM2FQVGBF CWM2FQVGBF
| URI | m2://inv/CWM2FQVGBF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-150 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Local well-posedness CWM4YTRP9F
| URI | m2://inv/CWM4YTRP9F |
|---|---|
| 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.24789#MBO7, Local well-posedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWM68A3AN8 CWM68A3AN8
| URI | m2://inv/CWM68A3AN8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
CWM73PK8XP CWM73PK8XP
| URI | m2://inv/CWM73PK8XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.12203#DIG4 (statement). In F4YTAZSCS2/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
CWMBPNRJGJ CWMBPNRJGJ
| URI | m2://inv/CWMBPNRJGJ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Diagonal reference from any linear code CWMMB89PK2
| URI | m2://inv/CWMMB89PK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#U74D, Diagonal reference from any linear code (statement). In 9YAE8FNQST/e1, theorem 22.5
History
- 2026-10-30: add by m2/v0.4.12
Mixture of hidden Markov trees CWMQVH483E
| URI | m2://inv/CWMQVH483E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#DF0I, Mixture of hidden Markov trees (definition). In XXV36V6CK8/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
CWMY7ZE8XS CWMY7ZE8XS
| URI | m2://inv/CWMY7ZE8XS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#ZGDJ (problem)
History
- 2026-11-02: add by m2/v0.6.18
CWN8WM4S43 CWN8WM4S43
| URI | m2://inv/CWN8WM4S43 |
|---|---|
| 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.35339#89RV (statement). In JT998WJYJJ/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Locally simply connected space CWNAB3ARZK
| URI | m2://inv/CWNAB3ARZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally simply connected space, Locally simply connected space (definition). Also Wikidata Q6664703
History
- 2026-11-02: add by m2/dev
Strong subspace designs over arbitrary finite fields CWNDRJM9F1
| URI | m2://inv/CWNDRJM9F1 |
|---|---|
| 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.32834#1IFV, Strong subspace designs over arbitrary finite fields (statement). In N4M6B8EMCW/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
Exact minimum and equality cases CWNJF5HJJJ
| URI | m2://inv/CWNJF5HJJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.39593#7I2U, Exact minimum and equality cases (statement). In BF0RYHPMS1/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Block (permutation group theory) CWNQ1YTPZ0
| URI | m2://inv/CWNQ1YTPZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#QCT7, Block (permutation group theory) (definition)
History
- 2026-11-02: add by m2/dev
excess CWNR0BC05W
| URI | m2://inv/CWNR0BC05W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ORS8, excess (definition)
History
- 2026-11-02: add by m2/dev
Scheme of Replacement CWP13BAGK2
| URI | m2://inv/CWP13BAGK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/replacement.tex#axiom-1, Scheme of Replacement (statement). In PKGMM3P5QY, axiom, section 73.2
History
- 2026-11-01: add by m2/v0.6.13
CWP26JHK17 CWP26JHK17
| URI | m2://inv/CWP26JHK17 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-1 (statement). In E59CDZA4DP, prop, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Effective damping CWPB31B6R0
| URI | m2://inv/CWPB31B6R0 |
|---|---|
| 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.21271#5BBN, Effective damping (statement)
History
- 2026-11-02: add by m2/v0.6.18
4-sunlet graph CWPGR3DYBD
| URI | m2://inv/CWPGR3DYBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136694099, 4-sunlet graph (unknown). Also House of Graphs 48
History
- 2026-10-26: add by m2/dev
Statement of the theorem CWPJ60H969
| URI | m2://inv/CWPJ60H969 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration using parametric derivatives#SUJJ, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
CWPN7NQXRA CWPN7NQXRA
| URI | m2://inv/CWPN7NQXRA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#5IO4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
CWPPQNN676 CWPPQNN676
| URI | m2://inv/CWPPQNN676 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#T0PT (definition). In X923ZEY423/e1, definition 2.0.1
History
- 2026-10-27: add by m2/v0.3.5
Zeno paradox CWPYSS1WYT
| URI | m2://inv/CWPYSS1WYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#MYQP, Zeno paradox (definition)
History
- 2026-11-02: add by m2/dev
CWQ4PGZXY3 CWQ4PGZXY3
| URI | m2://inv/CWQ4PGZXY3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:morsesingularity (exercise). In VNMV985MXX, exercise, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
CWQ71VRK0N CWQ71VRK0N
| URI | m2://inv/CWQ71VRK0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#ex-2 (example). In PKGMM3P5QY, ex, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
Maximally independent graphs CWQ7KVD42J
| URI | m2://inv/CWQ7KVD42J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#K4DI, Maximally independent graphs (definition). In XK6H7F2F13/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 4 CWQ8N6SKJS
| URI | m2://inv/CWQ8N6SKJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate max-flow min-cut theorem#BCU6, Theorem 4 (statement)
History
- 2026-11-02: add by m2/dev
Radical extension CWQAJ9GH1H
| URI | m2://inv/CWQAJ9GH1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#DUTH, Radical extension (definition)
History
- 2026-11-02: add by m2/dev
𐆓 CWQF0MVJ1F
| URI | m2://inv/CWQF0MVJ1F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roman numerals#790J, 𐆓 (unknown)
History
- 2026-11-02: add by m2/dev
Definition CWQGY93Y5S
| URI | m2://inv/CWQGY93Y5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective tensor product#FUQ4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalized vector space model CWQKPVG9C0
| URI | m2://inv/CWQKPVG9C0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector space model#IVHW, Generalized vector space model (unknown)
History
- 2026-11-02: add by m2/dev
Pathfinder network CWQNHBB7X2
| URI | m2://inv/CWQNHBB7X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#BQNX, Pathfinder network (definition)
History
- 2026-11-02: add by m2/dev
Team logic CWQRQWDX03
| URI | m2://inv/CWQRQWDX03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence logic#PNOX, Team logic (unknown)
History
- 2026-11-02: add by m2/dev
clique cover number CWQTWVTNWC
| URI | m2://inv/CWQTWVTNWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130369331, clique cover number (unknown). Also MathWorld CliqueCoveringNumber
History
- 2026-10-26: add by m2/dev
polynomial CWQWDWNN7X
| URI | m2://inv/CWQWDWNN7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#JKGG, polynomial (definition)
History
- 2026-11-02: add by m2/dev
CWR1QH6JQD CWR1QH6JQD
| URI | m2://inv/CWR1QH6JQD |
|---|---|
| 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.10243#QAGI (statement). In 6N7EAD1PYD/e1, theorem 1.11
History
- 2026-10-29: add by m2/v0.4.10
CWR8N57JSG CWR8N57JSG
| URI | m2://inv/CWR8N57JSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#S8J2 (statement). In 37B1MPV8GX/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
Bipartite dimension CWRBE5FDDA
| URI | m2://inv/CWRBE5FDDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite dimension, Bipartite dimension (definition). Also Wikidata Q4915408
History
- 2026-11-02: add by m2/dev
Hafner–Sarnak–McCurley constant CWRFPAX91F
| URI | m2://inv/CWRFPAX91F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5638401, Hafner–Sarnak–McCurley constant (object). Also MathWorld Hafner-Sarnak-McCurleyConstant, OEIS A085849
- wikipedia: Wikipedia Hafner–Sarnak–McCurley constant, Hafner–Sarnak–McCurley constant (definition). Also Wikidata Q5638401
History
- 2026-10-26: add by m2/dev
Lower dimensions when quantizers lie out of $\pi_S(K)$ CWRPM2CA6C
| URI | m2://inv/CWRPM2CA6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-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 2505.10801#J39L, Lower dimensions when quantizers lie out of $\pi_S(K)$ (statement). In BWJS3H55WH/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
Vicsek fractal CWRYWX7FEE
| URI | m2://inv/CWRYWX7FEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DI50, Vicsek fractal (definition)
History
- 2026-11-02: add by m2/dev
810 (number) CWS2V6MXN9
| URI | m2://inv/CWS2V6MXN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#ZSUH, 810 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Monotone matrix CWSA28T37X
| URI | m2://inv/CWSA28T37X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone matrix, Monotone matrix (definition). Also Wikidata Q28455762
History
- 2026-11-02: add by m2/dev
Duflo CWSA80JWJS
| URI | m2://inv/CWSA80JWJS |
|---|---|
| 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.13884#76PC, Duflo (statement). In N2NQ3QJYTW/e1, theorem B.3
History
- 2026-10-28: add by m2/v0.4.2
octagram CWSCSZCR19
| URI | m2://inv/CWSCSZCR19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2622857, octagram (unknown). Also MathWorld Octagram
- wikipedia: Wikipedia Octagram, Octagram (definition). Also Wikidata Q2622857
History
- 2026-10-26: add by m2/dev
dissipative system CWSCYWY0ZR
| URI | m2://inv/CWSCYWY0ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q596577, dissipative system (unknown). Also nLab dissipative system
- wikipedia: Wikipedia Dissipative system, Dissipative system (definition). Also Wikidata Q596577
History
- 2026-10-26: add by m2/dev
Formal definition CWSEN50F7Y
| URI | m2://inv/CWSEN50F7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acylindrically hyperbolic group#UYRD, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 1 CWSMZPWGDD
| URI | m2://inv/CWSMZPWGDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coloured Petri net#MA70, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev
CWSN1CTHVS CWSN1CTHVS
| URI | m2://inv/CWSN1CTHVS |
|---|---|
| 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 2609.21060#DL36 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lewis Bowen CWSRCGJVPC
| URI | m2://inv/CWSRCGJVPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lewis Bowen, Lewis Bowen (topic). Also Wikidata Q47784338
History
- 2026-11-02: add by m2/dev
Definition CWSS9NRSXM
| URI | m2://inv/CWSS9NRSXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential family#8WXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
CWST09Z780 CWST09Z780
| URI | m2://inv/CWST09Z780 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#N9PW (statement). In SCSTR1Q1BW/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
Nina Bari CWSZX6AQAT
| URI | m2://inv/CWSZX6AQAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nina Bari, Nina Bari (topic). Also Wikidata Q32399
History
- 2026-11-02: add by m2/dev
CWT51RHEDD CWT51RHEDD
| URI | m2://inv/CWT51RHEDD |
|---|---|
| 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 2107.00792#ZMXW (statement). In TD16A541ZN/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.5
Uniform merit descent on the stabilized tail CWT5PMBQPQ
| URI | m2://inv/CWT5PMBQPQ |
|---|---|
| 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.18428#6FWJ, Uniform merit descent on the stabilized tail (statement). In 6BGSQT7SV8/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Helmholtz theorem CWTEG14FJB
| URI | m2://inv/CWTEG14FJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5709377, Helmholtz theorem (classical mechanics) (statement). Also Wikidata Q5709377
- thousand_plus: thousand_plus Q5709377, Helmholtz theorem (classical mechanics) (statement). Also Wikidata Q5709377, Wikipedia Helmholtz theorem (classical mechanics)
- wikipedia: Wikipedia Helmholtz theorem (classical mechanics), Helmholtz theorem (statement). Also Wikidata Q5709377
History
- 2026-10-26: add by m2/dev
Subjective probability CWTHHES73N
| URI | m2://inv/CWTHHES73N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian probability#JK6Z, Subjective probability (unknown)
History
- 2026-11-02: add by m2/dev
Full invariant lattice CWTKP5FCYB
| URI | m2://inv/CWTKP5FCYB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#88RA, Full invariant lattice (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statement CWTQWEC6QC
| URI | m2://inv/CWTQWEC6QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen realization problem#GSDZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
CWV3AKDGNP CWV3AKDGNP
| URI | m2://inv/CWV3AKDGNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#1I3H (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWV4C26J1Q CWV4C26J1Q
| URI | m2://inv/CWV4C26J1Q |
|---|---|
| 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.20421#4ZF6 (statement). In Q4R7J8JE3F/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.4.2
CWV7YAYMT1 CWV7YAYMT1
| URI | m2://inv/CWV7YAYMT1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.21052#JHRP (definition)
History
- 2026-11-02: add by m2/v0.6.18
subjunctive conditional CWV82HH184
| URI | m2://inv/CWV82HH184 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CBHP, subjunctive conditional (definition)
History
- 2026-11-02: add by m2/dev
graph CWV8XN7SP9
| URI | m2://inv/CWV8XN7SP9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/graph, graph (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
CWVDTCTQ6F CWVDTCTQ6F
| URI | m2://inv/CWVDTCTQ6F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 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.06338#ZFQK (example). In F1CYVYK7YB/e1, example 5.5
History
- 2026-10-29: add by m2/v0.4.10
CWVEWAJ4KM CWVEWAJ4KM
| URI | m2://inv/CWVEWAJ4KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#BOAQ (statement). In 4W7ARR1DAR/e1, fact B.17
History
- 2026-10-28: add by m2/v0.4.2
Definition CWVGPVXY5T
| URI | m2://inv/CWVGPVXY5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic space#GSVS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Corollary CWVPD46F5W
| URI | m2://inv/CWVPD46F5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger's theorem#BUHC, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Elements of the theorems CWVQDNB7EP
| URI | m2://inv/CWVQDNB7EP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose–Hawking singularity theorems#WNJK, Elements of the theorems (statement)
History
- 2026-11-02: add by m2/dev
CWVVJCA0S2 CWVVJCA0S2
| URI | m2://inv/CWVVJCA0S2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#RT3Q (definition). In FSD8NE3XSR/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Steven Rudich CWVW58XRXS
| URI | m2://inv/CWVW58XRXS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6Q9R, Steven Rudich (unknown)
History
- 2026-11-02: add by m2/dev
Rational set CWVYDNPEJ8
| URI | m2://inv/CWVYDNPEJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational set, Rational set (definition). Also Wikidata Q7295782
History
- 2026-11-02: add by m2/dev
Lyndon's interpolation theorem CWW1NZDZSW
| URI | m2://inv/CWW1NZDZSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Craig interpolation#BUCI, Lyndon's interpolation theorem (statement)
History
- 2026-11-02: add by m2/dev
CWW70FGJQV CWW70FGJQV
| URI | m2://inv/CWW70FGJQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27687#KAP1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWW7ZTRGGH CWW7ZTRGGH
| URI | m2://inv/CWW7ZTRGGH |
|---|---|
| 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.10660#X8TC (statement). In 1T12A2H411/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
A finite certificate for the floor CWWB8P58XN
| URI | m2://inv/CWWB8P58XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#OTAP, A finite certificate for the floor (statement)
History
- 2026-11-02: add by m2/v0.6.17
Raoul Robert CWWCKDNVEH
| URI | m2://inv/CWWCKDNVEH |
|---|---|
| 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#5IRC, Raoul Robert (unknown)
History
- 2026-11-02: add by m2/dev
Projective tensor product CWWPZQEF6G
| URI | m2://inv/CWWPZQEF6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#7BG0, Projective tensor product (definition)
History
- 2026-11-02: add by m2/dev
CWWY58162Q CWWY58162Q
| URI | m2://inv/CWWY58162Q |
|---|---|
| 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.07790#GNE4 (statement). In A5YJDDM0NX/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Commutative and associative laws CWX1CEMCJG
| URI | m2://inv/CWX1CEMCJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#03DO, Commutative and associative laws (statement)
History
- 2026-11-02: add by m2/dev
Square–cube law CWX5ZK46QX
| URI | m2://inv/CWX5ZK46QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square–cube law, Square–cube law (statement). Also Wikidata Q1527983
History
- 2026-11-02: add by m2/dev
Examples CWXD4HHNCV
| URI | m2://inv/CWXD4HHNCV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of excluded middle#TUSM, Examples (example)
History
- 2026-11-02: add by m2/dev
Cremona diagram CWXE4BPX4Y
| URI | m2://inv/CWXE4BPX4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cremona diagram, Cremona diagram (definition). Also Wikidata Q1139590
History
- 2026-11-02: add by m2/dev
System of polynomial equations CWXE8AQ189
| URI | m2://inv/CWXE8AQ189 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of polynomial equations, System of polynomial equations (definition). Also Wikidata Q7663735
History
- 2026-11-02: add by m2/dev
CWY3667XK8 CWY3667XK8
| URI | m2://inv/CWY3667XK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-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 2609.32138#PXLB (example). In ZG0GNHTCWB/e1, example 4.8
History
- 2026-10-31: add by m2/v0.5.6
Homotopy pullback CWY6H3CJ89
| URI | m2://inv/CWY6H3CJ89 |
|---|---|
| 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.21534#XKFD, Homotopy pullback (example)
History
- 2026-11-02: add by m2/v0.6.18
F CWY9S7XNB6
| URI | m2://inv/CWY9S7XNB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#M0P2, F (definition)
History
- 2026-11-02: add by m2/dev
Photon diffusion equation CWY9YJQPDR
| URI | m2://inv/CWY9YJQPDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Photon diffusion equation, Photon diffusion equation (definition). Also Wikidata Q7187851
History
- 2026-11-02: add by m2/dev
CWYC1QY3DG CWYC1QY3DG
| URI | m2://inv/CWYC1QY3DG |
|---|---|
| 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.12716#BV7W (statement). In M6BCSQSM3R/e1, fact 4
History
- 2026-10-28: add by m2/v0.4.2
CWYJXTSGAH CWYJXTSGAH
| URI | m2://inv/CWYJXTSGAH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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 2610.21866#G5BW (problem). In Q3NMYW8ANH/e1, problem 5.3
History
- 2026-10-27: add by m2/v0.4.2
Examples CWYN0HFR4B
| URI | m2://inv/CWYN0HFR4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unlink#QT3H, Examples (example)
History
- 2026-11-02: add by m2/dev
Rayleigh theorem CWYWTZXNWP
| URI | m2://inv/CWYWTZXNWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beatty sequence#69F5, Rayleigh theorem (statement)
History
- 2026-11-02: add by m2/dev
Psychographics CWYX64E5AD
| URI | m2://inv/CWYX64E5AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychographics, Psychographics (definition). Also Wikidata Q14566736
History
- 2026-11-02: add by m2/dev
CWYY08KSRR CWYY08KSRR
| URI | m2://inv/CWYY08KSRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#4BP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
CWZ4B0VSKW CWZ4B0VSKW
| URI | m2://inv/CWZ4B0VSKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.06334#LUKW (statement). In QD725J6HV4/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Formulas involving the semiperimeter CWZSRPKSXJ
| URI | m2://inv/CWZSRPKSXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiperimeter#Z0F8, Formulas involving the semiperimeter (statement)
History
- 2026-11-02: add by m2/dev
Free-algebra functors CWZSYCCJPM
| URI | m2://inv/CWZSYCCJPM |
|---|---|
| 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.33469#XZZZ, Free-algebra functors (statement). In TC5QA4AB4Z/e1, theorem 3.20
History
- 2026-10-30: add by m2/v0.4.12
Arnold tongue CWZW349FZ7
| URI | m2://inv/CWZW349FZ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Arnold tongue WQF5ASXZTH |
Mentions
- wikidata: Wikidata Q2040587, Arnold tongue (concept). Also MathWorld ArnoldTongue, MathWorld CircleMap
- wikipedia: Wikipedia Arnold tongue, Arnold tongue (definition). Also Wikidata Q2040587
History
- 2026-10-26: add by m2/dev