Inventory rows V1
The cards of the rows of the inventory whose ids start with V1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
V105A7M9A2 V105A7M9A2
| URI | m2://inv/V105A7M9A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#thm:fund_fg_abelian_group (statement). In RZP28ERRZV, theorem, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Example V10EQF1V4Q
| URI | m2://inv/V10EQF1V4Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpositions matrix#B6B0, Example (example)
History
- 2026-11-02: add by m2/dev
Domain decomposition methods V10H0T2972
| URI | m2://inv/V10H0T2972 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#IHN1, Domain decomposition methods (definition)
History
- 2026-11-02: add by m2/dev
V10HRQE8FD V10HRQE8FD
| URI | m2://inv/V10HRQE8FD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-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 2609.35229#2JXQ (definition). In XBAXW1YBAK/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Example V10N4DTV1C
| URI | m2://inv/V10N4DTV1C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrating factor#YXM2, Example (example)
History
- 2026-11-02: add by m2/dev
Elliptic regularity theorems V10Q04X1XP
| URI | m2://inv/V10Q04X1XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic operator#F1DP, Elliptic regularity theorems (statement)
History
- 2026-11-02: add by m2/dev
Uniform k21 polytope V10SA400FS
| URI | m2://inv/V10SA400FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JCUD, Uniform k21 polytope (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q959, Uniform k21 polytope (definition)
History
- 2026-11-02: add by m2/dev
Properties V11BN5YWKB
| URI | m2://inv/V11BN5YWKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood system#6EG8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cryptography law V11NX8P8A5
| URI | m2://inv/V11NX8P8A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography law, Cryptography law (statement). Also Wikidata Q5190945
History
- 2026-11-02: add by m2/dev
V11VVFXPVX V11VVFXPVX
| URI | m2://inv/V11VVFXPVX |
|---|---|
| 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 2609.29304#XJE0 (example)
History
- 2026-11-01: add by m2/v0.6.15
Francis Bacon V11WCFZ9MJ
| URI | m2://inv/V11WCFZ9MJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Bacon, Francis Bacon (topic). Also Wikidata Q37388
History
- 2026-11-02: add by m2/dev
Boolean algebra (structure) V121QV2YZR
| URI | m2://inv/V121QV2YZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#RPCG, Boolean algebra (structure) (definition)
- wikipedia: Wikipedia List of commutative algebra topics#283A, Boolean algebra (structure) (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#FYIL, Boolean algebra (structure) (definition)
History
- 2026-11-02: add by m2/dev
Hopf–Rinow theorem V12825FZVZ
| URI | m2://inv/V12825FZVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#4FYH, Hopf–Rinow theorem (statement)
History
- 2026-11-02: add by m2/dev
V12GN6W8SF V12GN6W8SF
| URI | m2://inv/V12GN6W8SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25854#PWUU (statement)
History
- 2026-11-01: add by m2/v0.6.15
V12K079TAA V12K079TAA
| URI | m2://inv/V12K079TAA |
|---|---|
| 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#9RC9 (statement). In WAXS6FS388/e1, theorem H
History
- 2026-10-30: add by m2/v0.4.12
V12Q3JQ8PH V12Q3JQ8PH
| URI | m2://inv/V12Q3JQ8PH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#9G1R (definition). In 3A4K47Y9F2/e1, definition 2.25
History
- 2026-10-27: add by m2/v0.4.0
Location test V12WXYEDZ7
| URI | m2://inv/V12WXYEDZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RX7S, Location test (definition)
History
- 2026-11-02: add by m2/dev
V12XXZ554P V12XXZ554P
| URI | m2://inv/V12XXZ554P |
|---|---|
| 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 2403.02207#9LB6 (statement). In 1T3ZYPQZF0/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.6
section V12ZFD7Y0E
| URI | m2://inv/V12ZFD7Y0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17103180, section (unknown). Also MathWorld RightInverse, nLab section
History
- 2026-10-26: add by m2/dev
V134QZBB0F V134QZBB0F
| URI | m2://inv/V134QZBB0F |
|---|---|
| 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.09672#SOYO (statement). In TXBXCPP0QH/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
Sharp potential bounds V135TV686D
| URI | m2://inv/V135TV686D |
|---|---|
| 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#IF5M, Sharp potential bounds (statement). In ET0TQ8YF7Z/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
V1379P7RBQ V1379P7RBQ
| URI | m2://inv/V1379P7RBQ |
|---|---|
| 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.00789#ZGK7 (definition). In 4WPYBTARS2/e1, definition 4.17
History
- 2026-10-29: add by m2/v0.4.12
Formal statement of Stallings' theorem V13DC9YX2P
| URI | m2://inv/V13DC9YX2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stallings theorem about ends of groups#88OD, Formal statement of Stallings' theorem (statement)
History
- 2026-11-02: add by m2/dev
V13NC7SQ3Y V13NC7SQ3Y
| URI | m2://inv/V13NC7SQ3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#G011 (statement). In 37S7MNMZ2F/e1, proposition 40
History
- 2026-10-27: add by m2/v0.3.5
Antiferroelectric regime V13PDPF7R6
| URI | m2://inv/V13PDPF7R6 |
|---|---|
| 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.20576#4HAS, Antiferroelectric regime (statement)
History
- 2026-11-02: add by m2/v0.6.18
V13PQSCRTZ V13PQSCRTZ
| URI | m2://inv/V13PQSCRTZ |
|---|---|
| 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 2208.06310#JK5B (statement). In 9YR0E0T9XA/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
V142XDMA2Z V142XDMA2Z
| URI | m2://inv/V142XDMA2Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/truth-at-w.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
V143TMV36E V143TMV36E
| URI | m2://inv/V143TMV36E |
|---|---|
| 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.06438#KHRW (statement). In Z633BH3HER/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
V148R09M01 V148R09M01
| URI | m2://inv/V148R09M01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#W4R4 (statement). In KZ71GXT2B0/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
BLIS V14GEFBCNR
| URI | m2://inv/V14GEFBCNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#XB2B, BLIS (unknown)
History
- 2026-11-02: add by m2/dev
Marilyn Breen V14K4C5DAE
| URI | m2://inv/V14K4C5DAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VF50, Marilyn Breen (topic)
History
- 2026-11-02: add by m2/dev
\textbf{Nonsmooth objective with convex constraints V14N0Y38KR
| URI | m2://inv/V14N0Y38KR |
|---|---|
| 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.34099#L15F, \textbf{Nonsmooth objective with convex constraints (statement). In 4X2SAM9HR2/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
V14RMS8Q1X V14RMS8Q1X
| URI | m2://inv/V14RMS8Q1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.02468#GT3R (statement). In Q7C6G66CWM/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
V14XTFXDR6 V14XTFXDR6
| URI | m2://inv/V14XTFXDR6 |
|---|---|
| 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 1011.4141#QLQI (statement). In YQ4JYF18NH/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
V14Z9AC805 V14Z9AC805
| URI | m2://inv/V14Z9AC805 |
|---|---|
| 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 2606.00589#8VMS (statement). In C8JAGP8VCQ/e1, lemma 9.7
History
- 2026-10-27: add by m2/v0.3.5
Jean-Marc Deshouillers V14ZN6ZB5W
| URI | m2://inv/V14ZN6ZB5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Marc Deshouillers, Jean-Marc Deshouillers (topic). Also Wikidata Q1323950
History
- 2026-11-02: add by m2/dev
List of mathematical constants V14ZWK5NGN
| URI | m2://inv/V14ZWK5NGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical constants, List of mathematical constants (topic). Also Wikidata Q15634398
History
- 2026-11-02: add by m2/dev
Related results V153HQNMPN
| URI | m2://inv/V153HQNMPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner's lemma#Y3A1, Related results (statement)
History
- 2026-11-02: add by m2/dev
V154MVJDG3 V154MVJDG3
| URI | m2://inv/V154MVJDG3 |
|---|---|
| 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 2609.28803#CTMW (example)
History
- 2026-11-01: add by m2/v0.6.15
Long-range dependency V155KMQVJF
| URI | m2://inv/V155KMQVJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2Y5F, Long-range dependency (definition)
History
- 2026-11-02: add by m2/dev
Second derivative V155YWG6JM
| URI | m2://inv/V155YWG6JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second derivative, Second derivative (definition). Also Wikidata Q1932744
History
- 2026-11-02: add by m2/dev
Flail space model V1564YRF2E
| URI | m2://inv/V1564YRF2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flail space model, Flail space model (definition). Also Wikidata Q22908431
History
- 2026-11-02: add by m2/dev
Paul Vincensini V15B68YCR5
| URI | m2://inv/V15B68YCR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Vincensini, Paul Vincensini (topic). Also Wikidata Q39078645
History
- 2026-11-02: add by m2/dev
V15B9N0DKR V15B9N0DKR
| URI | m2://inv/V15B9N0DKR |
|---|---|
| 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 2101.07846#ZY9T (statement). In 9XTXH6H1N7/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Ponzo illusion V15GTRQQB5
| URI | m2://inv/V15GTRQQB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1190645, Ponzo illusion (unknown). Also MathWorld PonzosIllusion
History
- 2026-10-26: add by m2/dev
Borel V15HP26446
| URI | m2://inv/V15HP26446 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#X7PI, Borel (definition)
History
- 2026-11-02: add by m2/dev
Statement V15JZDCHNC
| URI | m2://inv/V15JZDCHNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard variation formula#Y3FY, Statement (statement)
History
- 2026-11-02: add by m2/dev
V15SDRAWRJ V15SDRAWRJ
| URI | m2://inv/V15SDRAWRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#0XUI (definition). In W0ZHX9DHPV/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Exact proximal warmification V15W8BEMME
| URI | m2://inv/V15W8BEMME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#Y6PF, Exact proximal warmification (statement). In TP61DYMBMK/e1, lemma 23
History
- 2026-10-28: add by m2/v0.4.2
V15WET9CWN V15WET9CWN
| URI | m2://inv/V15WET9CWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.38061#65EJ (statement). In XFBW60M3AR/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
V15WV1GGFV V15WV1GGFV
| URI | m2://inv/V15WV1GGFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#thm:fseq-frm-equiv (statement). In PKGMM3P5QY, thm, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Exact accuracy V163MVMK4H
| URI | m2://inv/V163MVMK4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12211#DK6Y, Exact accuracy (statement). In WBC7PQTVYC/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
Brennan conjecture V166E78K80
| URI | m2://inv/V166E78K80 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brennan conjecture, Brennan conjecture (conjecture). Also Wikidata Q51757594
History
- 2026-11-02: add by m2/dev
Twentysix, Kentucky V166SBK2SW
| URI | m2://inv/V166SBK2SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4ITI, Twentysix, Kentucky (unknown)
History
- 2026-11-02: add by m2/dev
Ring homomorphism V168RSWPV4
| URI | m2://inv/V168RSWPV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#DKDD, Ring homomorphism (definition)
History
- 2026-11-02: add by m2/dev
Big-Omega notation V16CCBC2S0
| URI | m2://inv/V16CCBC2S0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10933333, Big-Omega notation (concept). Also MathWorld Big-OmegaNotation
History
- 2026-10-26: add by m2/dev
inductive step V16FCM9FMQ
| URI | m2://inv/V16FCM9FMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54504866, inductive step (definition). Also ProofWiki Definition:Induction_Step
History
- 2026-10-26: add by m2/dev
FGL costs of a two-block split V16PTSDA1J
| URI | m2://inv/V16PTSDA1J |
|---|---|
| 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.15265#USUW, FGL costs of a two-block split (statement). In TCQ1JBR84Y/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
V16RZGDKMZ V16RZGDKMZ
| URI | m2://inv/V16RZGDKMZ |
|---|---|
| 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.02993#5WMQ (statement). In TJH58FRGEN/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.12
affine hull V16WB4YNMB
| URI | m2://inv/V16WB4YNMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Affine span 0YMB1676R1 |
Mentions
- wikidata: Wikidata Q382504, affine hull (unknown). Also EoM Affine_hull, MathWorld AffineHull
- wikipedia: Wikipedia Affine hull, Affine hull (definition). Also Wikidata Q382504
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Cauchy–Euler equation V170WAPYYF
| URI | m2://inv/V170WAPYYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#KS2T, Cauchy–Euler equation (definition)
- wikipedia: Wikipedia List of named differential equations#MVD0, Cauchy–Euler equation (definition)
History
- 2026-11-02: add by m2/dev
Complementary event V178S3JXZV
| URI | m2://inv/V178S3JXZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NRZB, Complementary event (definition)
History
- 2026-11-02: add by m2/dev
V17J972C7H V17J972C7H
| URI | m2://inv/V17J972C7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#BXLT (statement). In WNFW6GY38C/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Higher degrees and Odoni's conjecture V17PCP9VPW
| URI | m2://inv/V17PCP9VPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboreal Galois representation#2WCW, Higher degrees and Odoni's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Derivation V17SWFBJN6
| URI | m2://inv/V17SWFBJN6 |
|---|---|
| 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.08091#DQPE, Derivation (definition). In MS13WE3CSD/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
V17VP8MP0B V17VP8MP0B
| URI | m2://inv/V17VP8MP0B |
|---|---|
| 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 2304.08149#HX1L (statement). In K16E32N55W/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.6
V18AMR7NVK V18AMR7NVK
| URI | m2://inv/V18AMR7NVK |
|---|---|
| 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.37093#TQ39 (statement). In GA6QH32CJQ/e1, proposition 11
History
- 2026-10-30: add by m2/v0.4.12
V18DEXKMGP V18DEXKMGP
| URI | m2://inv/V18DEXKMGP |
|---|---|
| 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.23287#H4HE (definition)
History
- 2026-11-02: add by m2/v0.6.17
V18H6687SB V18H6687SB
| URI | m2://inv/V18H6687SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26813#14S8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Benacerraf V18K5QQYXW
| URI | m2://inv/V18K5QQYXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Benacerraf, Paul Benacerraf (topic). Also Wikidata Q1396649
History
- 2026-11-02: add by m2/dev
Example 5 V18KEQ3N6B
| URI | m2://inv/V18KEQ3N6B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessity and sufficiency#8FAA, Example 5 (example)
History
- 2026-11-02: add by m2/dev
Intersection V18M72EHMY
| URI | m2://inv/V18M72EHMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-2, Intersection (definition). In PKGMM3P5QY, defn, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
Approximation of the pseudospectra of the operator V18NNGHKQ3
| URI | m2://inv/V18NNGHKQ3 |
|---|---|
| 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.01501#OBW6, Approximation of the pseudospectra of the operator (statement). In 8Q2PXZDGB5/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.12
V18S506SYK V18S506SYK
| URI | m2://inv/V18S506SYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#M4SY (statement). In 879ZDHVK7N/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
Christelle Guéret V18SJWDF5B
| URI | m2://inv/V18SJWDF5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EEEG, Christelle Guéret (unknown)
History
- 2026-11-02: add by m2/dev
Regression-kriging V18V7G6Z5A
| URI | m2://inv/V18V7G6Z5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N1QV, Regression-kriging (definition)
History
- 2026-11-02: add by m2/dev
Model output statistics V18XD9CFAX
| URI | m2://inv/V18XD9CFAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y39U, Model output statistics (definition)
History
- 2026-11-02: add by m2/dev
V18YHM5NNS V18YHM5NNS
| URI | m2://inv/V18YHM5NNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35209#3WHT (statement). In YEERR7F4NW/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
V194YME2QM V194YME2QM
| URI | m2://inv/V194YME2QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#ZYI4 (statement). In ZZER8ZBSCR/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
Socolar–Taylor tile V19C1Q435W
| URI | m2://inv/V19C1Q435W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Socolar–Taylor tile, Socolar–Taylor tile (definition). Also Wikidata Q17078320
History
- 2026-11-02: add by m2/dev
V19C36T8JW V19C36T8JW
| URI | m2://inv/V19C36T8JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#JV5M (statement). In P5SY7AVP5E/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.12
Lam Lay Yong V19KXPCTF2
| URI | m2://inv/V19KXPCTF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lam Lay Yong, Lam Lay Yong (topic). Also Wikidata Q435599
History
- 2026-11-02: add by m2/dev
adjacency matrix V1A0C76WXJ
| URI | m2://inv/V1A0C76WXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Adjacency matrix 08B9CX109G |
Mentions
- wikidata: Wikidata Q727035, adjacency matrix (unknown). Also MathWorld AdjacencyMatrix
- wikipedia: Wikipedia Adjacency matrix, Adjacency matrix (definition). Also Wikidata Q727035
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
V1A12710Y9 V1A12710Y9
| URI | m2://inv/V1A12710Y9 |
|---|---|
| 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 0809.4587#S62U (statement). In KQ8JPHDKKE/e1, lemma 9.2.21
History
- 2026-10-27: add by m2/v0.3.5
Kurchatov, Kazakhstan V1A37FC0C4
| URI | m2://inv/V1A37FC0C4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KJQX, Kurchatov, Kazakhstan (unknown)
History
- 2026-11-02: add by m2/dev
V1A5QE7NCQ V1A5QE7NCQ
| URI | m2://inv/V1A5QE7NCQ |
|---|---|
| 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.01737#G64J (statement). In M4JGP708F4/e1, fact 3.3
History
- 2026-10-29: add by m2/v0.4.12
V1ADFZ1Q9Z V1ADFZ1Q9Z
| URI | m2://inv/V1ADFZ1Q9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#9QCQ (statement). In V97F4YZ8B0/e1, lemma 9.6
History
- 2026-10-28: add by m2/v0.4.2
Valentina Escott-Price V1AN49J3F8
| URI | m2://inv/V1AN49J3F8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valentina Escott-Price, Valentina Escott-Price (topic). Also Wikidata Q56528787
History
- 2026-11-02: add by m2/dev
Tangle numerator closure V1AP18PBB6
| URI | m2://inv/V1AP18PBB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#BXWP, Tangle numerator closure (unknown)
History
- 2026-11-02: add by m2/dev
Goldberg coefficients V1AQXBYQ03
| URI | m2://inv/V1AQXBYQ03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#0XZF, Goldberg coefficients (statement). In 7V3HG30ZGW/e1, proposition 5.21
History
- 2026-10-27: add by m2/v0.4.0
Bede V1ATYYM3EQ
| URI | m2://inv/V1ATYYM3EQ |
|---|---|
| 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 Q154938, Bede (unknown). Also ProofWiki Mathematician:Bede
History
- 2026-10-26: add by m2/dev
V1B6YW92PJ V1B6YW92PJ
| URI | m2://inv/V1B6YW92PJ |
|---|---|
| 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.10221#3VZT (statement). In 9Z5M655EPV/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
V1BBHSH9TA V1BBHSH9TA
| URI | m2://inv/V1BBHSH9TA |
|---|---|
| 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.39782#EKLK (statement). In JF4188WVV0/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
V1BCWRGKC9 V1BCWRGKC9
| URI | m2://inv/V1BCWRGKC9 |
|---|---|
| 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.23803#ITOJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pseudo-polynomial time V1BJXAX71Q
| URI | m2://inv/V1BJXAX71Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-polynomial time, Pseudo-polynomial time (definition). Also Wikidata Q155291
History
- 2026-11-02: add by m2/dev
vector subspace V1BK57QTE9
| URI | m2://inv/V1BK57QTE9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > vector subspace, vector subspace (unknown). Also Mathlib Subspace
History
- 2026-10-26: add by m2/dev
V1BZ9EH6VK V1BZ9EH6VK
| URI | m2://inv/V1BZ9EH6VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 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.10481#L5WM (statement). In ETV3D93XYD/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Applications V1C36CV26G
| URI | m2://inv/V1C36CV26G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov information source#3MC5, Applications (example)
History
- 2026-11-02: add by m2/dev
Alain Goriely V1C3Y7XHHT
| URI | m2://inv/V1C3Y7XHHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain Goriely, Alain Goriely (topic). Also Wikidata Q51030386
History
- 2026-11-02: add by m2/dev
V1CC554FF0 V1CC554FF0
| URI | m2://inv/V1CC554FF0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ERWW (definition). In 3A4K47Y9F2/e1, definition 6.13
History
- 2026-10-27: add by m2/v0.4.0
V1CH7SVNBP V1CH7SVNBP
| URI | m2://inv/V1CH7SVNBP |
|---|---|
| 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 0910.4613#N0F7 (statement). In SYPZ9055PN/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
V1CHYECS5S V1CHYECS5S
| URI | m2://inv/V1CHYECS5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#SUG4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
V1CRDQ5VZ3 V1CRDQ5VZ3
| URI | m2://inv/V1CRDQ5VZ3 |
|---|---|
| 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.20690#4VC2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
V1CTDNZQ73 V1CTDNZQ73
| URI | m2://inv/V1CTDNZQ73 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-8 (proof). In E59CDZA4DP, proof, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
V1D7ARZK17 V1D7ARZK17
| URI | m2://inv/V1D7ARZK17 |
|---|---|
| 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 0903.1569#RWGP (example). In ZM7WZ2A9H2/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Privacy Loss Random Variable V1D7TNTCB6
| URI | m2://inv/V1D7TNTCB6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19573#HTGZ, Privacy Loss Random Variable (definition). In NM6Z2R61CN/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Bounded twin refinement V1D9GHSTBG
| URI | m2://inv/V1D9GHSTBG |
|---|---|
| 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.37208#XBOX, Bounded twin refinement (statement). In 7MCBCP4T0B/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
V1DB2GPPYF V1DB2GPPYF
| URI | m2://inv/V1DB2GPPYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#LJU5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Point V1DBWJD3KM
| URI | m2://inv/V1DBWJD3KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#JEWX, Point (definition)
History
- 2026-11-02: add by m2/dev
⊤ V1DNJDBD4W
| URI | m2://inv/V1DNJDBD4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#2DYE, ⊤ (definition)
History
- 2026-11-02: add by m2/dev
V1DS2YGF7N V1DS2YGF7N
| URI | m2://inv/V1DS2YGF7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#7001 (statement). In 332PQD90SW/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Examples V1E62B6FYZ
| URI | m2://inv/V1E62B6FYZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale morphism#QS0B, Examples (example)
History
- 2026-11-02: add by m2/dev
V1E9SFDCHR V1E9SFDCHR
| URI | m2://inv/V1E9SFDCHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#TV0R (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
J.T. Stafford V1EFXA6G0W
| URI | m2://inv/V1EFXA6G0W |
|---|---|
| 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#5RXZ, J.T. Stafford (unknown)
History
- 2026-11-02: add by m2/dev
V1EK7G5EVC V1EK7G5EVC
| URI | m2://inv/V1EK7G5EVC |
|---|---|
| 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.06724#7NCP (statement). In W5XG3PGVF1/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
computation rule, for natural numbers V1EKQW7CQ5
| URI | m2://inv/V1EKQW7CQ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/computation-rule-for-natural-numbers, computation rule, for natural numbers (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
V1ESEZCVQP V1ESEZCVQP
| URI | m2://inv/V1ESEZCVQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#XORY (statement)
History
- 2026-11-01: add by m2/v0.6.15
$k$-current V1EVQG5AAA
| URI | m2://inv/V1EVQG5AAA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#GRGS, $k$-current (definition)
History
- 2026-11-01: add by m2/v0.6.15
V1EXAS384C V1EXAS384C
| URI | m2://inv/V1EXAS384C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.10804#BI9Z (definition). In 6M5WR7KB80/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.3
V1FAE01SAN V1FAE01SAN
| URI | m2://inv/V1FAE01SAN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:ind-lst (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Local Artin conductor V1FFTGVWY6
| URI | m2://inv/V1FFTGVWY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin conductor#V0YL, Local Artin conductor (unknown)
History
- 2026-11-02: add by m2/dev
Equivariant lifting and formal extension V1FJ1G7M12
| URI | m2://inv/V1FJ1G7M12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#5V3V, Equivariant lifting and formal extension (statement). In PZJDV6SJ9E/e1, corollary 2.6
History
- 2026-10-30: add by m2/v0.4.12
Global well-posedness in the weak setting V1FNS6GQMV
| URI | m2://inv/V1FNS6GQMV |
|---|---|
| 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#4E13, Global well-posedness in the weak setting (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example V1FP1E241T
| URI | m2://inv/V1FP1E241T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winsorizing#2VBG, Example (example)
History
- 2026-11-02: add by m2/dev
List of probability distributions V1G2RXRDYW
| URI | m2://inv/V1G2RXRDYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#V9TN, List of probability distributions (topic)
History
- 2026-11-02: add by m2/dev
Moritz Epple V1G7K13AH5
| URI | m2://inv/V1G7K13AH5 |
|---|---|
| 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#PCUQ, Moritz Epple (unknown)
History
- 2026-11-02: add by m2/dev
Definition V1G9BD6QZS
| URI | m2://inv/V1G9BD6QZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#YZWN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Closed geodesic V1GATWEXQ4
| URI | m2://inv/V1GATWEXQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#JUD1, Closed geodesic (definition)
History
- 2026-11-02: add by m2/dev
V1GDC1H30V V1GDC1H30V
| URI | m2://inv/V1GDC1H30V |
|---|---|
| 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.03856#C0PN (statement). In HTBRYNPHSJ/e1, theorem 6.8
History
- 2026-10-29: add by m2/v0.4.12
cut space V1GPYWM58T
| URI | m2://inv/V1GPYWM58T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#UE5F, cut space (definition)
History
- 2026-11-02: add by m2/dev
V1GQZBJ11Y V1GQZBJ11Y
| URI | m2://inv/V1GQZBJ11Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.28780#MPB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition V1GZS8E6QW
| URI | m2://inv/V1GZS8E6QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal model#N4I0, Definition (definition)
History
- 2026-11-02: add by m2/dev
V1H01T42KR V1H01T42KR
| URI | m2://inv/V1H01T42KR |
|---|---|
| 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 2610.12131#XUIS (statement). In NYT07WF46A/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
V1H2HSF9JV V1H2HSF9JV
| URI | m2://inv/V1H2HSF9JV |
|---|---|
| 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 2603.21971#AUYV (statement). In R6KSZ9H8CY/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Mordell conjecture V1H5WSVQBA
| URI | m2://inv/V1H5WSVQBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#AEC2, Mordell conjecture (definition)
History
- 2026-11-02: add by m2/dev
V1H8ECDX4P V1H8ECDX4P
| URI | m2://inv/V1H8ECDX4P |
|---|---|
| Kind | statement |
| 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 2609.23605#0OGE (statement)
History
- 2026-11-02: add by m2/v0.6.17
V1HDS219HN V1HDS219HN
| URI | m2://inv/V1HDS219HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:suspbool (statement). In N54F33XE07, lem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Mixed boundary conditions V1HEDG1MA3
| URI | m2://inv/V1HEDG1MA3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.1/mixed-boundary-conditions, Mixed boundary conditions (concept). In E9HS8K3A52, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Dictionary on a smooth resolution V1HETHG832
| URI | m2://inv/V1HETHG832 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#XMMD, Dictionary on a smooth resolution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform 8-honeycomb V1HJ5S2JV3
| URI | m2://inv/V1HJ5S2JV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 9-polytope#W50A, Uniform 8-honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
V1HRDH0RPX V1HRDH0RPX
| URI | m2://inv/V1HRDH0RPX |
|---|---|
| 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 2212.11038#WHYI (statement). In M3E3ARMJXK/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
V1HW648NZN V1HW648NZN
| URI | m2://inv/V1HW648NZN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#example-1 (example). In P1C114YBXG, example, section F
History
- 2026-11-01: add by m2/v0.6.13
V1HWGKDTNP V1HWGKDTNP
| URI | m2://inv/V1HWGKDTNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#D8RL (statement). In X47RYAZF8P/e1, lemma 5.15
History
- 2026-10-28: add by m2/v0.4.2
V1J8446FS1 V1J8446FS1
| URI | m2://inv/V1J8446FS1 |
|---|---|
| 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.20366#EV8K (statement)
History
- 2026-11-02: add by m2/v0.6.18
V1JKFNP1VR V1JKFNP1VR
| URI | m2://inv/V1JKFNP1VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#GAE9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Super column V1K22YP9EB
| URI | m2://inv/V1K22YP9EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super column, Super column (definition). Also Wikidata Q17125217
History
- 2026-11-02: add by m2/dev
simple interest V1K4Y99KDR
| URI | m2://inv/V1K4Y99KDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q95675530, simple interest (unknown). Also MathWorld SimpleInterest
History
- 2026-10-26: add by m2/dev
V1K6WFXZ89 V1K6WFXZ89
| URI | m2://inv/V1K6WFXZ89 |
|---|---|
| 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.26308#C4LR (statement)
History
- 2026-11-01: add by m2/v0.6.15
V1K8F6PZFB V1K8F6PZFB
| URI | m2://inv/V1K8F6PZFB |
|---|---|
| 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.14435#Q9F2 (statement). In Y9FSN5BVNQ/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
Applications V1K9MYSTSH
| URI | m2://inv/V1K9MYSTSH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilevel Monte Carlo method#RZF5, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties V1KB3HTFB5
| URI | m2://inv/V1KB3HTFB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree matrix#EJS1, Properties (statement)
History
- 2026-11-02: add by m2/dev
V1KC4HX0AD V1KC4HX0AD
| URI | m2://inv/V1KC4HX0AD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#FUW2 (example). In G02N9D40B9/e1, example 1.2.5
History
- 2026-10-29: add by m2/v0.4.10
Petru Mocanu V1KJVY1V4N
| URI | m2://inv/V1KJVY1V4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petru Mocanu, Petru Mocanu (topic). Also Wikidata Q17328501
History
- 2026-11-02: add by m2/dev
Hammer projection V1KMWE1S43
| URI | m2://inv/V1KMWE1S43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1370191, Hammer projection (unknown). Also MathWorld Hammer-AitoffEqual-AreaProjection
History
- 2026-10-26: add by m2/dev
V1KVHNJ314 V1KVHNJ314
| URI | m2://inv/V1KVHNJ314 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-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.19194#FK97 (definition). In P9D8W64P7X/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Richard Friederich Arens V1KVWSV0PG
| URI | m2://inv/V1KVWSV0PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KSNQ, Richard Friederich Arens (topic)
History
- 2026-11-02: add by m2/dev
Examples V1M06MXM64
| URI | m2://inv/V1M06MXM64 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed and exact differential forms#YIGV, Examples (example)
History
- 2026-11-02: add by m2/dev
Manfred Wagner V1M3K6BSGZ
| URI | m2://inv/V1M3K6BSGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#KPJT, Manfred Wagner (unknown)
History
- 2026-11-02: add by m2/dev
homotopy associative algebra V1M8978H9B
| URI | m2://inv/V1M8978H9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97165845, homotopy associative algebra (unknown). Also nLab A-infinity-algebra
- wikipedia: Wikipedia Homotopy associative algebra, Homotopy associative algebra (definition). Also Wikidata Q97165845
History
- 2026-10-26: add by m2/dev
V1MA757K8H V1MA757K8H
| URI | m2://inv/V1MA757K8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#PX95 (statement). In DW7FVA587C/e1, fact 2.7
History
- 2026-10-27: add by m2/v0.3.5
Viewport V1MCCWSBSE
| URI | m2://inv/V1MCCWSBSE |
|---|---|
| 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#HON2, Viewport (unknown)
History
- 2026-11-02: add by m2/dev
Mireille Capitaine V1ME8AQQ57
| URI | m2://inv/V1ME8AQQ57 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mireille Capitaine, Mireille Capitaine (topic). Also Wikidata Q84201665
History
- 2026-11-02: add by m2/dev
Exponential average-case hardness V1MHXEDANP
| URI | m2://inv/V1MHXEDANP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#IAFZ, Exponential average-case hardness (statement). In ZZER8ZBSCR/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.12
contradictory V1MJ475FQP
| URI | m2://inv/V1MJ475FQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#959H, contradictory (definition)
History
- 2026-11-02: add by m2/dev
Degree-five pencils V1MMXFTCSD
| URI | m2://inv/V1MMXFTCSD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#YZXZ, Degree-five pencils (example). In RQA728RB77/e1, example 16
History
- 2026-10-27: add by m2/v0.4.2
Breadth-first search V1MVGFWZ3P
| URI | m2://inv/V1MVGFWZ3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#EROH, Breadth-first search (definition)
History
- 2026-11-02: add by m2/dev
V1MXB0FJ9A V1MXB0FJ9A
| URI | m2://inv/V1MXB0FJ9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#thm:finite intersection of open sets (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Formal statement V1N34DTGRF
| URI | m2://inv/V1N34DTGRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger conjecture (combinatorial geometry)#0YNL, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Lagrangian Representation V1N3T991K2
| URI | m2://inv/V1N3T991K2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17129#57MZ, Lagrangian Representation (definition). In TCZWAMNYCV/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Vaughan Ronald Pratt V1N5N13BC3
| URI | m2://inv/V1N5N13BC3 |
|---|---|
| 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 Q7917308, Vaughan Ronald Pratt (unknown). Also nLab Vaughan Pratt
History
- 2026-10-26: add by m2/dev
Ramanujam vanishing theorem V1N5PZQ1B6
| URI | m2://inv/V1N5PZQ1B6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7288988, Ramanujam vanishing theorem (statement). Also Wikidata Q7288988
- thousand_plus: thousand_plus Q7288988, Ramanujam vanishing theorem (statement). Also Wikidata Q7288988, Wikipedia Ramanujam vanishing theorem
- wikipedia: Wikipedia Ramanujam vanishing theorem, Ramanujam vanishing theorem (statement). Also Wikidata Q7288988
History
- 2026-10-26: add by m2/dev
Optimal realization for a specified reference martingale V1NCS92S96
| URI | m2://inv/V1NCS92S96 |
|---|---|
| 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#86ON, Optimal realization for a specified reference martingale (statement). In 9YAE8FNQST/e1, theorem 17.22
History
- 2026-10-30: add by m2/v0.4.12
McDiarmid-type inequality for dependent random variables V1NDM2PK4X
| URI | m2://inv/V1NDM2PK4X |
|---|---|
| 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.34731#YGH9, McDiarmid-type inequality for dependent random variables (statement). In MH54AS0Y61/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
partial evaluation V1NK118CEF
| URI | m2://inv/V1NK118CEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4008398, partial evaluation (unknown). Also MathWorld PartialEvaluation
History
- 2026-10-26: add by m2/dev
Stronger versions of the theorem V1NZXWKSWE
| URI | m2://inv/V1NZXWKSWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur theorem#3DDQ, Stronger versions of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Equation of motion V1P05H5FQR
| URI | m2://inv/V1P05H5FQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#8HYJ, Equation of motion (unknown)
History
- 2026-11-02: add by m2/dev
V1PA2XSW01 V1PA2XSW01
| URI | m2://inv/V1PA2XSW01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-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.25761#LSPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ferdinand Minding V1PBJHKAPW
| URI | m2://inv/V1PBJHKAPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferdinand Minding, Ferdinand Minding (topic). Also Wikidata Q89442
History
- 2026-11-02: add by m2/dev
Rodrigues Formula V1PHP671BJ
| URI | m2://inv/V1PHP671BJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zernike polynomials#C0HX, Rodrigues Formula (statement)
History
- 2026-11-02: add by m2/dev
V1PPF2ZM90 V1PPF2ZM90
| URI | m2://inv/V1PPF2ZM90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02484#MEE5 (statement). In D1V0MQZTFQ/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.12
biclique V1PRW99XKB
| URI | m2://inv/V1PRW99XKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#3Q3X, biclique (definition)
History
- 2026-11-02: add by m2/dev
Wythoff construction V1PYM838KQ
| URI | m2://inv/V1PYM838KQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wythoff construction J4EDDYCXMR |
Mentions
- wikidata: Wikidata Q2995289, Wythoff construction (unknown). Also MathWorld WythoffConstruction
- wikipedia: Wikipedia Wythoff construction, Wythoff construction (object). Also Wikidata Q2995289
History
- 2026-10-26: add by m2/dev
V1QEEASVKG V1QEEASVKG
| URI | m2://inv/V1QEEASVKG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26417#5RH7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Morrey's embedding V1QF4CYH5Y
| URI | m2://inv/V1QF4CYH5Y |
|---|---|
| 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.15111#R628, Morrey's embedding (statement). In 6RE6JYE4GP/e1, lemma F.8
History
- 2026-10-28: add by m2/v0.4.2
V1QNFWAV99 V1QNFWAV99
| URI | m2://inv/V1QNFWAV99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#9J1W (statement)
History
- 2026-11-01: add by m2/v0.6.15
V1QVDDGV5H V1QVDDGV5H
| URI | m2://inv/V1QVDDGV5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#Z3WT (statement). In AYANBEWSFH/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Laplacian smoothing V1QVX7C1Y6
| URI | m2://inv/V1QVX7C1Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#90VH, Laplacian smoothing (definition)
History
- 2026-11-02: add by m2/dev
V1QZG02F7R V1QZG02F7R
| URI | m2://inv/V1QZG02F7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02295#BU5M (statement). In PEBD9ZMA1W/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
M\"obius band and $\mathbb{RP}^2$; a doubled cover V1R0K14Q0G
| URI | m2://inv/V1R0K14Q0G |
|---|---|
| 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.32733#43YO, M\"obius band and $\mathbb{RP}^2$; a doubled cover (example). In PCAS8S14J6/e1, example E.12
History
- 2026-10-31: add by m2/v0.5.6
UCP in energy spaces $H^r(\R^n)$ V1R2XA82MN
| URI | m2://inv/V1R2XA82MN |
|---|---|
| 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.17524#ZHT3, UCP in energy spaces $H^r(\R^n)$ (statement). In MKA4QH9VRE/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Peter B. Andrews V1R4KQFC35
| URI | m2://inv/V1R4KQFC35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#D6N1, Peter B. Andrews (topic)
History
- 2026-11-02: add by m2/dev
Charles Fefferman V1RFPQKAEQ
| URI | m2://inv/V1RFPQKAEQ |
|---|---|
| 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 Q284129, Charles Fefferman (unknown). Also nLab Charles Fefferman
- wikipedia: Wikipedia Charles Fefferman, Charles Fefferman (topic). Also Wikidata Q284129
History
- 2026-10-26: add by m2/dev
V1RFQ42P7D V1RFQ42P7D
| URI | m2://inv/V1RFQ42P7D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/separation.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 47.2
History
- 2026-11-01: add by m2/v0.6.13
dense-in-itself space V1RH32J6YP
| URI | m2://inv/V1RH32J6YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q936674, dense-in-itself space (definition). Also ProofWiki Definition:Dense-in-itself
- wikipedia: Wikipedia Dense-in-itself, Dense-in-itself (definition). Also Wikidata Q936674
History
- 2026-10-26: add by m2/dev
Existence of measurable medial mean V1RHHADGTT
| URI | m2://inv/V1RHHADGTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#IO8W, Existence of measurable medial mean (statement). In QA7EPHDTV2/e1, proposition A.2
History
- 2026-10-27: add by m2/v0.4.0
Quadratic half approximation V1S14JMQ5G
| URI | m2://inv/V1S14JMQ5G |
|---|---|
| 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.04027#0U9M, Quadratic half approximation (statement). In DQB4YR2DFH/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Pseudogroup of transformations V1S3CH6NG7
| URI | m2://inv/V1S3CH6NG7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#X8FL, Pseudogroup of transformations (example). In 2QF1YG9DD0/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
Design vectors V1S3E8FZ49
| URI | m2://inv/V1S3E8FZ49 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22384#SY5M, Design vectors (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition V1SCE8M3ZT
| URI | m2://inv/V1SCE8M3ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter (mathematics)#WOKN, Definition (definition)
History
- 2026-11-02: add by m2/dev
V1SFE26PG5 V1SFE26PG5
| URI | m2://inv/V1SFE26PG5 |
|---|---|
| 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#I7ZS (statement). In BMSAXTDV47/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Generalization V1SKHZSJX0
| URI | m2://inv/V1SKHZSJX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem of revolving orbits#6QBP, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Computed Solution as Exact Collocation of Perturbed Data V1SNHR8P3S
| URI | m2://inv/V1SNHR8P3S |
|---|---|
| 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.13222#IUT1, Computed Solution as Exact Collocation of Perturbed Data (statement). In Z6WA2R0J50/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Quasi-Newton method V1SRBT3NVV
| URI | m2://inv/V1SRBT3NVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-Newton method, Quasi-Newton method (definition). Also Wikidata Q1476018
History
- 2026-11-02: add by m2/dev
Examples V1SZDRXQKB
| URI | m2://inv/V1SZDRXQKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LCF notation#2WDB, Examples (example)
History
- 2026-11-02: add by m2/dev
V1T937GC56 V1T937GC56
| URI | m2://inv/V1T937GC56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#XU8X (statement). In X47RYAZF8P/e1, lemma 10.14
History
- 2026-10-28: add by m2/v0.4.2
Properties V1TBT7XW2H
| URI | m2://inv/V1TBT7XW2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delaporte distribution#ATL1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jules Asner V1TKVMEQ3W
| URI | m2://inv/V1TKVMEQ3W |
|---|---|
| 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#1IDF, Jules Asner (unknown)
History
- 2026-11-02: add by m2/dev
Digital manifold V1TKXKFMPK
| URI | m2://inv/V1TKXKFMPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital manifold, Digital manifold (definition). Also Wikidata Q5276103
History
- 2026-11-02: add by m2/dev
Kervaire invariant V1TPJV9AJW
| URI | m2://inv/V1TPJV9AJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kervaire invariant P4YXE08ZXF |
Mentions
- wikidata: Wikidata Q6394805, Kervaire invariant (unknown). Also nLab Kervaire invariant
- wikipedia: Wikipedia Kervaire invariant, Kervaire invariant (definition). Also Wikidata Q6394805
History
- 2026-10-26: add by m2/dev
Notation V1V4NP9YGV
| URI | m2://inv/V1V4NP9YGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#QI55, Notation (definition)
History
- 2026-11-02: add by m2/dev
Applications V1V8B982R7
| URI | m2://inv/V1V8B982R7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BEST theorem#E4C2, Applications (example)
History
- 2026-11-02: add by m2/dev
Eva Ritvo V1VCSK89VF
| URI | m2://inv/V1VCSK89VF |
|---|---|
| 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#ZR7B, Eva Ritvo (unknown)
History
- 2026-11-02: add by m2/dev
V1VGE2Z1QM V1VGE2Z1QM
| URI | m2://inv/V1VGE2Z1QM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-5-4-2.xml#act-5-4-2 (exercise). In 907G4C4EJ1, activity, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
V1VKD3ZK8Z V1VKD3ZK8Z
| URI | m2://inv/V1VKD3ZK8Z |
|---|---|
| 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.10576#VY5Z (statement). In N3ZA5MDZBW/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.10
Ceiling ((Pi+e)n). V1VMB7M483
| URI | m2://inv/V1VMB7M483 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193417, Ceiling ((Pi+e)n). (object). Also OEIS A121827
History
- 2026-10-26: add by m2/dev
Power series V1VRRN5ZG9
| URI | m2://inv/V1VRRN5ZG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#RB0H, Power series (definition)
History
- 2026-11-02: add by m2/dev
V1VRSHKPS5 V1VRSHKPS5
| URI | m2://inv/V1VRSHKPS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 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 2609.30033#LJNC (statement)
History
- 2026-11-01: add by m2/v0.6.15
V1VYX323QZ V1VYX323QZ
| URI | m2://inv/V1VYX323QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27125#H46O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Flaws in the human body V1VZ1NQFGW
| URI | m2://inv/V1VZ1NQFGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from poor design#C6MW, Flaws in the human body (unknown)
History
- 2026-11-02: add by m2/dev
V1W1B56MHG V1W1B56MHG
| URI | m2://inv/V1W1B56MHG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#WNGH (problem)
History
- 2026-11-02: add by m2/dev
Partition of an interval V1W4M15C43
| URI | m2://inv/V1W4M15C43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#KO2U, Partition of an interval (definition)
History
- 2026-11-02: add by m2/dev
Cyclic surgery theorem V1W5MG1B5T
| URI | m2://inv/V1W5MG1B5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic surgery theorem, Cyclic surgery theorem (statement). Also Wikidata Q5198232
History
- 2026-11-02: add by m2/dev
V1WCBYV2B0 V1WCBYV2B0
| URI | m2://inv/V1WCBYV2B0 |
|---|---|
| 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.25896#Y2UR (statement)
History
- 2026-11-01: add by m2/v0.6.15
V1WFHZK3TZ V1WFHZK3TZ
| URI | m2://inv/V1WFHZK3TZ |
|---|---|
| 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.05696#GG48 (statement). In MG81A9XJTQ/e1, lemma VI.3
History
- 2026-10-29: add by m2/v0.4.10
V1WMF4AMSY V1WMF4AMSY
| URI | m2://inv/V1WMF4AMSY |
|---|---|
| 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.07897#QNGS (statement). In 1MWYGMR6TJ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Generalized continuum hypothesis V1WNYW8635
| URI | m2://inv/V1WNYW8635 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum hypothesis#MJOE, Generalized continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
expansion V1WQ3QQ440
| URI | m2://inv/V1WQ3QQ440 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5420776, expansion (unknown). Also MathWorld Expansion
- wikipedia: Wikipedia Expansion (geometry), Expansion (definition). Also Wikidata Q5420776
History
- 2026-10-26: add by m2/dev
Multi-domain V1WVFWXHEJ
| URI | m2://inv/V1WVFWXHEJ |
|---|---|
| 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 math/0003117#WC92, Multi-domain (definition). In WD2NCBV9F0/e1, definition 13.13
History
- 2026-10-27: add by m2/v0.3.5
The integral normalization of the cycle map V1WVTC05J9
| URI | m2://inv/V1WVTC05J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#94L9, The integral normalization of the cycle map (statement). In 7PACGDW3N7/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
V1X1RSEMXQ V1X1RSEMXQ
| URI | m2://inv/V1X1RSEMXQ |
|---|---|
| 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.10469#YNTZ (statement). In Q39BEKW6D9/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
V1X3WRRW52 V1X3WRRW52
| URI | m2://inv/V1X3WRRW52 |
|---|---|
| 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.04516#M4SO (statement). In GZZBR0FX50/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Ben J. Winer V1X82Y79GB
| URI | m2://inv/V1X82Y79GB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ben J. Winer, Ben J. Winer (topic). Also Wikidata Q22909784
History
- 2026-11-02: add by m2/dev
V1XDPPM4CR V1XDPPM4CR
| URI | m2://inv/V1XDPPM4CR |
|---|---|
| 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#JEZC (statement). In KS30K5JXGB/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
V1XMW4THYS V1XMW4THYS
| URI | m2://inv/V1XMW4THYS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#WYY5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Uses V1XWAXEM80
| URI | m2://inv/V1XWAXEM80 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuss–Catalan number#YBY8, Uses (example)
History
- 2026-11-02: add by m2/dev
Rape in Norway V1Y46QHC1K
| URI | m2://inv/V1Y46QHC1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#O3MQ, Rape in Norway (unknown)
History
- 2026-11-02: add by m2/dev
Holmes, Susan P. V1YE3KQYCZ
| URI | m2://inv/V1YE3KQYCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#14WW, Holmes, Susan P. (unknown)
History
- 2026-11-02: add by m2/dev
Examples V1YN0XABGS
| URI | m2://inv/V1YN0XABGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic point#GZJ1, Examples (example)
History
- 2026-11-02: add by m2/dev
boxcars V1YRJPQBD4
| URI | m2://inv/V1YRJPQBD4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17005417, boxcars (concept). Also MathWorld Boxcars
History
- 2026-10-26: add by m2/dev
Construction V1YSQHB02R
| URI | m2://inv/V1YSQHB02R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedron model#DW6N, Construction (definition)
History
- 2026-11-02: add by m2/dev
Brouwer Medal V1Z9AJMM8D
| URI | m2://inv/V1Z9AJMM8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer Medal, Brouwer Medal (definition). Also Wikidata Q16938865
History
- 2026-11-02: add by m2/dev
V1ZABSYR0V V1ZABSYR0V
| URI | m2://inv/V1ZABSYR0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#E4TU (statement). In 5EKTECQ2P1/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
V1ZDJ8SVG0 V1ZDJ8SVG0
| URI | m2://inv/V1ZDJ8SVG0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P versus NP problem#H5I3 (problem)
History
- 2026-11-02: add by m2/dev
Peto, Julian V1ZHS84Q6J
| URI | m2://inv/V1ZHS84Q6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0SSH, Peto, Julian (unknown)
History
- 2026-11-02: add by m2/dev
Keisler--Morley V1ZPYM9T3G
| URI | m2://inv/V1ZPYM9T3G |
|---|---|
| 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.19283#U9T8, Keisler--Morley (statement). In 28BAGZRCKG/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Besov space V1ZRR6QD9C
| URI | m2://inv/V1ZRR6QD9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#H86Y, Besov space (definition)
History
- 2026-11-02: add by m2/dev
V1ZW7J7YW8 V1ZW7J7YW8
| URI | m2://inv/V1ZW7J7YW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#Z1YP (statement). In ES1CVGG59Y/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Norbert Wiener V1ZXN7NN8A
| URI | m2://inv/V1ZXN7NN8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XRUT, Norbert Wiener (topic)
History
- 2026-11-02: add by m2/dev
Statement V1ZZEE4E9R
| URI | m2://inv/V1ZZEE4E9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#I5CN, Statement (statement)
History
- 2026-11-02: add by m2/dev