Inventory rows 26
The cards of the rows of the inventory whose ids start with 26. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
260462SJW6 260462SJW6
| URI | m2://inv/260462SJW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#J63R (statement). In 67GE5M1GGD/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
2607CEEPV0 2607CEEPV0
| URI | m2://inv/2607CEEPV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00918#LL8S (statement). In 2SMJ5V7FZ7/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Bernadette Perrin-Riou 2607P4SRGJ
| URI | m2://inv/2607P4SRGJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CDRH, Bernadette Perrin-Riou (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HRNJ, Bernadette Perrin-Riou (topic)
History
- 2026-11-02: add by m2/dev
260P98TPC3 260P98TPC3
| URI | m2://inv/260P98TPC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17752#7JGB (statement). In 13N3N5WZWC/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Variants 260QB22KBT
| URI | m2://inv/260QB22KBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Devanagari numerals#589U, Variants (statement)
History
- 2026-11-02: add by m2/dev
Connecticut Death Index 260ST3MCGF
| URI | m2://inv/260ST3MCGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connecticut Death Index, Connecticut Death Index (definition). Also Wikidata Q5161508
History
- 2026-11-02: add by m2/dev
260YA0V5FA 260YA0V5FA
| URI | m2://inv/260YA0V5FA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#O8P0 (definition). In VG8AF124T3/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.2
2612KM01B0 2612KM01B0
| URI | m2://inv/2612KM01B0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#XUPT (statement). In D4B23ER9QD/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
2614H0D8ZC 2614H0D8ZC
| URI | m2://inv/2614H0D8ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#M20Y (statement). In FGNNVKQR1Z/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Null set 26195ZW3VF
| URI | m2://inv/26195ZW3VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#MU33, Null set (definition)
- wikipedia: Wikipedia List of types of sets#FXFE, Null set (definition)
History
- 2026-11-02: add by m2/dev
Example 261DMYJ5KF
| URI | m2://inv/261DMYJ5KF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet algebra#FDTE, Example (example)
History
- 2026-11-02: add by m2/dev
Limit system 261EV8QFWG
| URI | m2://inv/261EV8QFWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20609#7JQ4, Limit system (statement)
History
- 2026-11-02: add by m2/v0.6.18
John Wallis 261J751HC4
| URI | m2://inv/261J751HC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#2FWW, John Wallis (topic)
History
- 2026-11-02: add by m2/dev
261J77YVR4 261J77YVR4
| URI | m2://inv/261J77YVR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#GN76 (statement). In KH1H3TSWPS/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.6
Complete numbering 261Q4KW55T
| URI | m2://inv/261Q4KW55T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete numbering, Complete numbering (definition). Also Wikidata Q5156509
History
- 2026-11-02: add by m2/dev
semiprimary 261T43R0ZZ
| URI | m2://inv/261T43R0ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#P679, semiprimary (definition)
History
- 2026-11-02: add by m2/dev
Dunford–Schwartz theorem 261XKZR7XY
| URI | m2://inv/261XKZR7XY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5315060, Dunford–Schwartz theorem (statement). Also Wikidata Q5315060
- thousand_plus: thousand_plus Q5315060, Dunford–Schwartz theorem (statement). Also Wikidata Q5315060, Wikipedia Dunford–Schwartz theorem
- wikipedia: Wikipedia Dunford–Schwartz theorem, Dunford–Schwartz theorem (statement). Also Wikidata Q5315060
History
- 2026-10-26: add by m2/dev
indirect proof 261XRHG97X
| URI | m2://inv/261XRHG97X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123819398, indirect proof (unknown). Also MathWorld IndirectProof
History
- 2026-10-26: add by m2/dev
261YPCJ4YQ 261YPCJ4YQ
| URI | m2://inv/261YPCJ4YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#UI1A (statement). In ZJQB9W60T6/e1, theorem 6.9
History
- 2026-10-28: add by m2/v0.4.2
261Z70VPPD 261Z70VPPD
| URI | m2://inv/261Z70VPPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#34PM (statement). In F3PQ8P7R2B/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
2626R6TC3E 2626R6TC3E
| URI | m2://inv/2626R6TC3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#JVL8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
262FK6N9F4 262FK6N9F4
| URI | m2://inv/262FK6N9F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.09422#978D (statement). In MS7M2BJS9X/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Hohenberg–Kohn theorems 262NDMA0V4
| URI | m2://inv/262NDMA0V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2RB5, Hohenberg–Kohn theorems (definition)
History
- 2026-11-02: add by m2/dev
Bogoliubov–Parasyuk theorem 262T6XKH5D
| URI | m2://inv/262T6XKH5D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H3GS, Bogoliubov–Parasyuk theorem (statement)
History
- 2026-11-02: add by m2/dev
262Y929H0X 262Y929H0X
| URI | m2://inv/262Y929H0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#DM5G (statement). In TWGMVT1N1G/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
NEXPTIME 262ZQK726N
| URI | m2://inv/262ZQK726N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NEXPTIME, NEXPTIME (definition). Also Wikidata Q1575791
History
- 2026-11-02: add by m2/dev
2631Y7JJ0M 2631Y7JJ0M
| URI | m2://inv/2631Y7JJ0M |
|---|---|
| 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.24325#CBSN (definition)
History
- 2026-11-01: add by m2/v0.6.15
2633EDXR0H 2633EDXR0H
| URI | m2://inv/2633EDXR0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#X5ZX (statement). In 47WN78VDDF/e1, theorem 3.14
History
- 2026-10-30: add by m2/v0.4.12
Stark regulator 2634VZ656S
| URI | m2://inv/2634VZ656S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's unit theorem#PWEL, Stark regulator (unknown)
History
- 2026-11-02: add by m2/dev
2638CF3VJV 2638CF3VJV
| URI | m2://inv/2638CF3VJV |
|---|---|
| Kind | definition |
| 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 2609.24078#RXVM (definition)
History
- 2026-11-02: add by m2/v0.6.17
2638X17HAS 2638X17HAS
| URI | m2://inv/2638X17HAS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-5-1.xml#act-6-5-1 (exercise). In 907G4C4EJ1, activity, section 6.5.2
History
- 2026-11-01: add by m2/v0.6.13
26393FC7JE 26393FC7JE
| URI | m2://inv/26393FC7JE |
|---|---|
| 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.20153#VWK5 (statement). In EYB107TM4Q/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
222 (crystal class) 263EMV8E3T
| URI | m2://inv/263EMV8E3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthorhombic crystal system#PC7T, 222 (crystal class) (unknown)
History
- 2026-11-02: add by m2/dev
263F2E10TR 263F2E10TR
| URI | m2://inv/263F2E10TR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-31 (proof). In N54F33XE07, proof, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Damm algorithm 263F7XZT0X
| URI | m2://inv/263F7XZT0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Damm algorithm, Damm algorithm (definition). Also Wikidata Q5212665
History
- 2026-11-02: add by m2/dev
27 263FCBX0QM
| URI | m2://inv/263FCBX0QM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 27 (number), 27 (definition). Also Wikidata Q433353
History
- 2026-11-02: add by m2/dev
263PZ4XMYB 263PZ4XMYB
| URI | m2://inv/263PZ4XMYB |
|---|---|
| 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.19088#FIHY (statement). In 90QTB4CC31/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
model category 263RTRBHQN
| URI | m2://inv/263RTRBHQN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/model-category, model category (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
Mahlo cardinal 2641DX4KZW
| URI | m2://inv/2641DX4KZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#M9WB, Mahlo cardinal (definition)
History
- 2026-11-02: add by m2/dev
Theorem 26420QPWGB
| URI | m2://inv/26420QPWGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic samples#DVX2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
2647570W4J 2647570W4J
| URI | m2://inv/2647570W4J |
|---|---|
| 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.15504#6H9Z (statement). In AZ8SEW6HAV/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Jean Leray 264AWXX059
| URI | m2://inv/264AWXX059 |
|---|---|
| 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 Q441143, Jean Leray (unknown). Also nLab Jean Leray
- wikipedia: Wikipedia Jean Leray, Jean Leray (topic). Also Wikidata Q441143
History
- 2026-10-26: add by m2/dev
264PCBGCMZ 264PCBGCMZ
| URI | m2://inv/264PCBGCMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#WCIB (statement). In X1J5HKPS3R/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
264RKRDQZ7 264RKRDQZ7
| URI | m2://inv/264RKRDQZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#IYYZ (statement). In AQWX60Z563/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
happy number 2652WWEB70
| URI | m2://inv/2652WWEB70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44535, happy number (unknown). Also MathWorld HappyNumber, OEIS A007770
- wikipedia: Wikipedia Happy number, Happy number (definition). Also Wikidata Q44535
History
- 2026-10-26: add by m2/dev
2659KCRGGE 2659KCRGGE
| URI | m2://inv/2659KCRGGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#M0OB (statement)
History
- 2026-11-01: add by m2/v0.6.15
265A0M5H91 265A0M5H91
| URI | m2://inv/265A0M5H91 |
|---|---|
| Kind | problem |
| 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 2304.02722#5KI7 (problem). In AH7D55D3WV/e1, problem 5.4
History
- 2026-10-27: add by m2/v0.3.5
265EBJDPMX 265EBJDPMX
| URI | m2://inv/265EBJDPMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#JLMJ (statement). In KQ8JPHDKKE/e1, proposition 9.2.4
History
- 2026-10-27: add by m2/v0.3.5
265SKGTJ93 265SKGTJ93
| URI | m2://inv/265SKGTJ93 |
|---|---|
| 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.20368#E2VH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pósa theorem 265WXE48T2
| URI | m2://inv/265WXE48T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1243386, Pósa theorem (statement). Also MathWorld PosasTheorem
- wikipedia: Wikipedia Pósa's theorem, Pósa's theorem (statement). Also Wikidata Q1243386
History
- 2026-10-26: add by m2/dev
370 (number) 265ZKR01P0
| URI | m2://inv/265ZKR01P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#L65I, 370 (number) (unknown)
History
- 2026-11-02: add by m2/dev
266F64D2XM 266F64D2XM
| URI | m2://inv/266F64D2XM |
|---|---|
| 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.10873#9PPG (statement). In AYG8HYGW6V/e1, proposition C.4
History
- 2026-10-28: add by m2/v0.4.3
Exactness at a self-consistent reference 266MCJ9T3T
| URI | m2://inv/266MCJ9T3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#V1RG, Exactness at a self-consistent reference (statement). In JY6RYSNXMJ/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
266NTYECGS 266NTYECGS
| URI | m2://inv/266NTYECGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#3KV9 (statement). In DW7FVA587C/e1, lemma 4.16
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 266SYH4966
| URI | m2://inv/266SYH4966 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Vazirani algorithm#KL12, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Iteration complexity 266WRSWS82
| URI | m2://inv/266WRSWS82 |
|---|---|
| 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.26873#AIQI, Iteration complexity (statement)
History
- 2026-11-01: add by m2/v0.6.15
266WXCVH2V 266WXCVH2V
| URI | m2://inv/266WXCVH2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#5FUM (statement). In KAYGQMQPGS/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
Formal definition 2677KF6SKZ
| URI | m2://inv/2677KF6SKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engel identity#7DSL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
267NEY3AH6 267NEY3AH6
| URI | m2://inv/267NEY3AH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#YTF5 (statement). In 8YWBGQQGA3/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
Examples of cardinals 267Y8E5WH3
| URI | m2://inv/267Y8E5WH3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#example-1, Examples of cardinals (example). In RZP28ERRZV, example, section 89.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 267YZ3Z4AH
| URI | m2://inv/267YZ3Z4AH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering relation#4WAP, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement of the inequality 267ZQK94SY
| URI | m2://inv/267ZQK94SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gårding's inequality#5R3W, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
finite differences 268831FFRS
| URI | m2://inv/268831FFRS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.3/finite-differences, finite differences (concept). In Y91XFCEVHQ, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Orthodox semigroup 268ACZY07T
| URI | m2://inv/268ACZY07T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthodox semigroup, Orthodox semigroup (definition). Also Wikidata Q18392214
History
- 2026-11-02: add by m2/dev
268EXP61T5 268EXP61T5
| URI | m2://inv/268EXP61T5 |
|---|---|
| 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.16235#6E3N (statement). In RNGNWGMX85/e1, proposition 3.20
History
- 2026-10-28: add by m2/v0.4.2
268K1TMJ3P 268K1TMJ3P
| URI | m2://inv/268K1TMJ3P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#EOOK (definition). In XJWQ6Y83F8/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
bordered Hessian 268PHHA5H0
| URI | m2://inv/268PHHA5H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#38R2, bordered Hessian (definition)
History
- 2026-11-02: add by m2/dev
268PJ9V1ZB 268PJ9V1ZB
| URI | m2://inv/268PJ9V1ZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#KZ9U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement 268Q8VSY83
| URI | m2://inv/268Q8VSY83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's k(B) conjecture#21PT, Statement (statement)
History
- 2026-11-02: add by m2/dev
268QA4PC9C 268QA4PC9C
| URI | m2://inv/268QA4PC9C |
|---|---|
| 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.06225#H1OO (statement). In RQVG8V4FJA/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Relative specific oscillation 268STJ6DQY
| URI | m2://inv/268STJ6DQY |
|---|---|
| Kind | definition |
| 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.24041#KD4Y, Relative specific oscillation (definition)
History
- 2026-11-02: add by m2/v0.6.17
268Y2VATW2 268Y2VATW2
| URI | m2://inv/268Y2VATW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09567#OVI9 (statement). In 7RV6BDZAFK/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
2698DRWMT8 2698DRWMT8
| URI | m2://inv/2698DRWMT8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15385#VSQL (problem). In HBZXCMYPME/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.2
Women in Bletchley Park 269ANJJ64A
| URI | m2://inv/269ANJJ64A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Women in Bletchley Park, Women in Bletchley Park (definition). Also Wikidata Q30644124
History
- 2026-11-02: add by m2/dev
269C8KZ5M8 269C8KZ5M8
| URI | m2://inv/269C8KZ5M8 |
|---|---|
| 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 2504.09464#DJ3G (statement). In RN1XRCS2CH/e1, theorem 18
History
- 2026-10-27: add by m2/v0.3.6
269P1WJPR4 269P1WJPR4
| URI | m2://inv/269P1WJPR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37026#BZT4 (statement). In QGZPH9W8GY/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
269RGDHZD2 269RGDHZD2
| URI | m2://inv/269RGDHZD2 |
|---|---|
| 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.17817#XVFD (statement). In M8TSJ24RC2/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Definition 269T8JVN0W
| URI | m2://inv/269T8JVN0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior space#Y24N, Definition (definition)
History
- 2026-11-02: add by m2/dev
269Z0Z4S05 269Z0Z4S05
| URI | m2://inv/269Z0Z4S05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#QYV5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
26A3BVBYJN 26A3BVBYJN
| URI | m2://inv/26A3BVBYJN |
|---|---|
| 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.24484#TXWR (statement)
History
- 2026-11-01: add by m2/v0.6.15
26AF65FVFB 26AF65FVFB
| URI | m2://inv/26AF65FVFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#VRTD (statement). In D0F1GK5AHW/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.10
Pons asinorum 26AH9VFG6A
| URI | m2://inv/26AH9VFG6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#GDH2, Pons asinorum (definition)
History
- 2026-11-02: add by m2/dev
Special cases 26AKZH0W4V
| URI | m2://inv/26AKZH0W4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity#ZQFZ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
26AT3WE4J1 26AT3WE4J1
| URI | m2://inv/26AT3WE4J1 |
|---|---|
| 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 1709.00677#4LB7 (statement). In G83TVA8HYR/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Yellow brick road 26B5CRDSZS
| URI | m2://inv/26B5CRDSZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yellow brick road (mathematics), Yellow brick road (definition). Also Wikidata Q140321225
History
- 2026-11-02: add by m2/dev
Statement 26BAA7KWT3
| URI | m2://inv/26BAA7KWT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mac Lane's coherence theorem#XUHI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Elza Berquó 26BB8M6QEJ
| URI | m2://inv/26BB8M6QEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elza Berquó, Elza Berquó (topic). Also Wikidata Q102313484
History
- 2026-11-02: add by m2/dev
26BEAMXF1Y 26BEAMXF1Y
| URI | m2://inv/26BEAMXF1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#GJTF (statement). In 3CQJND929F/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Victor J. Katz 26BHRKP74F
| URI | m2://inv/26BHRKP74F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor J. Katz, Victor J. Katz (topic). Also Wikidata Q26202476
History
- 2026-11-02: add by m2/dev
Prefrontal cortex 26BTFEE01W
| URI | m2://inv/26BTFEE01W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#FV68, Prefrontal cortex (unknown)
History
- 2026-11-02: add by m2/dev
26BXCYWAFC 26BXCYWAFC
| URI | m2://inv/26BXCYWAFC |
|---|---|
| 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.17817#TKUL (statement). In M8TSJ24RC2/e1, corollary 2.18
History
- 2026-10-28: add by m2/v0.4.2
Large-window active flux 26C2AQNWEE
| URI | m2://inv/26C2AQNWEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29147#ZH99, Large-window active flux (statement)
History
- 2026-11-01: add by m2/v0.6.15
26C5S73FQV 26C5S73FQV
| URI | m2://inv/26C5S73FQV |
|---|---|
| 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.36827#ES0R (statement). In VSHAQTB2CA/e1, corollary 7.5
History
- 2026-10-30: add by m2/v0.4.12
26CB6HQV28 26CB6HQV28
| URI | m2://inv/26CB6HQV28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#1OCA (statement). In PWXT7J9JX3/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
26CDZYAF1F 26CDZYAF1F
| URI | m2://inv/26CDZYAF1F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#8WC5 (definition). In 2W5Z97BBW4/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Example 26CFVJ9KKT
| URI | m2://inv/26CFVJ9KKT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite model property#616F, Example (example)
History
- 2026-11-02: add by m2/dev
JRF as a block diagonal RW iteration 26CGWMGS8Q
| URI | m2://inv/26CGWMGS8Q |
|---|---|
| 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.40203#LBID, JRF as a block diagonal RW iteration (statement). In ECH66J4Y43/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Emilio Artom 26CHARQKNM
| URI | m2://inv/26CHARQKNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emilio Artom, Emilio Artom (topic). Also Wikidata Q383894
History
- 2026-11-02: add by m2/dev
Proizvolov's identity 26CMFXTHM0
| URI | m2://inv/26CMFXTHM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proizvolov's identity, Proizvolov's identity (statement). Also Wikidata Q958887
History
- 2026-11-02: add by m2/dev
Conditional variance 26CNBGYPDP
| URI | m2://inv/26CNBGYPDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33866#GJ5S, Conditional variance (statement). In Y3MSGX6472/e1, lemma 17
History
- 2026-10-30: add by m2/v0.4.12
26CPG7DHKE 26CPG7DHKE
| URI | m2://inv/26CPG7DHKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#8HLH (statement). In PQGGCD09KP/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Brahmagupta quadrilateral 26CZEW0EW0
| URI | m2://inv/26CZEW0EW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic quadrilateral#YB30, Brahmagupta quadrilateral (unknown)
History
- 2026-11-02: add by m2/dev
26D2JKCCW5 26D2JKCCW5
| URI | m2://inv/26D2JKCCW5 |
|---|---|
| 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.18600#MRA6 (statement). In 31D6TQVCNZ/e1, corollary 3.16
History
- 2026-10-28: add by m2/v0.4.2
Keith number 26DKHZHD0Q
| URI | m2://inv/26DKHZHD0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q378067, Keith number (unknown). Also MathWorld KeithNumber, OEIS A007629
- wikipedia: Wikipedia Keith number, Keith number (definition). Also Wikidata Q378067
History
- 2026-10-26: add by m2/dev
26DNFK1ZES 26DNFK1ZES
| URI | m2://inv/26DNFK1ZES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#Y5LG (statement). In M4ZVJWM8YA/e1, proposition 5.21
History
- 2026-10-27: add by m2/v0.4.2
Applications 26DNQ9A0T6
| URI | m2://inv/26DNQ9A0T6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean-field theory#DWW8, Applications (example)
History
- 2026-11-02: add by m2/dev
Comparison of the glued and Green heights 26DPECVV1A
| URI | m2://inv/26DPECVV1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#5WST, Comparison of the glued and Green heights (statement). In E31CZYM2H8/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Rasmussen's $s$-invariant lower bound 26DR62EKH4
| URI | m2://inv/26DR62EKH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#H9JK, Rasmussen's $s$-invariant lower bound (statement). In 8TRCP1482Q/e1, theorem B.16
History
- 2026-10-29: add by m2/v0.4.10
Proof procedure 26DT4BY59V
| URI | m2://inv/26DT4BY59V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof procedure, Proof procedure (definition). Also Wikidata Q7250017
History
- 2026-11-02: add by m2/dev
26DWXQMTN0 26DWXQMTN0
| URI | m2://inv/26DWXQMTN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.19410#4NAQ (statement). In GRESY1RPK6/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
IEEE 802.11i-2004 26DXF58FFZ
| URI | m2://inv/26DXF58FFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IEEE 802.11i-2004, IEEE 802.11i-2004 (definition). Also Wikidata Q644147
History
- 2026-11-02: add by m2/dev
26E7DDAV8D 26E7DDAV8D
| URI | m2://inv/26E7DDAV8D |
|---|---|
| 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#XDAP (statement). In 3THDT8WNF7/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Peter Sarnak 26E8GJ8GB9
| URI | m2://inv/26E8GJ8GB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1384983, Peter Sarnak (unknown). Also nLab Peter Sarnak
History
- 2026-10-26: add by m2/dev
Picture plane 26EJVRXF71
| URI | m2://inv/26EJVRXF71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picture plane, Picture plane (definition). Also Wikidata Q7191202
History
- 2026-11-02: add by m2/dev
Definition 26EQ7ZTS5Y
| URI | m2://inv/26EQ7ZTS5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional symmetry (time series)#BXJ4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Impossible world 26EVVFWFFK
| URI | m2://inv/26EVVFWFFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impossible world, Impossible world (definition). Also Wikidata Q6007516
History
- 2026-11-02: add by m2/dev
Integral operators and Mercer's theorem 26F0QBMZ94
| URI | m2://inv/26F0QBMZ94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducing kernel Hilbert space#6853, Integral operators and Mercer's theorem (statement)
History
- 2026-11-02: add by m2/dev
Limits of conditional kernels 26F3HMZ0HW
| URI | m2://inv/26F3HMZ0HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#5ND5, Limits of conditional kernels (statement). In 9YAE8FNQST/e1, lemma 11.16
History
- 2026-10-30: add by m2/v0.4.12
zero 26F5DCCMPM
| URI | m2://inv/26F5DCCMPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#RV3U, zero (definition)
History
- 2026-11-02: add by m2/dev
26F7BX5EXB 26F7BX5EXB
| URI | m2://inv/26F7BX5EXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#T2F4 (statement). In W0ZHX9DHPV/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
Solving CLP: the Erosion Lemma 26F8QDXEQW
| URI | m2://inv/26F8QDXEQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#R2WM, Solving CLP: the Erosion Lemma (statement)
History
- 2026-11-02: add by m2/dev
Axiom 7 26FE824Z57
| URI | m2://inv/26FE824Z57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axiomatization of the reals#ACBK, Axiom 7 (statement)
History
- 2026-11-02: add by m2/dev
26FEZXD5JA 26FEZXD5JA
| URI | m2://inv/26FEZXD5JA |
|---|---|
| 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.01268#49WE (statement). In 80Q4X3WT8W/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
26FJZGKW68 26FJZGKW68
| URI | m2://inv/26FJZGKW68 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#NIKQ (problem). In 6BVBMTYXNZ/e1, problem 6.2
History
- 2026-10-28: add by m2/v0.4.2
triakis icosahedron 26FY7296XQ
| URI | m2://inv/26FY7296XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1513913, triakis icosahedron (object). Also MathWorld TriakisIcosahedron
- wikipedia: Wikipedia Triakis icosahedron, Triakis icosahedron (definition). Also Wikidata Q1513913
History
- 2026-10-26: add by m2/dev
26G0N1FT2D 26G0N1FT2D
| URI | m2://inv/26G0N1FT2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25409#WBBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Peter M. Neumann 26GBTWXBS0
| URI | m2://inv/26GBTWXBS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OO1Q, Peter M. Neumann (topic)
History
- 2026-11-02: add by m2/dev
26GDMQES83 26GDMQES83
| URI | m2://inv/26GDMQES83 |
|---|---|
| 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.24314#X5HH (statement)
History
- 2026-11-01: add by m2/v0.6.15
J-line 26GE34JX5H
| URI | m2://inv/26GE34JX5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-line, J-line (definition). Also Wikidata Q6103843
History
- 2026-11-02: add by m2/dev
Hendrik Lorentz 26GHC4FP4C
| URI | m2://inv/26GHC4FP4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#DF7Q, Hendrik Lorentz (unknown)
History
- 2026-11-02: add by m2/dev
Net (mathematics) 26GKKDRKVK
| URI | m2://inv/26GKKDRKVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#RD21, Net (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
John Coleman Moore 26GTZZ08ES
| URI | m2://inv/26GTZZ08ES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#L8G3, John Coleman Moore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GDNH, John Coleman Moore (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XEA3, John Coleman Moore (topic)
History
- 2026-11-02: add by m2/dev
Backward Monge density with a common parameter 26GWH7XJJX
| URI | m2://inv/26GWH7XJJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#0QBN, Backward Monge density with a common parameter (statement). In 9YAE8FNQST/e1, theorem 11.6
History
- 2026-10-30: add by m2/v0.4.12
Continuity 26HB7H4MZE
| URI | m2://inv/26HB7H4MZE |
|---|---|
| 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.18797#EAZN, Continuity (statement). In HVZW77G66Z/e1, proposition 1.8
History
- 2026-10-28: add by m2/v0.4.2
26HC9Z07K8 26HC9Z07K8
| URI | m2://inv/26HC9Z07K8 |
|---|---|
| Kind | statement |
| 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.10262#8RMU (statement). In MVSGDTN2PB/e1, theorem 6.7
History
- 2026-10-29: add by m2/v0.4.10
Asymptotic size of the uniform threshold 26HGHPWNHS
| URI | m2://inv/26HGHPWNHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#XTFJ, Asymptotic size of the uniform threshold (statement). In P6FTXTV09Q/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.4.0
Semisimple module 26HVQMRVED
| URI | m2://inv/26HVQMRVED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple module, Semisimple module (definition). Also Wikidata Q1485102
History
- 2026-11-02: add by m2/dev
26HX848VPA 26HX848VPA
| URI | m2://inv/26HX848VPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#ZH3G (statement). In H3DJV9YQW1/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
26HYP66CVK 26HYP66CVK
| URI | m2://inv/26HYP66CVK |
|---|---|
| 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 2504.01057#O0OJ (statement). In 69QFBXJENW/e1, proposition 2.18
History
- 2026-10-27: add by m2/v0.3.5
26HYWRZ7V7 26HYWRZ7V7
| URI | m2://inv/26HYWRZ7V7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#MMGM (definition). In HWY7AQ4KT2/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Coordinate vector 26HZC4V08H
| URI | m2://inv/26HZC4V08H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate vector, Coordinate vector (definition). Also Wikidata Q1057996
History
- 2026-11-02: add by m2/dev
Amos Fiat 26HZK7E5DB
| URI | m2://inv/26HZK7E5DB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IWHQ, Amos Fiat (unknown)
History
- 2026-11-02: add by m2/dev
Lower bound from an admissible chain 26J5RCV8RZ
| URI | m2://inv/26J5RCV8RZ |
|---|---|
| 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.33360#BNF4, Lower bound from an admissible chain (statement). In GH6FSDK4YB/e1, proposition 3.10
History
- 2026-10-30: add by m2/v0.4.12
Lemaître–Tolman metric 26JAAY07DM
| URI | m2://inv/26JAAY07DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemaître–Tolman metric, Lemaître–Tolman metric (definition). Also Wikidata Q6521045
History
- 2026-11-02: add by m2/dev
Continuous-armed bandit 26JYKKCQCJ
| URI | m2://inv/26JYKKCQCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#6E5Q, Continuous-armed bandit (unknown)
History
- 2026-11-02: add by m2/dev
uniqueness, principle, for dependent function types 26KBMTTWFJ
| URI | m2://inv/26KBMTTWFJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/uniqueness-principle-for-dependent-function-types, uniqueness, principle, for dependent function types (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
26KDXNEEVH 26KDXNEEVH
| URI | m2://inv/26KDXNEEVH |
|---|---|
| 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#N7OH (statement). In E7W2HDNEKJ/e1, theorem 7.19
History
- 2026-10-30: add by m2/v0.4.12
26KEVC20ZV 26KEVC20ZV
| URI | m2://inv/26KEVC20ZV |
|---|---|
| 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 2508.02432#8AR0 (statement). In B366ACYB37/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.5
Visual analytics 26KJ9Z69ME
| URI | m2://inv/26KJ9Z69ME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual analytics, Visual analytics (definition). Also Wikidata Q2528440
History
- 2026-11-02: add by m2/dev
Properties 26KM7ZDFWC
| URI | m2://inv/26KM7ZDFWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal matrix#TPZ7, Properties (statement)
History
- 2026-11-02: add by m2/dev
26KM93DJS7 26KM93DJS7
| URI | m2://inv/26KM93DJS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#KSH1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Journal of Recreational Mathematics 26KTFBKD3J
| URI | m2://inv/26KTFBKD3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Recreational Mathematics, Journal of Recreational Mathematics (definition). Also Wikidata Q3186943
History
- 2026-11-02: add by m2/dev
26KVPJPRSX 26KVPJPRSX
| URI | m2://inv/26KVPJPRSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn:reflective-subuniverse (definition). In N54F33XE07, defn, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Moore space 26M0M3FRBN
| URI | m2://inv/26M0M3FRBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore space (topology), Moore space (definition). Also Wikidata Q6908267
History
- 2026-11-02: add by m2/dev
↪ 26M2H6NME7
| URI | m2://inv/26M2H6NME7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative diagram#R2VW, ↪ (unknown)
History
- 2026-11-02: add by m2/dev
Surgery with cb-norm error 26M5MRMY3T
| URI | m2://inv/26M5MRMY3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.40214#P8BB, Surgery with cb-norm error (statement). In XD603HRHKC/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
26MRGB355M 26MRGB355M
| URI | m2://inv/26MRGB355M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-10 (proof). In E59CDZA4DP, proof, section 10.2.2
History
- 2026-11-01: add by m2/v0.6.13
Signed distance function 26N1G66X98
| URI | m2://inv/26N1G66X98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#P28W, Signed distance function (definition)
History
- 2026-11-02: add by m2/dev
Maximum-norm consistency of the regularized reconstruction 26N3QFMR6X
| URI | m2://inv/26N3QFMR6X |
|---|---|
| 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#Z5D7, Maximum-norm consistency of the regularized reconstruction (statement). In 5B4AX4SF88/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.10
26N4MBGAG7 26N4MBGAG7
| URI | m2://inv/26N4MBGAG7 |
|---|---|
| Kind | example |
| 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.20911#T5Q8 (example). In FF3MV70E7Z/e1, example 3.6
History
- 2026-10-27: add by m2/v0.4.2
26N5HQB70F 26N5HQB70F
| URI | m2://inv/26N5HQB70F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0009023#LPPY (statement). In S937GXH9AS/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
26N8A83RK2 26N8A83RK2
| URI | m2://inv/26N8A83RK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28503#SYGJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inequality at the minimizer 26NGHA06MZ
| URI | m2://inv/26NGHA06MZ |
|---|---|
| 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.21461#3T1N, Inequality at the minimizer (statement). In DWQANBV7B7/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Conjecture 26NJ0V1YV7
| URI | m2://inv/26NJ0V1YV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid–Mullin sequence#TYH6, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Gompertz function 26NPXCKRN4
| URI | m2://inv/26NPXCKRN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KHEG, Gompertz function (definition)
History
- 2026-11-02: add by m2/dev
Lemma 26NT2BG6S8
| URI | m2://inv/26NT2BG6S8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy's constant#98V2, Lemma (statement)
History
- 2026-11-02: add by m2/dev
symmetric operator 26NV5CHF32
| URI | m2://inv/26NV5CHF32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12152731, symmetric operator (unknown). Also EoM Symmetric_operator
History
- 2026-10-26: add by m2/dev
26NVK8SCQK 26NVK8SCQK
| URI | m2://inv/26NVK8SCQK |
|---|---|
| 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 2204.04820#LFIL (statement). In 9EJ71MW89B/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
26NW0W4RZM 26NW0W4RZM
| URI | m2://inv/26NW0W4RZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23390#339U (statement)
History
- 2026-11-02: add by m2/v0.6.17
26P2D16M52 26P2D16M52
| URI | m2://inv/26P2D16M52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.02766#BJUN (statement). In HY652RA1NJ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Eugène Fabry 26P4HF722Z
| URI | m2://inv/26P4HF722Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugène Fabry, Eugène Fabry (topic). Also Wikidata Q8314692
History
- 2026-11-02: add by m2/dev
26P7NKAEX7 26P7NKAEX7
| URI | m2://inv/26P7NKAEX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#63JF (statement). In BDN507RN7J/e1, theorem 6.2.6
History
- 2026-10-30: add by m2/v0.4.12
The structure of regular flat semirings 26P8MMHZ10
| URI | m2://inv/26P8MMHZ10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#WF6C, The structure of regular flat semirings (statement). In DR7BK4CQ0V/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Nelson–Aalen estimator 26PC65TEED
| URI | m2://inv/26PC65TEED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MRSZ, Nelson–Aalen estimator (definition)
History
- 2026-11-02: add by m2/dev
Reconstruction on the Segre model 26PGHPNZET
| URI | m2://inv/26PGHPNZET |
|---|---|
| Kind | example |
| 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.00077#B4FU, Reconstruction on the Segre model (example). In C04B15GH1T/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
Extended natural numbers 26PQ5279FH
| URI | m2://inv/26PQ5279FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended natural numbers, Extended natural numbers (definition). Also Wikidata Q105759800
History
- 2026-11-02: add by m2/dev
SM2 (algorithm) 26Q1NEEWKE
| URI | m2://inv/26Q1NEEWKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard)#Y4BH, SM2 (algorithm) (unknown)
History
- 2026-11-02: add by m2/dev
26Q3GBBWEA 26Q3GBBWEA
| URI | m2://inv/26Q3GBBWEA |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#SNLW (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
A dimension pattern for positive rate 26Q7X9GJVJ
| URI | m2://inv/26Q7X9GJVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#SJXG, A dimension pattern for positive rate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 26QAEE0XDW
| URI | m2://inv/26QAEE0XDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg class#TQVL, Examples (example)
History
- 2026-11-02: add by m2/dev
Whitfield Diffie 26QCFS6J7R
| URI | m2://inv/26QCFS6J7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#0O7E, Whitfield Diffie (topic)
History
- 2026-11-02: add by m2/dev
\bf Approximation 26QEKACNW2
| URI | m2://inv/26QEKACNW2 |
|---|---|
| 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.16295#2EKR, \bf Approximation (statement). In J1SKCVMNCB/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Adjoining an algebraic number 26QS7KZ0GD
| URI | m2://inv/26QS7KZ0GD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#example-4, Adjoining an algebraic number (example). In RZP28ERRZV, example, section 16.3
History
- 2026-11-01: add by m2/v0.6.13
26QWA7N99A 26QWA7N99A
| URI | m2://inv/26QWA7N99A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#4C62 (statement)
History
- 2026-11-02: add by m2/v0.6.17
26QZKZX8Y2 26QZKZX8Y2
| URI | m2://inv/26QZKZX8Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#DNIX (statement). In EFDRME13PT/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Examples 26R2CYPPG9
| URI | m2://inv/26R2CYPPG9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical markup language#NC5L, Examples (example)
History
- 2026-11-02: add by m2/dev
26RBMPBCHP 26RBMPBCHP
| URI | m2://inv/26RBMPBCHP |
|---|---|
| Kind | definition |
| 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.06529#2OZE (definition). In JFQY4CYHKP/e1, definition 2.15
History
- 2026-10-29: add by m2/v0.4.10
Local invertibility 26RCPB3VD6
| URI | m2://inv/26RCPB3VD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20145#KWB0, Local invertibility (statement). In HXKJ4MT1CX/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.2
26RE959XSY 26RE959XSY
| URI | m2://inv/26RE959XSY |
|---|---|
| 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.12108#FE68 (statement). In JQH3FHYPW3/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Linear search 26RG45261W
| URI | m2://inv/26RG45261W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#X5HD, Linear search (unknown)
History
- 2026-11-02: add by m2/dev
26RHMD3V9B 26RHMD3V9B
| URI | m2://inv/26RHMD3V9B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#QICD (example)
History
- 2026-11-01: add by m2/v0.6.15
Samuel S. Wagstaff Jr. 26RMJEPT87
| URI | m2://inv/26RMJEPT87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QAYC, Samuel S. Wagstaff Jr. (unknown)
History
- 2026-11-02: add by m2/dev
extraction of algorithms 26RRSZX2MN
| URI | m2://inv/26RRSZX2MN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/extraction-of-algorithms, extraction of algorithms (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Leonid Khachiyan 26RSKXPRKW
| URI | m2://inv/26RSKXPRKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#7GM3, Leonid Khachiyan (topic)
History
- 2026-11-02: add by m2/dev
Ishikawa, Kaoru 26S4K0S6AB
| URI | m2://inv/26S4K0S6AB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N7L1, Ishikawa, Kaoru (topic)
History
- 2026-11-02: add by m2/dev
Chain rule 26S5DWJ0VC
| URI | m2://inv/26S5DWJ0VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#8BAT, Chain rule (definition)
- wikipedia: Wikipedia List of real analysis topics#9670, Chain rule (definition)
History
- 2026-11-02: add by m2/dev
P-adic cohomology 26SEZ0F3JG
| URI | m2://inv/26SEZ0F3JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic cohomology, P-adic cohomology (definition). Also Wikidata Q30701941
History
- 2026-11-02: add by m2/dev
Examples 26SYC1DBXC
| URI | m2://inv/26SYC1DBXC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic function#G062, Examples (example)
History
- 2026-11-02: add by m2/dev
26SYFY1XFC 26SYFY1XFC
| URI | m2://inv/26SYFY1XFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28251#22QN (statement)
History
- 2026-11-01: add by m2/v0.6.15
PDE-constrained optimization 26T0QD9Y3F
| URI | m2://inv/26T0QD9Y3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#YVFV, PDE-constrained optimization (definition)
History
- 2026-11-02: add by m2/dev
26T9CGH7TH 26T9CGH7TH
| URI | m2://inv/26T9CGH7TH |
|---|---|
| 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.36423#X7J4 (statement). In Q5Z178SAHP/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
26TAR5D35T 26TAR5D35T
| URI | m2://inv/26TAR5D35T |
|---|---|
| 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 2401.14638#5GJL (statement). In 2XC2MZFWPP/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
26TFRZX0J2 26TFRZX0J2
| URI | m2://inv/26TFRZX0J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#definition-2 (definition). In RZP28ERRZV, definition, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
26TRA239VD 26TRA239VD
| URI | m2://inv/26TRA239VD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#6DHS (definition). In 1A01NFHBGA/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
Mixed Poisson distribution 26TRPT2MZB
| URI | m2://inv/26TRPT2MZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#YWWU, Mixed Poisson distribution (definition)
History
- 2026-11-02: add by m2/dev
26TY14VFYT 26TY14VFYT
| URI | m2://inv/26TY14VFYT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#O7A0 (example). In XXQAW3ZBDF/e1, example 3.12
History
- 2026-10-30: add by m2/v0.4.12
Exact mixed-integer linear formulation 26TZ4H3X30
| URI | m2://inv/26TZ4H3X30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#2E5C, Exact mixed-integer linear formulation (statement). In BAWCMJQGVA/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
Kolmogorov–Petrovsky–Piskunov equation 26VG5MZZR2
| URI | m2://inv/26VG5MZZR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#SE1K, Kolmogorov–Petrovsky–Piskunov equation (definition)
History
- 2026-11-02: add by m2/dev
26VH3PS9WX 26VH3PS9WX
| URI | m2://inv/26VH3PS9WX |
|---|---|
| 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 2606.01011#TM7L (statement). In RPG6EAXX68/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
26VNS4BAR2 26VNS4BAR2
| URI | m2://inv/26VNS4BAR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
Porous set 26W5TRVC8R
| URI | m2://inv/26W5TRVC8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Porous set, Porous set (definition). Also Wikidata Q7230317
History
- 2026-11-02: add by m2/dev
26WB6KK0K5 26WB6KK0K5
| URI | m2://inv/26WB6KK0K5 |
|---|---|
| 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#GEWU (definition). In WD2NCBV9F0/e1, definition 8.2
History
- 2026-10-27: add by m2/v0.3.5
Giorgio Lapazaya 26WFA13S7C
| URI | m2://inv/26WFA13S7C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giorgio Lapazaya, Giorgio Lapazaya (topic). Also Wikidata Q16559553
History
- 2026-11-02: add by m2/dev
Conway's constant 26WMTDE78M
| URI | m2://inv/26WMTDE78M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#R2WA, Conway's constant (object)
History
- 2026-11-02: add by m2/dev
26WNVH7VGP 26WNVH7VGP
| URI | m2://inv/26WNVH7VGP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#example-3 (example). In QKM9DD2H56, example, section 9.4.2
History
- 2026-11-01: add by m2/v0.6.13
RSA-232 26WYGCFFPR
| URI | m2://inv/26WYGCFFPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#Y055, RSA-232 (unknown)
History
- 2026-11-02: add by m2/dev
Removal of artificial pressure 26X3G6KQ2F
| URI | m2://inv/26X3G6KQ2F |
|---|---|
| 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.12387#RGE8, Removal of artificial pressure (statement). In 3Z0PRE77SY/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
angle sum and difference identity 26X6WWJ0X0
| URI | m2://inv/26X6WWJ0X0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136500191, angle sum and difference identity (unknown). Also MathWorld TrigonometricAdditionFormulas
History
- 2026-10-26: add by m2/dev
26XCW72HR9 26XCW72HR9
| URI | m2://inv/26XCW72HR9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23822#HBLN (definition)
History
- 2026-11-02: add by m2/v0.6.17
26XDZC781B 26XDZC781B
| URI | m2://inv/26XDZC781B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
26XG5BXYA9 26XG5BXYA9
| URI | m2://inv/26XG5BXYA9 |
|---|---|
| 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 2601.01000#B1DU (statement). In RYFV9HGWWZ/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
Group-Lipschitz Continuity of $\Xi_w\circ \Psi$ 26XGGDJ4TZ
| URI | m2://inv/26XGGDJ4TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36237#DYE6, Group-Lipschitz Continuity of $\Xi_w\circ \Psi$ (statement). In JNBMSFE14N/e1, proposition 3.14
History
- 2026-10-30: add by m2/v0.4.12
Extensionality principles 26XJ5RGZ23
| URI | m2://inv/26XJ5RGZ23 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensionality#OKDB, Extensionality principles (statement)
History
- 2026-11-02: add by m2/dev
Properties 26XYF4W12X
| URI | m2://inv/26XYF4W12X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickman function#61IN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 26XZJ9ZKV5
| URI | m2://inv/26XZJ9ZKV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric functions of matrices#QI5G, Properties (statement)
History
- 2026-11-02: add by m2/dev
26Y9VAN17N 26Y9VAN17N
| URI | m2://inv/26Y9VAN17N |
|---|---|
| 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.02199#0IRM (statement). In A8Q52DFW6S/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Type II Farey data from $q,d,z$ 26YHMESWQK
| URI | m2://inv/26YHMESWQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26055#7OEO, Type II Farey data from $q,d,z$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thue–Siegel–Roth theorem 26YJ7HYSTX
| URI | m2://inv/26YJ7HYSTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#9DMO, Thue–Siegel–Roth theorem (statement)
History
- 2026-11-02: add by m2/dev
List of mathematics competitions 26YW59V6J8
| URI | m2://inv/26YW59V6J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#MF48, List of mathematics competitions (topic)
History
- 2026-11-02: add by m2/dev
26YYVZSVB1 26YYVZSVB1
| URI | m2://inv/26YYVZSVB1 |
|---|---|
| Kind | conjecture |
| 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.33770#30I2 (conjecture). In 7DJ3C4V66R/e1, conjecture 1
History
- 2026-10-30: add by m2/v0.4.12
Bolzano–Weierstrass theorem 26Z1BYTQMD
| URI | m2://inv/26Z1BYTQMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HJQ1, Bolzano–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
26ZCE8F8JW 26ZCE8F8JW
| URI | m2://inv/26ZCE8F8JW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/opps.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 72.7
History
- 2026-11-01: add by m2/v0.6.13
David Clark Dobson 26ZT6JHNAK
| URI | m2://inv/26ZT6JHNAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Clark Dobson, David Clark Dobson (topic). Also Wikidata Q1174234
History
- 2026-11-02: add by m2/dev
26ZWN2HS4A 26ZWN2HS4A
| URI | m2://inv/26ZWN2HS4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33019#ABBY (statement). In R4V2A3Z5GP/e1, corollary 3.2
History
- 2026-10-31: add by m2/v0.5.6