Inventory rows B8
The cards of the rows of the inventory whose ids start with B8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
B803YB21Q3 B803YB21Q3
| URI | m2://inv/B803YB21Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#CGWE (statement). In WAXS6FS388/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Examples B804PD7X4H
| URI | m2://inv/B804PD7X4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal entropy random walk#G8QN, Examples (example)
History
- 2026-11-02: add by m2/dev
B809PJDF3B B809PJDF3B
| URI | m2://inv/B809PJDF3B |
|---|---|
| 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 2503.08018#H4TO (statement). In TN93YFN45W/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
Theodore Slaman B80GPW3JQ2
| URI | m2://inv/B80GPW3JQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#79LI, Theodore Slaman (topic)
History
- 2026-11-02: add by m2/dev
Mutual information B80VGS0BQK
| URI | m2://inv/B80VGS0BQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#G2ZF, Mutual information (definition)
History
- 2026-11-02: add by m2/dev
Hurst exponent B80W8NM9EK
| URI | m2://inv/B80W8NM9EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1638718, Hurst exponent (unknown). Also MathWorld HurstExponent
- wikipedia: Wikipedia Hurst exponent, Hurst exponent (definition). Also Wikidata Q1638718
History
- 2026-10-26: add by m2/dev
Mapping cone (homological algebra) B80WC1PAA2
| URI | m2://inv/B80WC1PAA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#WD4C, Mapping cone (homological algebra) (definition)
History
- 2026-11-02: add by m2/dev
B80XZ0VKT7 B80XZ0VKT7
| URI | m2://inv/B80XZ0VKT7 |
|---|---|
| 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.22296#P5YK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Absorbing boundary condition B813ZXWCGV
| URI | m2://inv/B813ZXWCGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing boundary condition, Absorbing boundary condition (definition). Also Wikidata Q139961716
History
- 2026-11-02: add by m2/dev
Mathcounts B8141S8HX5
| URI | m2://inv/B8141S8HX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathcounts, Mathcounts (definition). Also Wikidata Q8215856
History
- 2026-11-02: add by m2/dev
B817S99VZH B817S99VZH
| URI | m2://inv/B817S99VZH |
|---|---|
| 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.28200#X82R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prime element B8187XX0VV
| URI | m2://inv/B8187XX0VV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#1QLB, Prime element (unknown)
History
- 2026-11-02: add by m2/dev
George Arthur Plimpton B81B7NRFKB
| URI | m2://inv/B81B7NRFKB |
|---|---|
| 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#V1CQ, George Arthur Plimpton (unknown)
History
- 2026-11-02: add by m2/dev
Charles L. Dolph B81CW60P2V
| URI | m2://inv/B81CW60P2V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles L. Dolph, Charles L. Dolph (topic). Also Wikidata Q87463173
History
- 2026-11-02: add by m2/dev
Estimates on the cascade blocks B81GJNWBM9
| URI | m2://inv/B81GJNWBM9 |
|---|---|
| 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.18797#XW7B, Estimates on the cascade blocks (statement). In HVZW77G66Z/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
B8216RDBCW B8216RDBCW
| URI | m2://inv/B8216RDBCW |
|---|---|
| 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.28203#717X (definition)
History
- 2026-11-01: add by m2/v0.6.15
Heptadecagon B821B27FJ3
| URI | m2://inv/B821B27FJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#L39A, Heptadecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#QHCR, Heptadecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NEOU, Heptadecagon (definition)
History
- 2026-11-02: add by m2/dev
Definition B824SWS11N
| URI | m2://inv/B824SWS11N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#LTA3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wrapped Cauchy distribution B825ED6NP2
| URI | m2://inv/B825ED6NP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J79S, Wrapped Cauchy distribution (definition)
History
- 2026-11-02: add by m2/dev
traditional English name for (the Union of) Myanmar B82GGMESRK
| URI | m2://inv/B82GGMESRK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected future population#OVTE, traditional English name for (the Union of) Myanmar (unknown)
History
- 2026-11-02: add by m2/dev
Examples B82J2B7ZSX
| URI | m2://inv/B82J2B7ZSX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid set#VPGB, Examples (example)
History
- 2026-11-02: add by m2/dev
Initial log-concavity via MCF B82K9KF008
| URI | m2://inv/B82K9KF008 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#2SUT, Initial log-concavity via MCF (statement)
History
- 2026-11-02: add by m2/v0.6.17
B82P8ZDQ08 B82P8ZDQ08
| URI | m2://inv/B82P8ZDQ08 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35625#QP2Q (definition). In 7N144YJM0R/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Tetrahedroid B82SGP1GZX
| URI | m2://inv/B82SGP1GZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedroid, Tetrahedroid (definition). Also Wikidata Q7706527
History
- 2026-11-02: add by m2/dev
Examples B82XSQ74AH
| URI | m2://inv/B82XSQ74AH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact object (mathematics)#D26X, Examples (example)
History
- 2026-11-02: add by m2/dev
cell B831CPFDMS
| URI | m2://inv/B831CPFDMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2733626, cell (unknown). Also MathWorld Cell
History
- 2026-10-26: add by m2/dev
Panjer recursion B832QD1C2C
| URI | m2://inv/B832QD1C2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panjer recursion, Panjer recursion (definition). Also Wikidata Q2049540
History
- 2026-11-02: add by m2/dev
B832SSTVY1 B832SSTVY1
| URI | m2://inv/B832SSTVY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#definition-1 (definition). In RZP28ERRZV, definition, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem. B83CVPKXZ0
| URI | m2://inv/B83CVPKXZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spaces of test functions and distributions#YGAT, Theorem. (statement)
History
- 2026-11-02: add by m2/dev
B83GEZET1S B83GEZET1S
| URI | m2://inv/B83GEZET1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#defdissum (definition). In PKGMM3P5QY, defn, section 71.8
History
- 2026-11-01: add by m2/v0.6.13
B83J56PNC0 B83J56PNC0
| URI | m2://inv/B83J56PNC0 |
|---|---|
| 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 2303.00676#6Q08 (definition). In 5351H04TJY/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.0
B83N9VE0GX B83N9VE0GX
| URI | m2://inv/B83N9VE0GX |
|---|---|
| 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.33900#7ETP (statement). In 119MT2DD89/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
B83REWSNSH B83REWSNSH
| URI | m2://inv/B83REWSNSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-7 (definition). In RZP28ERRZV, definition, section 62.6.1
History
- 2026-11-01: add by m2/v0.6.13
B83Z97VY63 B83Z97VY63
| URI | m2://inv/B83Z97VY63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#NPSO (statement)
History
- 2026-11-01: add by m2/v0.6.15
B84123JMNE B84123JMNE
| URI | m2://inv/B84123JMNE |
|---|---|
| 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.01932#FBLN (statement). In XDKWW6NR0K/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
B845W7S6JQ B845W7S6JQ
| URI | m2://inv/B845W7S6JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#2H9I (statement)
History
- 2026-11-01: add by m2/v0.6.15
B84BRKVJPN B84BRKVJPN
| URI | m2://inv/B84BRKVJPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#W27H (statement). In CY1FE8W1ZW/e1, lemma 0.137
History
- 2026-10-27: add by m2/v0.4.0
B84BTFB6ZG B84BTFB6ZG
| URI | m2://inv/B84BTFB6ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#5V7U (statement). In VP29RN7ZMA/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
integrable B84E5J6YDC
| URI | m2://inv/B84E5J6YDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#YPHM, integrable (definition)
History
- 2026-11-02: add by m2/dev
B84FQWQ29X B84FQWQ29X
| URI | m2://inv/B84FQWQ29X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21491#K1D6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition B84G2W7DVR
| URI | m2://inv/B84G2W7DVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interleaving distance#0JOO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Connection B84GCGPT3N
| URI | m2://inv/B84GCGPT3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (algebraic framework), Connection (definition). Also Wikidata Q5161683
History
- 2026-11-02: add by m2/dev
B84ME0EGPH B84ME0EGPH
| URI | m2://inv/B84ME0EGPH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's problem#O3WS (problem)
History
- 2026-11-02: add by m2/dev
Leftover Hash Lemma B84MRD9CZB
| URI | m2://inv/B84MRD9CZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12413#26G8, Leftover Hash Lemma (statement). In 6EJ8J60SP8/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Notation B84RRJRVWT
| URI | m2://inv/B84RRJRVWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincenty's formulae#5LPC, Notation (definition)
History
- 2026-11-02: add by m2/dev
quadtree B850HPHQ13
| URI | m2://inv/B850HPHQ13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q934791, quadtree (unknown). Also MathWorld Quadtree
History
- 2026-10-26: add by m2/dev
Pseudoscience B859KB1VJV
| URI | m2://inv/B859KB1VJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoscience, Pseudoscience (definition). Also Wikidata Q483677
History
- 2026-11-02: add by m2/dev
B859Y7WW3G B859Y7WW3G
| URI | m2://inv/B859Y7WW3G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#I3ZM (definition). In VQA35Q7C00/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
B85A9MAKW8 B85A9MAKW8
| URI | m2://inv/B85A9MAKW8 |
|---|---|
| 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.15805#BFZV (statement). In 2XVWG0Z18V/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Montserrat Fuentes B85C1CG9FP
| URI | m2://inv/B85C1CG9FP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montserrat Fuentes, Montserrat Fuentes (topic). Also Wikidata Q42383551
History
- 2026-11-02: add by m2/dev
Paradox and resolution B85K4QVWGJ
| URI | m2://inv/B85K4QVWGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olbers' paradox#5IVQ, Paradox and resolution (statement)
History
- 2026-11-02: add by m2/dev
B85P6JKYHW B85P6JKYHW
| URI | m2://inv/B85P6JKYHW |
|---|---|
| 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.26600#7ZSW (statement)
History
- 2026-11-01: add by m2/v0.6.15
B85VM1R8R9 B85VM1R8R9
| URI | m2://inv/B85VM1R8R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#Z09J (statement). In 73QW05MWQB/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
B85VVJWBM7 B85VVJWBM7
| URI | m2://inv/B85VVJWBM7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-74 (exercise). In E9HS8K3A52, exercise, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
B85WEWAKMM B85WEWAKMM
| URI | m2://inv/B85WEWAKMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#8S31 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications B85Y39PKGA
| URI | m2://inv/B85Y39PKGA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Hamilton theorem#C8QP, Applications (example)
History
- 2026-11-02: add by m2/dev
barycentric coordinate system B86AZCZ8T5
| URI | m2://inv/B86AZCZ8T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Barycentric coordinates G0XVRV6QT5 |
Mentions
- wikidata: Wikidata Q738422, barycentric coordinate system (unknown). Also MathWorld BarycentricCoordinates
- wikipedia: Wikipedia Barycentric coordinate system, Barycentric coordinate system (definition). Also Wikidata Q738422
History
- 2026-10-26: add by m2/dev
B86F5ZMKE6 B86F5ZMKE6
| URI | m2://inv/B86F5ZMKE6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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 2302.04566#2QAJ (example). In 80S2NP05HJ/e1, example 3.13
History
- 2026-10-27: add by m2/v0.4.0
Applied Econometrics and International Development B86KBJX31V
| URI | m2://inv/B86KBJX31V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#8L5F, Applied Econometrics and International Development (definition)
History
- 2026-11-02: add by m2/dev
B86M6N0RDF B86M6N0RDF
| URI | m2://inv/B86M6N0RDF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#K0YH (definition). In 17W5G060QX/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem B86M730CQP
| URI | m2://inv/B86M730CQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic set#JYX4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Antonín Václav Šourek B879ZB9T85
| URI | m2://inv/B879ZB9T85 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonín Václav Šourek, Antonín Václav Šourek (topic). Also Wikidata Q12272182
History
- 2026-11-02: add by m2/dev
B87H7W83G5 B87H7W83G5
| URI | m2://inv/B87H7W83G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#07NJ (statement). In NRF7379N9J/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
B882DJYVWK B882DJYVWK
| URI | m2://inv/B882DJYVWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#PB88 (statement). In A1GWWGRXPA/e1, lemma 3.41
History
- 2026-10-27: add by m2/v0.4.2
B885M1G8JN B885M1G8JN
| URI | m2://inv/B885M1G8JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#QSGL (statement). In 751KSRS7WT/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
B8873AHFVJ B8873AHFVJ
| URI | m2://inv/B8873AHFVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#NK81 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B887QK0PBX B887QK0PBX
| URI | m2://inv/B887QK0PBX |
|---|---|
| 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 2301.02848#723Z (statement). In G6WQDW52TJ/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.6
B88AG502RF B88AG502RF
| URI | m2://inv/B88AG502RF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
Rapidity B88F0VFNFQ
| URI | m2://inv/B88F0VFNFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#JGQC, Rapidity (definition)
History
- 2026-11-02: add by m2/dev
Tetrapentagonal tiling B88QCPQD1F
| URI | m2://inv/B88QCPQD1F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrapentagonal tiling, Tetrapentagonal tiling (object). Also Wikidata Q17078558
History
- 2026-11-02: add by m2/dev
B88TV4AQWS B88TV4AQWS
| URI | m2://inv/B88TV4AQWS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-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.34570#9AKH (example). In EVFX1R7ZDD/e1, example 7
History
- 2026-10-30: add by m2/v0.4.12
Maximums Occur On Boundaries B88V52SQ3V
| URI | m2://inv/B88V52SQ3V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#dproblem-1, Maximums Occur On Boundaries (exercise). In RZP28ERRZV, dproblem, section 39.7.2
History
- 2026-11-01: add by m2/v0.6.13
B893RVMXT6 B893RVMXT6
| URI | m2://inv/B893RVMXT6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29824#ONJE (problem)
History
- 2026-11-01: add by m2/v0.6.15
B894A75BHS B894A75BHS
| URI | m2://inv/B894A75BHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#YSPL (statement). In H7DMRWBBJN/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
B89BP8YG7N B89BP8YG7N
| URI | m2://inv/B89BP8YG7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#498A (statement). In MB29RAAQMG/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
substitution B89CYRXVB3
| URI | m2://inv/B89CYRXVB3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/substitution, substitution (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
B89D5EZN79 B89D5EZN79
| URI | m2://inv/B89D5EZN79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03423#9EUN (statement). In 8C5YCMN81V/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
cissoid B89HP8MAT2
| URI | m2://inv/B89HP8MAT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2331607, cissoid (unknown). Also MathWorld Cissoid
- wikipedia: Wikipedia Cissoid, Cissoid (definition). Also Wikidata Q2331607
History
- 2026-10-26: add by m2/dev
Definition B89STMMVBM
| URI | m2://inv/B89STMMVBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid algebra#A5A2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Worm-like chain B89XCN7X6F
| URI | m2://inv/B89XCN7X6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Worm-like chain, Worm-like chain (definition). Also Wikidata Q503490
History
- 2026-11-02: add by m2/dev
Peter M. Gruber B89Y4SVG18
| URI | m2://inv/B89Y4SVG18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WOYI, Peter M. Gruber (topic)
History
- 2026-11-02: add by m2/dev
Virtual fundamental class B89ZPEN98J
| URI | m2://inv/B89ZPEN98J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual fundamental class, Virtual fundamental class (definition). Also Wikidata Q108101855
History
- 2026-11-02: add by m2/dev
Conditional finite-height extension B8A2NPZW80
| URI | m2://inv/B8A2NPZW80 |
|---|---|
| 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.37164#VJ79, Conditional finite-height extension (statement). In B2PG75FSQJ/e1, corollary 6.13
History
- 2026-10-30: add by m2/v0.4.12
Corollary B8A59CYMA6
| URI | m2://inv/B8A59CYMA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether normalization lemma#E48L, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Examples B8A7VZMR9Y
| URI | m2://inv/B8A7VZMR9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Minkowski–Siegel mass formula#WUTO, Examples (example)
History
- 2026-11-02: add by m2/dev
Edmonds matrix B8A98WVQN0
| URI | m2://inv/B8A98WVQN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#R4GB, Edmonds matrix (definition)
History
- 2026-11-02: add by m2/dev
Open questions B8AE4A167R
| URI | m2://inv/B8AE4A167R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong positional game#JC4M, Open questions (statement)
History
- 2026-11-02: add by m2/dev
Favard's theorem B8AGFMAMKX
| URI | m2://inv/B8AGFMAMKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#TXCV, Favard's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples B8AJQ84R7Q
| URI | m2://inv/B8AJQ84R7Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base (topology)#CNIK, Examples (example)
History
- 2026-11-02: add by m2/dev
The procedure B8AMY87RAV
| URI | m2://inv/B8AMY87RAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Størmer's theorem#5F4M, The procedure (definition)
History
- 2026-11-02: add by m2/dev
B8AMZQ2K0D B8AMZQ2K0D
| URI | m2://inv/B8AMZQ2K0D |
|---|---|
| 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 2502.09442#M5U4 (statement). In DNT32YYDM4/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
Affine differential geometry B8AP5XTP6T
| URI | m2://inv/B8AP5XTP6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine differential geometry, Affine differential geometry (definition). Also Wikidata Q4688939
History
- 2026-11-02: add by m2/dev
B8AQE9B5Q8 B8AQE9B5Q8
| URI | m2://inv/B8AQE9B5Q8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#GAEW (statement). In EZZSZ1F071/e1, fact 3.8
History
- 2026-10-27: add by m2/v0.4.0
Polynomial security B8AS2GKRSF
| URI | m2://inv/B8AS2GKRSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic security#VHOP, Polynomial security (unknown)
History
- 2026-11-02: add by m2/dev
List of applications of signal processing B8AZ114NYJ
| URI | m2://inv/B8AZ114NYJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal processing#Q6KX, List of applications of signal processing (unknown)
History
- 2026-11-02: add by m2/dev
B8B1R39AFX B8B1R39AFX
| URI | m2://inv/B8B1R39AFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#K5WY (statement). In CC6S1HVK0T/e1, proposition 5.18
History
- 2026-10-28: add by m2/v0.4.2
Response bias B8BBQX0FTH
| URI | m2://inv/B8BBQX0FTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AMZ3, Response bias (definition)
History
- 2026-11-02: add by m2/dev
Montgomery ladder B8BBY0F97F
| URI | m2://inv/B8BBY0F97F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve point multiplication#Y7DV, Montgomery ladder (unknown)
History
- 2026-11-02: add by m2/dev
B8BQB5ZZE0 B8BQB5ZZE0
| URI | m2://inv/B8BQB5ZZE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 33.2.3
History
- 2026-11-01: add by m2/v0.6.13
J-0 ring B8BRHF7480
| URI | m2://inv/B8BRHF7480 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#86RV, J-0 ring (definition)
History
- 2026-11-02: add by m2/dev
John Speidell B8BRXRF04V
| URI | m2://inv/B8BRXRF04V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Speidell, John Speidell (topic). Also Wikidata Q15984704
History
- 2026-11-02: add by m2/dev
Leggett–Garg inequality B8BSFCSF5X
| URI | m2://inv/B8BSFCSF5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#7KJ5, Leggett–Garg inequality (statement)
History
- 2026-11-02: add by m2/dev
B8BSKVHA4W B8BSKVHA4W
| URI | m2://inv/B8BSKVHA4W |
|---|---|
| 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 2601.10958#7G8C (statement). In 4W55AH5T6R/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Gaussian cross terms B8BTNBE1Y2
| URI | m2://inv/B8BTNBE1Y2 |
|---|---|
| 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.23558#B10Z, Gaussian cross terms (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition B8BYDBHKJE
| URI | m2://inv/B8BYDBHKJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic character#758H, Definition (definition)
History
- 2026-11-02: add by m2/dev
cofibration B8C00NJVCX
| URI | m2://inv/B8C00NJVCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cofibration W5WS5EY8ZM |
Mentions
- wikidata: Wikidata Q1048949, cofibration (unknown). Also nLab cofibration
- wikipedia: Wikipedia Cofibration, Cofibration (definition). Also Wikidata Q1048949
History
- 2026-10-26: add by m2/dev
\textsf{Uniform approximation in path norm B8C3KXDHA4
| URI | m2://inv/B8C3KXDHA4 |
|---|---|
| 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.09404#EAID, \textsf{Uniform approximation in path norm (statement). In D7CZZ48FRN/e1, proposition 1.6
History
- 2026-10-29: add by m2/v0.4.10
University of Liverpool Mathematics School B8C9D2FZZ9
| URI | m2://inv/B8C9D2FZZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia University of Liverpool Mathematics School, University of Liverpool Mathematics School (definition). Also Wikidata Q111948833
History
- 2026-11-02: add by m2/dev
Fourier sine transform B8CAW1MM7V
| URI | m2://inv/B8CAW1MM7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124684079, Fourier sine transform (unknown). Also MathWorld FourierSineTransform
History
- 2026-10-26: add by m2/dev
Haynsworth inertia additivity formula B8CJE0M2EN
| URI | m2://inv/B8CJE0M2EN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haynsworth inertia additivity formula, Haynsworth inertia additivity formula (statement). Also Wikidata Q5687106
History
- 2026-11-02: add by m2/dev
B8CMN13D6B B8CMN13D6B
| URI | m2://inv/B8CMN13D6B |
|---|---|
| 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#JXM8 (statement). In E7W2HDNEKJ/e1, theorem 6.24
History
- 2026-10-30: add by m2/v0.4.12
B8D57N42MD B8D57N42MD
| URI | m2://inv/B8D57N42MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#QB1C (statement)
History
- 2026-11-01: add by m2/v0.6.15
No-slip condition and Biot–Savart law B8DKZ79WSE
| URI | m2://inv/B8DKZ79WSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' paradox#D8AP, No-slip condition and Biot–Savart law (statement)
History
- 2026-11-02: add by m2/dev
B8DR5G8XTM B8DR5G8XTM
| URI | m2://inv/B8DR5G8XTM |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#6ZE1 (statement). In CY1FE8W1ZW/e1, theorem 0.228
History
- 2026-10-27: add by m2/v0.3.5
Emanuels Grīnbergs B8DS5XD27Y
| URI | m2://inv/B8DS5XD27Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuels Grīnbergs, Emanuels Grīnbergs (topic). Also Wikidata Q5369211
History
- 2026-11-02: add by m2/dev
B8E2E8SFHV B8E2E8SFHV
| URI | m2://inv/B8E2E8SFHV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/ordtype.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 73.1
History
- 2026-11-01: add by m2/v0.6.13
Garnet Anderson B8E8WT66YW
| URI | m2://inv/B8E8WT66YW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#42H1, Garnet Anderson (topic)
History
- 2026-11-02: add by m2/dev
B8EC2XYTE6 B8EC2XYTE6
| URI | m2://inv/B8EC2XYTE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#Z41H (statement). In JS5FKV1S9T/e1, lemma F.3
History
- 2026-10-27: add by m2/v0.3.5
B8EF9K6PHD B8EF9K6PHD
| URI | m2://inv/B8EF9K6PHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#VSB4 (statement). In 90QTB4CC31/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Example 7 B8EJW2A8E1
| URI | m2://inv/B8EJW2A8E1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#8UI7, Example 7 (example)
History
- 2026-11-02: add by m2/dev
Icosahedral 120-cell B8ENS6TMN4
| URI | m2://inv/B8ENS6TMN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosahedral 120-cell, Icosahedral 120-cell (definition). Also Wikidata Q3144547
History
- 2026-11-02: add by m2/dev
Mason–Stothers theorem B8EP3N0W4H
| URI | m2://inv/B8EP3N0W4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YHE1, Mason–Stothers theorem (statement)
History
- 2026-11-02: add by m2/dev
Gustav Fechner B8ER6P4VRR
| URI | m2://inv/B8ER6P4VRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#LD6V, Gustav Fechner (topic)
History
- 2026-11-02: add by m2/dev
Concentration of support B8F2R11K0V
| URI | m2://inv/B8F2R11K0V |
|---|---|
| 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.20609#LOMH, Concentration of support (statement)
History
- 2026-11-02: add by m2/v0.6.18
Known characteristic B8F5R9147H
| URI | m2://inv/B8F5R9147H |
|---|---|
| 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 1308.2487#G3GY, Known characteristic (statement). In 322XSWF4EA/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Pinchable multicurves B8F8XVEV8Z
| URI | m2://inv/B8F8XVEV8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#FKBJ, Pinchable multicurves (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Mordell; 1934) B8FJAGPP43
| URI | m2://inv/B8FJAGPP43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#PXHL, Theorem (Mordell; 1934) (statement)
History
- 2026-11-02: add by m2/dev
B8FKYKEQWN B8FKYKEQWN
| URI | m2://inv/B8FKYKEQWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#FGE9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
H B8FMW2A52R
| URI | m2://inv/B8FMW2A52R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#6EZG, H (definition)
History
- 2026-11-02: add by m2/dev
Nuclear Gelfand pair B8FQCQTY51
| URI | m2://inv/B8FQCQTY51 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14906#RJ6R, Nuclear Gelfand pair (definition). In 1F8ENX770M/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Locally Lp B8FY6E2AGX
| URI | m2://inv/B8FY6E2AGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally integrable function#P0G7, Locally Lp (unknown)
History
- 2026-11-02: add by m2/dev
B8G0HJVK10 B8G0HJVK10
| URI | m2://inv/B8G0HJVK10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#3XUT (statement). In GX0K0ZM700/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
B8G8MA5E38 B8G8MA5E38
| URI | m2://inv/B8G8MA5E38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-34 (definition). In VNMV985MXX, defn, section D
History
- 2026-11-01: add by m2/v0.6.13
B8GANWGZWQ B8GANWGZWQ
| URI | m2://inv/B8GANWGZWQ |
|---|---|
| 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.38865#YL4Z (statement). In TFZNHCE6EV/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Matrix grammar B8GMMHNNCV
| URI | m2://inv/B8GMMHNNCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix grammar, Matrix grammar (definition). Also Wikidata Q4284941
History
- 2026-11-02: add by m2/dev
B8GT2153YR B8GT2153YR
| URI | m2://inv/B8GT2153YR |
|---|---|
| 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.08672#MHY2 (statement). In 55X5V0M3K7/e1, lemma
History
- 2026-10-27: add by m2/v0.3.6
symplectic group B8GY8099T3
| URI | m2://inv/B8GY8099T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Symplectic group X12FS2JAP0 |
Mentions
- wikidata: Wikidata Q936434, symplectic group (unknown). Also LMFDB knowl group.sp2gr, MathWorld SymplecticGroup, nLab symplectic group
- wikipedia: Wikipedia Symplectic group, Symplectic group (definition). Also Wikidata Q936434
History
- 2026-10-26: add by m2/dev
Viennot's geometric construction B8GZ32W8XY
| URI | m2://inv/B8GZ32W8XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viennot's geometric construction, Viennot's geometric construction (definition). Also Wikidata Q2995290
History
- 2026-11-02: add by m2/dev
Christian Beyel B8H7WRESXQ
| URI | m2://inv/B8H7WRESXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Beyel, Christian Beyel (topic). Also Wikidata Q37731138
History
- 2026-11-02: add by m2/dev
Definition B8HEBRHCMB
| URI | m2://inv/B8HEBRHCMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson function#Q2E7, Definition (definition)
History
- 2026-11-02: add by m2/dev
B8HG1EA7H1 B8HG1EA7H1
| URI | m2://inv/B8HG1EA7H1 |
|---|---|
| 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#Y3FS (statement). In ZQDX8E43SQ/e1, corollary 6.1
History
- 2026-10-30: add by m2/v0.4.12
Density B8HZT6HBME
| URI | m2://inv/B8HZT6HBME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#M2QC, Density (statement)
History
- 2026-11-01: add by m2/v0.6.15
B8J2E8KJE2 B8J2E8KJE2
| URI | m2://inv/B8J2E8KJE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36300#J2ES (statement). In MNWD3Y6W56/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Estonian Mathematical Society B8J41FYY8X
| URI | m2://inv/B8J41FYY8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#N8VX, Estonian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Reparameterization B8J4T4K1R7
| URI | m2://inv/B8J4T4K1R7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametrization (geometry)#C57L, Reparameterization (unknown)
History
- 2026-11-02: add by m2/dev
B8JE3H99HT B8JE3H99HT
| URI | m2://inv/B8JE3H99HT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
G\"{u}ne\c{s} Akta\c{s}, 2019 B8K42A37QD
| URI | m2://inv/B8K42A37QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16408#NWQV, G\"{u}ne\c{s} Akta\c{s}, 2019 (statement). In VGQ2QT73ZF/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
B8KPY0BWR5 B8KPY0BWR5
| URI | m2://inv/B8KPY0BWR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38212#5CGE (statement). In 5821K2RD8J/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
B8KZENMWRN B8KZENMWRN
| URI | m2://inv/B8KZENMWRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#O4L7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexandrov space B8KZETHDJH
| URI | m2://inv/B8KZETHDJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Alexandrov space 71AWVBG6KH |
Mentions
- wikidata: Wikidata Q28401130, Alexandrov space (unknown). Also nLab Alexandrov space
- wikipedia: Wikipedia Alexandrov space, Alexandrov space (definition). Also Wikidata Q28401130
History
- 2026-10-26: add by m2/dev
B8M0J1NES7 B8M0J1NES7
| URI | m2://inv/B8M0J1NES7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#ordinalsaresubsets (statement). In PKGMM3P5QY, prop, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
B8M21FXY9V B8M21FXY9V
| URI | m2://inv/B8M21FXY9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#6C8P (statement). In RYFV9HGWWZ/e1, proposition 42
History
- 2026-10-27: add by m2/v0.3.5
Examples B8M2R0P25D
| URI | m2://inv/B8M2R0P25D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive ring#GIV2, Examples (example)
History
- 2026-11-02: add by m2/dev
B8M67JGAYB B8M67JGAYB
| URI | m2://inv/B8M67JGAYB |
|---|---|
| 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#V5PA (statement). In KS30K5JXGB/e1, lemma B.8
History
- 2026-10-28: add by m2/v0.4.2
Terminology B8MB3HMXAX
| URI | m2://inv/B8MB3HMXAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducibility#EG67, Terminology (definition)
History
- 2026-11-02: add by m2/dev
B8MD217HEC B8MD217HEC
| URI | m2://inv/B8MD217HEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#YM2Q (statement). In 9PXXGQ978Z/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Example B8MN7RPYMA
| URI | m2://inv/B8MN7RPYMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann invariant#8ZI3, Example (example)
History
- 2026-11-02: add by m2/dev
B8MSRMMRA6 B8MSRMMRA6
| URI | m2://inv/B8MSRMMRA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#2QXL (statement). In 2381M4GBTT/e1, proposition 11.3
History
- 2026-10-29: add by m2/v0.4.12
Elena Marchisotto B8MT09FHYA
| URI | m2://inv/B8MT09FHYA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Marchisotto, Elena Marchisotto (topic). Also Wikidata Q58495305
History
- 2026-11-02: add by m2/dev
B8MZV7HMVE B8MZV7HMVE
| URI | m2://inv/B8MZV7HMVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00060#9DG4 (statement). In REPP96MPBH/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
B8N2YSMGQQ B8N2YSMGQQ
| URI | m2://inv/B8N2YSMGQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#6IAD (statement). In F71MS1F637/e1, theorem 5.27
History
- 2026-10-30: add by m2/v0.4.12
B8N8EKKHAM B8N8EKKHAM
| URI | m2://inv/B8N8EKKHAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#07O8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B8NFT9RXRB B8NFT9RXRB
| URI | m2://inv/B8NFT9RXRB |
|---|---|
| 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.08288#1NNB (statement). In CHVWYJM7RM/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
B8NPX8YGN6 B8NPX8YGN6
| URI | m2://inv/B8NPX8YGN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#LDNF (statement). In WRE0P7V6Z3/e1, lemma 12.3
History
- 2026-10-30: add by m2/v0.4.12
B8PEDM99JS B8PEDM99JS
| URI | m2://inv/B8PEDM99JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#Z0P9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adriaan Vlacq B8PQ7S73F8
| URI | m2://inv/B8PQ7S73F8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriaan Vlacq, Adriaan Vlacq (topic). Also Wikidata Q2420772
History
- 2026-11-02: add by m2/dev
B8PSRF35GG B8PSRF35GG
| URI | m2://inv/B8PSRF35GG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.18390#RMGT (example). In A1E8BB0QHC/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
B8PTNRDS21 B8PTNRDS21
| URI | m2://inv/B8PTNRDS21 |
|---|---|
| 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.31102#IRDX (statement). In 7CADATJMAA/e1, theorem 7.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem B8PYBJ88KG
| URI | m2://inv/B8PYBJ88KG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creative and productive sets#QICN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Boundary certificate B8Q33E2SGY
| URI | m2://inv/B8Q33E2SGY |
|---|---|
| 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.17677#GE4P, Boundary certificate (statement). In 5E9G06XJKC/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Bakshi--Guin Equivalence B8Q6DPSNYR
| URI | m2://inv/B8Q6DPSNYR |
|---|---|
| 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 2609.34856#TLUT, Bakshi--Guin Equivalence (definition). In MRR92GQNZE/e1, definition 3.11
History
- 2026-10-30: add by m2/v0.4.12
Properties B8QRC9H0ZR
| URI | m2://inv/B8QRC9H0ZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set (topological vector space)#V54T, Properties (statement)
History
- 2026-11-02: add by m2/dev
B8QZFPS0XJ B8QZFPS0XJ
| URI | m2://inv/B8QZFPS0XJ |
|---|---|
| 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.33050#VKTO (statement). In VDSBMQ0G9W/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Ruth Ann Killion B8R65SC8EC
| URI | m2://inv/B8R65SC8EC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MMRD, Ruth Ann Killion (topic)
History
- 2026-11-02: add by m2/dev
Split Lie algebra B8R6WYBDGG
| URI | m2://inv/B8R6WYBDGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split Lie algebra, Split Lie algebra (definition). Also Wikidata Q7578643
History
- 2026-11-02: add by m2/dev
Projection pursuit regression B8R8Z5X3SM
| URI | m2://inv/B8R8Z5X3SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection pursuit regression, Projection pursuit regression (definition). Also Wikidata Q5155463
History
- 2026-11-02: add by m2/dev
Identity and zero B8RD85FRT4
| URI | m2://inv/B8RD85FRT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#RJ78, Identity and zero (statement)
History
- 2026-11-02: add by m2/dev
Applications B8RE8JAT4B
| URI | m2://inv/B8RE8JAT4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener filter#8KMU, Applications (example)
History
- 2026-11-02: add by m2/dev
Euclid's lemma B8REDDA7G0
| URI | m2://inv/B8REDDA7G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#Y66Y, Euclid's lemma (statement)
- wikipedia: Wikipedia List of lemmas#J0RP, Euclid's lemma (statement)
History
- 2026-11-02: add by m2/dev
Small-budget expansion of the reweighting problem B8RG6580C8
| URI | m2://inv/B8RG6580C8 |
|---|---|
| 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.07162#0JAT, Small-budget expansion of the reweighting problem (statement). In MQEB9ZHQAT/e1, lemma C.9
History
- 2026-10-29: add by m2/v0.4.10
Convexity of the generating bifunction B8RNFYZXX9
| URI | m2://inv/B8RNFYZXX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#Y5LZ, Convexity of the generating bifunction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Naama Barkai B8RS2HXMFP
| URI | m2://inv/B8RS2HXMFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0KPP, Naama Barkai (unknown)
History
- 2026-11-02: add by m2/dev
Spatial coin B8S18FMWSQ
| URI | m2://inv/B8S18FMWSQ |
|---|---|
| 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.11330#HSWM, Spatial coin (statement). In Z73GKA9WDB/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.3
B8S869HB8M B8S869HB8M
| URI | m2://inv/B8S869HB8M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#QHOT (example). In 8M7BFVQYMM/e1, example 4.2
History
- 2026-10-28: add by m2/v0.4.3
Greg Lawler B8S9EN8ZBG
| URI | m2://inv/B8S9EN8ZBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N2R3, Greg Lawler (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1XC8, Greg Lawler (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AWM9, Greg Lawler (unknown)
History
- 2026-11-02: add by m2/dev
B8S9H1ZD94 B8S9H1ZD94
| URI | m2://inv/B8S9H1ZD94 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 73.7
History
- 2026-11-01: add by m2/v0.6.13
B8SAQTRNDW B8SAQTRNDW
| URI | m2://inv/B8SAQTRNDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0903.1504#81U2 (statement). In D5YZ438QTY/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Internal hypercovers and chart targets B8SHPVSB7A
| URI | m2://inv/B8SHPVSB7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#PWPR, Internal hypercovers and chart targets (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wald test B8STNTRBXS
| URI | m2://inv/B8STNTRBXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#SW6R, Wald test (definition)
- wikipedia: Wikipedia List of statistics articles#DSDH, Wald test (definition)
History
- 2026-11-02: add by m2/dev
Stanley–Reisner ring B8T5EACJDY
| URI | m2://inv/B8T5EACJDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#13F7, Stanley–Reisner ring (definition)
History
- 2026-11-02: add by m2/dev
Special cases B8TAXWPCKC
| URI | m2://inv/B8TAXWPCKC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian oval#N120, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Definition B8TB7W1Z4F
| URI | m2://inv/B8TB7W1Z4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisection#QI9Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Darboux function B8TDZZKXV7
| URI | m2://inv/B8TDZZKXV7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux's theorem (analysis)#XL9G, Darboux function (unknown)
History
- 2026-11-02: add by m2/dev
Adhémar Barré de Saint-Venant B8TEE0KSWA
| URI | m2://inv/B8TEE0KSWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adhémar Barré de Saint-Venant, Adhémar Barré de Saint-Venant (topic). Also Wikidata Q560333
History
- 2026-11-02: add by m2/dev
B8TFPB4T12 B8TFPB4T12
| URI | m2://inv/B8TFPB4T12 |
|---|---|
| Kind | exercise |
| 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#prob-2 (exercise). In PKGMM3P5QY, prob, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Carathéodory's criterion B8THSF6MPD
| URI | m2://inv/B8THSF6MPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's criterion, Carathéodory's criterion (statement). Also Wikidata Q5037750
History
- 2026-11-02: add by m2/dev
Convergence of the Integrity Function B8TNRSYY0K
| URI | m2://inv/B8TNRSYY0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#HZPY, Convergence of the Integrity Function (statement). In QJ1G1HBC6C/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
Plato B8TTA5KTB3
| URI | m2://inv/B8TTA5KTB3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q859, Plato (unknown). Also nLab Plato, ProofWiki Mathematician:Plato
- wikipedia: Wikipedia Plato, Plato (topic). Also Wikidata Q859
History
- 2026-10-26: add by m2/dev
Closed term, combinator B8TV5GJ77Y
| URI | m2://inv/B8TV5GJ77Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#defn-3, Closed term, combinator (definition). In PKGMM3P5QY, defn, section 38.14
History
- 2026-11-01: add by m2/v0.6.13
B8TWDD8TRF B8TWDD8TRF
| URI | m2://inv/B8TWDD8TRF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#7DMZ (definition). In PG0B4PH9YH/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.4.2
Notation B8V02D5KRC
| URI | m2://inv/B8V02D5KRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper-convected time derivative#4MVF, Notation (definition)
History
- 2026-11-02: add by m2/dev
B8V1H8XNYJ B8V1H8XNYJ
| URI | m2://inv/B8V1H8XNYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-6 (definition). In RZP28ERRZV, definition, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
Alessandro Volta B8V3P09Z26
| URI | m2://inv/B8V3P09Z26 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#AE0J, Alessandro Volta (unknown)
History
- 2026-11-02: add by m2/dev
B8V4WP6333 B8V4WP6333
| URI | m2://inv/B8V4WP6333 |
|---|---|
| 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.33941#DCQV (statement). In 64YCRQCKZN/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
B8V822X84J B8V822X84J
| URI | m2://inv/B8V822X84J |
|---|---|
| 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 2104.00162#XBE9 (definition). In HVGT9D84WV/e1, definition 1.24
History
- 2026-10-27: add by m2/v0.3.5
B8VNB79PR0 B8VNB79PR0
| URI | m2://inv/B8VNB79PR0 |
|---|---|
| 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 0904.3493#Y8OJ (statement). In 1ARY7220P4/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
B8VVRBMNB0 B8VVRBMNB0
| URI | m2://inv/B8VVRBMNB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33651#2F58 (statement). In 69DBD2HKGK/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
Entropy identities for a cover and for a union B8W3F7BW2B
| URI | m2://inv/B8W3F7BW2B |
|---|---|
| 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.03683#VRO8, Entropy identities for a cover and for a union (statement). In 14AMXF6X2V/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Persistence under additional factors B8W617C5FZ
| URI | m2://inv/B8W617C5FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#6BYY, Persistence under additional factors (statement)
History
- 2026-11-01: add by m2/v0.6.15
B8W81J8WG0 B8W81J8WG0
| URI | m2://inv/B8W81J8WG0 |
|---|---|
| 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.21533#QCPT (statement). In N3Z6JFEPCF/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Census Enumerators' Books B8W8BBACD6
| URI | m2://inv/B8W8BBACD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census Enumerators' Books, Census Enumerators' Books (definition). Also Wikidata Q5058959
History
- 2026-11-02: add by m2/dev
Jacob's ladder surface B8WD7HGJ6Y
| URI | m2://inv/B8WD7HGJ6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob's ladder surface, Jacob's ladder surface (definition). Also Wikidata Q6118238
History
- 2026-11-02: add by m2/dev
Barbara Keyfitz B8WGA2ZV25
| URI | m2://inv/B8WGA2ZV25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LYRY, Barbara Keyfitz (topic)
History
- 2026-11-02: add by m2/dev
lying over property B8WH9NY4TV
| URI | m2://inv/B8WH9NY4TV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#YAPZ, lying over property (definition)
History
- 2026-11-02: add by m2/dev
Parallel one-row chains B8WJVR68VX
| URI | m2://inv/B8WJVR68VX |
|---|---|
| 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.05442#ERB2, Parallel one-row chains (statement). In WEPE51JCHZ/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Hinge theorem B8WKKSQTDK
| URI | m2://inv/B8WKKSQTDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#53LI, Hinge theorem (statement)
History
- 2026-11-02: add by m2/dev
Armenia B8WQA7A1E6
| URI | m2://inv/B8WQA7A1E6 |
|---|---|
| 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 Q399, Armenia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Armenia
History
- 2026-10-26: add by m2/dev
Formula editor B8WX1CYV4Y
| URI | m2://inv/B8WX1CYV4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula editor, Formula editor (statement). Also Wikidata Q1345429
History
- 2026-11-02: add by m2/dev
B8WX3N4B6J B8WX3N4B6J
| URI | m2://inv/B8WX3N4B6J |
|---|---|
| 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.12329#2HNC (statement). In ZJQB9W60T6/e1, lemma 8.7
History
- 2026-10-28: add by m2/v0.4.2
B8WZTA9D28 B8WZTA9D28
| URI | m2://inv/B8WZTA9D28 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.10361#BZ8R (problem). In 65ED1ZXG98/e1, problem 1.2
History
- 2026-10-27: add by m2/v0.3.6
B8X7M77R50 B8X7M77R50
| URI | m2://inv/B8X7M77R50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#RB6R (statement)
History
- 2026-11-02: add by m2/v0.6.18
B8XHXBPHVV B8XHXBPHVV
| URI | m2://inv/B8XHXBPHVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05914#EU0B (statement). In V8MYP6MBAZ/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
B8XK87C7AA B8XK87C7AA
| URI | m2://inv/B8XK87C7AA |
|---|---|
| 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.18152#FRME (statement). In AAVGAGCWTE/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Ernst Hellinger B8XPYVW1Z0
| URI | m2://inv/B8XPYVW1Z0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Hellinger, Ernst Hellinger (topic). Also Wikidata Q91663
History
- 2026-11-02: add by m2/dev
category, gaunt B8XQQSYXGD
| URI | m2://inv/B8XQQSYXGD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/category-gaunt, category, gaunt (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
B8XREB6PAJ B8XREB6PAJ
| URI | m2://inv/B8XREB6PAJ |
|---|---|
| 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.24363#ZNO9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Low-positive contribution seam theorem for positive \(r\ B8XTNBFAK8
| URI | m2://inv/B8XTNBFAK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#81TV, Low-positive contribution seam theorem for positive \(r\ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Inexact line search B8XZ2R62MN
| URI | m2://inv/B8XZ2R62MN |
|---|---|
| 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#UC95, Inexact line search (statement). In DWQANBV7B7/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Intrinsic derivative and L-differentiable B8Y0CFZRZ8
| URI | m2://inv/B8Y0CFZRZ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10636#WTFG, Intrinsic derivative and L-differentiable (definition). In 9SV2RAEPXM/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
B8Y66KQF02 B8Y66KQF02
| URI | m2://inv/B8Y66KQF02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#J20V (statement). In A93R925Z24/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
$G$ encodes distinct real numbers B8Y9C0A6NZ
| URI | m2://inv/B8Y9C0A6NZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#lemma-1, $G$ encodes distinct real numbers (statement). In RZP28ERRZV, lemma, section 88.1
History
- 2026-11-01: add by m2/v0.6.13
Derangements-to-invariants map B8Z2J6FETN
| URI | m2://inv/B8Z2J6FETN |
|---|---|
| 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 2610.10745#HBV5, Derangements-to-invariants map (definition). In 5MJ4NJ5ZCV/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.3
B8Z3JAR7T4 B8Z3JAR7T4
| URI | m2://inv/B8Z3JAR7T4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#prop:provability-land (statement). In PKGMM3P5QY, prop, section 17.8
History
- 2026-11-01: add by m2/v0.6.13
Applications B8ZKVTBGHP
| URI | m2://inv/B8ZKVTBGHP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sérsic profile#POXI, Applications (example)
History
- 2026-11-02: add by m2/dev
Product-overlap bound B8ZVC8C6XF
| URI | m2://inv/B8ZVC8C6XF |
|---|---|
| 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.38815#TMSV, Product-overlap bound (statement). In 2CEETN5YTZ/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12