Inventory rows A3
The cards of the rows of the inventory whose ids start with A3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
A301J9G2V0 A301J9G2V0
| URI | m2://inv/A301J9G2V0 |
|---|---|
| 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.03477#O15K (statement). In GXN3D4G4HE/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
The Archimedeans A302S0EWZX
| URI | m2://inv/A302S0EWZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Archimedeans, The Archimedeans (definition). Also Wikidata Q13538733
History
- 2026-11-02: add by m2/dev
pascal second A308W7B4RP
| URI | m2://inv/A308W7B4RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21016931, pascal second (definition). Also ProofWiki Definition:Pascal_Second
History
- 2026-10-26: add by m2/dev
A30C8HHW8D A30C8HHW8D
| URI | m2://inv/A30C8HHW8D |
|---|---|
| Kind | statement |
| 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 2302.13533#L4NQ (statement). In DK9GQ8G0T4/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Jesse Douglas A30H5WZNKQ
| URI | m2://inv/A30H5WZNKQ |
|---|---|
| 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#U1XT, Jesse Douglas (topic)
History
- 2026-11-02: add by m2/dev
Cosmological constant A30MZ0FRC8
| URI | m2://inv/A30MZ0FRC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological constant, Cosmological constant (definition). Also Wikidata Q59151
History
- 2026-11-02: add by m2/dev
Prize of the Austrian Mathematical Society A30P6ZH2H0
| URI | m2://inv/A30P6ZH2H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prize of the Austrian Mathematical Society, Prize of the Austrian Mathematical Society (definition). Also Wikidata Q1480022
History
- 2026-11-02: add by m2/dev
Dolania americana A30TKGW5V3
| URI | m2://inv/A30TKGW5V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#TADJ, Dolania americana (unknown)
History
- 2026-11-02: add by m2/dev
A30W6EJK7D A30W6EJK7D
| URI | m2://inv/A30W6EJK7D |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#0KVV (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
A316GHE8RT A316GHE8RT
| URI | m2://inv/A316GHE8RT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#U803 (definition). In 1A01NFHBGA/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Vanishing and the excluded minor A317N0DGSR
| URI | m2://inv/A317N0DGSR |
|---|---|
| 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 2610.20649#X5EF, Vanishing and the excluded minor (statement). In XDTM624YPE/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Polyak--\Lojasiewicz inequality A31MWG2J2G
| URI | m2://inv/A31MWG2J2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#VQW6, Polyak--\Lojasiewicz inequality (statement). In YXZX6Z8S6A/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
A328M1G6WK A328M1G6WK
| URI | m2://inv/A328M1G6WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#B4M9 (statement). In H3FDP8S1Z7/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
D'Agostino's K-squared test A32VMPKA7C
| URI | m2://inv/A32VMPKA7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D'Agostino's K-squared test, D'Agostino's K-squared test (definition). Also Wikidata Q4819272
History
- 2026-11-02: add by m2/dev
Statement A32XCP8HMG
| URI | m2://inv/A32XCP8HMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's theorem (geometry)#SN6W, Statement (statement)
History
- 2026-11-02: add by m2/dev
R graph A32YCK4A34
| URI | m2://inv/A32YCK4A34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131369360, R graph (unknown). Also House of Graphs 342, MathWorld RGraph
History
- 2026-10-26: add by m2/dev
A32YG6N4KA A32YG6N4KA
| URI | m2://inv/A32YG6N4KA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Distance-contraction subroutine A32ZVXNGT2
| URI | m2://inv/A32ZVXNGT2 |
|---|---|
| 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 2610.21139#D4NI, Distance-contraction subroutine (definition). In E3NM0QN6KK/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.2
A332XXR2T1 A332XXR2T1
| URI | m2://inv/A332XXR2T1 |
|---|---|
| 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#QL5K (statement). In T1VFA7TXPA/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
centroid A335GVH4YY
| URI | m2://inv/A335GVH4YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Centroid 0X7EEWES5G |
Mentions
- wikidata: Wikidata Q511093, centroid (unknown). Also MathWorld GeometricCentroid
- wikipedia: Wikipedia Centroid, Centroid (definition). Also Wikidata Q511093
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
A336C23XW7 A336C23XW7
| URI | m2://inv/A336C23XW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14629#M1JV (statement). In AX7TZJ5PP9/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
A337RA6RFZ A337RA6RFZ
| URI | m2://inv/A337RA6RFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn:accessibility (definition). In N54F33XE07, defn, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Class relations A33BW5ZKH5
| URI | m2://inv/A33BW5ZKH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#5E74, Class relations (statement). In DQB4YR2DFH/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Scott A. Wolpert A33KPT1DJN
| URI | m2://inv/A33KPT1DJN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott A. Wolpert, Scott A. Wolpert (topic). Also Wikidata Q2261074
History
- 2026-11-02: add by m2/dev
Propositional attitude A33WGBNZ9Z
| URI | m2://inv/A33WGBNZ9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional attitude, Propositional attitude (definition). Also Wikidata Q267508
History
- 2026-11-02: add by m2/dev
Tom Brown A340FHHHC6
| URI | m2://inv/A340FHHHC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Brown (mathematician), Tom Brown (topic). Also Wikidata Q102132695
History
- 2026-11-02: add by m2/dev
Meyniel A349C6JXB2
| URI | m2://inv/A349C6JXB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#XW5M, Meyniel (definition)
History
- 2026-11-02: add by m2/dev
A34APSDZR7 A34APSDZR7
| URI | m2://inv/A34APSDZR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn-4 (definition). In PKGMM3P5QY, defn, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
Normalization (statistics) A34BHZ9B2K
| URI | m2://inv/A34BHZ9B2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D1DX, Normalization (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Generalizations A34D8J2CG1
| URI | m2://inv/A34D8J2CG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal component analysis#D80S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A34V24J9BT A34V24J9BT
| URI | m2://inv/A34V24J9BT |
|---|---|
| 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.14086#EBIY (statement). In J6EZ2RQW2F/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
A355BE7YDG A355BE7YDG
| URI | m2://inv/A355BE7YDG |
|---|---|
| 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#6DJ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A35FHFGCR0 A35FHFGCR0
| URI | m2://inv/A35FHFGCR0 |
|---|---|
| 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.23522#477P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Normalized observation A35N50SMXY
| URI | m2://inv/A35N50SMXY |
|---|---|
| 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.07341#ID2Y, Normalized observation (statement). In 6KFS1X0MZR/e1, corollary 12
History
- 2026-10-29: add by m2/v0.4.10
equality, transitivity of A35SQ7DP6M
| URI | m2://inv/A35SQ7DP6M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/equality-transitivity-of, equality, transitivity of (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Søren Galatius A35XRWCXSD
| URI | m2://inv/A35XRWCXSD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14942107, Søren Galatius (unknown). Also nLab Søren Galatius
- wikipedia: Wikipedia Søren Galatius, Søren Galatius (topic). Also Wikidata Q14942107
History
- 2026-10-26: add by m2/dev
A35XYY3JQ0 A35XYY3JQ0
| URI | m2://inv/A35XYY3JQ0 |
|---|---|
| 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#MIIK (statement). In 9JZJTRRVR1/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Backward differentiation of low-rank SVD A35ZV07SX7
| URI | m2://inv/A35ZV07SX7 |
|---|---|
| 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.32505#CXXD, Backward differentiation of low-rank SVD (statement). In N8MYP1Z659/e1, theorem G.1
History
- 2026-10-31: add by m2/v0.5.6
A36105B9DY A36105B9DY
| URI | m2://inv/A36105B9DY |
|---|---|
| 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.14217#AM3S (statement). In K0DHYQC5B7/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Lifting Lemma A363CW4M42
| URI | m2://inv/A363CW4M42 |
|---|---|
| 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 2104.00162#BD3K, Lifting Lemma (statement). In HVGT9D84WV/e1, lemma 1.29
History
- 2026-10-27: add by m2/v0.3.5
Definition A36FV9PB94
| URI | m2://inv/A36FV9PB94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical measure#EUVC, Definition (definition)
History
- 2026-11-02: add by m2/dev
A36KWG081Q A36KWG081Q
| URI | m2://inv/A36KWG081Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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 2408.01345#AW84 (statement). In PT5PBPCS3P/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Mihoc, Gheorghe A36VPY2851
| URI | m2://inv/A36VPY2851 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#J82E, Mihoc, Gheorghe (topic)
History
- 2026-11-02: add by m2/dev
A36WEBMBVF A36WEBMBVF
| URI | m2://inv/A36WEBMBVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-7 (definition). In RZP28ERRZV, definition, section 97.5
History
- 2026-11-01: add by m2/v0.6.13
A37005FPY5 A37005FPY5
| URI | m2://inv/A37005FPY5 |
|---|---|
| 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.00247#0JDA (statement). In ZAM4S2XS9F/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Peano curve A374ABKDVD
| URI | m2://inv/A374ABKDVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#CIKH, Peano curve (definition)
History
- 2026-11-02: add by m2/dev
undulating number A377ZTSZFB
| URI | m2://inv/A377ZTSZFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3343081, undulating number (unknown). Also MathWorld UndulatingNumber, OEIS A033619
- wikipedia: Wikipedia Undulating number, Undulating number (definition). Also Wikidata Q3343081
History
- 2026-10-26: add by m2/dev
A37VKGSF4Z A37VKGSF4Z
| URI | m2://inv/A37VKGSF4Z |
|---|---|
| Kind | definition |
| 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 2308.05715#4VXV (definition). In FC0SB9JFWH/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
A37YD23487 A37YD23487
| URI | m2://inv/A37YD23487 |
|---|---|
| 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 2610.21494#YJQQ (statement). In ZWT4C1DYPE/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Invariant factorization theorem A383SMRYW7
| URI | m2://inv/A383SMRYW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#JQY3, Invariant factorization theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
A384ZMMJXC A384ZMMJXC
| URI | m2://inv/A384ZMMJXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#RTHM (statement). In A3VQ2TNRKK/e1, proposition 9.1
History
- 2026-10-27: add by m2/v0.4.0
A3859380EK A3859380EK
| URI | m2://inv/A3859380EK |
|---|---|
| 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 2102.12931#HMB6 (statement). In PQHTR84RAJ/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Loop sectioning A386KTCG50
| URI | m2://inv/A386KTCG50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop sectioning, Loop sectioning (definition). Also Wikidata Q56063397
History
- 2026-11-02: add by m2/dev
A389XQB7SE A389XQB7SE
| URI | m2://inv/A389XQB7SE |
|---|---|
| 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.22551#HJ4R (statement)
History
- 2026-11-02: add by m2/v0.6.17
A38C77ZH6W A38C77ZH6W
| URI | m2://inv/A38C77ZH6W |
|---|---|
| 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.35204#YGG6 (statement). In 8ZZNDYK76B/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Jan Karel Lenstra A38EDY6M2F
| URI | m2://inv/A38EDY6M2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LGNK, Jan Karel Lenstra (topic)
History
- 2026-11-02: add by m2/dev
A38GA0AHAW A38GA0AHAW
| URI | m2://inv/A38GA0AHAW |
|---|---|
| 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.20391#UU10 (statement). In CTAS41TRM2/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
A38SJRVT0J A38SJRVT0J
| URI | m2://inv/A38SJRVT0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#definition-1 (definition). In RZP28ERRZV, definition, section 42.1
History
- 2026-11-01: add by m2/v0.6.13
A38WHNWNGP A38WHNWNGP
| URI | m2://inv/A38WHNWNGP |
|---|---|
| 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.07537#G2S4 (statement). In ZFDXNKEBT1/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Binary erasure channel A38WJVV0BG
| URI | m2://inv/A38WJVV0BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary erasure channel, Binary erasure channel (definition). Also Wikidata Q864142
History
- 2026-11-02: add by m2/dev
A38Z09C1EW A38Z09C1EW
| URI | m2://inv/A38Z09C1EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#FQWV (statement). In Z7E16PFFCP/e1, corollary 2.15
History
- 2026-10-30: add by m2/v0.4.12
A39658FQPX A39658FQPX
| URI | m2://inv/A39658FQPX |
|---|---|
| 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 2610.08697#VCZR (definition). In GJ4ZMDQF3C/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Examples A3965QYFKX
| URI | m2://inv/A3965QYFKX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (mathematics)#7GZ2, Examples (example)
History
- 2026-11-02: add by m2/dev
A399FTERCA A399FTERCA
| URI | m2://inv/A399FTERCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#37FZ (statement). In VNE8N0D2FB/e1, lemma 1.12
History
- 2026-10-31: add by m2/v0.5.6
Spectral-edge theorem for birth--death processes A39AP684PS
| URI | m2://inv/A39AP684PS |
|---|---|
| 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.27335#C4JV, Spectral-edge theorem for birth--death processes (statement)
History
- 2026-11-01: add by m2/v0.6.15
A39GC6H5C9 A39GC6H5C9
| URI | m2://inv/A39GC6H5C9 |
|---|---|
| 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#HN55 (statement). In TC5QA4AB4Z/e1, corollary 4.18
History
- 2026-10-30: add by m2/v0.4.12
Vanaja Iyengar A39QJYYDQ4
| URI | m2://inv/A39QJYYDQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanaja Iyengar, Vanaja Iyengar (topic). Also Wikidata Q21002306
History
- 2026-11-02: add by m2/dev
A39S1WGJ9V A39S1WGJ9V
| URI | m2://inv/A39S1WGJ9V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#T6GG (example). In M8TSJ24RC2/e1, example 3.21
History
- 2026-10-28: add by m2/v0.4.2
A39TYDKPKF A39TYDKPKF
| URI | m2://inv/A39TYDKPKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_distributions.ptx#exa_genfunction_partial-fracs (example). In QKM9DD2H56, example, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
Alexander Givental A39Y74R5Q2
| URI | m2://inv/A39Y74R5Q2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#R2JD, Alexander Givental (topic)
History
- 2026-11-02: add by m2/dev
Exact projection compatibility A3A4G3M93N
| URI | m2://inv/A3A4G3M93N |
|---|---|
| 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.21991#XSY4, Exact projection compatibility (statement). In KRBDK9J44X/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
A3A7AN5MK0 A3A7AN5MK0
| URI | m2://inv/A3A7AN5MK0 |
|---|---|
| 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.19945#TFH4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
A3A9QRH61T A3A9QRH61T
| URI | m2://inv/A3A9QRH61T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#B3D5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Verbal arithmetic A3ABKNMB98
| URI | m2://inv/A3ABKNMB98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#M1SP, Verbal arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Ordered-word product estimates A3ABYF56GD
| URI | m2://inv/A3ABYF56GD |
|---|---|
| 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.06544#35D0, Ordered-word product estimates (statement). In VCRB27RMN6/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Jack Silver A3ADA0Y91C
| URI | m2://inv/A3ADA0Y91C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AANE, Jack Silver (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#00U4, Jack Silver (topic)
History
- 2026-11-02: add by m2/dev
Proper prefix A3AF3R0B0X
| URI | m2://inv/A3AF3R0B0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#defn-1, Proper prefix (definition). In PKGMM3P5QY, defn, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
Farr, William A3AGQ6GZ48
| URI | m2://inv/A3AGQ6GZ48 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ARVZ, Farr, William (topic)
History
- 2026-11-02: add by m2/dev
Support A3ASHEQEZF
| URI | m2://inv/A3ASHEQEZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#D60C, Support (definition)
History
- 2026-11-02: add by m2/dev
History of negative numbers A3AWX5A8V6
| URI | m2://inv/A3AWX5A8V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative number#8I1M, History of negative numbers (unknown)
History
- 2026-11-02: add by m2/dev
A3AXTK33F9 A3AXTK33F9
| URI | m2://inv/A3AXTK33F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#3LC0 (statement). In 4TAQ65KZKN/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
A3B5X1V9DR A3B5X1V9DR
| URI | m2://inv/A3B5X1V9DR |
|---|---|
| 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 2501.15210#WWFK (statement). In S4S8V2DYSA/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Traffic equations A3B8SKS31D
| URI | m2://inv/A3B8SKS31D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9W41, Traffic equations (definition)
History
- 2026-11-02: add by m2/dev
Linear Lie algebra A3BE14QRFT
| URI | m2://inv/A3BE14QRFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear Lie algebra, Linear Lie algebra (definition). Also Wikidata Q16977077
History
- 2026-11-02: add by m2/dev
A3BK5J8Z4D A3BK5J8Z4D
| URI | m2://inv/A3BK5J8Z4D |
|---|---|
| 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.22855#5W2T (statement)
History
- 2026-11-02: add by m2/v0.6.17
A3BPAWS72F A3BPAWS72F
| URI | m2://inv/A3BPAWS72F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00798#0WAL (statement). In FANG3A8NZ9/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Ethnocomputing A3BSK0656P
| URI | m2://inv/A3BSK0656P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ethnocomputing, Ethnocomputing (definition). Also Wikidata Q5404348
History
- 2026-11-02: add by m2/dev
Dupin cyclide A3C6FEP04A
| URI | m2://inv/A3C6FEP04A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#IW2F, Dupin cyclide (definition)
History
- 2026-11-02: add by m2/dev
Beck's theorem A3C9P7AGAW
| URI | m2://inv/A3C9P7AGAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527011, Beck's theorem (geometry) (statement). Also Wikidata Q3527011
- thousand_plus: thousand_plus Q3527011, Beck's theorem (statement). Also Wikidata Q3527011, Wikipedia Beck's theorem (geometry)
- wikipedia: Wikipedia Beck's theorem (geometry), Beck's theorem (statement). Also Wikidata Q3527011
History
- 2026-10-26: add by m2/dev
A3CCN29D1Q A3CCN29D1Q
| URI | m2://inv/A3CCN29D1Q |
|---|---|
| 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.32936#Z8MZ (statement). In QDBYK125AB/e1, proposition 5
History
- 2026-10-31: add by m2/v0.5.6
A3CNBB6VP7 A3CNBB6VP7
| URI | m2://inv/A3CNBB6VP7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#Y8LU (definition). In F3BKXXPR3K/e1, definition 2.17
History
- 2026-10-27: add by m2/v0.4.2
A3CP33F9PY A3CP33F9PY
| URI | m2://inv/A3CP33F9PY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#ZPR0 (example)
History
- 2026-11-02: add by m2/v0.6.18
Black hole A3CR84J8T3
| URI | m2://inv/A3CR84J8T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#7GMB, Black hole (definition)
- wikipedia: Wikipedia List of string theory topics#OJMQ, Black hole (definition)
History
- 2026-11-02: add by m2/dev
quotient of semi-stable curve A3CRWXS6K3
| URI | m2://inv/A3CRWXS6K3 |
|---|---|
| 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.40207#VP6C, quotient of semi-stable curve (statement). In JXTG8KP95P/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
A3CXV3V1TD A3CXV3V1TD
| URI | m2://inv/A3CXV3V1TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#4TH5 (statement). In BDN507RN7J/e1, proposition 4.4.11
History
- 2026-10-30: add by m2/v0.4.12
Zahorski theorem A3CYDAKEPD
| URI | m2://inv/A3CYDAKEPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8064722, Zahorski theorem (statement). Also Wikidata Q8064722
- thousand_plus: thousand_plus Q8064722, Zahorski theorem (statement). Also Wikidata Q8064722, Wikipedia Zahorski theorem
- wikipedia: Wikipedia Zahorski theorem, Zahorski theorem (statement). Also Wikidata Q8064722
History
- 2026-10-26: add by m2/dev
Kuṭṭaka A3D283X30W
| URI | m2://inv/A3D283X30W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuṭṭaka, Kuṭṭaka (definition). Also Wikidata Q24947328
History
- 2026-11-02: add by m2/dev
A3D52R8DAX A3D52R8DAX
| URI | m2://inv/A3D52R8DAX |
|---|---|
| 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.09882#F1VM (statement). In 7XV6T4N79V/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
A3D6ST94H3 A3D6ST94H3
| URI | m2://inv/A3D6ST94H3 |
|---|---|
| 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.33162#BLTZ (statement). In RPC7VG3KHQ/e1, lemma 9.2
History
- 2026-10-30: add by m2/v0.4.12
theorem of the highest weight A3DDZCTJ2C
| URI | m2://inv/A3DDZCTJ2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56276831, theorem of the highest weight (statement). Also MathWorld HighestWeightTheorem
- wikipedia: Wikipedia Theorem of the highest weight, Theorem of the highest weight (statement). Also Wikidata Q56276831
History
- 2026-10-26: add by m2/dev
Jules Molk A3DF7C7E42
| URI | m2://inv/A3DF7C7E42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jules Molk, Jules Molk (topic). Also Wikidata Q6305975
History
- 2026-11-02: add by m2/dev
Finite-type spherical obstruction A3DZP4BCPG
| URI | m2://inv/A3DZP4BCPG |
|---|---|
| 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.20197#9D6K, Finite-type spherical obstruction (statement)
History
- 2026-11-02: add by m2/v0.6.18
A3E6V5DHBA A3E6V5DHBA
| URI | m2://inv/A3E6V5DHBA |
|---|---|
| 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 2001.10234#DB2U (statement). In YYZHNNJR1P/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
Theorem A3E7XSB7NA
| URI | m2://inv/A3E7XSB7NA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#VGWX, Theorem (statement)
History
- 2026-11-02: add by m2/dev
A3EJ9H7FC3 A3EJ9H7FC3
| URI | m2://inv/A3EJ9H7FC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#X7GX (statement). In 7VXBVQ5SAC/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
Haim Gaifman A3EMD4GWPH
| URI | m2://inv/A3EMD4GWPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SC9P, Haim Gaifman (topic)
History
- 2026-11-02: add by m2/dev
A3ESPTV8YH A3ESPTV8YH
| URI | m2://inv/A3ESPTV8YH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#lem:order_frob (statement). In RZP28ERRZV, lemma, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
Second Summation Relation A3EVZGQSX0
| URI | m2://inv/A3EVZGQSX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.08191#Q5GR, Second Summation Relation (statement). In 8DATR785BJ/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Application A3F4CHV7V9
| URI | m2://inv/A3F4CHV7V9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short-time Fourier transform#898Q, Application (example)
History
- 2026-11-02: add by m2/dev
A3F95D80B5 A3F95D80B5
| URI | m2://inv/A3F95D80B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#UWDM (statement). In RW315W172S/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
A3FANYVGCS A3FANYVGCS
| URI | m2://inv/A3FANYVGCS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09704#QHXC (definition). In FNG4B47MRV/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
subgraph, induced A3FGR57SNK
| URI | m2://inv/A3FGR57SNK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/subgraph-induced, subgraph, induced (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
A3FM13D8RZ A3FM13D8RZ
| URI | m2://inv/A3FM13D8RZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#C4S9 (problem). In MP2YM69XW8/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.3
A3FM1P6DWD A3FM1P6DWD
| URI | m2://inv/A3FM1P6DWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#316A (statement). In Z7ZFV3HM1S/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
A3FM4AAEVC A3FM4AAEVC
| URI | m2://inv/A3FM4AAEVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#W8X5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A3FQ1HYJM9 A3FQ1HYJM9
| URI | m2://inv/A3FQ1HYJM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#5AO5 (statement). In 8HYS0MFE25/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Continuous observations and retained information A3FRCJ60C5
| URI | m2://inv/A3FRCJ60C5 |
|---|---|
| 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.18907#Q79U, Continuous observations and retained information (statement). In 4SSZ4PF2P2/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Definitions A3G1ZPTDZH
| URI | m2://inv/A3G1ZPTDZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis logistic distribution#HYJJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
plump, ordinal A3G6DBCDQ9
| URI | m2://inv/A3G6DBCDQ9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/plump-ordinal, plump, ordinal (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
A3GM1Q6G1X A3GM1Q6G1X
| URI | m2://inv/A3GM1Q6G1X |
|---|---|
| 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.24154#R6FE (statement)
History
- 2026-11-02: add by m2/v0.6.17
A3GT4RG8VE A3GT4RG8VE
| URI | m2://inv/A3GT4RG8VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#NWL1 (statement). In MP2YM69XW8/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Arbitrarily small inflation of an atomless reference A3GVW7PHDN
| URI | m2://inv/A3GVW7PHDN |
|---|---|
| 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#3HFE, Arbitrarily small inflation of an atomless reference (statement). In 9YAE8FNQST/e1, corollary 11.4
History
- 2026-10-30: add by m2/v0.4.12
Homotopy fixed points of the reduced sequence A3GW047Y5J
| URI | m2://inv/A3GW047Y5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#QL65, Homotopy fixed points of the reduced sequence (statement). In G3D1YR20BJ/e1, lemma 3.25
History
- 2026-10-29: add by m2/v0.4.12
Cyril Offord A3GX6BDX0X
| URI | m2://inv/A3GX6BDX0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyril Offord, Cyril Offord (topic). Also Wikidata Q3709943
History
- 2026-11-02: add by m2/dev
Properties A3GXAFT4RY
| URI | m2://inv/A3GXAFT4RY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius inner product#PTTR, Properties (statement)
History
- 2026-11-02: add by m2/dev
The upper tail of the TAP maximum A3GYX7HAEZ
| URI | m2://inv/A3GYX7HAEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#W1RZ, The upper tail of the TAP maximum (statement). In NKXTXH59P1/e1, proposition C.6
History
- 2026-10-29: add by m2/v0.4.10
Nevanlinna theory A3H4N6F7XH
| URI | m2://inv/A3H4N6F7XH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#KQUF, Nevanlinna theory (topic)
History
- 2026-11-02: add by m2/dev
A3H8W83Q6M A3H8W83Q6M
| URI | m2://inv/A3H8W83Q6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#PD9S (statement). In 1QSCT53ZED/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
Romanian Master of Mathematics and Sciences A3HBBRVZXW
| URI | m2://inv/A3HBBRVZXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanian Master of Mathematics and Sciences, Romanian Master of Mathematics and Sciences (definition). Also Wikidata Q7362553
History
- 2026-11-02: add by m2/dev
A3HTYZR02V A3HTYZR02V
| URI | m2://inv/A3HTYZR02V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Hurford disjunction A3HV2TWD15
| URI | m2://inv/A3HV2TWD15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurford disjunction, Hurford disjunction (definition). Also Wikidata Q105626283
History
- 2026-11-02: add by m2/dev
A3HVDJPZDS A3HVDJPZDS
| URI | m2://inv/A3HVDJPZDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#4DBK (statement). In CGA36VE1C5/e1, lemma 11.0.1
History
- 2026-10-27: add by m2/v0.3.6
Simple example A3HY0J1PC6
| URI | m2://inv/A3HY0J1PC6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of variables#779Q, Simple example (example)
History
- 2026-11-02: add by m2/dev
A3HYSJYH85 A3HYSJYH85
| URI | m2://inv/A3HYSJYH85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#MDHJ (statement). In NHQEAVMJE1/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Cut count for an absolutely convergent series A3J2V57ZT4
| URI | m2://inv/A3J2V57ZT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15199#HBE8, Cut count for an absolutely convergent series (statement). In EVFTDVP4K4/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
scroll A3JJ6AHRJW
| URI | m2://inv/A3JJ6AHRJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Y950, scroll (definition)
History
- 2026-11-02: add by m2/dev
A3JMXPYGTX A3JMXPYGTX
| URI | m2://inv/A3JMXPYGTX |
|---|---|
| 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.28650#47Y6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A3JZ5AYX5D A3JZ5AYX5D
| URI | m2://inv/A3JZ5AYX5D |
|---|---|
| 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 2207.11097#6EKV (statement). In 13H5BTAXHF/e1, proposition 21
History
- 2026-10-27: add by m2/v0.3.5
Sergey Solovyov A3KD4Z55AB
| URI | m2://inv/A3KD4Z55AB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Solovyov (mathematician), Sergey Solovyov (topic). Also Wikidata Q54493525
History
- 2026-11-02: add by m2/dev
Perceptron cycling theorem A3KXBK01ZW
| URI | m2://inv/A3KXBK01ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#TCKF, Perceptron cycling theorem (statement)
History
- 2026-11-02: add by m2/dev
physics A3M86WJMQ8
| URI | m2://inv/A3M86WJMQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 00A79 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q413, physics (topic). Also ProofWiki Definition:Physics
- wikipedia: Wikipedia Physics, Physics (definition). Also Wikidata Q413
History
- 2026-10-26: add by m2/dev
A3MBTWBV2F A3MBTWBV2F
| URI | m2://inv/A3MBTWBV2F |
|---|---|
| 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 2405.10580#2S69 (statement). In FXEJE0PWEP/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Exact solutions to sum of two energy functionals; complete phase transitions and displacements A3MHQ7YPH3
| URI | m2://inv/A3MHQ7YPH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#UUOO, Exact solutions to sum of two energy functionals; complete phase transitions and displacements (statement). In F4YTAZSCS2/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Hans Langmaack A3MNV4E87Y
| URI | m2://inv/A3MNV4E87Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Langmaack, Hans Langmaack (topic). Also Wikidata Q38222986
History
- 2026-11-02: add by m2/dev
A3MTC5YESB A3MTC5YESB
| URI | m2://inv/A3MTC5YESB |
|---|---|
| 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.32033#KBO9 (statement). In 17W5G060QX/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
A3MXK1JHH2 A3MXK1JHH2
| URI | m2://inv/A3MXK1JHH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38211#8FLK (statement). In KWKK0S9YJN/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
A3N33G0AHR A3N33G0AHR
| URI | m2://inv/A3N33G0AHR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/RussellsParadox.tex#prob:russell (exercise). In P1C114YBXG, problem, section I
History
- 2026-11-01: add by m2/v0.6.13
Lee Lorch A3N757CB6Q
| URI | m2://inv/A3N757CB6Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F7C4, Lee Lorch (topic)
History
- 2026-11-02: add by m2/dev
A3NCYPM6JB A3NCYPM6JB
| URI | m2://inv/A3NCYPM6JB |
|---|---|
| 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 2205.09049#AW9B (definition). In 37S7MNMZ2F/e1, definition 77
History
- 2026-10-27: add by m2/v0.3.5
$\tau$-weight measure A3NN9AEVWX
| URI | m2://inv/A3NN9AEVWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#36HG, $\tau$-weight measure (definition)
History
- 2026-11-01: add by m2/v0.6.15
A3NXHV8VXX A3NXHV8VXX
| URI | m2://inv/A3NXHV8VXX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#Q4KM (definition). In Q39BEKW6D9/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
The Hadamard conjecture A3NYVH44CM
| URI | m2://inv/A3NYVH44CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley construction#MIZX, The Hadamard conjecture (statement)
History
- 2026-11-02: add by m2/dev
A3P253FXFM A3P253FXFM
| URI | m2://inv/A3P253FXFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#VHER (statement)
History
- 2026-11-02: add by m2/v0.6.17
A3PBKPRGAZ A3PBKPRGAZ
| URI | m2://inv/A3PBKPRGAZ |
|---|---|
| Kind | statement |
| 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 2610.19954#N9GO (statement). In AXPPYWYJZ5/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Admissibility of the zero-input factor A3PBXKPHPR
| URI | m2://inv/A3PBXKPHPR |
|---|---|
| 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.03242#GP3J, Admissibility of the zero-input factor (statement). In MJE6HRC6PX/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Relaxation (iterative method) A3PBZA3TAM
| URI | m2://inv/A3PBZA3TAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#QV98, Relaxation (iterative method) (definition)
History
- 2026-11-02: add by m2/dev
A3PDK8MWGT A3PDK8MWGT
| URI | m2://inv/A3PDK8MWGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.19455#W3A3 (statement). In CBF6TQS4DW/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Fan chart A3PH6015MF
| URI | m2://inv/A3PH6015MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fan chart (statistics), Fan chart (definition). Also Wikidata Q15630463
History
- 2026-11-02: add by m2/dev
Formal definition A3Q008EVYY
| URI | m2://inv/A3Q008EVYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List object#EI2J, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Thomas Vidick A3Q7W12HQN
| URI | m2://inv/A3Q7W12HQN |
|---|---|
| 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#1HZG, Thomas Vidick (unknown)
History
- 2026-11-02: add by m2/dev
Mach number A3Q8RSXN7A
| URI | m2://inv/A3Q8RSXN7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mach number, Mach number (definition). Also Wikidata Q160669
History
- 2026-11-02: add by m2/dev
Terra Australis A3Q980V8MS
| URI | m2://inv/A3Q980V8MS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#W37D, Terra Australis (unknown)
History
- 2026-11-02: add by m2/dev
A3Q9MW5K63 A3Q9MW5K63
| URI | m2://inv/A3Q9MW5K63 |
|---|---|
| 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.00386#BNXN (statement). In 7EDY2549HF/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Formal system A3QASCE7J9
| URI | m2://inv/A3QASCE7J9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal system, Formal system (definition). Also Wikidata Q649732
History
- 2026-11-02: add by m2/dev
ARGUS distribution A3QDKJ9H9Z
| URI | m2://inv/A3QDKJ9H9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ARGUS distribution, ARGUS distribution (definition). Also Wikidata Q4653691
History
- 2026-11-02: add by m2/dev
A3QEV5B2FT A3QEV5B2FT
| URI | m2://inv/A3QEV5B2FT |
|---|---|
| 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.12357#FYIC (statement). In 1F26AF81XP/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Examples A3QFAQF4KQ
| URI | m2://inv/A3QFAQF4KQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of a subgroup#FJL1, Examples (example)
History
- 2026-11-02: add by m2/dev
A3QWZTR0S1 A3QWZTR0S1
| URI | m2://inv/A3QWZTR0S1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#5SRN (statement). In 89XYDVXG38/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Definition A3QXCZ4GZF
| URI | m2://inv/A3QXCZ4GZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ooguri–Vafa metric#JW71, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sergio Doplicher A3QYHBY87V
| URI | m2://inv/A3QYHBY87V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22669799, Sergio Doplicher (unknown). Also nLab Sergio Doplicher
History
- 2026-10-26: add by m2/dev
Statement A3R059AQ8A
| URI | m2://inv/A3R059AQ8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction principle (large deviations theory)#QZG1, Statement (statement)
History
- 2026-11-02: add by m2/dev
A3R3DQ4ZB7 A3R3DQ4ZB7
| URI | m2://inv/A3R3DQ4ZB7 |
|---|---|
| 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 2404.06445#O1DQ (statement). In 12JKZ8EN52/e1, theorem 1.10
History
- 2026-10-27: add by m2/v0.3.5
Adriana Pesci A3R673M05E
| URI | m2://inv/A3R673M05E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriana Pesci, Adriana Pesci (topic). Also Wikidata Q111336385
History
- 2026-11-02: add by m2/dev
Secret sharing scheme A3R7NQYSKJ
| URI | m2://inv/A3R7NQYSKJ |
|---|---|
| Kind | definition |
| 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.06312#GTH0, Secret sharing scheme (definition). In Y3HBJMCC4D/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
A3RD48C9NF A3RD48C9NF
| URI | m2://inv/A3RD48C9NF |
|---|---|
| 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 2405.13323#F1IU (statement). In 5KN5GD38KG/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
A3RHYX9FM3 A3RHYX9FM3
| URI | m2://inv/A3RHYX9FM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#XGQ2 (statement). In MQ8S73F6X7/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.6
Definition A3RR31HFPT
| URI | m2://inv/A3RR31HFPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensity measure#IF9C, Definition (definition)
History
- 2026-11-02: add by m2/dev
A3RZEN8JCE A3RZEN8JCE
| URI | m2://inv/A3RZEN8JCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#R36H (statement). In HH35K7S17H/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.10
A3S54X5NP0 A3S54X5NP0
| URI | m2://inv/A3S54X5NP0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
Simpson Index A3S56E3HGZ
| URI | m2://inv/A3S56E3HGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diversity index#UVP8, Simpson Index (unknown)
History
- 2026-11-02: add by m2/dev
gyrate bidiminished rhombicosidodecahedron A3S6PNN0Y6
| URI | m2://inv/A3S6PNN0Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q219172, gyrate bidiminished rhombicosidodecahedron (object). Also MathWorld GyrateBidiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Gyrate bidiminished rhombicosidodecahedron, Gyrate bidiminished rhombicosidodecahedron (definition). Also Wikidata Q219172
History
- 2026-10-26: add by m2/dev
Induced maps of relative homology A3S93YBTT4
| URI | m2://inv/A3S93YBTT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#lemma-2, Induced maps of relative homology (statement). In RZP28ERRZV, lemma, section 53.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem A3SG8R0BXR
| URI | m2://inv/A3SG8R0BXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small object argument#M9L6, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Incidence theorems in the Euclidean plane A3SGP1P6Y8
| URI | m2://inv/A3SGP1P6Y8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence geometry#MSYQ, Incidence theorems in the Euclidean plane (statement)
History
- 2026-11-02: add by m2/dev
A3SH0AJ79X A3SH0AJ79X
| URI | m2://inv/A3SH0AJ79X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0008020#N7OT (statement). In 8K466RA3HH/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
A3SNNVQRMB A3SNNVQRMB
| URI | m2://inv/A3SNNVQRMB |
|---|---|
| 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 2609.21016#CI9Q (definition)
History
- 2026-11-02: add by m2/v0.6.18
A3SQNRGJ9Q A3SQNRGJ9Q
| URI | m2://inv/A3SQNRGJ9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#YYLU (statement). In ETRT1R1CQ8/e1, corollary 8.4
History
- 2026-10-27: add by m2/v0.4.0
Lech A3SQT89B3Z
| URI | m2://inv/A3SQT89B3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicity theory#FD11, Lech (statement)
History
- 2026-11-02: add by m2/dev
Wielandt minimax formula A3SRXR5AHM
| URI | m2://inv/A3SRXR5AHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#UAC2, Wielandt minimax formula (statement)
History
- 2026-11-02: add by m2/dev
A3STEZSBWA A3STEZSBWA
| URI | m2://inv/A3STEZSBWA |
|---|---|
| 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 2610.21622#EVQA (definition). In H21X3FHNYJ/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.2
Aleksandr Logunov A3T4HJD7JN
| URI | m2://inv/A3T4HJD7JN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Logunov (mathematician), Aleksandr Logunov (topic). Also Wikidata Q29368505
History
- 2026-11-02: add by m2/dev
Steinitz's theorem A3TC60V29H
| URI | m2://inv/A3TC60V29H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinitz's theorem (field theory), Steinitz's theorem (statement). Also Wikidata Q123913870
History
- 2026-11-02: add by m2/dev
Theodore Allen Slaman A3TDJ73BDG
| URI | m2://inv/A3TDJ73BDG |
|---|---|
| Kind | topic |
| 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#UHBK, Theodore Allen Slaman (topic)
History
- 2026-11-02: add by m2/dev
A3TK96AG05 A3TK96AG05
| URI | m2://inv/A3TK96AG05 |
|---|---|
| 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 2609.33300#D2CD (statement). In AWF7ZHK4EM/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Properties A3TKCFBK73
| URI | m2://inv/A3TKCFBK73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal matrix#GK8R, Properties (statement)
History
- 2026-11-02: add by m2/dev
Flatland A3TN1M1YWG
| URI | m2://inv/A3TN1M1YWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q728312, Flatland (unknown). Also ProofWiki Book:Edwin_A._Abbott/Flatland:_a_Romance_of_Many_Dimensions
- wikipedia: Wikipedia Flatland, Flatland (definition). Also Wikidata Q728312
History
- 2026-10-26: add by m2/dev
Dominique Foata A3TNN9DD20
| URI | m2://inv/A3TNN9DD20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominique Foata, Dominique Foata (topic). Also Wikidata Q4558715
History
- 2026-11-02: add by m2/dev
George Green A3TRVEN98K
| URI | m2://inv/A3TRVEN98K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Green (mathematician), George Green (topic). Also Wikidata Q323294
History
- 2026-11-02: add by m2/dev
Ablative absolute A3TXVJ9HRT
| URI | m2://inv/A3TXVJ9HRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latin syntax#QAIN, Ablative absolute (unknown)
History
- 2026-11-02: add by m2/dev
A3V0ZCQEAP A3V0ZCQEAP
| URI | m2://inv/A3V0ZCQEAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#XOJ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted cancellation A3VH9QEXHW
| URI | m2://inv/A3VH9QEXHW |
|---|---|
| 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.31811#LXYC, Weighted cancellation (statement). In A8ZBZW9RNA/e1, proposition 5.6
History
- 2026-10-31: add by m2/v0.5.6
Properties A3VSQ8W9SD
| URI | m2://inv/A3VSQ8W9SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of an ideal#EMWC, Properties (statement)
History
- 2026-11-02: add by m2/dev
A3VW5KJRJQ A3VW5KJRJQ
| URI | m2://inv/A3VW5KJRJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#UKOF (statement). In 5KR3MHYVV6/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
A3W6G5KCP4 A3W6G5KCP4
| URI | m2://inv/A3W6G5KCP4 |
|---|---|
| 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 2502.08738#SA8O (statement). In 9GMTVSTAVN/e1, theorem 4.18
History
- 2026-10-27: add by m2/v0.3.5
List of probability distributions A3W9R6A5JJ
| URI | m2://inv/A3W9R6A5JJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions, List of probability distributions (topic). Also Wikidata Q851682
History
- 2026-11-02: add by m2/dev
A3WCV8N6N9 A3WCV8N6N9
| URI | m2://inv/A3WCV8N6N9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-3.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Grundy's game A3WEWRT31Q
| URI | m2://inv/A3WEWRT31Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FG5F, Grundy's game (definition)
History
- 2026-11-02: add by m2/dev
A3WTF0MMB5 A3WTF0MMB5
| URI | m2://inv/A3WTF0MMB5 |
|---|---|
| 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.38138#HF2U (statement). In G97FA99ZEF/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Key size A3WYWM95XK
| URI | m2://inv/A3WYWM95XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key size, Key size (definition). Also Wikidata Q1557574
History
- 2026-11-02: add by m2/dev
A3X23WRGQT A3X23WRGQT
| URI | m2://inv/A3X23WRGQT |
|---|---|
| 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.01656#JXSK (statement). In AHGQZ89DY0/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
A3X2NC26BN A3X2NC26BN
| URI | m2://inv/A3X2NC26BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37593#1N9Y (statement). In YTF96VHKAH/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Dimension function A3X866F2HH
| URI | m2://inv/A3X866F2HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension function, Dimension function (definition). Also Wikidata Q5277259
History
- 2026-11-02: add by m2/dev
The exact two-step transition A3X8EQF6ZG
| URI | m2://inv/A3X8EQF6ZG |
|---|---|
| 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#PR1P, The exact two-step transition (statement). In 9YAE8FNQST/e1, corollary 27.4
History
- 2026-10-30: add by m2/v0.4.12
S/s A3XBERDKSF
| URI | m2://inv/A3XBERDKSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9956, S/s (unknown). Also ProofWiki Symbols:S
History
- 2026-10-26: add by m2/dev
Backtracking line search A3XC4Y24FP
| URI | m2://inv/A3XC4Y24FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backtracking line search, Backtracking line search (definition). Also Wikidata Q4839787
History
- 2026-11-02: add by m2/dev
material conditional A3XN7096FN
| URI | m2://inv/A3XN7096FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#X724, material conditional (definition)
History
- 2026-11-02: add by m2/dev
Ilona Palásti A3XSKH6T1N
| URI | m2://inv/A3XSKH6T1N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ilona Palásti, Ilona Palásti (topic). Also Wikidata Q56612441
History
- 2026-11-02: add by m2/dev
Ethelwynn Rice Beckwith A3XXESFJGB
| URI | m2://inv/A3XXESFJGB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ethelwynn Rice Beckwith, Ethelwynn Rice Beckwith (topic). Also Wikidata Q106097824
History
- 2026-11-02: add by m2/dev
Stability of the oracle GGDPC path A3Y2TBKB3J
| URI | m2://inv/A3Y2TBKB3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01050#W02H, Stability of the oracle GGDPC path (statement). In 48NN33SAH7/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
A3Y31BJHKZ A3Y31BJHKZ
| URI | m2://inv/A3Y31BJHKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#CJGO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples A3Y4H6VJJH
| URI | m2://inv/A3Y4H6VJJH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson ring#5F7Z, Examples (example)
History
- 2026-11-02: add by m2/dev
A3Y4TPNHKT A3Y4TPNHKT
| URI | m2://inv/A3Y4TPNHKT |
|---|---|
| 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 2607.28337#5XPR (statement). In 7ZJFWBTBKM/e1, proposition 3.4.2
History
- 2026-10-27: add by m2/v0.3.6
Floradora A3Y7415YER
| URI | m2://inv/A3Y7415YER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floradora, Floradora (definition). Also Wikidata Q5460459
History
- 2026-11-02: add by m2/dev
Parabigyrate rhombicosidodecahedron A3YB6Y069Z
| URI | m2://inv/A3YB6Y069Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TH57, Parabigyrate rhombicosidodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CZ4V, Parabigyrate rhombicosidodecahedron (definition)
History
- 2026-11-02: add by m2/dev
A3YFC3G7JN A3YFC3G7JN
| URI | m2://inv/A3YFC3G7JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#965W (statement)
History
- 2026-11-02: add by m2/v0.6.18
Category of locally ringed spaces A3YHY7CBGK
| URI | m2://inv/A3YHY7CBGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringed space#3L1R, Category of locally ringed spaces (unknown)
History
- 2026-11-02: add by m2/dev
Jakob Nielsen A3YMKZRGXP
| URI | m2://inv/A3YMKZRGXP |
|---|---|
| Kind | topic |
| 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#B18T, Jakob Nielsen (topic)
History
- 2026-11-02: add by m2/dev
Paine, George A3YNHR5X77
| URI | m2://inv/A3YNHR5X77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OWZU, Paine, George (unknown)
History
- 2026-11-02: add by m2/dev
A3YRCPR4YM A3YRCPR4YM
| URI | m2://inv/A3YRCPR4YM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#L0JP (statement). In TPA3E67MKK/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Archimedes' twin circles A3YW6QNGAY
| URI | m2://inv/A3YW6QNGAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q244780, Archimedes' twin circles (unknown). Also MathWorld ArchimedesCircles
- wikipedia: Wikipedia Twin circles, Twin circles (definition). Also Wikidata Q244780
History
- 2026-10-26: add by m2/dev
A3YZEF9X75 A3YZEF9X75
| URI | m2://inv/A3YZEF9X75 |
|---|---|
| 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 math/9807180#2SXT (statement). In VR3766BVE5/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Definition A3Z0408GJX
| URI | m2://inv/A3Z0408GJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion tensor#NYA3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations A3Z24T275H
| URI | m2://inv/A3Z24T275H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular integral operators on closed curves#I6P6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Leibniz defect A3Z3BMXS8S
| URI | m2://inv/A3Z3BMXS8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#AMM7, Leibniz defect (definition). In 7GMD8J4200/e1, definition 15
History
- 2026-10-27: add by m2/v0.4.2
Conditional ordered-to-unordered descent A3ZJB882RQ
| URI | m2://inv/A3ZJB882RQ |
|---|---|
| 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#98EQ, Conditional ordered-to-unordered descent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants A3ZK3R1CRT
| URI | m2://inv/A3ZK3R1CRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano curve#RTY5, Variants (statement)
History
- 2026-11-02: add by m2/dev
Slovakia A3ZKFXSK1M
| URI | m2://inv/A3ZKFXSK1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214, Slovakia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Slovakia
History
- 2026-10-26: add by m2/dev
36 Cube A3ZS6MG6FC
| URI | m2://inv/A3ZS6MG6FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 36 Cube, 36 Cube (definition). Also Wikidata Q227524
History
- 2026-11-02: add by m2/dev