Inventory rows JF
The cards of the rows of the inventory whose ids start with JF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
JF04HHRD3G JF04HHRD3G
| URI | m2://inv/JF04HHRD3G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22685#OD1M (definition)
History
- 2026-11-02: add by m2/v0.6.17
Local product logarithmic collar JF09T0PMWM
| URI | m2://inv/JF09T0PMWM |
|---|---|
| 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#G1DF, Local product logarithmic collar (statement)
History
- 2026-11-01: add by m2/v0.6.15
JF0KFF6VF7 JF0KFF6VF7
| URI | m2://inv/JF0KFF6VF7 |
|---|---|
| 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.02642#OTZZ (statement). In VMWV58VWKN/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.12
Harris-Kleitman inequality JF13H02AQ7
| URI | m2://inv/JF13H02AQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Harris-Kleitman inequality, Harris-Kleitman inequality (unknown). Also Mathlib IsLowerSet.le_card_inter_finset
History
- 2026-10-26: add by m2/dev
Preliminary Green-function bounds JF191RJ4C6
| URI | m2://inv/JF191RJ4C6 |
|---|---|
| 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.06875#4YCZ, Preliminary Green-function bounds (statement). In ZDT5J9KQVQ/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
cells of the pointed realization JF1BJT6KHY
| URI | m2://inv/JF1BJT6KHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#7NNW, cells of the pointed realization (statement). In PCAS8S14J6/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
JF1HSB6344 JF1HSB6344
| URI | m2://inv/JF1HSB6344 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2610.18929#IC3D (definition). In ZRJ2DZT6P1/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
JF1PRB7D8D JF1PRB7D8D
| URI | m2://inv/JF1PRB7D8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#Y1V4 (definition). In W9A0Z2NBMA/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Inheritance by subobjects and quotients JF1Y6PN9GN
| URI | m2://inv/JF1Y6PN9GN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#523O, Inheritance by subobjects and quotients (statement). In TC5QA4AB4Z/e1, proposition 3.30
History
- 2026-10-30: add by m2/v0.4.12
Jacobi inequality JF22GT526K
| URI | m2://inv/JF22GT526K |
|---|---|
| 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.23006#8V2F, Jacobi inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
algebraic set JF26WXH4VE
| URI | m2://inv/JF26WXH4VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3042316, algebraic set (unknown). Also MathWorld AlgebraicSet
History
- 2026-10-26: add by m2/dev
JF2DV14M4Z JF2DV14M4Z
| URI | m2://inv/JF2DV14M4Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Exact Cameron--Martin identity JF2EBZ6C7Z
| URI | m2://inv/JF2EBZ6C7Z |
|---|---|
| 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.02436#1XQE, Exact Cameron--Martin identity (statement). In J9WZBK6KAY/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
JF2ENKX2F1 JF2ENKX2F1
| URI | m2://inv/JF2ENKX2F1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#proof-2 (proof). In RZP28ERRZV, proof, section 64.3.3
History
- 2026-11-01: add by m2/v0.6.13
Elementary and coherent \(R\)-modules JF2HZ6MD2R
| URI | m2://inv/JF2HZ6MD2R |
|---|---|
| Kind | definition |
| 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.39293#CNEL, Elementary and coherent \(R\)-modules (definition). In S26QVW5613/e1, definition 0.0.7
History
- 2026-10-30: add by m2/v0.4.12
t-RIP JF2JTG9MAQ
| URI | m2://inv/JF2JTG9MAQ |
|---|---|
| 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.37865#5FYK, t-RIP (definition). In 1ADMH800X0/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Formulation JF2PW7P8PG
| URI | m2://inv/JF2PW7P8PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic unobserved effects model#YGNJ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Padding JF2Q7ES48E
| URI | m2://inv/JF2Q7ES48E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padding (cryptography), Padding (definition). Also Wikidata Q1509884
History
- 2026-11-02: add by m2/dev
JF2V63XVJ3 JF2V63XVJ3
| URI | m2://inv/JF2V63XVJ3 |
|---|---|
| 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 2610.18078#ZDS5 (statement). In YVK8EFSYNJ/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
JF2VSPNT5N JF2VSPNT5N
| URI | m2://inv/JF2VSPNT5N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35683#IZQH (definition). In A4S9A3X494/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Characterization using the axioms of intuitionistic logic JF33P1MSS0
| URI | m2://inv/JF33P1MSS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#OT57, Characterization using the axioms of intuitionistic logic (statement)
History
- 2026-11-02: add by m2/dev
Kronecker–Weber theorem JF35CQW6BX
| URI | m2://inv/JF35CQW6BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#BE8K, Kronecker–Weber theorem (statement)
History
- 2026-11-02: add by m2/dev
JF3G3X2J3Q JF3G3X2J3Q
| URI | m2://inv/JF3G3X2J3Q |
|---|---|
| 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.29450#CISP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition JF3XE56GGB
| URI | m2://inv/JF3XE56GGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schatten norm#QL44, Definition (definition)
History
- 2026-11-02: add by m2/dev
JF4D656DWM JF4D656DWM
| URI | m2://inv/JF4D656DWM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
JF4FWQYGPB JF4FWQYGPB
| URI | m2://inv/JF4FWQYGPB |
|---|---|
| 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.03555#ID1L (statement). In 9JZJTRRVR1/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Heckman–Opdam polynomials JF4HW2QY43
| URI | m2://inv/JF4HW2QY43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#05XE, Heckman–Opdam polynomials (definition)
History
- 2026-11-02: add by m2/dev
Gordon's comparison theorem JF4QADMZKX
| URI | m2://inv/JF4QADMZKX |
|---|---|
| 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.38453#AEAD, Gordon's comparison theorem (statement). In DWKWF242Y0/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
JF4V2JMF1S JF4V2JMF1S
| URI | m2://inv/JF4V2JMF1S |
|---|---|
| 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 2610.11793#RBQW (statement). In GGCY8Z053Z/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.3
JF4W8G17RE JF4W8G17RE
| URI | m2://inv/JF4W8G17RE |
|---|---|
| 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.18287#IRWE (statement). In ZXZN6RMN38/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
{The ring $\ZZ[\frac{1 + \sqrt{-19}}{2}]$ is not a Euclidean domain} JF514RVEX1
| URI | m2://inv/JF514RVEX1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-11, {The ring $\ZZ[\frac{1 + \sqrt{-19}}{2}]$ is not a Euclidean domain} (example). In RZP28ERRZV, example, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
Properties JF52XCB0KW
| URI | m2://inv/JF52XCB0KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bagplot#LSRH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Forward stability and topology JF53PMXT9Q
| URI | m2://inv/JF53PMXT9Q |
|---|---|
| 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#N16E, Forward stability and topology (statement). In 9YAE8FNQST/e1, proposition 31.6
History
- 2026-10-30: add by m2/v0.4.12
Modular form JF591WEAMC
| URI | m2://inv/JF591WEAMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#CPHL, Modular form (definition)
- wikipedia: Wikipedia List of Lie groups topics#OKST, Modular form (definition)
- wikipedia: Wikipedia List of number theory topics#2FQ9, Modular form (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#7Y0K, Modular form (definition)
History
- 2026-11-02: add by m2/dev
Construction JF5BQ78ZTX
| URI | m2://inv/JF5BQ78ZTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hendecagram#TRFQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Uses JF5PGWXQNJ
| URI | m2://inv/JF5PGWXQNJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axis–angle representation#4KDB, Uses (example)
History
- 2026-11-02: add by m2/dev
JF5Q0QND9A JF5Q0QND9A
| URI | m2://inv/JF5Q0QND9A |
|---|---|
| Kind | problem |
| 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.20881#MBV1 (problem)
History
- 2026-11-02: add by m2/v0.6.18
JF627A87WP JF627A87WP
| URI | m2://inv/JF627A87WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#Y67G (statement). In 5XKHZKEGAF/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
p-adic valuation JF67RNCAKA
| URI | m2://inv/JF67RNCAKA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | P-adic valuation 03HDF50VN4 |
Mentions
- wikidata: Wikidata Q4008396, p-adic valuation (unknown). Also EoM P-adic_valuation
- wikipedia: Wikipedia P-adic valuation, P-adic valuation (object). Also Wikidata Q4008396
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Gun JF692W3T2K
| URI | m2://inv/JF692W3T2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gun (cellular automaton), Gun (definition). Also Wikidata Q2936446
History
- 2026-11-02: add by m2/dev
Formal statement JF6C5ZDFHZ
| URI | m2://inv/JF6C5ZDFHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tietze extension theorem#A6WR, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
JF6E12TAAV JF6E12TAAV
| URI | m2://inv/JF6E12TAAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-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 2310.17520#X735 (statement). In 93AJXFH963/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
JF6EFBXBCB JF6EFBXBCB
| URI | m2://inv/JF6EFBXBCB |
|---|---|
| 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.20018#TIGX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Post-Minkowskian expansion JF6ENCBDA4
| URI | m2://inv/JF6ENCBDA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-Minkowskian expansion, Post-Minkowskian expansion (definition). Also Wikidata Q107549030
History
- 2026-11-02: add by m2/dev
Truth Lemma JF6HD07B2R
| URI | m2://inv/JF6HD07B2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#lem:truth, Truth Lemma (statement). In PKGMM3P5QY, lem, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
JF6HVGR0XW JF6HVGR0XW
| URI | m2://inv/JF6HVGR0XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.40123#2S3J (statement). In WK2YHYEDZ9/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Coleman–Mandula theorem JF6RNDBP9J
| URI | m2://inv/JF6RNDBP9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VBEJ, Coleman–Mandula theorem (statement)
History
- 2026-11-02: add by m2/dev
JF6SBW0J6Q JF6SBW0J6Q
| URI | m2://inv/JF6SBW0J6Q |
|---|---|
| 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#YUQK (statement). In HTBRYNPHSJ/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
JF7279QZ1N JF7279QZ1N
| URI | m2://inv/JF7279QZ1N |
|---|---|
| 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.40096#UKSS (statement). In XFE35F9NEV/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
Reider's theorem JF7CK8WNJG
| URI | m2://inv/JF7CK8WNJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PXOV, Reider's theorem (statement)
History
- 2026-11-02: add by m2/dev
JF7CZ62QHF JF7CZ62QHF
| URI | m2://inv/JF7CZ62QHF |
|---|---|
| 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.34213#4CVT (statement). In KGP6NAY0NS/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
JF7HQT8ZNA JF7HQT8ZNA
| URI | m2://inv/JF7HQT8ZNA |
|---|---|
| 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 2610.12489#FF7A (example). In FDWFVD08SE/e1, example 2.10
History
- 2026-10-28: add by m2/v0.4.2
JF7VQ8EV5B JF7VQ8EV5B
| URI | m2://inv/JF7VQ8EV5B |
|---|---|
| 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 2610.03835#X0HL (statement). In KAYGQMQPGS/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Exclusion of a distinct-factor source JF7ZH61G8M
| URI | m2://inv/JF7ZH61G8M |
|---|---|
| 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#E85C, Exclusion of a distinct-factor source (statement)
History
- 2026-11-01: add by m2/v0.6.15
JF89X4WKMZ JF89X4WKMZ
| URI | m2://inv/JF89X4WKMZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Forward and reverse magic JF8CM5VQ68
| URI | m2://inv/JF8CM5VQ68 |
|---|---|
| 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 2610.02166#648G, Forward and reverse magic (definition). In R6RF3P6D5A/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
one-form JF8EDEWW3B
| URI | m2://inv/JF8EDEWW3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | One-form 02Z5B2HA3F |
Mentions
- wikidata: Wikidata Q2608202, one-form (concept). Also EoM Pfaffian_form, MathWorld One-Form
- wikipedia: Wikipedia One-form, One-form (definition). Also Wikidata Q2608202
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Donny Daniels JF8PNE1SP5
| URI | m2://inv/JF8PNE1SP5 |
|---|---|
| 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#CX5V, Donny Daniels (unknown)
History
- 2026-11-02: add by m2/dev
JF8VNNG13S JF8VNNG13S
| URI | m2://inv/JF8VNNG13S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#GW0I (statement). In CEKW9CNVVW/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
JF8XFW3VAG JF8XFW3VAG
| URI | m2://inv/JF8XFW3VAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:idtoeqv (statement). In N54F33XE07, lem, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
Hyperlinearity transfer JF94X8VBAX
| URI | m2://inv/JF94X8VBAX |
|---|---|
| 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.04271#EMFM, Hyperlinearity transfer (statement). In WBXAW9G4JB/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.12
Lawrence I-Kuei Lin JF98G9KNYF
| URI | m2://inv/JF98G9KNYF |
|---|---|
| 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#XEIR, Lawrence I-Kuei Lin (topic)
History
- 2026-11-02: add by m2/dev
Local Langlands conjectures JF9D0Z75W2
| URI | m2://inv/JF9D0Z75W2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Langlands conjectures, Local Langlands conjectures (statement). Also Wikidata Q6664175
History
- 2026-11-02: add by m2/dev
Square-summable sequence JF9GC1Q0KV
| URI | m2://inv/JF9GC1Q0KV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#PO0F, Square-summable sequence (unknown)
History
- 2026-11-02: add by m2/dev
Thompson factorization JF9GPAQBS6
| URI | m2://inv/JF9GPAQBS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thompson factorization, Thompson factorization (definition). Also Wikidata Q7795819
History
- 2026-11-02: add by m2/dev
Definition JF9HR5PKXR
| URI | m2://inv/JF9HR5PKXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov space#955F, Definition (definition)
History
- 2026-11-02: add by m2/dev
JF9MT7QPSJ JF9MT7QPSJ
| URI | m2://inv/JF9MT7QPSJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#2U62 (definition). In MZ18CTV65N/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
JF9PY6BT9Z JF9PY6BT9Z
| URI | m2://inv/JF9PY6BT9Z |
|---|---|
| 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.33775#TXGX (statement). In VVQ1FMTHXB/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Euler diagram JF9SFH2N1Q
| URI | m2://inv/JF9SFH2N1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler diagram, Euler diagram (definition). Also Wikidata Q2501020
History
- 2026-11-02: add by m2/dev
Max–min inequality JF9VZ7CX9J
| URI | m2://inv/JF9VZ7CX9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max–min inequality, Max–min inequality (statement). Also Wikidata Q6796210
History
- 2026-11-02: add by m2/dev
JFA4QSKF4E JFA4QSKF4E
| URI | m2://inv/JFA4QSKF4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#0Y6P (statement). In E7W2HDNEKJ/e1, lemma 10.6
History
- 2026-10-30: add by m2/v0.4.12
Definition JFAEZQQQGD
| URI | m2://inv/JFAEZQQQGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit portrait#YCZO, Definition (definition)
History
- 2026-11-02: add by m2/dev
National Security Agency JFAGF4J5X1
| URI | m2://inv/JFAGF4J5X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency, National Security Agency (definition). Also Wikidata Q121194
History
- 2026-11-02: add by m2/dev
JFAGZ2ZXQW JFAGZ2ZXQW
| URI | m2://inv/JFAGZ2ZXQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#HIHP (statement). In Y1K8WE4MDP/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
JFAMA3841Q JFAMA3841Q
| URI | m2://inv/JFAMA3841Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2609.25168#CHNW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bispectrum JFANB876AX
| URI | m2://inv/JFANB876AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bispectrum, Bispectrum (definition). Also Wikidata Q2410583
History
- 2026-11-02: add by m2/dev
JFANCCF4E1 JFANCCF4E1
| URI | m2://inv/JFANCCF4E1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Gauss linking integral JFAQCKANBQ
| URI | m2://inv/JFAQCKANBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#4GG0, Gauss linking integral (definition)
History
- 2026-11-02: add by m2/dev
Hellmann-Feynman JFARR76XKR
| URI | m2://inv/JFARR76XKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#53A1, Hellmann-Feynman (statement). In AQWX60Z563/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
countably infinite set JFB4D3GAYD
| URI | m2://inv/JFB4D3GAYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Countably infinite set 00CR00C9DN |
Mentions
- wikidata: Wikidata Q185478, countably infinite set (definition). Also MathWorld CountablyInfinite, ProofWiki Definition:Countably_Infinite
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
JFB4FFNNQP JFB4FFNNQP
| URI | m2://inv/JFB4FFNNQP |
|---|---|
| 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.13685#TMC2 (statement). In 4XQWY8C4AV/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
JFB6VV09CX JFB6VV09CX
| URI | m2://inv/JFB6VV09CX |
|---|---|
| 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 2605.14343#Q3US (statement). In SP58NHA6N4/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
JFB80JBFWY JFB80JBFWY
| URI | m2://inv/JFB80JBFWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#M8DT (statement). In PA6JQDSKQT/e1, lemma 7.8
History
- 2026-10-28: add by m2/v0.4.2
JFBF6T7V5E JFBF6T7V5E
| URI | m2://inv/JFBF6T7V5E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#8UZM (definition). In V5PVKDKGGG/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
JFBKGPD7RT JFBKGPD7RT
| URI | m2://inv/JFBKGPD7RT |
|---|---|
| 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.32903#JBIR (statement). In S8NB83KQX3/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
Normal potential JFBQJM6TKS
| URI | m2://inv/JFBQJM6TKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geopotential#IBFM, Normal potential (unknown)
History
- 2026-11-02: add by m2/dev
Jordan operator algebra JFBTH9A892
| URI | m2://inv/JFBTH9A892 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan operator algebra, Jordan operator algebra (definition). Also Wikidata Q17098325
History
- 2026-11-02: add by m2/dev
G-network JFBYHSR4MY
| URI | m2://inv/JFBYHSR4MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-network, G-network (definition). Also Wikidata Q5511950
History
- 2026-11-02: add by m2/dev
Marginal model JFC1ES5G4W
| URI | m2://inv/JFC1ES5G4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marginal model, Marginal model (definition). Also Wikidata Q17058458
History
- 2026-11-02: add by m2/dev
JFC5YJXA5H JFC5YJXA5H
| URI | m2://inv/JFC5YJXA5H |
|---|---|
| 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.23093#4D7Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
Competing hypothesis JFC6M7P6PY
| URI | m2://inv/JFC6M7P6PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heroic theory of invention and scientific development#6ZBF, Competing hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Nathaniel Bliss JFCBY41BMJ
| URI | m2://inv/JFCBY41BMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathaniel Bliss, Nathaniel Bliss (topic). Also Wikidata Q945461
History
- 2026-11-02: add by m2/dev
Eleonora Di Nezza JFCERHTY49
| URI | m2://inv/JFCERHTY49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eleonora Di Nezza, Eleonora Di Nezza (topic). Also Wikidata Q102958021
History
- 2026-11-02: add by m2/dev
JFCJQRKXFS JFCJQRKXFS
| URI | m2://inv/JFCJQRKXFS |
|---|---|
| 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.06521#QMSP (statement). In NVXWD513NM/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
JFCREYKVZ1 JFCREYKVZ1
| URI | m2://inv/JFCREYKVZ1 |
|---|---|
| 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 2609.30482#SH65 (statement). In KWB9M5YH9G/e1, proposition 7.6
History
- 2026-10-31: add by m2/v0.5.6
JFCY97EHP3 JFCY97EHP3
| URI | m2://inv/JFCY97EHP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#U46E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cone algorithm JFD4EQWFCV
| URI | m2://inv/JFD4EQWFCV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FMOD, Cone algorithm (unknown)
History
- 2026-11-02: add by m2/dev
JFD4J5Y83S JFD4J5Y83S
| URI | m2://inv/JFD4J5Y83S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#IBVS (statement). In W6VHD4QBY4/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.12
JFD56625ZK JFD56625ZK
| URI | m2://inv/JFD56625ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#0FX9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leopold Vietoris JFD8WPH3XT
| URI | m2://inv/JFD8WPH3XT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#E1BP, Leopold Vietoris (topic)
History
- 2026-11-02: add by m2/dev
Giovanni Alfonso Borelli JFDGP9T5BW
| URI | m2://inv/JFDGP9T5BW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#W5X7, Giovanni Alfonso Borelli (unknown)
History
- 2026-11-02: add by m2/dev
Master identity JFDJ0Q9QX5
| URI | m2://inv/JFDJ0Q9QX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#CX3R, Master identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Order-6 dodecahedral honeycomb JFDKT7SD8K
| URI | m2://inv/JFDKT7SD8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SWJK, Order-6 dodecahedral honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Igor Lomov JFDWGB5P26
| URI | m2://inv/JFDWGB5P26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Lomov, Igor Lomov (topic). Also Wikidata Q53939011
History
- 2026-11-02: add by m2/dev
JFE8MZ7ME2 JFE8MZ7ME2
| URI | m2://inv/JFE8MZ7ME2 |
|---|---|
| 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.28211#2411 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JFEB7GWD1Z JFEB7GWD1Z
| URI | m2://inv/JFEB7GWD1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#8WUC (statement). In WYDHWYFRFK/e1, lemma 5.7
History
- 2026-10-31: add by m2/v0.5.6
JFEHGKB3KB JFEHGKB3KB
| URI | m2://inv/JFEHGKB3KB |
|---|---|
| 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#83CG (definition). In 4WPYBTARS2/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
JFES71QGED JFES71QGED
| URI | m2://inv/JFES71QGED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#O645 (statement). In CC6S1HVK0T/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
JFESH8NTDD JFESH8NTDD
| URI | m2://inv/JFESH8NTDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#def:bisimulation (definition). In N54F33XE07, defn, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Statistical arbitrage JFF8V27K52
| URI | m2://inv/JFF8V27K52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical arbitrage, Statistical arbitrage (definition). Also Wikidata Q2859660
History
- 2026-11-02: add by m2/dev
De Finetti's theorem JFF936NRMD
| URI | m2://inv/JFF936NRMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4408070, De Finetti's theorem (statement). Also Wikidata Q4408070
- thousand_plus: thousand_plus Q4408070, De Finetti's theorem (statement). Also Wikidata Q4408070, Wikipedia De Finetti's theorem
- wikipedia: Wikipedia De Finetti's theorem, De Finetti's theorem (statement). Also Wikidata Q4408070
History
- 2026-10-26: add by m2/dev
\textbf{Consistent recovery of the Riemannian metric and sampling density from fixed-bandwidth graph Laplace operators JFF93D0D21
| URI | m2://inv/JFF93D0D21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17032#7Y14, \textbf{Consistent recovery of the Riemannian metric and sampling density from fixed-bandwidth graph Laplace operators (statement). In MXPK9A2HK2/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Six Points, Hendricks County, Indiana JFFH9H3E06
| URI | m2://inv/JFFH9H3E06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4OEZ, Six Points, Hendricks County, Indiana (unknown)
History
- 2026-11-02: add by m2/dev
JFFHRJZ0X0 JFFHRJZ0X0
| URI | m2://inv/JFFHRJZ0X0 |
|---|---|
| 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.22847#5333 (example)
History
- 2026-11-02: add by m2/v0.6.17
JFFJY31JDE JFFJY31JDE
| URI | m2://inv/JFFJY31JDE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08293#OVMN (definition). In 90A5DJG27R/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Pointwise Dimension JFFMJXMAJ0
| URI | m2://inv/JFFMJXMAJ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#KIKK, Pointwise Dimension (definition)
History
- 2026-11-01: add by m2/v0.6.15
JFFYWBAC60 JFFYWBAC60
| URI | m2://inv/JFFYWBAC60 |
|---|---|
| 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.27800#HO1E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition JFG0FP6YXJ
| URI | m2://inv/JFG0FP6YXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I-adic topology#R6CK, Definition (definition)
History
- 2026-11-02: add by m2/dev
JFG2J836YK JFG2J836YK
| URI | m2://inv/JFG2J836YK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#VPX7 (statement). In D1DFM4WYEW/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
Very well covered graph JFGCVGYDJ9
| URI | m2://inv/JFGCVGYDJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-covered graph#JO6D, Very well covered graph (unknown)
History
- 2026-11-02: add by m2/dev
JFGDKZ62SQ JFGDKZ62SQ
| URI | m2://inv/JFGDKZ62SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#2JEN (statement). In 7CK21JGM5A/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.4.2
The rectifier on the branched line JFGDNHEVAQ
| URI | m2://inv/JFGDNHEVAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#31M4, The rectifier on the branched line (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example JFGGNMEWKX
| URI | m2://inv/JFGGNMEWKX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum group#0K2G, Example (example)
History
- 2026-11-02: add by m2/dev
Themistius JFGNBBKSBZ
| URI | m2://inv/JFGNBBKSBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#HB3T, Themistius (unknown)
History
- 2026-11-02: add by m2/dev
Maps to JFGWN54RE3
| URI | m2://inv/JFGWN54RE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maps to, Maps to (definition). Also Wikidata Q6754055
History
- 2026-11-02: add by m2/dev
Cantitruncated 24-cell honeycomb JFGXCYNZWN
| URI | m2://inv/JFGXCYNZWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantitruncated 24-cell honeycomb, Cantitruncated 24-cell honeycomb (definition). Also Wikidata Q17004474
History
- 2026-11-02: add by m2/dev
JFH14ERGAX JFH14ERGAX
| URI | m2://inv/JFH14ERGAX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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 2510.05499#C5UA (definition). In WRMNCC8VBC/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.6
JFH1DRCH61 JFH1DRCH61
| URI | m2://inv/JFH1DRCH61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#IL6G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Small dodecacronic hexecontahedron JFH1H28HE6
| URI | m2://inv/JFH1H28HE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small dodecicosidodecahedron#NU9J, Small dodecacronic hexecontahedron (unknown)
History
- 2026-11-02: add by m2/dev
All oriented endpoint contacts JFH7S8BJJT
| URI | m2://inv/JFH7S8BJJT |
|---|---|
| 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.24931#NU6N, All oriented endpoint contacts (statement)
History
- 2026-11-01: add by m2/v0.6.15
Edgar H. Brown JFH7XF6NDX
| URI | m2://inv/JFH7XF6NDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgar H. Brown, Edgar H. Brown (topic). Also Wikidata Q15807274
History
- 2026-11-02: add by m2/dev
Voronoi diagram JFH920TBMK
| URI | m2://inv/JFH920TBMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#LBTQ, Voronoi diagram (definition)
- wikipedia: Wikipedia List of combinatorial computational geometry topics#Y95G, Voronoi diagram (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#C008, Voronoi diagram (definition)
History
- 2026-11-02: add by m2/dev
Kuratowski closure axioms JFHBCGD3W0
| URI | m2://inv/JFHBCGD3W0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#V6TF, Kuratowski closure axioms (statement)
History
- 2026-11-02: add by m2/dev
Wyner-Ziv theorem JFHGS9Q48T
| URI | m2://inv/JFHGS9Q48T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed source coding#IV6H, Wyner-Ziv theorem (unknown)
History
- 2026-11-02: add by m2/dev
Larger sieve JFHMS1RAY9
| URI | m2://inv/JFHMS1RAY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#5DNL, Larger sieve (unknown)
History
- 2026-11-02: add by m2/dev
Schrödinger equation JFHP6082NA
| URI | m2://inv/JFHP6082NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schrödinger equation EPZR6H2WJN |
Mentions
- wikidata: Wikidata Q165498, Schrödinger equation (definition). Also MathWorld SchroedingerEquation, nLab Schrödinger equation, ProofWiki Definition:Schrödinger's_Equation
- wikipedia: Wikipedia Schrödinger equation, Schrödinger equation (definition). Also Wikidata Q165498
History
- 2026-10-26: add by m2/dev
Slice surface and slice genus JFHRB7RHSZ
| URI | m2://inv/JFHRB7RHSZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#4DF7, Slice surface and slice genus (definition). In 8TRCP1482Q/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
The central family JFHZN2Q0P1
| URI | m2://inv/JFHZN2Q0P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#YMM3, The central family (statement). In 65TJENWK7X/e1, proposition 55
History
- 2026-10-29: add by m2/v0.4.10
Example (P1) JFJ9CD6JX0
| URI | m2://inv/JFJ9CD6JX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#X8KS, Example (P1) (example)
History
- 2026-11-02: add by m2/dev
JFJAGACAWQ JFJAGACAWQ
| URI | m2://inv/JFJAGACAWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#defn-7 (definition). In E59CDZA4DP, defn, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
JFJDNGQAPS JFJDNGQAPS
| URI | m2://inv/JFJDNGQAPS |
|---|---|
| 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.26386#ZADZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties JFJE2R8RES
| URI | m2://inv/JFJE2R8RES |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron model#C3I1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Orthorhombic crystal system JFJXK952AT
| URI | m2://inv/JFJXK952AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthorhombic crystal system, Orthorhombic crystal system (definition). Also Wikidata Q648961
History
- 2026-11-02: add by m2/dev
JFJZKV4RBG JFJZKV4RBG
| URI | m2://inv/JFJZKV4RBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#WROC (statement). In K7505G10SS/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.3.5
Martin Kruskal JFK1Y76DYA
| URI | m2://inv/JFK1Y76DYA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RI8W, Martin Kruskal (unknown)
History
- 2026-11-02: add by m2/dev
JFK2R5BPY4 JFK2R5BPY4
| URI | m2://inv/JFK2R5BPY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/public-announcement-logic-lang.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
JFK573SQCD JFK573SQCD
| URI | m2://inv/JFK573SQCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#J37T (statement)
History
- 2026-11-01: add by m2/v0.6.15
JFK8AW89KD JFK8AW89KD
| URI | m2://inv/JFK8AW89KD |
|---|---|
| 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 2109.08858#VMRV (statement). In E6795TKR6R/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
Vitali set JFKA05NF6G
| URI | m2://inv/JFKA05NF6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#F5VL, Vitali set (definition)
History
- 2026-11-02: add by m2/dev
Boolean prime ideal theorem JFKCYEN9W1
| URI | m2://inv/JFKCYEN9W1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I0VX, Boolean prime ideal theorem (statement)
History
- 2026-11-02: add by m2/dev
Expander mixing lemma JFKDMRN2FC
| URI | m2://inv/JFKDMRN2FC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander graph#XK5T, Expander mixing lemma (statement)
History
- 2026-11-02: add by m2/dev
Wieferich n-tuple JFKH5PJB9J
| URI | m2://inv/JFKH5PJB9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wieferich pair#MIQP, Wieferich n-tuple (unknown)
History
- 2026-11-02: add by m2/dev
Spectral recovery with unknown mean JFKMJ0SCEH
| URI | m2://inv/JFKMJ0SCEH |
|---|---|
| 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.20944#TLAX, Spectral recovery with unknown mean (statement). In DRRKZR6CQC/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
CIKS-1 JFKPDR3VJQ
| URI | m2://inv/JFKPDR3VJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CIKS-1, CIKS-1 (definition). Also Wikidata Q3648731
History
- 2026-11-02: add by m2/dev
JFKY9MCKA2 JFKY9MCKA2
| URI | m2://inv/JFKY9MCKA2 |
|---|---|
| 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.37265#ILAY (statement). In BKYAWEC5XH/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Euclid–Euler theorem JFM192W861
| URI | m2://inv/JFM192W861 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F7VL, Euclid–Euler theorem (statement)
History
- 2026-11-02: add by m2/dev
JFM9176C2N JFM9176C2N
| URI | m2://inv/JFM9176C2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#UQOK (statement). In XK6H7F2F13/e1, lemma 4.20
History
- 2026-10-30: add by m2/v0.4.12
JFMB4W545W JFMB4W545W
| URI | m2://inv/JFMB4W545W |
|---|---|
| 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.20900#39C1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Nelder–Mead method JFMG41D8CG
| URI | m2://inv/JFMG41D8CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1253278, Nelder–Mead method (unknown). Also MathWorld Nelder-MeadMethod
- wikipedia: Wikipedia Nelder–Mead method, Nelder–Mead method (definition). Also Wikidata Q1253278
History
- 2026-10-26: add by m2/dev
Journal of Applied Statistics JFMWEKBMDM
| URI | m2://inv/JFMWEKBMDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#FNTV, Journal of Applied Statistics (definition)
History
- 2026-11-02: add by m2/dev
Sufficient condition for a compact solution set JFN2DHZETJ
| URI | m2://inv/JFN2DHZETJ |
|---|---|
| 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.12017#29GH, Sufficient condition for a compact solution set (statement). In WW04MP0NAZ/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.3
Degree-two saturation JFN6NV93F2
| URI | m2://inv/JFN6NV93F2 |
|---|---|
| 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.34260#0UMB, Degree-two saturation (statement). In BBE69ZPVTF/e1, theorem 5.9
History
- 2026-10-30: add by m2/v0.4.12
JFN7XMA05D JFN7XMA05D
| URI | m2://inv/JFN7XMA05D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Examples JFN9PSKKZS
| URI | m2://inv/JFN9PSKKZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics on stamps#CUL1, Examples (example)
History
- 2026-11-02: add by m2/dev
Special cases JFNS6VN3S0
| URI | m2://inv/JFNS6VN3S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Menger determinant#NZHJ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
coefficient JFNTZ2PJH4
| URI | m2://inv/JFNTZ2PJH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50700, coefficient (definition). Also MathWorld Coefficient, nLab coefficient, ProofWiki Definition:Coefficient
- wikipedia: Wikipedia Coefficient, Coefficient (definition). Also Wikidata Q50700
History
- 2026-10-26: add by m2/dev
Examples JFNVEY1R0J
| URI | m2://inv/JFNVEY1R0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth rate (group theory)#MF0T, Examples (example)
History
- 2026-11-02: add by m2/dev
Predictive system JFNX6PQSD0
| URI | m2://inv/JFNX6PQSD0 |
|---|---|
| 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 2609.23350#JMZ1, Predictive system (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition JFNXKM4SEC
| URI | m2://inv/JFNXKM4SEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton polygon#0Z0I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Constructive analysis JFP30BT8GK
| URI | m2://inv/JFP30BT8GK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#FHIJ, Constructive analysis (definition)
History
- 2026-11-02: add by m2/dev
JFP3XX9HMR JFP3XX9HMR
| URI | m2://inv/JFP3XX9HMR |
|---|---|
| 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.25367#191X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Superspreading event JFP9GB1KBZ
| URI | m2://inv/JFP9GB1KBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superspreading event, Superspreading event (definition). Also Wikidata Q109942672
History
- 2026-11-02: add by m2/dev
257-gon JFPNJTYQGP
| URI | m2://inv/JFPNJTYQGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q218261, 257-gon (unknown). Also MathWorld 257-gon
- wikipedia: Wikipedia 257-gon, 257-gon (definition). Also Wikidata Q218261
History
- 2026-10-26: add by m2/dev
Concrete Mathematics JFQ1PA51A6
| URI | m2://inv/JFQ1PA51A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#UH3N, Concrete Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Applications JFQ7GT9YM2
| URI | m2://inv/JFQ7GT9YM2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hawkes process#H0N0, Applications (example)
History
- 2026-11-02: add by m2/dev
JFQJ0CMWXZ JFQJ0CMWXZ
| URI | m2://inv/JFQJ0CMWXZ |
|---|---|
| Kind | conjecture |
| 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.20406#6HW9 (conjecture). In 1YW6C6XGT3/e1, conjecture 1.3
History
- 2026-10-27: add by m2/v0.4.2
JFQN6SQ3EN JFQN6SQ3EN
| URI | m2://inv/JFQN6SQ3EN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Generalization JFQS6EKZ04
| URI | m2://inv/JFQS6EKZ04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann sum#LCV5, Generalization (statement)
History
- 2026-11-02: add by m2/dev
contour integral JFQTEF3FY6
| URI | m2://inv/JFQTEF3FY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Contour integral 00FWNP9TXY |
Mentions
- wikidata: Wikidata Q116907694, contour integral (definition). Also MathWorld ContourIntegral, ProofWiki Definition:Contour_Integral/Complex
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
relation, binary JFQZB0QTSC
| URI | m2://inv/JFQZB0QTSC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.4/relation-binary, relation, binary (concept). In QKM9DD2H56, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
JFR1BSN6B4 JFR1BSN6B4
| URI | m2://inv/JFR1BSN6B4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-1.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Examples JFR6YXRKJJ
| URI | m2://inv/JFR6YXRKJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dualizing module#6J3T, Examples (example)
History
- 2026-11-02: add by m2/dev
qed JFR71Q639T
| URI | m2://inv/JFR71Q639T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#JK8E, qed (definition)
History
- 2026-11-02: add by m2/dev
Localized closed-loop stability JFR9089096
| URI | m2://inv/JFR9089096 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-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.23927#TV5H, Localized closed-loop stability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition JFR9D0MXCT
| URI | m2://inv/JFR9D0MXCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphenic number#4T5G, Definition (definition)
History
- 2026-11-02: add by m2/dev
JFRFGMYT7J JFRFGMYT7J
| URI | m2://inv/JFRFGMYT7J |
|---|---|
| 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.03384#0Q9L (statement). In J55JTTKG84/e1, proposition 4.30
History
- 2026-10-29: add by m2/v0.4.12
Sole sufficient operator JFRKEYC656
| URI | m2://inv/JFRKEYC656 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#DIO1, Sole sufficient operator (definition)
History
- 2026-11-02: add by m2/dev
JFRKWD6T2R JFRKWD6T2R
| URI | m2://inv/JFRKWD6T2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#7B8F (statement). In GX0K0ZM700/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Examples JFRQ5C9DRY
| URI | m2://inv/JFRQ5C9DRY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meromorphic function#AGX0, Examples (example)
History
- 2026-11-02: add by m2/dev
Yvonne Lai JFRQAX1RR8
| URI | m2://inv/JFRQAX1RR8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yvonne Lai, Yvonne Lai (topic). Also Wikidata Q102112332
History
- 2026-11-02: add by m2/dev
JFRSV84KWF JFRSV84KWF
| URI | m2://inv/JFRSV84KWF |
|---|---|
| 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.21544#BG9D (statement). In 5FMMWKNYWW/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.4.2
Hermite interpolation JFRX9HSTZF
| URI | m2://inv/JFRX9HSTZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#YTBT, Hermite interpolation (definition)
History
- 2026-11-02: add by m2/dev
Fermat's Last Theorem JFRZM1RB94
| URI | m2://inv/JFRZM1RB94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#4ZYY, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
JFS2GXPX55 JFS2GXPX55
| URI | m2://inv/JFS2GXPX55 |
|---|---|
| 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.21455#F67G (statement). In CY0E87QDED/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Applications JFS848GAHK
| URI | m2://inv/JFS848GAHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (number theory)#CF9I, Applications (example)
History
- 2026-11-02: add by m2/dev
Normalized discounted cumulative gain JFSF2QFDKX
| URI | m2://inv/JFSF2QFDKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discounted cumulative gain#68F4, Normalized discounted cumulative gain (unknown)
History
- 2026-11-02: add by m2/dev
Transition path sampling JFSFNSG80X
| URI | m2://inv/JFSFNSG80X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#5N9W, Transition path sampling (unknown)
History
- 2026-11-02: add by m2/dev
JFSN04C6JX JFSN04C6JX
| URI | m2://inv/JFSN04C6JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#QZ4P (statement). In 4H727T2YAS/e1, proposition 9.8
History
- 2026-10-29: add by m2/v0.4.12
JFSP29ZM3X JFSP29ZM3X
| URI | m2://inv/JFSP29ZM3X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.4245#A5C2 (definition). In GPVBE4SEVF/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
Hilbert's Nullstellensatz for Semiring Algebras JFSQWA95CG
| URI | m2://inv/JFSQWA95CG |
|---|---|
| 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.07927#RGZN, Hilbert's Nullstellensatz for Semiring Algebras (statement). In GKM19DHQTM/e1, theorem 6.19
History
- 2026-10-29: add by m2/v0.4.10
electroweak interaction JFSW7S4MYX
| URI | m2://inv/JFSW7S4MYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q466416, electroweak interaction (unknown). Also nLab electroweak field
History
- 2026-10-26: add by m2/dev
JFSYR5Y2BG JFSYR5Y2BG
| URI | m2://inv/JFSYR5Y2BG |
|---|---|
| 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 1904.09810#AUFC (statement). In T1VFA7TXPA/e1, lemma 69
History
- 2026-10-27: add by m2/v0.3.5
JFT0TDM9RJ JFT0TDM9RJ
| URI | m2://inv/JFT0TDM9RJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#L8XM (statement). In EZZSZ1F071/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
JFT9PA5DJV JFT9PA5DJV
| URI | m2://inv/JFT9PA5DJV |
|---|---|
| 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.35340#Y7MH (statement). In WCY07D1CJG/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Avner Friedman JFTJ439WSS
| URI | m2://inv/JFTJ439WSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZZCZ, Avner Friedman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3TQT, Avner Friedman (topic)
History
- 2026-11-02: add by m2/dev
Moduli stack of formal group laws JFTQ02RFB8
| URI | m2://inv/JFTQ02RFB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17126469, Moduli stack of formal group laws (unknown). Also nLab moduli stack of formal groups
- wikipedia: Wikipedia Moduli stack of formal group laws, Moduli stack of formal group laws (statement). Also Wikidata Q17126469
History
- 2026-10-26: add by m2/dev
Affine involution JFTRR1MN55
| URI | m2://inv/JFTRR1MN55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine involution, Affine involution (definition). Also Wikidata Q4688944
History
- 2026-11-02: add by m2/dev
spherical Bessel function JFTSS21ZCG
| URI | m2://inv/JFTSS21ZCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075189, spherical Bessel function (unknown). Also MathWorld SphericalBesselFunction, MathWorld SphericalBesselFunctionoftheFirstKind
History
- 2026-10-26: add by m2/dev
MathChallengers JFV2BVJGAS
| URI | m2://inv/JFV2BVJGAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#SQQ0, MathChallengers (unknown)
History
- 2026-11-02: add by m2/dev
JFVQBHFY3N JFVQBHFY3N
| URI | m2://inv/JFVQBHFY3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21954#H5JJ (statement). In F2XATDBRK4/e1, corollary 2
History
- 2026-10-27: add by m2/v0.4.2
Back-of-the-envelope calculation JFVRF0VRAW
| URI | m2://inv/JFVRF0VRAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Back-of-the-envelope calculation, Back-of-the-envelope calculation (definition). Also Wikidata Q4839010
History
- 2026-11-02: add by m2/dev
Eugene Victor Wolfenstein JFVYQ0S4Q2
| URI | m2://inv/JFVYQ0S4Q2 |
|---|---|
| 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#ZO4Q, Eugene Victor Wolfenstein (unknown)
History
- 2026-11-02: add by m2/dev
Definition JFW2TDGC4T
| URI | m2://inv/JFW2TDGC4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent space#EATP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sun Tzu JFW3Z8TRKN
| URI | m2://inv/JFW3Z8TRKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#8YB4, Sun Tzu (definition)
History
- 2026-11-02: add by m2/dev
Uniform estimates for $G_a$ JFW5CYZMAH
| URI | m2://inv/JFW5CYZMAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#QNI1, Uniform estimates for $G_a$ (statement). In E31CZYM2H8/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Ostilio Ricci JFWTSAWJ73
| URI | m2://inv/JFWTSAWJ73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#5O6T, Ostilio Ricci (topic)
History
- 2026-11-02: add by m2/dev
JFWVT8FMAN JFWVT8FMAN
| URI | m2://inv/JFWVT8FMAN |
|---|---|
| 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 2302.04470#1F4I (statement). In PVRF0WS223/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.6
JFWYD78EXV JFWYD78EXV
| URI | m2://inv/JFWYD78EXV |
|---|---|
| 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 0910.5574#CQOH (statement). In 2TJRBRKYAY/e1, corollary 10.2
History
- 2026-10-27: add by m2/v0.3.5
topological, space JFX0TJZBF2
| URI | m2://inv/JFX0TJZBF2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/topological-space, topological, space (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
Notation JFX0VXJBQY
| URI | m2://inv/JFX0VXJBQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#STT0, Notation (definition)
History
- 2026-11-02: add by m2/dev
Selmer group JFX3HD86XD
| URI | m2://inv/JFX3HD86XD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Selmer group 36YNSTESMQ |
Mentions
- wikidata: Wikidata Q7448760, Selmer group (concept). Also MathWorld SelmerGroup
- wikipedia: Wikipedia Selmer group, Selmer group (definition). Also Wikidata Q7448760
History
- 2026-10-26: add by m2/dev
Arrow paradox JFX70DGY5M
| URI | m2://inv/JFX70DGY5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeno's paradoxes#EGCD, Arrow paradox (statement)
History
- 2026-11-02: add by m2/dev
JFX862YJ60 JFX862YJ60
| URI | m2://inv/JFX862YJ60 |
|---|---|
| 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 1907.01440#POJU (statement). In QDRYC6WJJ7/e1, theorem 14
History
- 2026-10-27: add by m2/v0.3.5
Mikhail G. Peretyatkin JFXE796D4B
| URI | m2://inv/JFXE796D4B |
|---|---|
| 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#1N7V, Mikhail G. Peretyatkin (unknown)
History
- 2026-11-02: add by m2/dev
Mitropolskiy, Yurii Oleksiyovych JFXNBABK2F
| URI | m2://inv/JFXNBABK2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#5YTK, Mitropolskiy, Yurii Oleksiyovych (unknown)
History
- 2026-11-02: add by m2/dev
Irrational number JFXWAWBGQG
| URI | m2://inv/JFXWAWBGQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#84J0, Irrational number (definition)
- wikipedia: Wikipedia List of number theory topics#3WRK, Irrational number (definition)
History
- 2026-11-02: add by m2/dev
Rankine cycle JFXY3EFW7Q
| URI | m2://inv/JFXY3EFW7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankine cycle, Rankine cycle (definition). Also Wikidata Q215612
History
- 2026-11-02: add by m2/dev
JFY1GDVK3G JFY1GDVK3G
| URI | m2://inv/JFY1GDVK3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#definition-4 (definition). In RZP28ERRZV, definition, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
JFY48XZM0B JFY48XZM0B
| URI | m2://inv/JFY48XZM0B |
|---|---|
| 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.06381#I07I (statement). In X9JKBDHACW/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Rolf Schneider JFY7XBSP1Q
| URI | m2://inv/JFY7XBSP1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolf Schneider, Rolf Schneider (topic). Also Wikidata Q44317283
History
- 2026-11-02: add by m2/dev
JFYB0SB12G JFYB0SB12G
| URI | m2://inv/JFYB0SB12G |
|---|---|
| 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.23781#MNSZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
JFYDRN15HJ JFYDRN15HJ
| URI | m2://inv/JFYDRN15HJ |
|---|---|
| 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.38188#7OLS (statement). In 7615KVXDB5/e1, corollary 2.18
History
- 2026-10-30: add by m2/v0.4.12
JFYF607YYB JFYF607YYB
| URI | m2://inv/JFYF607YYB |
|---|---|
| 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 2511.17751#TIZB (statement). In J39X0NB31S/e1, theorem 9.5
History
- 2026-10-27: add by m2/v0.3.5
Mantel, Nathan JFYJSS7NYH
| URI | m2://inv/JFYJSS7NYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#J9AC, Mantel, Nathan (topic)
History
- 2026-11-02: add by m2/dev
JFYXG0DY2N JFYXG0DY2N
| URI | m2://inv/JFYXG0DY2N |
|---|---|
| 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.33406#P2JK (statement). In B23TX8G4E4/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Applications JFYXH400WJ
| URI | m2://inv/JFYXH400WJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse distribution#OYLC, Applications (example)
History
- 2026-11-02: add by m2/dev
Mathematics education in New York JFYZK2WGNK
| URI | m2://inv/JFYZK2WGNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education in New York, Mathematics education in New York (definition). Also Wikidata Q6786902
History
- 2026-11-02: add by m2/dev
Zorya Shapiro JFZ0T73HGS
| URI | m2://inv/JFZ0T73HGS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorya Shapiro, Zorya Shapiro (topic). Also Wikidata Q18970068
History
- 2026-11-02: add by m2/dev
LLT polynomial JFZ4MYEV51
| URI | m2://inv/JFZ4MYEV51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#HAH0, LLT polynomial (definition)
History
- 2026-11-02: add by m2/dev
JFZCJNQXHR JFZCJNQXHR
| URI | m2://inv/JFZCJNQXHR |
|---|---|
| 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 2011.06637#C6DM (example). In KFCJ5CFP3G/e1, example 1.4
History
- 2026-10-27: add by m2/v0.3.5
Corollary (Bounded inverse theorem) JFZE335DHW
| URI | m2://inv/JFZE335DHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#P95B, Corollary (Bounded inverse theorem) (statement)
History
- 2026-11-02: add by m2/dev
Robertson–Wegner graph JFZEC8R6PV
| URI | m2://inv/JFZEC8R6PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115528, Robertson–Wegner graph (unknown). Also House of Graphs 1290, MathWorld Robertson-WegnerGraph
History
- 2026-10-26: add by m2/dev
JFZRQHZV99 JFZRQHZV99
| URI | m2://inv/JFZRQHZV99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#YEYE (statement). In 371P9QASSJ/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
Formula JFZS703JK7
| URI | m2://inv/JFZS703JK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completing the square#6KCX, Formula (statement)
History
- 2026-11-02: add by m2/dev
JFZSTEMX35 JFZSTEMX35
| URI | m2://inv/JFZSTEMX35 |
|---|---|
| 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.09019#R6QK (statement). In 8V6YECFCC1/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
JFZTXSQGW7 JFZTXSQGW7
| URI | m2://inv/JFZTXSQGW7 |
|---|---|
| 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.26033#ENZJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
eigenfunction JFZY7GZZ75
| URI | m2://inv/JFZY7GZZ75 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1307821, eigenfunction (concept). Also MathWorld Eigenfunction
- wikipedia: Wikipedia Eigenfunction, Eigenfunction (definition). Also Wikidata Q1307821
History
- 2026-10-26: add by m2/dev