Inventory rows 4Y
The cards of the rows of the inventory whose ids start with 4Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
4Y050R1BFJ 4Y050R1BFJ
| URI | m2://inv/4Y050R1BFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#EJC5 (statement). In 9DQKY7KGE8/e1, lemma 6.25
History
- 2026-10-27: add by m2/v0.3.5
Definition 4Y05ZDJ6HV
| URI | m2://inv/4Y05ZDJ6HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperelliptic curve cryptography#5I5X, Definition (definition)
History
- 2026-11-02: add by m2/dev
4Y0GMA0P4S 4Y0GMA0P4S
| URI | m2://inv/4Y0GMA0P4S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-33 (proof). In N54F33XE07, proof, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
4Y0K5NHVVK 4Y0K5NHVVK
| URI | m2://inv/4Y0K5NHVVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#prop:complete-tableau (statement). In PKGMM3P5QY, prop, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
4Y0T4M51MG 4Y0T4M51MG
| URI | m2://inv/4Y0T4M51MG |
|---|---|
| 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#QKV4 (statement). In YQ4JYF18NH/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
4Y0V4552KZ 4Y0V4552KZ
| URI | m2://inv/4Y0V4552KZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-6 (proof). In E59CDZA4DP, proof, section 5.1.4
History
- 2026-11-01: add by m2/v0.6.13
4Y0XXGK1AP 4Y0XXGK1AP
| URI | m2://inv/4Y0XXGK1AP |
|---|---|
| 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.03497#8I95 (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
4Y11CVWNCY 4Y11CVWNCY
| URI | m2://inv/4Y11CVWNCY |
|---|---|
| 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.14249#JW3V (statement). In B6P8PG8R8T/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
4Y12FFNA5A 4Y12FFNA5A
| URI | m2://inv/4Y12FFNA5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#OP7Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Martha Helen Barton 4Y1RBMNPYR
| URI | m2://inv/4Y1RBMNPYR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martha Helen Barton, Martha Helen Barton (topic). Also Wikidata Q102156887
History
- 2026-11-02: add by m2/dev
Léon Walras 4Y1XAKC199
| URI | m2://inv/4Y1XAKC199 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon Walras, Léon Walras (topic). Also Wikidata Q13509
History
- 2026-11-02: add by m2/dev
Secret sharing 4Y1YWMKN81
| URI | m2://inv/4Y1YWMKN81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secret sharing, Secret sharing (definition). Also Wikidata Q1386603
History
- 2026-11-02: add by m2/dev
4Y20QR7VSK 4Y20QR7VSK
| URI | m2://inv/4Y20QR7VSK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17204#ZSDM (definition). In 5CZ2BNV4MT/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
4Y27SMG2VE 4Y27SMG2VE
| URI | m2://inv/4Y27SMG2VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#SILN (statement). In B9EX6K51RD/e1, lemma 2.24
History
- 2026-10-28: add by m2/v0.4.2
4Y28JKQP81 4Y28JKQP81
| URI | m2://inv/4Y28JKQP81 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-5 (example). In RZP28ERRZV, example, section 24.3
History
- 2026-11-01: add by m2/v0.6.13
Decrypt 4Y2EC1HPVZ
| URI | m2://inv/4Y2EC1HPVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#1PTU, Decrypt (definition)
History
- 2026-11-02: add by m2/dev
Applications 4Y2EYDE1RG
| URI | m2://inv/4Y2EYDE1RG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several real variables#2VBP, Applications (example)
History
- 2026-11-02: add by m2/dev
Single deletion 4Y2M0WT1JB
| URI | m2://inv/4Y2M0WT1JB |
|---|---|
| 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.11007#HFF2, Single deletion (statement). In MF0H78XZXC/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.3
4Y2PJYF1SB 4Y2PJYF1SB
| URI | m2://inv/4Y2PJYF1SB |
|---|---|
| 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.14548#F0RU (statement). In TTNKABAYVB/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Agoh–Giuga conjecture 4Y2PR68VKQ
| URI | m2://inv/4Y2PR68VKQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2246542, Agoh–Giuga conjecture (conjecture). Also MathWorld AgohsConjecture, MathWorld GiugasConjecture
- wikipedia: Wikipedia Agoh–Giuga conjecture, Agoh–Giuga conjecture (conjecture). Also Wikidata Q2246542
History
- 2026-10-26: add by m2/dev
Lindeberg's condition 4Y2PSAZEET
| URI | m2://inv/4Y2PSAZEET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8ZVF, Lindeberg's condition (definition)
History
- 2026-11-02: add by m2/dev
Special cases 4Y2QF6K4ZH
| URI | m2://inv/4Y2QF6K4ZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing in a circle#KGMO, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Igor Simonenko 4Y36B16MDX
| URI | m2://inv/4Y36B16MDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Simonenko, Igor Simonenko (topic). Also Wikidata Q53255457
History
- 2026-11-02: add by m2/dev
4Y36M654Q2 4Y36M654Q2
| URI | m2://inv/4Y36M654Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03423#DSNW (statement). In 8C5YCMN81V/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
Constructions 4Y3FAHCY26
| URI | m2://inv/4Y3FAHCY26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PG(3,2)#ZX7Z, Constructions (definition)
History
- 2026-11-02: add by m2/dev
General definitions 4Y3MEHGVPA
| URI | m2://inv/4Y3MEHGVPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness#C1LY, General definitions (definition)
History
- 2026-11-02: add by m2/dev
Example 4Y3T4K9S68
| URI | m2://inv/4Y3T4K9S68 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#2GWM, Example (example)
History
- 2026-11-02: add by m2/dev
Torsion point 4Y4B3GBECN
| URI | m2://inv/4Y4B3GBECN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#IWLQ, Torsion point (definition)
History
- 2026-11-02: add by m2/dev
4Y4BQ4N2H4 4Y4BQ4N2H4
| URI | m2://inv/4Y4BQ4N2H4 |
|---|---|
| Kind | definition |
| 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.21675#W45M (definition). In TB1294GY5X/e1, definition B.9
History
- 2026-10-27: add by m2/v0.4.2
abcoulomb 4Y4RCCYX8C
| URI | m2://inv/4Y4RCCYX8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4176683, abcoulomb (definition). Also ProofWiki Definition:Abcoulomb
History
- 2026-10-26: add by m2/dev
T score 4Y4WXTDX7W
| URI | m2://inv/4Y4WXTDX7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard score#94UX, T score (unknown)
History
- 2026-11-02: add by m2/dev
The Mathematical Coloring Book 4Y4Y1EAH3S
| URI | m2://inv/4Y4Y1EAH3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Mathematical Coloring Book, The Mathematical Coloring Book (definition). Also Wikidata Q85807868
History
- 2026-11-02: add by m2/dev
4Y4ZC6S7X0 4Y4ZC6S7X0
| URI | m2://inv/4Y4ZC6S7X0 |
|---|---|
| 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.20588#E9LZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Deviance 4Y53XVZD7X
| URI | m2://inv/4Y53XVZD7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviance (statistics), Deviance (definition). Also Wikidata Q3706279
History
- 2026-11-02: add by m2/dev
4Y54959K80 4Y54959K80
| URI | m2://inv/4Y54959K80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20961#FFIU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Leon van der Torre 4Y58JP3320
| URI | m2://inv/4Y58JP3320 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UPOU, Leon van der Torre (unknown)
History
- 2026-11-02: add by m2/dev
4Y5KFF9P6W 4Y5KFF9P6W
| URI | m2://inv/4Y5KFF9P6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#LS6O (statement). In 5E9G06XJKC/e1, lemma G.30
History
- 2026-10-28: add by m2/v0.4.2
Tanc function 4Y5SYJ10DC
| URI | m2://inv/4Y5SYJ10DC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1632714, Tanc function (unknown). Also MathWorld TancFunction
History
- 2026-10-26: add by m2/dev
4Y5YE0545Y 4Y5YE0545Y
| URI | m2://inv/4Y5YE0545Y |
|---|---|
| Kind | definition |
| 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#C608 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Hénon–Heiles system 4Y6AEJMCX6
| URI | m2://inv/4Y6AEJMCX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hénon–Heiles system, Hénon–Heiles system (definition). Also Wikidata Q5964294
History
- 2026-11-02: add by m2/dev
4Y6DFTBRC3 4Y6DFTBRC3
| URI | m2://inv/4Y6DFTBRC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:RC-approx (statement). In N54F33XE07, thm, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Douglas 4Y6FVB13WZ
| URI | m2://inv/4Y6FVB13WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#C20A, Douglas (definition)
History
- 2026-11-02: add by m2/dev
David Blei 4Y6HHP353K
| URI | m2://inv/4Y6HHP353K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JQXL, David Blei (unknown)
History
- 2026-11-02: add by m2/dev
4Y6NASHXDJ 4Y6NASHXDJ
| URI | m2://inv/4Y6NASHXDJ |
|---|---|
| Kind | statement |
| 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#AN0K (statement). In P9D8W64P7X/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
\textit{Lower triangular transition matrix 4Y6VEPT408
| URI | m2://inv/4Y6VEPT408 |
|---|---|
| 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 2204.00678#Z6PC, \textit{Lower triangular transition matrix (statement). In RX70Y35BYJ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Extensions 4Y6WADAPTJ
| URI | m2://inv/4Y6WADAPTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal model#TKZG, Extensions (statement)
History
- 2026-11-02: add by m2/dev
4Y6XWREBFV 4Y6XWREBFV
| URI | m2://inv/4Y6XWREBFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#1QWY (statement). In H72E12TYHA/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Definitions 4Y7058KY85
| URI | m2://inv/4Y7058KY85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic bias#PZ9X, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Otto Leiberich 4Y72T6CG07
| URI | m2://inv/4Y72T6CG07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Leiberich, Otto Leiberich (topic). Also Wikidata Q1302475
History
- 2026-11-02: add by m2/dev
4Y77WJPTWT 4Y77WJPTWT
| URI | m2://inv/4Y77WJPTWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26588#OHNL (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic number 4Y780K0NV5
| URI | m2://inv/4Y780K0NV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Algebraic number 0MB4TGMXG6 |
Mentions
- wikidata: Wikidata Q168817, algebraic number (unknown). Also EoM Algebraic_number, MathWorld AlgebraicNumber, nLab algebraic number
- wikipedia: Wikipedia Algebraic number, Algebraic number (definition). Also Wikidata Q168817
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4Y7JA8VYCH 4Y7JA8VYCH
| URI | m2://inv/4Y7JA8VYCH |
|---|---|
| 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.28417#NY0O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hermite–Hadamard inequality 4Y7KMVR5X4
| URI | m2://inv/4Y7KMVR5X4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#BDR3, Hermite–Hadamard inequality (statement)
History
- 2026-11-02: add by m2/dev
Jerabek hyperbola 4Y7VXF2W4Z
| URI | m2://inv/4Y7VXF2W4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle conic#1HMA, Jerabek hyperbola (unknown)
History
- 2026-11-02: add by m2/dev
Woodroofe, Michael 4Y7WDAPMRT
| URI | m2://inv/4Y7WDAPMRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FQ7J, Woodroofe, Michael (topic)
History
- 2026-11-02: add by m2/dev
Further examples 4Y7Z1BMVJQ
| URI | m2://inv/4Y7Z1BMVJQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group cohomology#2ZQN, Further examples (example)
History
- 2026-11-02: add by m2/dev
Silhouette 4Y81C80HT3
| URI | m2://inv/4Y81C80HT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silhouette (clustering), Silhouette (definition). Also Wikidata Q2286025
History
- 2026-11-02: add by m2/dev
greatest dividing exponent 4Y85ND020B
| URI | m2://inv/4Y85ND020B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141280198, greatest dividing exponent (unknown). Also MathWorld GreatestDividingExponent
History
- 2026-10-26: add by m2/dev
Alexandrov topology 4Y894S1ZC7
| URI | m2://inv/4Y894S1ZC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#4LN9, Alexandrov topology (definition)
History
- 2026-11-02: add by m2/dev
OU population approximation 4Y8H53134Z
| URI | m2://inv/4Y8H53134Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32026#ZAGH, OU population approximation (statement). In KM6PX54YFZ/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
4Y8MTRW9VG 4Y8MTRW9VG
| URI | m2://inv/4Y8MTRW9VG |
|---|---|
| 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.07828#SXBP (statement). In TWGMVT1N1G/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Ayachi Mishra 4Y8QM3KTMX
| URI | m2://inv/4Y8QM3KTMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#8CKW, Ayachi Mishra (unknown)
History
- 2026-11-02: add by m2/dev
Endre Pap 4Y8TMAYH2B
| URI | m2://inv/4Y8TMAYH2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endre Pap, Endre Pap (topic). Also Wikidata Q5376611
History
- 2026-11-02: add by m2/dev
4Y8TMXMQWH 4Y8TMXMQWH
| URI | m2://inv/4Y8TMXMQWH |
|---|---|
| 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 2502.04323#W1U2 (statement). In MK60S6RKJP/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
4Y8TW91VXP 4Y8TW91VXP
| URI | m2://inv/4Y8TW91VXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#IETY (statement). In VM9V8SXEA2/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 4Y914A95E2
| URI | m2://inv/4Y914A95E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octomino#JIGA, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Susan R. Wilson 4Y91X82M52
| URI | m2://inv/4Y91X82M52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan R. Wilson, Susan R. Wilson (topic). Also Wikidata Q43836123
History
- 2026-11-02: add by m2/dev
Jacobson radical 4Y92YKCJTQ
| URI | m2://inv/4Y92YKCJTQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jacobson radical XA0DCNH7WY |
Mentions
- wikidata: Wikidata Q1677769, Jacobson radical (concept). Also MathWorld JacobsonRadical, nLab Jacobson radical, ProofWiki Definition:Jacobson_Radical
- wikipedia: Wikipedia Jacobson radical, Jacobson radical (definition). Also Wikidata Q1677769
History
- 2026-10-26: add by m2/dev
Existence and uniqueness of Koenigs function 4Y992X50VX
| URI | m2://inv/4Y992X50VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koenigs function#GX14, Existence and uniqueness of Koenigs function (statement)
History
- 2026-11-02: add by m2/dev
4Y9BFB96QD 4Y9BFB96QD
| URI | m2://inv/4Y9BFB96QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#KSO4 (statement). In D6RAQZ2DSK/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Morley's categoricity theorem 4Y9DZV09ZS
| URI | m2://inv/4Y9DZV09ZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical theory#AMLV, Morley's categoricity theorem (statement)
History
- 2026-11-02: add by m2/dev
Local convex hull 4Y9P89SZAK
| URI | m2://inv/4Y9P89SZAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local convex hull, Local convex hull (definition). Also Wikidata Q6664311
History
- 2026-11-02: add by m2/dev
binomial coefficient 4Y9PYTA6JW
| URI | m2://inv/4Y9PYTA6JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#PW7J, binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
Theorem 4Y9VZFSJD0
| URI | m2://inv/4Y9VZFSJD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#EHZD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions 4YA0EF0Y3Q
| URI | m2://inv/4YA0EF0Y3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hollow matrix#WSIK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Symmetry 4YA3KBV83C
| URI | m2://inv/4YA3KBV83C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 hexagonal tiling#FS2T, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Restrictions on the import of cryptography 4YA5VFKGSH
| URI | m2://inv/4YA5VFKGSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restrictions on the import of cryptography, Restrictions on the import of cryptography (definition). Also Wikidata Q7316326
History
- 2026-11-02: add by m2/dev
Statistical finance 4YA5Y8HSTB
| URI | m2://inv/4YA5Y8HSTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#GYAC, Statistical finance (definition)
History
- 2026-11-02: add by m2/dev
4YAR3RMRM6 4YAR3RMRM6
| URI | m2://inv/4YAR3RMRM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#FFQR (definition). In HA2GG72C23/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
An example of non-compactness 4YAT0H0867
| URI | m2://inv/4YAT0H0867 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#example-5, An example of non-compactness (example). In RZP28ERRZV, example, section 95.3
History
- 2026-11-01: add by m2/v0.6.13
4YAW7ZSX53 4YAW7ZSX53
| URI | m2://inv/4YAW7ZSX53 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#W6TA (problem). In 2381M4GBTT/e1, problem 13.3
History
- 2026-10-29: add by m2/v0.4.12
4YBAF6EAFJ 4YBAF6EAFJ
| URI | m2://inv/4YBAF6EAFJ |
|---|---|
| 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.21692#GU2T (statement)
History
- 2026-11-02: add by m2/v0.6.18
4YBE7NS3E1 4YBE7NS3E1
| URI | m2://inv/4YBE7NS3E1 |
|---|---|
| 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.19296#52X5 (statement). In WFR2WNW8NB/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
4YBEPM7M59 4YBEPM7M59
| URI | m2://inv/4YBEPM7M59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#AMW0 (statement). In 8YWBGQQGA3/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Benjamin, Bernard 4YBFC39ZVJ
| URI | m2://inv/4YBFC39ZVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FT3E, Benjamin, Bernard (unknown)
History
- 2026-11-02: add by m2/dev
Equivalence principle 4YBFY75B1T
| URI | m2://inv/4YBFY75B1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tests of general relativity#M6AW, Equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
Statement of the theorem 4YC2WAEZPN
| URI | m2://inv/4YC2WAEZPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caristi fixed-point theorem#TYQ6, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Complete vector field 4YC7CQVJ4V
| URI | m2://inv/4YC7CQVJ4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#OMVS, Complete vector field (unknown)
History
- 2026-11-02: add by m2/dev
4YC8QNDS5S 4YC8QNDS5S
| URI | m2://inv/4YC8QNDS5S |
|---|---|
| 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 2211.14629#4H7Q (statement). In AX7TZJ5PP9/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
2-special soundness, algebraic extraction 4YC9C4NQRA
| URI | m2://inv/4YC9C4NQRA |
|---|---|
| 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.26258#75FN, 2-special soundness, algebraic extraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
von Neumann 4YCBZ4GWGP
| URI | m2://inv/4YCBZ4GWGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#78P0, von Neumann (definition)
History
- 2026-11-02: add by m2/dev
Interval-stable positivity 4YCCG5WVB6
| URI | m2://inv/4YCCG5WVB6 |
|---|---|
| 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.24541#K6B2, Interval-stable positivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
integral symbol 4YCEG1D4ER
| URI | m2://inv/4YCEG1D4ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#8P9E, integral symbol (definition)
History
- 2026-11-02: add by m2/dev
4YCMDRS63X 4YCMDRS63X
| URI | m2://inv/4YCMDRS63X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.01873#OS1U (statement). In FVZZDPEYNM/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
4YCMJTRZNM 4YCMJTRZNM
| URI | m2://inv/4YCMJTRZNM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#ZWMF (definition). In FCMMB2EVAP/e1, definition 2.21
History
- 2026-10-27: add by m2/v0.4.2
4YCP50CQWT 4YCP50CQWT
| URI | m2://inv/4YCP50CQWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.01474#XXTW (statement). In 2QB5F6J24Q/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Equality of likelihood derivatives 4YCYD0N48B
| URI | m2://inv/4YCYD0N48B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23903#C4OI, Equality of likelihood derivatives (statement)
History
- 2026-11-02: add by m2/v0.6.17
4YD65JPTJJ 4YD65JPTJJ
| URI | m2://inv/4YD65JPTJJ |
|---|---|
| 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#AHN7 (statement). In TJH58FRGEN/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Definition 4YD74461X5
| URI | m2://inv/4YD74461X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LF-space#J6SK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dean Isaacson 4YDET3Y3YX
| URI | m2://inv/4YDET3Y3YX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#64GE, Dean Isaacson (topic)
History
- 2026-11-02: add by m2/dev
Hölder condition 4YDFY2AZ4Q
| URI | m2://inv/4YDFY2AZ4Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hölder continuity 012PBA0FMD |
Mentions
- wikidata: Wikidata Q91259930, Hölder condition (concept). Also MathWorld HoelderCondition
- wikipedia: Wikipedia Hölder condition, Hölder condition (definition). Also Wikidata Q91259930
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
4YDHBW6MHT 4YDHBW6MHT
| URI | m2://inv/4YDHBW6MHT |
|---|---|
| Kind | example |
| 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 2610.14080#BEDD (example). In 1DRD5FAJ4C/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
4YDT0TH66Q 4YDT0TH66Q
| URI | m2://inv/4YDT0TH66Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23332#OBAS (statement)
History
- 2026-11-02: add by m2/v0.6.17
4YDVGV5HJ9 4YDVGV5HJ9
| URI | m2://inv/4YDVGV5HJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#1MK1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
History of astrodynamics 4YDYB6CAKX
| URI | m2://inv/4YDYB6CAKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital mechanics#JVBD, History of astrodynamics (unknown)
History
- 2026-11-02: add by m2/dev
4YE03DX48W 4YE03DX48W
| URI | m2://inv/4YE03DX48W |
|---|---|
| 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.12640#FC0P (statement). In QP9FE1D6PG/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
4YE3FMXKQC 4YE3FMXKQC
| URI | m2://inv/4YE3FMXKQC |
|---|---|
| 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 2111.07409#NHOG (statement). In KWH4QJDPWC/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.4.0
DeShaun Foster 4YE424ZE21
| URI | m2://inv/4YE424ZE21 |
|---|---|
| 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#9OUC, DeShaun Foster (unknown)
History
- 2026-11-02: add by m2/dev
4YE6E013ZR 4YE6E013ZR
| URI | m2://inv/4YE6E013ZR |
|---|---|
| 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.29916#37KR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Electrokinesis 4YE71K11F1
| URI | m2://inv/4YE71K11F1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrohydrodynamics#DID0, Electrokinesis (unknown)
History
- 2026-11-02: add by m2/dev
Multivariate analysis 4YE9C0JQE5
| URI | m2://inv/4YE9C0JQE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LG3W, Multivariate analysis (definition)
History
- 2026-11-02: add by m2/dev
4YEGJXYWR2 4YEGJXYWR2
| URI | m2://inv/4YEGJXYWR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11906#V9L8 (statement). In 8S9TEAPCDJ/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
Second-order cone programming 4YEJVC850M
| URI | m2://inv/4YEJVC850M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order cone programming, Second-order cone programming (definition). Also Wikidata Q7442977
History
- 2026-11-02: add by m2/dev
(Nigeria #9) 4YEQMQ9AXG
| URI | m2://inv/4YEQMQ9AXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#ZULK, (Nigeria #9) (unknown)
History
- 2026-11-02: add by m2/dev
4YEYXDM7EC 4YEYXDM7EC
| URI | m2://inv/4YEYXDM7EC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithm 4YF0191C11
| URI | m2://inv/4YF0191C11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill–Beck land division problem#IXQA, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
4YF48E100R 4YF48E100R
| URI | m2://inv/4YF48E100R |
|---|---|
| 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.02790#M3O1 (statement). In NB7HZ8W2K2/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Properties 4YF4XDD4N7
| URI | m2://inv/4YF4XDD4N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial functor (type theory)#ZD5P, Properties (statement)
History
- 2026-11-02: add by m2/dev
4YF5MPEJNZ 4YF5MPEJNZ
| URI | m2://inv/4YF5MPEJNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#KW0P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stochastic calculus of variations 4YF6XFDCCE
| URI | m2://inv/4YF6XFDCCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7B8B, Stochastic calculus of variations (definition)
History
- 2026-11-02: add by m2/dev
Cardano–Tartaglia formula 4YF85Q9QTN
| URI | m2://inv/4YF85Q9QTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lodovico Ferrari#ZQJ8, Cardano–Tartaglia formula (statement)
History
- 2026-11-02: add by m2/dev
4YF8WSEV35 4YF8WSEV35
| URI | m2://inv/4YF8WSEV35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00798#7G0Q (statement). In FANG3A8NZ9/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
compositum degree 4YFCF7D3VQ
| URI | m2://inv/4YFCF7D3VQ |
|---|---|
| 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.07508#H6ON, compositum degree (statement). In TPA3E67MKK/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
4YFDXQS8Z3 4YFDXQS8Z3
| URI | m2://inv/4YFDXQS8Z3 |
|---|---|
| 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.21963#CXOC (statement). In HR9R8RPKN8/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Lindelöf's lemma 4YFE25FSYH
| URI | m2://inv/4YFE25FSYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#28WJ, Lindelöf's lemma (statement)
History
- 2026-11-02: add by m2/dev
length, of path or cycle 4YFJJ64SF0
| URI | m2://inv/4YFJJ64SF0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/length-of-path-or-cycle, length, of path or cycle (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Optimal-set containment 4YFTNEXEHX
| URI | m2://inv/4YFTNEXEHX |
|---|---|
| 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.33472#V5SR, Optimal-set containment (statement). In WBQQBZ4FCJ/e1, theorem B.1
History
- 2026-10-30: add by m2/v0.4.12
4YG00YW2V9 4YG00YW2V9
| URI | m2://inv/4YG00YW2V9 |
|---|---|
| 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.23262#GDEC (statement)
History
- 2026-11-02: add by m2/v0.6.17
4YG773V76Q 4YG773V76Q
| URI | m2://inv/4YG773V76Q |
|---|---|
| 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#NVB7 (statement). In 37S7MNMZ2F/e1, corollary 82
History
- 2026-10-27: add by m2/v0.3.5
4YG96DXZ2S 4YG96DXZ2S
| URI | m2://inv/4YG96DXZ2S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
4YGBGA382H 4YGBGA382H
| URI | m2://inv/4YGBGA382H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#FREH (statement). In 44DQ7W1NW9/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.12
Bernoulli polynomials 4YGJPME9G0
| URI | m2://inv/4YGJPME9G0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bernoulli polynomials BXQKBJJGFG |
Mentions
- wikidata: Wikidata Q2346201, Bernoulli polynomials (concept). Also MathWorld BernoulliPolynomial
- wikipedia: Wikipedia Bernoulli polynomials, Bernoulli polynomials (definition). Also Wikidata Q2346201
History
- 2026-10-26: add by m2/dev
Dark energy 4YGJY6PGDD
| URI | m2://inv/4YGJY6PGDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#NVLS, Dark energy (unknown)
History
- 2026-11-02: add by m2/dev
effective, equivalence relation 4YGKCFP3CQ
| URI | m2://inv/4YGKCFP3CQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.3/effective-equivalence-relation, effective, equivalence relation (concept). In N54F33XE07, index, section C.1.3
History
- 2026-11-01: add by m2/v0.6.13
4YGMQC8PG3 4YGMQC8PG3
| URI | m2://inv/4YGMQC8PG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#SK6Z (statement). In QHFP0837Q8/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.12
4YGRZ26SYY 4YGRZ26SYY
| URI | m2://inv/4YGRZ26SYY |
|---|---|
| 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.03126#B41S (statement). In ZJ6VQCRDVR/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Zhou's Fixed-Point Theorem for correspondences 4YGSRSX3C0
| URI | m2://inv/4YGSRSX3C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong set order#5QME, Zhou's Fixed-Point Theorem for correspondences (statement)
History
- 2026-11-02: add by m2/dev
Hadwiger 1943 4YH5GCK0C6
| URI | m2://inv/4YH5GCK0C6 |
|---|---|
| Kind | conjecture |
| 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.35361#6Z3H, Hadwiger 1943 (conjecture). In E4PGMSEQTS/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
4YH73YMYKY 4YH73YMYKY
| URI | m2://inv/4YH73YMYKY |
|---|---|
| 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.01276#TLN9 (statement). In 7JJPPMS2DN/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
4YHNKNHGMA 4YHNKNHGMA
| URI | m2://inv/4YHNKNHGMA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
4YHSFHSXAB 4YHSFHSXAB
| URI | m2://inv/4YHSFHSXAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2407.07642#JI64 (statement). In 27HQYN07NQ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Type-consistent OCPN 4YHVE64Q3N
| URI | m2://inv/4YHVE64Q3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#Q1AJ, Type-consistent OCPN (definition)
History
- 2026-11-02: add by m2/v0.6.18
Interior extremum theorem 4YJ03WNW9T
| URI | m2://inv/4YJ03WNW9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#3PX2, Interior extremum theorem (statement)
History
- 2026-11-02: add by m2/dev
Inverse of a shifted operator geodesic 4YJ27ECR23
| URI | m2://inv/4YJ27ECR23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15180#TP97, Inverse of a shifted operator geodesic (statement). In AMRWRJDNKJ/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Differential form 4YJ2MAYG4B
| URI | m2://inv/4YJ2MAYG4B |
|---|---|
| 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 2509.22289#L77X, Differential form (statement). In BF5Y4V84GV/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.0
Pearson's chi-squared test 4YJ670MFNY
| URI | m2://inv/4YJ670MFNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J12O, Pearson's chi-squared test (definition)
History
- 2026-11-02: add by m2/dev
John von Neumann 4YJ85J6ECZ
| URI | m2://inv/4YJ85J6ECZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GCBX, John von Neumann (topic)
History
- 2026-11-02: add by m2/dev
4YJHV3QRJY 4YJHV3QRJY
| URI | m2://inv/4YJHV3QRJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop-4 (statement). In E59CDZA4DP, prop, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
4YJKTGT85P 4YJKTGT85P
| URI | m2://inv/4YJKTGT85P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.23666#YG4D (statement). In YKQ89G5QA2/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
deductive system 4YJKWT4A9B
| URI | m2://inv/4YJKWT4A9B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/deductive-system, deductive system (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Example 4YJMT1EXTX
| URI | m2://inv/4YJMT1EXTX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie point symmetry#6HAO, Example (example)
History
- 2026-11-02: add by m2/dev
Clearing denominators 4YJR2SYV16
| URI | m2://inv/4YJR2SYV16 |
|---|---|
| Kind | statement |
| 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 2610.15887#UTHR, Clearing denominators (statement). In 87QYNZZ67Z/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Nonlocal symmetry 4YJTKEJF58
| URI | m2://inv/4YJTKEJF58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlocal symmetry, Nonlocal symmetry (definition)
History
- 2026-11-02: add by m2/dev
4YJZ1YXKSN 4YJZ1YXKSN
| URI | m2://inv/4YJZ1YXKSN |
|---|---|
| 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.11031#ZCKA (statement). In 9DMJXFRQN9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
International Mathematical Union 4YJZQNMZNZ
| URI | m2://inv/4YJZQNMZNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#KMB2, International Mathematical Union (definition)
History
- 2026-11-02: add by m2/dev
A general formula 4YK1S5FBM8
| URI | m2://inv/4YK1S5FBM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of a 2 by 2 matrix#S0QL, A general formula (statement)
History
- 2026-11-02: add by m2/dev
4YK406C7FC 4YK406C7FC
| URI | m2://inv/4YK406C7FC |
|---|---|
| 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.31274#Q1RR (example). In RK0ZMDJ23T/e1, example 1.2.10
History
- 2026-10-31: add by m2/v0.5.6
4YK7H5PBJ7 4YK7H5PBJ7
| URI | m2://inv/4YK7H5PBJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#38W2 (statement). In CM2YEK9T4F/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Ian Stewart 4YK94N4KM9
| URI | m2://inv/4YK94N4KM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EZ8Z, Ian Stewart (topic)
History
- 2026-11-02: add by m2/dev
4YKE73KD1Y 4YKE73KD1Y
| URI | m2://inv/4YKE73KD1Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 38.14
History
- 2026-11-01: add by m2/v0.6.13
Stacey Franklin Jones 4YM1F391JQ
| URI | m2://inv/4YM1F391JQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stacey Franklin Jones, Stacey Franklin Jones (topic). Also Wikidata Q124539819
History
- 2026-11-02: add by m2/dev
4YM1KVFWXS 4YM1KVFWXS
| URI | m2://inv/4YM1KVFWXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#ps:1kex (example). In E59CDZA4DP, example, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
4YM2EYCQEA 4YM2EYCQEA
| URI | m2://inv/4YM2EYCQEA |
|---|---|
| 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 2011.06637#296N (statement). In KFCJ5CFP3G/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
tail 4YM32CHZ4M
| URI | m2://inv/4YM32CHZ4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140092311, tail (unknown). Also MathWorld Tail
History
- 2026-10-26: add by m2/dev
Locally compact field 4YM3BKWSVW
| URI | m2://inv/4YM3BKWSVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact field, Locally compact field (definition). Also Wikidata Q6664668
History
- 2026-11-02: add by m2/dev
Definition 4YMT290CMN
| URI | m2://inv/4YMT290CMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate kernel density estimation#MGCG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 4YMT88KR5P
| URI | m2://inv/4YMT88KR5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfectly orderable graph#QFFB, Definition (definition)
History
- 2026-11-02: add by m2/dev
4YMX0N9H9A 4YMX0N9H9A
| URI | m2://inv/4YMX0N9H9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#97RK (statement). In SNWC76WKWT/e1, lemma F.1
History
- 2026-10-31: add by m2/v0.5.6
Trefftz method 4YN55ZDTYG
| URI | m2://inv/4YN55ZDTYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ZUS3, Trefftz method (definition)
History
- 2026-11-02: add by m2/dev
Graphical model 4YNM83DETB
| URI | m2://inv/4YNM83DETB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical model, Graphical model (definition). Also Wikidata Q1143367
History
- 2026-11-02: add by m2/dev
4YNMWQVS99 4YNMWQVS99
| URI | m2://inv/4YNMWQVS99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#UDPH (statement). In 37B1MPV8GX/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Chris Kottke 4YNP8HNB3W
| URI | m2://inv/4YNP8HNB3W |
|---|---|
| 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 Q81372204, Chris Kottke (unknown). Also nLab Chris Kottke
History
- 2026-10-26: add by m2/dev
number field signature 4YNTW2S95M
| URI | m2://inv/4YNTW2S95M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3483639, number field signature (unknown). Also LMFDB knowl nf.signature
History
- 2026-10-26: add by m2/dev
4YNW4A36XT 4YNW4A36XT
| URI | m2://inv/4YNW4A36XT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#XE6Z (statement). In D6F8XGF5SS/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Ternary quartic 4YP5G45FCJ
| URI | m2://inv/4YP5G45FCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary quartic, Ternary quartic (definition). Also Wikidata Q7702936
History
- 2026-11-02: add by m2/dev
Coprime dilation 4YP9WV7WXB
| URI | m2://inv/4YP9WV7WXB |
|---|---|
| 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.26576#GBU2, Coprime dilation (statement)
History
- 2026-11-01: add by m2/v0.6.15
informal 4YPC66PM0E
| URI | m2://inv/4YPC66PM0E |
|---|---|
| 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.08610#4ZWL, informal (statement). In CB2JWNS1E9/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Flat-foldability 4YPFR967JC
| URI | m2://inv/4YPFR967JC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of paper folding#2DXR, Flat-foldability (unknown)
History
- 2026-11-02: add by m2/dev
Example 4YPH1YV1H1
| URI | m2://inv/4YPH1YV1H1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seasonal adjustment#3A3D, Example (example)
History
- 2026-11-02: add by m2/dev
4YPQKX90HX 4YPQKX90HX
| URI | m2://inv/4YPQKX90HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#W6R4 (statement). In QBAP8C82FG/e1, theorem 19
History
- 2026-10-30: add by m2/v0.4.12
4YPR90PDPW 4YPR90PDPW
| URI | m2://inv/4YPR90PDPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#XA0H (statement). In 6WJ0R9YEBR/e1, corollary 5.11
History
- 2026-10-28: add by m2/v0.4.2
Uwe Storch 4YQ4C097DW
| URI | m2://inv/4YQ4C097DW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#VPN1, Uwe Storch (topic)
History
- 2026-11-02: add by m2/dev
4YQHKJT7MW 4YQHKJT7MW
| URI | m2://inv/4YQHKJT7MW |
|---|---|
| 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.03323#2Z2D (statement). In J1ZP57QWED/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
irregularity 4YQY8TQEAJ
| URI | m2://inv/4YQY8TQEAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#Q3PQ, irregularity (definition)
History
- 2026-11-02: add by m2/dev
4YR2B3VD50 4YR2B3VD50
| URI | m2://inv/4YR2B3VD50 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#proof-4 (proof). In RZP28ERRZV, proof, section 59.7
History
- 2026-11-01: add by m2/v0.6.13
Definition 4YR57DM2F0
| URI | m2://inv/4YR57DM2F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersion function#NSCI, Definition (definition)
History
- 2026-11-02: add by m2/dev
4YRP7XE8Y7 4YRP7XE8Y7
| URI | m2://inv/4YRP7XE8Y7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#J4N4 (statement). In AGJE43FTF8/e1, corollary 9.3
History
- 2026-10-27: add by m2/v0.4.2
Growth of the clean margin classes 4YRX37Q808
| URI | m2://inv/4YRX37Q808 |
|---|---|
| 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.21363#QGC5, Growth of the clean margin classes (statement). In YPH7NS5AAQ/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.4.2
Gottfried Leibniz 4YRYNDH7YC
| URI | m2://inv/4YRYNDH7YC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#4SRL, Gottfried Leibniz (topic)
History
- 2026-11-02: add by m2/dev
4YRYWTN0K6 4YRYWTN0K6
| URI | m2://inv/4YRYWTN0K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2107.00792#B3G5 (statement). In TD16A541ZN/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Helly family 4YRZ0VDEJ2
| URI | m2://inv/4YRZ0VDEJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly family, Helly family (definition). Also Wikidata Q1603101
History
- 2026-11-02: add by m2/dev
programming 4YS1634F4R
| URI | m2://inv/4YS1634F4R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/programming, programming (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
4YS319WRYB 4YS319WRYB
| URI | m2://inv/4YS319WRYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#definition-5 (definition). In 649HGZKE96, definition, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Population bound for the 1NN uphill shift in the tube 4YS3C0X6ZC
| URI | m2://inv/4YS3C0X6ZC |
|---|---|
| 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.01050#YEPS, Population bound for the 1NN uphill shift in the tube (statement). In 48NN33SAH7/e1, lemma F.9
History
- 2026-10-29: add by m2/v0.4.12
4YS3JNF1RT 4YS3JNF1RT
| URI | m2://inv/4YS3JNF1RT |
|---|---|
| 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.19426#18N5 (statement). In Y28XB7TPPZ/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
Birch and Swinnerton-Dyer conjecture 4YS590SG7Z
| URI | m2://inv/4YS590SG7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millennium Prize Problems#3YYH, Birch and Swinnerton-Dyer conjecture (statement)
History
- 2026-11-02: add by m2/dev
Variants 4YS7A3NBMA
| URI | m2://inv/4YS7A3NBMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-key MAC#FP9N, Variants (statement)
History
- 2026-11-02: add by m2/dev
4YSCZVKG42 4YSCZVKG42
| URI | m2://inv/4YSCZVKG42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#ZBCL (statement). In 1QSCT53ZED/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.4.0
4YSKEKR3P4 4YSKEKR3P4
| URI | m2://inv/4YSKEKR3P4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#K19V (statement). In 7AXKHR4YB3/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.6
Atiyah–Segal completion theorem 4YSVHZZNET
| URI | m2://inv/4YSVHZZNET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#O9IU, Atiyah–Segal completion theorem (statement)
History
- 2026-11-02: add by m2/dev
telescope 4YSZBTNX64
| URI | m2://inv/4YSZBTNX64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#6KDH, telescope (definition)
History
- 2026-11-02: add by m2/dev
Sketch of Proof 4YT252AAEX
| URI | m2://inv/4YT252AAEX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-4, Sketch of Proof (proof). In RZP28ERRZV, proof, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
$n=2$, $p=2$: the complete profile 4YTADA50TR
| URI | m2://inv/4YTADA50TR |
|---|---|
| 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.09298#Y0MH, $n=2$, $p=2$: the complete profile (statement). In 1SPQ4J3AWY/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Simulated output probability 4YTJE5XYJM
| URI | m2://inv/4YTJE5XYJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08280#05WT, Simulated output probability (statement). In EGADPYP7R3/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Applications 4YTMZ3MXTM
| URI | m2://inv/4YTMZ3MXTM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor series#WJV7, Applications (example)
History
- 2026-11-02: add by m2/dev
4YTX9MJTE7 4YTX9MJTE7
| URI | m2://inv/4YTX9MJTE7 |
|---|---|
| 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.00113#Q935 (statement). In R9PP1Y2EP4/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
4YV249273Z 4YV249273Z
| URI | m2://inv/4YV249273Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-10 (proof). In E59CDZA4DP, proof, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
Relative transversality 4YV51GDA24
| URI | m2://inv/4YV51GDA24 |
|---|---|
| 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.23629#MGJV, Relative transversality (statement)
History
- 2026-11-02: add by m2/v0.6.17
4YV830PSXM 4YV830PSXM
| URI | m2://inv/4YV830PSXM |
|---|---|
| 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.14318#RV6J (statement). In HA4SZZJ831/e1, corollary 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties 4YV8T1M2JN
| URI | m2://inv/4YV8T1M2JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extranatural transformation#IHSK, Properties (statement)
History
- 2026-11-02: add by m2/dev
An interval-polynomial inequality 4YVDY3BGQ1
| URI | m2://inv/4YVDY3BGQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#NYKV, An interval-polynomial inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
4YVF9YRKF2 4YVF9YRKF2
| URI | m2://inv/4YVF9YRKF2 |
|---|---|
| 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.32207#GU9J (statement). In R94G9XD5AC/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
4YVJWF6ADS 4YVJWF6ADS
| URI | m2://inv/4YVJWF6ADS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#EUOS (example). In KH1H3TSWPS/e1, example 4.16
History
- 2026-10-27: add by m2/v0.3.6
4YWDHJ7KAA 4YWDHJ7KAA
| URI | m2://inv/4YWDHJ7KAA |
|---|---|
| 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.38838#6ULA (statement). In 3EH8M9GWTX/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Dedekind ellipsoid 4YWH1PRDB4
| URI | m2://inv/4YWH1PRDB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi ellipsoid#VSF5, Dedekind ellipsoid (unknown)
History
- 2026-11-02: add by m2/dev
Maria Bruna 4YWT1Z0KCV
| URI | m2://inv/4YWT1Z0KCV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Bruna, Maria Bruna (topic). Also Wikidata Q57239822
History
- 2026-11-02: add by m2/dev
Padded comparison 4YX0DBSS38
| URI | m2://inv/4YX0DBSS38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27843#36OW, Padded comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
4YX15MTDQF 4YX15MTDQF
| URI | m2://inv/4YX15MTDQF |
|---|---|
| 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 2512.08487#E1TM (statement). In 77TVQVYN0Z/e1, proposition 27
History
- 2026-10-27: add by m2/v0.3.6
4YX28EE8V4 4YX28EE8V4
| URI | m2://inv/4YX28EE8V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#CZW9 (statement). In M4ZVJWM8YA/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.4.2
4YX915YQ6F 4YX915YQ6F
| URI | m2://inv/4YX915YQ6F |
|---|---|
| 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#82YV (statement). In WAXS6FS388/e1, theorem 2.13
History
- 2026-10-30: add by m2/v0.4.12
4YXD7J877D 4YXD7J877D
| URI | m2://inv/4YXD7J877D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.20128#UNGA (statement)
History
- 2026-11-02: add by m2/v0.6.18
4YXEMHZ4WV 4YXEMHZ4WV
| URI | m2://inv/4YXEMHZ4WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#9ZSE (statement). In SN9RSTHQ07/e1, lemma I.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 4YXKFFNC9P
| URI | m2://inv/4YXKFFNC9P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic space#VGMG, Examples (example)
History
- 2026-11-02: add by m2/dev
4YY0T5EPAX 4YY0T5EPAX
| URI | m2://inv/4YY0T5EPAX |
|---|---|
| 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.27673#9IMB (statement)
History
- 2026-11-01: add by m2/v0.6.15
4YY3E0NYWW 4YY3E0NYWW
| URI | m2://inv/4YY3E0NYWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#FHBM (statement). In 3Y76AQQGF0/e1, proposition 9.3
History
- 2026-10-29: add by m2/v0.4.12
Finite Covering Lemma 4YY4N23S61
| URI | m2://inv/4YY4N23S61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali covering lemma#7HG4, Finite Covering Lemma (statement)
History
- 2026-11-02: add by m2/dev
Quantum logic gate 4YY5WHTKAJ
| URI | m2://inv/4YY5WHTKAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum logic gate, Quantum logic gate (definition). Also Wikidata Q2118982
History
- 2026-11-02: add by m2/dev
4YYH56KVC2 4YYH56KVC2
| URI | m2://inv/4YYH56KVC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#2WOG (statement). In EBMHYN0XK9/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Kernel transport 4YYJ7Y303K
| URI | m2://inv/4YYJ7Y303K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#FUV9, Kernel transport (statement)
History
- 2026-11-01: add by m2/v0.6.15
4YYNBHZE92 4YYNBHZE92
| URI | m2://inv/4YYNBHZE92 |
|---|---|
| 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.29148#TSJQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
$S$ is a Markov semigroup 4YYSWN585T
| URI | m2://inv/4YYSWN585T |
|---|---|
| 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.32585#JY3C, $S$ is a Markov semigroup (statement). In FJFJ3WR1SS/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
Example 4YYTN2DQKY
| URI | m2://inv/4YYTN2DQKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word problem for groups#X1IQ, Example (example)
History
- 2026-11-02: add by m2/dev
Herbrand's theorem 4YYYYR1R72
| URI | m2://inv/4YYYYR1R72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Herbrand's theorem VZ21F10WRS |
Mentions
- mathlib_1000: mathlib_1000 Q1930577, Herbrand's theorem (statement). Also Wikidata Q1930577
- thousand_plus: thousand_plus Q1930577, Herbrand's theorem (statement). Also Wikidata Q1930577, Wikipedia Herbrand's theorem
- wikidata: Wikidata Q1930577, Herbrand's theorem (statement). Also MathWorld HerbrandsTheorem
- wikipedia: Wikipedia Herbrand's theorem, Herbrand's theorem (statement). Also Wikidata Q1930577
History
- 2026-10-26: add by m2/dev
4YZ4H2PJ2F 4YZ4H2PJ2F
| URI | m2://inv/4YZ4H2PJ2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#9W3B (statement). In XEQD21EBTT/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
4YZ5PCV6GZ 4YZ5PCV6GZ
| URI | m2://inv/4YZ5PCV6GZ |
|---|---|
| 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.37026#CZW1 (statement). In QGZPH9W8GY/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
Quasi-syllogism 4YZK2NSJWH
| URI | m2://inv/4YZK2NSJWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-syllogism, Quasi-syllogism (definition). Also Wikidata Q7269479
History
- 2026-11-02: add by m2/dev
Subjective expected relative similarity 4YZN61QKZR
| URI | m2://inv/4YZN61QKZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective expected relative similarity, Subjective expected relative similarity (definition). Also Wikidata Q25212722
History
- 2026-11-02: add by m2/dev
4YZSMRGYBC 4YZSMRGYBC
| URI | m2://inv/4YZSMRGYBC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.38556#UIXD (definition). In GC2H0HS7ZM/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
4YZV6J6D41 4YZV6J6D41
| URI | m2://inv/4YZV6J6D41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#def:congruence class (definition). In P1C114YBXG, definition, section F
History
- 2026-11-01: add by m2/v0.6.13
4YZYNPGSTD 4YZYNPGSTD
| URI | m2://inv/4YZYNPGSTD |
|---|---|
| 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.36412#L4RS (statement). In 6HKGGCMBCK/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12