Inventory rows Y0
The cards of the rows of the inventory whose ids start with Y0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Y0020Z15KM Y0020Z15KM
| URI | m2://inv/Y0020Z15KM |
|---|---|
| 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.16877#AKTD (statement). In YY4KFNMPC0/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
General Comparison Principle Y002QCZ0F9
| URI | m2://inv/Y002QCZ0F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#UUSE, General Comparison Principle (statement). In C2HJ1CCJ0S/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Y005PF1NVM Y005PF1NVM
| URI | m2://inv/Y005PF1NVM |
|---|---|
| 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.31216#8RZW (statement). In M9CSGRSRB3/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Shifted Tikhonov regularization Y009ZHC8SQ
| URI | m2://inv/Y009ZHC8SQ |
|---|---|
| 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.10484#STU0, Shifted Tikhonov regularization (statement). In 5B4AX4SF88/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Y00CYMJ7A6 Y00CYMJ7A6
| URI | m2://inv/Y00CYMJ7A6 |
|---|---|
| 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.09162#0D7M (definition). In TAPS8P2VYS/e1, definition 1.27
History
- 2026-10-29: add by m2/v0.4.10
Notation Y00H8PP5HQ
| URI | m2://inv/Y00H8PP5HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldston–Pintz–Yıldırım sieve#GI92, Notation (definition)
History
- 2026-11-02: add by m2/dev
finite strain theory Y00MTYT3SH
| URI | m2://inv/Y00MTYT3SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 74B20 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15300737, finite strain theory (topic)
- wikipedia: Wikipedia Finite strain theory, Finite strain theory (definition). Also Wikidata Q15300737
History
- 2026-10-26: add by m2/dev
Generalizations Y00MXE2JHD
| URI | m2://inv/Y00MXE2JHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic section#A458, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Certificate checker Y00PCZB6GS
| URI | m2://inv/Y00PCZB6GS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#FNZL, Certificate checker (definition). In KBBA2FKDBH/e1, definition A.3
History
- 2026-10-30: add by m2/v0.4.12
Behnke–Stein theorem Y016DBR4G0
| URI | m2://inv/Y016DBR4G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4880958, Behnke–Stein theorem (statement). Also Wikidata Q4880958
- thousand_plus: thousand_plus Q4880958, Behnke–Stein theorem (statement). Also Wikidata Q4880958, Wikipedia Behnke–Stein theorem
- wikipedia: Wikipedia Behnke–Stein theorem, Behnke–Stein theorem (statement). Also Wikidata Q4880958
History
- 2026-10-26: add by m2/dev
551 (number) Y01B57BG9D
| URI | m2://inv/Y01B57BG9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#TGZB, 551 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Implementations Y01JCVFRAJ
| URI | m2://inv/Y01JCVFRAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medoid#3YA4, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Y01PGYKR9V Y01PGYKR9V
| URI | m2://inv/Y01PGYKR9V |
|---|---|
| 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.05820#XEVS (statement). In S8EGCJQ0JV/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Y01RPE6E2G Y01RPE6E2G
| URI | m2://inv/Y01RPE6E2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#5GK6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
recursive call Y01W82ZSRA
| URI | m2://inv/Y01W82ZSRA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/recursive-call, recursive call (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
Y01XZFV72M Y01XZFV72M
| URI | m2://inv/Y01XZFV72M |
|---|---|
| Kind | definition |
| 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#6Z4Z (definition)
History
- 2026-11-02: add by m2/v0.6.17
Cylinder set measure Y028XWVES8
| URI | m2://inv/Y028XWVES8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder set measure, Cylinder set measure (definition). Also Wikidata Q5199272
History
- 2026-11-02: add by m2/dev
Y029RJQ1BD Y029RJQ1BD
| URI | m2://inv/Y029RJQ1BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.17751#5AFO (statement). In J39X0NB31S/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Y02FE0CAAY Y02FE0CAAY
| URI | m2://inv/Y02FE0CAAY |
|---|---|
| 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 2609.27078#QW07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Killing horizon Y02JDA1K84
| URI | m2://inv/Y02JDA1K84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing horizon, Killing horizon (definition). Also Wikidata Q6407790
History
- 2026-11-02: add by m2/dev
Convex Polyhedra Y02MP8ECGD
| URI | m2://inv/Y02MP8ECGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex Polyhedra (book), Convex Polyhedra (definition). Also Wikidata Q104850328
History
- 2026-11-02: add by m2/dev
Y02YM2AE84 Y02YM2AE84
| URI | m2://inv/Y02YM2AE84 |
|---|---|
| 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 2510.09873#Y4V0 (statement). In KNB3ZCNC9Q/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
Extensions Y03BCG5Y10
| URI | m2://inv/Y03BCG5Y10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtle cardinal#805H, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Thomas Aquinas Y03DSEWXDZ
| URI | m2://inv/Y03DSEWXDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6JM8, Thomas Aquinas (unknown)
History
- 2026-11-02: add by m2/dev
Effective Nullstellensatz Y03E02Q0B8
| URI | m2://inv/Y03E02Q0B8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's Nullstellensatz#418G, Effective Nullstellensatz (unknown)
History
- 2026-11-02: add by m2/dev
Boris Levitan Y03FC2XGSP
| URI | m2://inv/Y03FC2XGSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Y80F, Boris Levitan (unknown)
History
- 2026-11-02: add by m2/dev
Uses Y03HC3F1M9
| URI | m2://inv/Y03HC3F1M9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double pushout graph rewriting#87RY, Uses (example)
History
- 2026-11-02: add by m2/dev
Y03JMY8FQP Y03JMY8FQP
| URI | m2://inv/Y03JMY8FQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#Z2LP (statement). In M7NEWDTM32/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Explicit bounds for standard scaling Y03QVNPFHV
| URI | m2://inv/Y03QVNPFHV |
|---|---|
| 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.13789#4I58, Explicit bounds for standard scaling (statement). In 803XY7QQZ4/e1, corollary 10
History
- 2026-10-28: add by m2/v0.4.2
Y03VZXYD7E Y03VZXYD7E
| URI | m2://inv/Y03VZXYD7E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#U59O (definition)
History
- 2026-11-02: add by m2/v0.6.17
Initial value formulation Y03Y00ZYSF
| URI | m2://inv/Y03Y00ZYSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial value formulation (general relativity), Initial value formulation (definition). Also Wikidata Q6034143
History
- 2026-11-02: add by m2/dev
monotonicity Y0413M3D37
| URI | m2://inv/Y0413M3D37 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/monotonicity, monotonicity (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Giuseppe Barilli Y044E9PGS2
| URI | m2://inv/Y044E9PGS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#0UXH, Giuseppe Barilli (topic)
History
- 2026-11-02: add by m2/dev
Inradius Y04K0GS3X7
| URI | m2://inv/Y04K0GS3X7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incircle and excircles#PJ9I, Inradius (unknown)
History
- 2026-11-02: add by m2/dev
degeneration data to deformation data Y04QMT9ZYK
| URI | m2://inv/Y04QMT9ZYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#T9X8, degeneration data to deformation data (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties Y04R7KDFS6
| URI | m2://inv/Y04R7KDFS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal polyhedron#BSWM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example Y04YCAVXF9
| URI | m2://inv/Y04YCAVXF9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#N7E1, Example (example)
History
- 2026-11-02: add by m2/dev
twin Y051NHCDS4
| URI | m2://inv/Y051NHCDS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#DGPI, twin (definition)
History
- 2026-11-02: add by m2/dev
Y05828HJ1E Y05828HJ1E
| URI | m2://inv/Y05828HJ1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#2Z0O (definition). In ZA6XNBA90V/e1, definition 1.14
History
- 2026-10-27: add by m2/v0.3.5
Kulischer, Eugene M. Y05ACBEV2H
| URI | m2://inv/Y05ACBEV2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#T8OF, Kulischer, Eugene M. (unknown)
History
- 2026-11-02: add by m2/dev
Y05C54RNHP Y05C54RNHP
| URI | m2://inv/Y05C54RNHP |
|---|---|
| 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.09648#YSQM (statement). In WB9PTPN54H/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Y05EY58NBE Y05EY58NBE
| URI | m2://inv/Y05EY58NBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#WP0D (statement). In E7W2HDNEKJ/e1, theorem 4.22
History
- 2026-10-30: add by m2/v0.4.12
Y05G9PP3GG Y05G9PP3GG
| URI | m2://inv/Y05G9PP3GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#QRBE (statement). In A59MZ9H284/e1, theorem 2.14
History
- 2026-10-30: add by m2/v0.4.12
Response-rate ratio Y05GAK306G
| URI | m2://inv/Y05GAK306G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Response-rate ratio, Response-rate ratio (definition). Also Wikidata Q7315949
History
- 2026-11-02: add by m2/dev
Tennenbaum's theorem Y05NW70HEQ
| URI | m2://inv/Y05NW70HEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#M2F9, Tennenbaum's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition Y05NYF8B4N
| URI | m2://inv/Y05NYF8B4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homoscedasticity and heteroscedasticity#5ONB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y05VF9YF9S Y05VF9YF9S
| URI | m2://inv/Y05VF9YF9S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.21052#589K (example)
History
- 2026-11-02: add by m2/v0.6.18
Y06B4GCE0E Y06B4GCE0E
| URI | m2://inv/Y06B4GCE0E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#7NBE (definition). In 6G1KBA0SXV/e1, definition 3.6
History
- 2026-10-31: add by m2/v0.5.6
Multi-layer FedAvg under common layer bounds Y06G4SNJK2
| URI | m2://inv/Y06G4SNJK2 |
|---|---|
| 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.02659#YQF4, Multi-layer FedAvg under common layer bounds (statement). In EV933413SJ/e1, corollary D.5
History
- 2026-10-29: add by m2/v0.4.12
homogeneous system Y06GBV0M02
| URI | m2://inv/Y06GBV0M02 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.3/homogeneous-system, homogeneous system (concept). In E9HS8K3A52, index, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
Examples Y06GEBC7PM
| URI | m2://inv/Y06GEBC7PM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing tensor#09HK, Examples (example)
History
- 2026-11-02: add by m2/dev
mathematical operation Y06JD5BM0W
| URI | m2://inv/Y06JD5BM0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3884033, mathematical operation (unknown). Also MathWorld Operation
- wikipedia: Wikipedia Operation (mathematics), Operation (definition). Also Wikidata Q3884033
History
- 2026-10-26: add by m2/dev
Y06QJESQ9H Y06QJESQ9H
| URI | m2://inv/Y06QJESQ9H |
|---|---|
| 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.10527#1K92 (statement). In 9AXPPWBA9R/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
The Principle of Mathematical Induction Y06V3AEBBF
| URI | m2://inv/Y06V3AEBBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 74, The Principle of Mathematical Induction (statement). Also Mathlib Nat
- mathlib_overview: mathlib_overview General algebra > Numbers > natural number, natural number (unknown). Also Mathlib Nat
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > recurrent sequences, recurrent sequences (unknown). Also Mathlib Nat
History
- 2026-10-26: add by m2/dev
Applications Y06XW3KVGV
| URI | m2://inv/Y06XW3KVGV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet packet decomposition#7GDF, Applications (example)
History
- 2026-11-02: add by m2/dev
Irony, Telba Y06ZKYQHKC
| URI | m2://inv/Y06ZKYQHKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2V0U, Irony, Telba (topic)
History
- 2026-11-02: add by m2/dev
Stochastic cellular automaton Y07058FKN7
| URI | m2://inv/Y07058FKN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic cellular automaton, Stochastic cellular automaton (definition). Also Wikidata Q17022326
History
- 2026-11-02: add by m2/dev
Neutral vector Y07A329NW3
| URI | m2://inv/Y07A329NW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ED5T, Neutral vector (definition)
History
- 2026-11-02: add by m2/dev
Degeneration Y07QTXGQN9
| URI | m2://inv/Y07QTXGQN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degeneration (algebraic geometry), Degeneration (definition). Also Wikidata Q85756229
History
- 2026-11-02: add by m2/dev
Lucas sequence Y07VN7VJQG
| URI | m2://inv/Y07VN7VJQG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lucas sequence DP39F5KQ2W |
Mentions
- wikidata: Wikidata Q1759646, Lucas sequence (concept). Also MathWorld LucasSequence
- wikipedia: Wikipedia Lucas sequence, Lucas sequence (object). Also Wikidata Q1759646
History
- 2026-10-26: add by m2/dev
Properties Y07X8ZFVVS
| URI | m2://inv/Y07X8ZFVVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular cupola#KIH9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Statement Y084KT3ASB
| URI | m2://inv/Y084KT3ASB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power rule#GFH5, Statement (statement)
History
- 2026-11-02: add by m2/dev
Y086XSRZSP Y086XSRZSP
| URI | m2://inv/Y086XSRZSP |
|---|---|
| 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.31216#C8X4 (statement). In M9CSGRSRB3/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
Properties Y08CPJSJ03
| URI | m2://inv/Y08CPJSJ03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space of continuous functions on a compact space#49X3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Y08MBMYKRM Y08MBMYKRM
| URI | m2://inv/Y08MBMYKRM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#B3B6 (definition). In D2247CRPPE/e1, definition 14
History
- 2026-10-30: add by m2/v0.4.12
disk method Y093XPK5R0
| URI | m2://inv/Y093XPK5R0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.2.2/disk-method, disk method (concept). In 907G4C4EJ1, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Properties Y0942GQGB4
| URI | m2://inv/Y0942GQGB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicompact space#5LO0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Langlands classification Y097TFWY55
| URI | m2://inv/Y097TFWY55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands classification, Langlands classification (definition). Also Wikidata Q6486186
History
- 2026-11-02: add by m2/dev
Y0988XPM3N Y0988XPM3N
| URI | m2://inv/Y0988XPM3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#RTEA (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Y099Q5Y4HG Y099Q5Y4HG
| URI | m2://inv/Y099Q5Y4HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#REGO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications Y09DWJQW0E
| URI | m2://inv/Y09DWJQW0E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's theorem (group theory)#L8WO, Applications (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Y09SEF5TED Y09SEF5TED
| URI | m2://inv/Y09SEF5TED |
|---|---|
| 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 2407.20385#K2YB (statement). In PZRSZ19KAH/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Polyakov action Y09YG41VHE
| URI | m2://inv/Y09YG41VHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#LH0L, Polyakov action (definition)
History
- 2026-11-02: add by m2/dev
Definition Y0A78QCHV1
| URI | m2://inv/Y0A78QCHV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear system#T5Z9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harish-Chandra formula Y0A99YCHCN
| URI | m2://inv/Y0A99YCHCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra integral#ZX6R, Harish-Chandra formula (statement)
History
- 2026-11-02: add by m2/dev
Cobordism Y0AD5B9ZYZ
| URI | m2://inv/Y0AD5B9ZYZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#QYK3, Cobordism (definition). In BAEDMM7YM5/e1, definition 12
History
- 2026-10-29: add by m2/v0.4.12
Strict order Y0ADWCQB9H
| URI | m2://inv/Y0ADWCQB9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#EMTZ, Strict order (definition)
History
- 2026-11-02: add by m2/dev
Y0AG96AY2H Y0AG96AY2H
| URI | m2://inv/Y0AG96AY2H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Y0AJY08NA7 Y0AJY08NA7
| URI | m2://inv/Y0AJY08NA7 |
|---|---|
| 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.16399#D5PI (statement). In 2N87D4KTSY/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
I. M. Gelfand Y0AKD3DWTM
| URI | m2://inv/Y0AKD3DWTM |
|---|---|
| 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#G7CW, I. M. Gelfand (topic)
History
- 2026-11-02: add by m2/dev
Proposition Y0AQ7MQF88
| URI | m2://inv/Y0AQ7MQF88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber-homotopy equivalence#CSM5, Proposition (statement)
History
- 2026-11-02: add by m2/dev
John Laurence Pritchard Y0AX1XV1YY
| URI | m2://inv/Y0AX1XV1YY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Laurence Pritchard, John Laurence Pritchard (topic). Also Wikidata Q16028169
History
- 2026-11-02: add by m2/dev
Y0AY4ZNWBD Y0AY4ZNWBD
| URI | m2://inv/Y0AY4ZNWBD |
|---|---|
| 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 1002.0879#SRE1 (statement). In M0SQY5EZN5/e1, theorem 2.3.12
History
- 2026-10-27: add by m2/v0.3.5
Mohammd Y0B06XCWGF
| URI | m2://inv/Y0B06XCWGF |
|---|---|
| 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 2609.25291#SYL3, Mohammd (statement)
History
- 2026-11-01: add by m2/v0.6.15
block diagonal matrix Y0BGT8MB60
| URI | m2://inv/Y0BGT8MB60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Block diagonal matrix 001T5FJDC1 |
Mentions
- wikidata: Wikidata Q2933833, block diagonal matrix (unknown). Also MathWorld BlockDiagonalMatrix
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Y0BH1VEFQ5 Y0BH1VEFQ5
| URI | m2://inv/Y0BH1VEFQ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#I36U (definition). In G02N9D40B9/e1, definition 1.1.1
History
- 2026-10-29: add by m2/v0.4.10
Applied Cryptography (book) Y0BJG0461A
| URI | m2://inv/Y0BJG0461A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruce Schneier#V479, Applied Cryptography (book) (unknown)
History
- 2026-11-02: add by m2/dev
BL Y0BRBVTWGJ
| URI | m2://inv/Y0BRBVTWGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BL (logic), BL (definition). Also Wikidata Q4835880
History
- 2026-11-02: add by m2/dev
Y0BSE8KDQD Y0BSE8KDQD
| URI | m2://inv/Y0BSE8KDQD |
|---|---|
| Kind | definition |
| 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#L4Z0 (definition). In BDN507RN7J/e1, definition 3.1.3
History
- 2026-10-30: add by m2/v0.4.12
Y0C6H60W2W Y0C6H60W2W
| URI | m2://inv/Y0C6H60W2W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 52.7.2
History
- 2026-11-01: add by m2/v0.6.13
Examples Y0C7MFNYD9
| URI | m2://inv/Y0C7MFNYD9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of the handicap of a head start#ZOIM, Examples (example)
History
- 2026-11-02: add by m2/dev
Y0CE0QA553 Y0CE0QA553
| URI | m2://inv/Y0CE0QA553 |
|---|---|
| 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.03011#UPJ0 (statement). In VE8FB6K8EN/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Y0CKN52XQR Y0CKN52XQR
| URI | m2://inv/Y0CKN52XQR |
|---|---|
| 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 2310.14879#5LED (statement). In 3VZ55B2N0D/e1, proposition 6.21
History
- 2026-10-27: add by m2/v0.4.0
Russell Greiner Y0CQWE9ZPF
| URI | m2://inv/Y0CQWE9ZPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QCAE, Russell Greiner (unknown)
History
- 2026-11-02: add by m2/dev
Examples Y0CTGX2RZR
| URI | m2://inv/Y0CTGX2RZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiderivative#3U9O, Examples (example)
History
- 2026-11-02: add by m2/dev
\probname{CNFSat Y0CTZBKVKY
| URI | m2://inv/Y0CTZBKVKY |
|---|---|
| Kind | problem |
| 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 2609.38436#XC49, \probname{CNFSat (problem). In 702AF3E4AF/e1, problem 3.10
History
- 2026-10-30: add by m2/v0.4.12
Moore-Penrose psuedoinverse Y0CXB0GBN1
| URI | m2://inv/Y0CXB0GBN1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/7.5.2/moore-penrose-psuedoinverse, Moore-Penrose psuedoinverse (concept). In 649HGZKE96, index, section 7.5.2
History
- 2026-11-01: add by m2/v0.6.13
Y0CXYE4KCG Y0CXYE4KCG
| URI | m2://inv/Y0CXYE4KCG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 66.5
History
- 2026-11-01: add by m2/v0.6.13
Y0D7RS31KA Y0D7RS31KA
| URI | m2://inv/Y0D7RS31KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#REM7 (statement). In F5STMSPR6X/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
Y0DPS5VY5W Y0DPS5VY5W
| URI | m2://inv/Y0DPS5VY5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.08858#42TR (statement). In E6795TKR6R/e1, theorem 19
History
- 2026-10-27: add by m2/v0.3.5
8-demicubic honeycomb Y0DQYGEQ0J
| URI | m2://inv/Y0DQYGEQ0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HP24, 8-demicubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NQ7L, 8-demicubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Example Y0DSPMD8YG
| URI | m2://inv/Y0DSPMD8YG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial evaluation#NDLX, Example (example)
History
- 2026-11-02: add by m2/dev
global section Y0E0K39E1V
| URI | m2://inv/Y0E0K39E1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91783823, global section (unknown). Also nLab global section
History
- 2026-10-26: add by m2/dev
Certified spectra of the balanced executable channels Y0E5FCYT2X
| URI | m2://inv/Y0E5FCYT2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33021#IDBW, Certified spectra of the balanced executable channels (statement). In GG96DW33Q9/e1, lemma G.1
History
- 2026-10-31: add by m2/v0.5.6
Hidden-label phase Y0E633E1V4
| URI | m2://inv/Y0E633E1V4 |
|---|---|
| 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 2609.32078#WZZZ, Hidden-label phase (statement). In 5PN85N6EJF/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
differential algebra Y0E7A1R1QA
| URI | m2://inv/Y0E7A1R1QA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91915305, differential algebra (topic). Also EoM Differential_algebra, MathWorld DifferentialAlgebra
History
- 2026-10-26: add by m2/dev
May's Convergence Theorem Y0E7GVJ42Q
| URI | m2://inv/Y0E7GVJ42Q |
|---|---|
| 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 1902.04230#RCT2, May's Convergence Theorem (statement). In 22JZ68FGCW/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.5
Y0EA6HTBD6 Y0EA6HTBD6
| URI | m2://inv/Y0EA6HTBD6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#UITX (unknown). In QNBFHFZ3H0/e1, unknown 2
History
- 2026-10-28: add by m2/v0.4.2
Examples Y0ERKYRJTJ
| URI | m2://inv/Y0ERKYRJTJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular triangle#MUXJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties Y0FA0036TT
| URI | m2://inv/Y0FA0036TT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall plane#F4MV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Harmonic extension Y0FN9ZEW7S
| URI | m2://inv/Y0FN9ZEW7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#BHFA, Harmonic extension (definition). In R5AFFWBMAF/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Examples for the nome cube theorem Y0FNXKGR41
| URI | m2://inv/Y0FNXKGR41 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#AXEL, Examples for the nome cube theorem (example)
History
- 2026-11-02: add by m2/dev
Statement of the theorem Y0FR7HG1QX
| URI | m2://inv/Y0FR7HG1QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurosh subgroup theorem#O28T, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Hypergeometric function identities Y0FXXBYNAW
| URI | m2://inv/Y0FXXBYNAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#FDFQ, Hypergeometric function identities (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#O7MA, Hypergeometric function identities (definition)
History
- 2026-11-02: add by m2/dev
Local Tate duality Y0FYDQ28J5
| URI | m2://inv/Y0FYDQ28J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Tate duality, Local Tate duality (definition). Also Wikidata Q6664254
History
- 2026-11-02: add by m2/dev
Y0G3DN2NQ8 Y0G3DN2NQ8
| URI | m2://inv/Y0G3DN2NQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#DQ5E (statement). In RTE2C0PH4S/e1, corollary
History
- 2026-10-28: add by m2/v0.4.2
Whittle likelihood Y0G5ZMATZX
| URI | m2://inv/Y0G5ZMATZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whittle likelihood, Whittle likelihood (definition). Also Wikidata Q25304822
History
- 2026-11-02: add by m2/dev
Generalized Petersen graph Y0G98WNG0J
| URI | m2://inv/Y0G98WNG0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Petersen graph, Generalized Petersen graph (definition). Also Wikidata Q5532453
History
- 2026-11-02: add by m2/dev
Global hyperbolicity Y0GET2PSR6
| URI | m2://inv/Y0GET2PSR6 |
|---|---|
| Kind | definition |
| 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 2610.11911#2GMY, Global hyperbolicity (definition). In 5BYE5NYB89/e1, definition 3.13
History
- 2026-10-28: add by m2/v0.4.3
Y0GMY0RF49 Y0GMY0RF49
| URI | m2://inv/Y0GMY0RF49 |
|---|---|
| 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.11939#JU2U (statement). In DQMEN40FZV/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Y0GVNTYRFF Y0GVNTYRFF
| URI | m2://inv/Y0GVNTYRFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#24HX (statement). In DFZWC9HY0T/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Proposition II Y0GZ2EFKC8
| URI | m2://inv/Y0GZ2EFKC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modigliani–Miller theorem#WZSO, Proposition II (statement)
History
- 2026-11-02: add by m2/dev
Comparison to classical design principles Y0GZENAZV8
| URI | m2://inv/Y0GZENAZV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic design#WQNU, Comparison to classical design principles (statement)
History
- 2026-11-02: add by m2/dev
Y0H29XXGH1 Y0H29XXGH1
| URI | m2://inv/Y0H29XXGH1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#4LOE (statement). In 12JKZ8EN52/e1, statement 7.7.1
History
- 2026-10-27: add by m2/v0.3.5
Open questions Y0H2EEAHTT
| URI | m2://inv/Y0H2EEAHTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational number#M4J8, Open questions (statement)
History
- 2026-11-02: add by m2/dev
Poincaré conjecture Y0H3ABWAX0
| URI | m2://inv/Y0H3ABWAX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#TN3F, Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
asymmetric graph Y0H570F4J6
| URI | m2://inv/Y0H570F4J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3034855, asymmetric graph (unknown). Also MathWorld IdentityGraph, OEIS A003400
- wikipedia: Wikipedia Asymmetric graph, Asymmetric graph (definition). Also Wikidata Q3034855
History
- 2026-10-26: add by m2/dev
Authalic latitude Y0H62XPQMC
| URI | m2://inv/Y0H62XPQMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#KH78, Authalic latitude (unknown)
History
- 2026-11-02: add by m2/dev
Y0H8BV3X4W Y0H8BV3X4W
| URI | m2://inv/Y0H8BV3X4W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#UAGJ (example)
History
- 2026-11-01: add by m2/v0.6.15
Robert E. Chaddock Y0HA5WW8GE
| URI | m2://inv/Y0HA5WW8GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#D7UN, Robert E. Chaddock (topic)
History
- 2026-11-02: add by m2/dev
Tao's inequality Y0HKSQ5BDM
| URI | m2://inv/Y0HKSQ5BDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequalities in information theory#EM3G, Tao's inequality (statement)
History
- 2026-11-02: add by m2/dev
Y0HYTCJH27 Y0HYTCJH27
| URI | m2://inv/Y0HYTCJH27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor-2 (statement). In E59CDZA4DP, cor, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Additive white Gaussian noise Y0HZPCN5ND
| URI | m2://inv/Y0HZPCN5ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive white Gaussian noise, Additive white Gaussian noise (definition). Also Wikidata Q353292
History
- 2026-11-02: add by m2/dev
Random minimum spanning tree Y0J7NNQ28P
| URI | m2://inv/Y0J7NNQ28P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random minimum spanning tree, Random minimum spanning tree (definition). Also Wikidata Q7291978
History
- 2026-11-02: add by m2/dev
Generalized integer gamma distribution Y0J7QPRDTZ
| URI | m2://inv/Y0J7QPRDTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized integer gamma distribution, Generalized integer gamma distribution (definition). Also Wikidata Q5532482
History
- 2026-11-02: add by m2/dev
H. H. Goldstine Y0J8DFG6EA
| URI | m2://inv/Y0J8DFG6EA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#7OUK, H. H. Goldstine (topic)
History
- 2026-11-02: add by m2/dev
Y0J9A3NVQ9 Y0J9A3NVQ9
| URI | m2://inv/Y0J9A3NVQ9 |
|---|---|
| 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.19449#YAS6 (statement). In 8ZKPJ3CBDF/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Y0JRXAHDCS Y0JRXAHDCS
| URI | m2://inv/Y0JRXAHDCS |
|---|---|
| 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 2507.05417#1AUH (statement). In RGHZ863Q26/e1, lemma 3.23
History
- 2026-10-27: add by m2/v0.3.5
Michel Ledoux Y0JTMJGZ5Z
| URI | m2://inv/Y0JTMJGZ5Z |
|---|---|
| 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#6NRT, Michel Ledoux (topic)
History
- 2026-11-02: add by m2/dev
Y0JXD8S6KZ Y0JXD8S6KZ
| URI | m2://inv/Y0JXD8S6KZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#7TYE (definition). In 4X4ZS7CEKD/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Y0KBQ416B0 Y0KBQ416B0
| URI | m2://inv/Y0KBQ416B0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-6-1.xml#act-3-6-1 (exercise). In 907G4C4EJ1, activity, section 3.6.2
History
- 2026-11-01: add by m2/v0.6.13
Y0KNPJY16Y Y0KNPJY16Y
| URI | m2://inv/Y0KNPJY16Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#FAKG (statement). In BZ54C9SKYS/e1, theorem 6.5
History
- 2026-10-27: add by m2/v0.3.5
Y0KQ631Z1K Y0KQ631Z1K
| URI | m2://inv/Y0KQ631Z1K |
|---|---|
| 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.15217#1DFP (statement). In G70Q2FB591/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Meta-reasoning Y0KXRSPEQB
| URI | m2://inv/Y0KXRSPEQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reason#GJFY, Meta-reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Graph-Valued State Space Y0M2GE3F68
| URI | m2://inv/Y0M2GE3F68 |
|---|---|
| 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 2609.36421#M30R, Graph-Valued State Space (definition). In E0ZRSZ0YHT/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
generalized quantifier Y0M521X7BR
| URI | m2://inv/Y0M521X7BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XXEK, generalized quantifier (definition)
History
- 2026-11-02: add by m2/dev
Torus action Y0M5RHPEKH
| URI | m2://inv/Y0M5RHPEKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus action, Torus action (definition). Also Wikidata Q55636057
History
- 2026-11-02: add by m2/dev
Truth Y0M6HXZZMD
| URI | m2://inv/Y0M6HXZZMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth, Truth (definition). Also Wikidata Q7949
History
- 2026-11-02: add by m2/dev
Examples Y0M8YRFF56
| URI | m2://inv/Y0M8YRFF56 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codazzi tensor#3QYF, Examples (example)
History
- 2026-11-02: add by m2/dev
Y0MBD9FCNQ Y0MBD9FCNQ
| URI | m2://inv/Y0MBD9FCNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-18 (example). In VNMV985MXX, example, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Gallai--Edmonds Y0MC3115QH
| URI | m2://inv/Y0MC3115QH |
|---|---|
| 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.15024#JO6R, Gallai--Edmonds (statement). In GTZZ9BMWE9/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
HP 48 series Y0MQJ6X7ET
| URI | m2://inv/Y0MQJ6X7ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP 48 series, HP 48 series (definition). Also Wikidata Q1412154
History
- 2026-11-02: add by m2/dev
Y0MVQYHVXS Y0MVQYHVXS
| URI | m2://inv/Y0MVQYHVXS |
|---|---|
| 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.39293#1M6G (statement). In S26QVW5613/e1, lemma 2.1.3
History
- 2026-10-30: add by m2/v0.4.12
Y0MXSWQ7XX Y0MXSWQ7XX
| URI | m2://inv/Y0MXSWQ7XX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
Y0MYEE6KZM Y0MYEE6KZM
| URI | m2://inv/Y0MYEE6KZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-12 (definition). In E59CDZA4DP, defn, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
Generalization Y0MZWECHXG
| URI | m2://inv/Y0MZWECHXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-de Sitter space#C2ZM, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Y0N67KDC19 Y0N67KDC19
| URI | m2://inv/Y0N67KDC19 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#0LG5 (example). In 8VDXGR4SVD/e1, example 6.5
History
- 2026-10-28: add by m2/v0.4.2
Cube-root law for the fixed-sample experiment Y0N8PDA3Z0
| URI | m2://inv/Y0N8PDA3Z0 |
|---|---|
| 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.18445#MSNG, Cube-root law for the fixed-sample experiment (statement). In X63FGXZP4F/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
The residual is amortized Y0NAY071D8
| URI | m2://inv/Y0NAY071D8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35418#59KO, The residual is amortized (statement). In JHD3TW67QT/e1, lemma 33
History
- 2026-10-30: add by m2/v0.4.12
Vincenzo Mollame Y0NBFXQ6FZ
| URI | m2://inv/Y0NBFXQ6FZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincenzo Mollame, Vincenzo Mollame (topic). Also Wikidata Q24203500
History
- 2026-11-02: add by m2/dev
Markov decision process Y0ND4XA21E
| URI | m2://inv/Y0ND4XA21E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZRXU, Markov decision process (definition)
History
- 2026-11-02: add by m2/dev
Sylvestre Gallot Y0NEBD4EN6
| URI | m2://inv/Y0NEBD4EN6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvestre Gallot, Sylvestre Gallot (topic). Also Wikidata Q15433529
History
- 2026-11-02: add by m2/dev
Y0NH3HKSM7 Y0NH3HKSM7
| URI | m2://inv/Y0NH3HKSM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#IJQF (definition). In BJGS6ZCQ12/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Complete six-column values Y0NQ8DFCQB
| URI | m2://inv/Y0NQ8DFCQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05442#0TNT, Complete six-column values (statement). In WEPE51JCHZ/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Theorem Y0NRRB5WT9
| URI | m2://inv/Y0NRRB5WT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faithfully flat descent#BTIS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions Y0NT0GA3S4
| URI | m2://inv/Y0NT0GA3S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (graph theory)#99TG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Extensions Y0NVA4AY67
| URI | m2://inv/Y0NVA4AY67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson regression#O3B8, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Y0NZT41FSW Y0NZT41FSW
| URI | m2://inv/Y0NZT41FSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#CPVZ (statement). In WZMHJCQPB2/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
Y0P0YFQ7YQ Y0P0YFQ7YQ
| URI | m2://inv/Y0P0YFQ7YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#SQVF (statement). In W5XG3PGVF1/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Y0P3MF3572 Y0P3MF3572
| URI | m2://inv/Y0P3MF3572 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:conn-pik (statement). In N54F33XE07, cor, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Y0P9N61GWH Y0P9N61GWH
| URI | m2://inv/Y0P9N61GWH |
|---|---|
| Kind | example |
| 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 2211.16099#ZAC3 (example). In 91RRFW0K5D/e1, example 16
History
- 2026-10-27: add by m2/v0.3.5
function extensionality Y0PBNG7WPS
| URI | m2://inv/Y0PBNG7WPS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/function-extensionality, function extensionality (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Constraint process Y0PBX28WY5
| URI | m2://inv/Y0PBX28WY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#5QSZ, Constraint process (definition). In WD2NCBV9F0/e1, definition 7.9
History
- 2026-10-27: add by m2/v0.3.5
derived scheme Y0PJPZVTQR
| URI | m2://inv/Y0PJPZVTQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16959947, derived scheme (unknown). Also nLab derived scheme
- wikipedia: Wikipedia Derived scheme, Derived scheme (definition). Also Wikidata Q16959947
History
- 2026-10-26: add by m2/dev
Poinsot's spirals Y0PSDY22QG
| URI | m2://inv/Y0PSDY22QG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q527907, Poinsot's spirals (concept). Also MathWorld PoinsotsSpirals
- wikipedia: Wikipedia Poinsot's spirals, Poinsot's spirals (definition). Also Wikidata Q527907
History
- 2026-10-26: add by m2/dev
Uniform partition estimate Y0PWVJMW7Y
| URI | m2://inv/Y0PWVJMW7Y |
|---|---|
| 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.30808#2D90, Uniform partition estimate (statement). In 4JCFPV48VG/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Y0PYWPZJ7A Y0PYWPZJ7A
| URI | m2://inv/Y0PYWPZJ7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.20558#WPUQ (definition). In 46370P3Y9S/e1, definition 5.18
History
- 2026-10-27: add by m2/v0.4.2
Lie superalgebra Y0Q3DSZGDN
| URI | m2://inv/Y0Q3DSZGDN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12489#GCT8, Lie superalgebra (definition). In FDWFVD08SE/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Definition Y0Q3VV947V
| URI | m2://inv/Y0Q3VV947V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard transform#ZF4W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties Y0Q8APFT34
| URI | m2://inv/Y0Q8APFT34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completion of a ring#ZXYA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Classification of surfaces Y0QBHST0C0
| URI | m2://inv/Y0QBHST0C0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface (topology)#W8BF, Classification of surfaces (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical markup language Y0QESCA3DP
| URI | m2://inv/Y0QESCA3DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical markup language, Mathematical markup language (definition). Also Wikidata Q6786860
History
- 2026-11-02: add by m2/dev
Algorithm Y0QNF2X84M
| URI | m2://inv/Y0QNF2X84M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Seidel method#TI0H, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Y0R3TP4B2D Y0R3TP4B2D
| URI | m2://inv/Y0R3TP4B2D |
|---|---|
| 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.23528#38FP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement Y0R61KW4R9
| URI | m2://inv/Y0R61KW4R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck local duality#0SWR, Statement (statement)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of calculus Y0R9GJBNVM
| URI | m2://inv/Y0R9GJBNVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of calculus#FIND, Fundamental theorem of calculus (statement)
History
- 2026-11-02: add by m2/dev
Alexander Durie Russell Y0RAF5JCA0
| URI | m2://inv/Y0RAF5JCA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Durie Russell, Alexander Durie Russell (topic). Also Wikidata Q37737855
History
- 2026-11-02: add by m2/dev
The formation of a black hole Y0RD60NEW7
| URI | m2://inv/Y0RD60NEW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole#MH0V, The formation of a black hole (unknown)
History
- 2026-11-02: add by m2/dev
Edgar Gilbert Y0RR8A8ED8
| URI | m2://inv/Y0RR8A8ED8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgar Gilbert, Edgar Gilbert (topic). Also Wikidata Q1530048
History
- 2026-11-02: add by m2/dev
The family is a multiplicative convolution Y0S8FCJZKK
| URI | m2://inv/Y0S8FCJZKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#VN2X, The family is a multiplicative convolution (statement). In QPJ6FWG5HD/e1, lemma 2.91
History
- 2026-10-29: add by m2/v0.4.12
Construction Y0S8YNY0GR
| URI | m2://inv/Y0S8YNY0GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midsphere#DKKU, Construction (definition)
History
- 2026-11-02: add by m2/dev
Y0SAVB15MM Y0SAVB15MM
| URI | m2://inv/Y0SAVB15MM |
|---|---|
| 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.03353#O54K (definition). In 8W61T5CSRB/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Example Y0SEQ0C1A6
| URI | m2://inv/Y0SEQ0C1A6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-world assumption#HAZ3, Example (example)
History
- 2026-11-02: add by m2/dev
Y0SM24783R Y0SM24783R
| URI | m2://inv/Y0SM24783R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00267#KEFT (example). In 38XJWDZ2PH/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.5
formal, topology Y0SWMMK2XK
| URI | m2://inv/Y0SWMMK2XK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/formal-topology, formal, topology (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Y0T06E53NW Y0T06E53NW
| URI | m2://inv/Y0T06E53NW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#J7QT (statement). In 3THDT8WNF7/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
Li--Liu--Zhang Y0T0R8JG7J
| URI | m2://inv/Y0T0R8JG7J |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20225#8UQ0, Li--Liu--Zhang (problem)
History
- 2026-11-02: add by m2/v0.6.18
Y0T68QJEZF Y0T68QJEZF
| URI | m2://inv/Y0T68QJEZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#ETHU (statement). In TJH58FRGEN/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
Logarithmic frequency ratio Y0T6A5269K
| URI | m2://inv/Y0T6A5269K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level (logarithmic quantity)#MCKX, Logarithmic frequency ratio (unknown)
History
- 2026-11-02: add by m2/dev
Calvin Normore Y0T85PW061
| URI | m2://inv/Y0T85PW061 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#FF1M, Calvin Normore (unknown)
History
- 2026-11-02: add by m2/dev
Definition Y0TAFJ2626
| URI | m2://inv/Y0TAFJ2626 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double groupoid#7F1P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y0TGWW08AD Y0TGWW08AD
| URI | m2://inv/Y0TGWW08AD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#SN8C (example). In XGPZ0G9E1Q/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.12
Theorem Y0THE006V4
| URI | m2://inv/Y0THE006V4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel functional calculus#WWB3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Bill Weisband Y0TQJAKWTG
| URI | m2://inv/Y0TQJAKWTG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bill Weisband, Bill Weisband (topic). Also Wikidata Q4911320
History
- 2026-11-02: add by m2/dev
Theorem 3 Y0TR4NNP88
| URI | m2://inv/Y0TR4NNP88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#QPDC, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
I0, I1, I2, I3 Y0TT0YDQJ0
| URI | m2://inv/Y0TT0YDQJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#DG2Q, I0, I1, I2, I3 (definition)
History
- 2026-11-02: add by m2/dev
Y0TT935EJ2 Y0TT935EJ2
| URI | m2://inv/Y0TT935EJ2 |
|---|---|
| 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 2310.14879#E9O0 (statement). In 3VZ55B2N0D/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.0
Y0TW0K4JNT Y0TW0K4JNT
| URI | m2://inv/Y0TW0K4JNT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#D9YQ (definition). In EZZSZ1F071/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
Y0TXFYMX63 Y0TXFYMX63
| URI | m2://inv/Y0TXFYMX63 |
|---|---|
| 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.26948#ELDR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y0V4AS82TM Y0V4AS82TM
| URI | m2://inv/Y0V4AS82TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#08FU (statement). In V6EPE8XHAD/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Y0V56X0MNZ Y0V56X0MNZ
| URI | m2://inv/Y0V56X0MNZ |
|---|---|
| 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 2509.16898#0LCG (statement). In FXBFTRHBAH/e1, theorem
- arxiv: arXiv 2509.16898#M9UX (statement). In FXBFTRHBAH/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Y0V6BNF6B1 Y0V6BNF6B1
| URI | m2://inv/Y0V6BNF6B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#S8Z4 (statement). In W4TYN4PGE8/e1, lemma 2.36
History
- 2026-10-27: add by m2/v0.3.5
Telescoping trace relation Y0V7RNN13D
| URI | m2://inv/Y0V7RNN13D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#27R0, Telescoping trace relation (statement). In 9S7HGSEX6Q/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Bhat, U. Narayan Y0V7VN5TGM
| URI | m2://inv/Y0V7VN5TGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#91NE, Bhat, U. Narayan (topic)
History
- 2026-11-02: add by m2/dev
Y0VAY3HAP8 Y0VAY3HAP8
| URI | m2://inv/Y0VAY3HAP8 |
|---|---|
| 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.09162#9MZJ (definition). In TAPS8P2VYS/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Content Y0VDF3ZD4A
| URI | m2://inv/Y0VDF3ZD4A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23106#OTX2, Content (definition)
History
- 2026-11-02: add by m2/v0.6.17
Tate's isogeny theorem Y0VE5BEYCQ
| URI | m2://inv/Y0VE5BEYCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isogeny#I4D7, Tate's isogeny theorem (statement)
History
- 2026-11-02: add by m2/dev
Y0VEFPNB68 Y0VEFPNB68
| URI | m2://inv/Y0VEFPNB68 |
|---|---|
| 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.15982#TDBN (statement). In KB50SHR229/e1, proposition C.2
History
- 2026-10-28: add by m2/v0.4.2
Y0VR19CVGN Y0VR19CVGN
| URI | m2://inv/Y0VR19CVGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#105L (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y0VR4YNXDC Y0VR4YNXDC
| URI | m2://inv/Y0VR4YNXDC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#exa_intersecting (example). In QKM9DD2H56, example, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
Y0VXPTT5VQ Y0VXPTT5VQ
| URI | m2://inv/Y0VXPTT5VQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#IR0Z (example). In D6XA7JXZF3/e1, example 3.16
History
- 2026-10-27: add by m2/v0.3.5
Y0W7352KY4 Y0W7352KY4
| URI | m2://inv/Y0W7352KY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#1POQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cecil J. Nesbitt Y0W8T51A1T
| URI | m2://inv/Y0W8T51A1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cecil J. Nesbitt, Cecil J. Nesbitt (topic). Also Wikidata Q1052309
History
- 2026-11-02: add by m2/dev
Linhart-Eckhoff-Welzl Y0WCSB89VG
| URI | m2://inv/Y0WCSB89VG |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#BN15, Linhart-Eckhoff-Welzl (conjecture). In 8KKYZ4NKT2/e1, conjecture 9
History
- 2026-10-27: add by m2/v0.4.2
Theorem Y0WF500BF8
| URI | m2://inv/Y0WF500BF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand representation#EOXK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Y0WFY9YYW1 Y0WFY9YYW1
| URI | m2://inv/Y0WFY9YYW1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22374#CIUW (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples Y0WQS5GZYY
| URI | m2://inv/Y0WQS5GZYY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characterization (mathematics)#Q68L, Examples (example)
History
- 2026-11-02: add by m2/dev
Y0WWRTHMWK Y0WWRTHMWK
| URI | m2://inv/Y0WWRTHMWK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-4.xml#activity-3 (exercise). In 649HGZKE96, activity, section 6.4.3
History
- 2026-11-01: add by m2/v0.6.13
Y0X4GYDPVY Y0X4GYDPVY
| URI | m2://inv/Y0X4GYDPVY |
|---|---|
| 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.24325#4733 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Limit cycle Y0X5QQJ278
| URI | m2://inv/Y0X5QQJ278 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#8SWG, Limit cycle (definition)
- wikipedia: Wikipedia List of curves topics#74X0, Limit cycle (definition)
History
- 2026-11-02: add by m2/dev
Composition (combinatorics) Y0X90F2630
| URI | m2://inv/Y0X90F2630 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#KDPP, Composition (combinatorics) (definition)
History
- 2026-11-02: add by m2/dev
Y0XW19J9ZM Y0XW19J9ZM
| URI | m2://inv/Y0XW19J9ZM |
|---|---|
| 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#UN0R (statement). In HVGT9D84WV/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Y0Y08A52PK Y0Y08A52PK
| URI | m2://inv/Y0Y08A52PK |
|---|---|
| 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.20225#T121 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y0Y3MS2CWR Y0Y3MS2CWR
| URI | m2://inv/Y0Y3MS2CWR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-6 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Applications Y0Y6756F66
| URI | m2://inv/Y0Y6756F66 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated square pyramid#FC4P, Applications (example)
History
- 2026-11-02: add by m2/dev
Virial expansion Y0YDBJVKG6
| URI | m2://inv/Y0YDBJVKG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virial expansion, Virial expansion (definition). Also Wikidata Q900846
History
- 2026-11-02: add by m2/dev
Analytic theory of L-functions Y0YPQBQZXD
| URI | m2://inv/Y0YPQBQZXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#CE5U, Analytic theory of L-functions (definition)
History
- 2026-11-02: add by m2/dev
projective geometry Y0Z4ATB7S2
| URI | m2://inv/Y0Z4ATB7S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Projective geometry N32Z68F0D3 |
Mentions
- wikidata: Wikidata Q177409, projective geometry (definition). Also MathWorld ProjectiveGeometry, nLab projective geometry, ProofWiki Definition:Projective_Geometry
- wikipedia: Wikipedia Projective geometry, Projective geometry (definition). Also Wikidata Q177409
History
- 2026-10-26: add by m2/dev
Y0ZAP09WPJ Y0ZAP09WPJ
| URI | m2://inv/Y0ZAP09WPJ |
|---|---|
| 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 1001.3646#XNC9 (statement). In 46QFY2X6A0/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.3.5
Learning a geometrically local Hamiltonian with parallel defects Y0ZJ7EV7MF
| URI | m2://inv/Y0ZJ7EV7MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#0QDV, Learning a geometrically local Hamiltonian with parallel defects (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical Methods in Medical Research Y0ZK3N8MYN
| URI | m2://inv/Y0ZK3N8MYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#X9BG, Statistical Methods in Medical Research (definition)
History
- 2026-11-02: add by m2/dev
Eberhard Freitag Y0ZKHRRJ83
| URI | m2://inv/Y0ZKHRRJ83 |
|---|---|
| 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 Q1278986, Eberhard Freitag (unknown). Also nLab Eberhard Freitag
- wikipedia: Wikipedia Eberhard Freitag, Eberhard Freitag (topic). Also Wikidata Q1278986
History
- 2026-10-26: add by m2/dev
Block sensitivity and certificate complexity of quadratic MRS functions Y0ZMSHCEBG
| URI | m2://inv/Y0ZMSHCEBG |
|---|---|
| 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.17100#B9ZV, Block sensitivity and certificate complexity of quadratic MRS functions (statement). In 4TSS52DMB2/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Hein, Jotun Y0ZT7W4WHS
| URI | m2://inv/Y0ZT7W4WHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4X28, Hein, Jotun (unknown)
History
- 2026-11-02: add by m2/dev
Owen's T function Y0ZV5JA3ZQ
| URI | m2://inv/Y0ZV5JA3ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G91G, Owen's T function (definition)
History
- 2026-11-02: add by m2/dev
Y0ZYXDFKK6 Y0ZYXDFKK6
| URI | m2://inv/Y0ZYXDFKK6 |
|---|---|
| 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.13799#G9AD (statement). In HECT28CM5V/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2