Inventory rows AQ
The cards of the rows of the inventory whose ids start with AQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Embedded contact homology AQ0AD8JTDG
| URI | m2://inv/AQ0AD8JTDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floer homology#T0GD, Embedded contact homology (unknown)
History
- 2026-11-02: add by m2/dev
Shared-matrix hybrid AQ0C49TRBN
| URI | m2://inv/AQ0C49TRBN |
|---|---|
| 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.38668#8JCZ, Shared-matrix hybrid (statement). In VB1EZ9K6YW/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
Hadwiger–Nelson problem AQ0CH7GDWR
| URI | m2://inv/AQ0CH7GDWR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#44ZV, Hadwiger–Nelson problem (conjecture)
History
- 2026-11-02: add by m2/dev
AQ0DY95ETN AQ0DY95ETN
| URI | m2://inv/AQ0DY95ETN |
|---|---|
| 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.05268#4BJD (statement). In GWB9Z7Y25N/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
AQ0GAFNAEH AQ0GAFNAEH
| URI | m2://inv/AQ0GAFNAEH |
|---|---|
| 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#RJDF (statement). In QPJ6FWG5HD/e1, proposition 2.79
History
- 2026-10-29: add by m2/v0.4.12
AQ0JVP7HZR AQ0JVP7HZR
| URI | m2://inv/AQ0JVP7HZR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17569#W1VD (definition). In ERE1EWGZA3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
conjugacy classes AQ1ASX28TR
| URI | m2://inv/AQ1ASX28TR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > conjugacy classes, conjugacy classes (unknown). Also Mathlib ConjClasses
History
- 2026-10-26: add by m2/dev
Example AQ1B7ZMSA5
| URI | m2://inv/AQ1B7ZMSA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equation#877T, Example (example)
History
- 2026-11-02: add by m2/dev
Richard Kenyon AQ1CFFMW1K
| URI | m2://inv/AQ1CFFMW1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#UCQ2, Richard Kenyon (topic)
History
- 2026-11-02: add by m2/dev
Monthly Labor Review AQ1D2CW5Q9
| URI | m2://inv/AQ1D2CW5Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monthly Labor Review, Monthly Labor Review (definition). Also Wikidata Q6905884
History
- 2026-11-02: add by m2/dev
Sieve estimator AQ1DRD73CZ
| URI | m2://inv/AQ1DRD73CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve estimator, Sieve estimator (definition). Also Wikidata Q7511790
History
- 2026-11-02: add by m2/dev
AQ1F0QABBR AQ1F0QABBR
| URI | m2://inv/AQ1F0QABBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27843#XGFE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Integrand AQ1TJJF0CC
| URI | m2://inv/AQ1TJJF0CC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#LLNP, Integrand (unknown)
History
- 2026-11-02: add by m2/dev
AQ1YRESFZN AQ1YRESFZN
| URI | m2://inv/AQ1YRESFZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#0LS3 (statement). In MBJA03ES8N/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Warfield group AQ203RSRBJ
| URI | m2://inv/AQ203RSRBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warfield group, Warfield group (definition). Also Wikidata Q7969337
History
- 2026-11-02: add by m2/dev
Axiomatic method AQ275CJ3K5
| URI | m2://inv/AQ275CJ3K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#260Z, Axiomatic method (definition)
History
- 2026-11-02: add by m2/dev
AQ2JP3F4HA AQ2JP3F4HA
| URI | m2://inv/AQ2JP3F4HA |
|---|---|
| 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.28649#9S97 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional Euler-product approximation AQ2R8Y1JFS
| URI | m2://inv/AQ2R8Y1JFS |
|---|---|
| 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.22107#IHCQ, Conditional Euler-product approximation (statement). In SN5RJPQ713/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Use AQ2SPHABZW
| URI | m2://inv/AQ2SPHABZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Shell#ZVTL, Use (example)
History
- 2026-11-02: add by m2/dev
AQ34YAF9NJ AQ34YAF9NJ
| URI | m2://inv/AQ34YAF9NJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30090#ITJQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Brenda L. Dietrich AQ355RH8Y0
| URI | m2://inv/AQ355RH8Y0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PFA0, Brenda L. Dietrich (unknown)
History
- 2026-11-02: add by m2/dev
AQ37H1B4VK AQ37H1B4VK
| URI | m2://inv/AQ37H1B4VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#GV9R (statement). In DPJ15KW23C/e1, proposition 6.9
History
- 2026-10-30: add by m2/v0.4.12
invariant AQ37W4X808
| URI | m2://inv/AQ37W4X808 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#K954, invariant (definition)
History
- 2026-11-02: add by m2/dev
AQ3DX97AMX AQ3DX97AMX
| URI | m2://inv/AQ3DX97AMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#9RQZ (statement). In 2WZQC0TKVK/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Weak embedding theorem AQ3GSM6KJM
| URI | m2://inv/AQ3GSM6KJM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney embedding theorem#C23T, Weak embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
German Championship AQ3GV4C432
| URI | m2://inv/AQ3GV4C432 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#F471, German Championship (unknown)
History
- 2026-11-02: add by m2/dev
AQ3HA89KT8 AQ3HA89KT8
| URI | m2://inv/AQ3HA89KT8 |
|---|---|
| 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 2308.05715#A3DB (statement). In FC0SB9JFWH/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
AQ3VCDFSS5 AQ3VCDFSS5
| URI | m2://inv/AQ3VCDFSS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.13323#705L (statement). In 5KN5GD38KG/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Algorithm AQ3X0JCK3F
| URI | m2://inv/AQ3X0JCK3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone's method#TOG2, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Ashok Das (physicist) AQ3XV2XWW9
| URI | m2://inv/AQ3XV2XWW9 |
|---|---|
| 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 Q4805729, Ashok Das (physicist) (unknown). Also nLab Ashok Das
History
- 2026-10-26: add by m2/dev
AQ458W4PJS AQ458W4PJS
| URI | m2://inv/AQ458W4PJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.31445#A1XQ (statement). In 7V2PVZS04C/e1, theorem 3.13
History
- 2026-10-31: add by m2/v0.5.6
Formulation AQ4F8P748P
| URI | m2://inv/AQ4F8P748P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topswops#3A9H, Formulation (definition)
History
- 2026-11-02: add by m2/dev
AQ4QBTM489 AQ4QBTM489
| URI | m2://inv/AQ4QBTM489 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.17135#YXJJ (statement). In XX1J2REXY2/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
Karoubi envelope AQ4R12WE26
| URI | m2://inv/AQ4R12WE26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Karoubi envelope S2GBXQ26QM |
Mentions
- wikidata: Wikidata Q3055409, Karoubi envelope (unknown). Also nLab Karoubi envelope
- wikipedia: Wikipedia Karoubi envelope, Karoubi envelope (definition). Also Wikidata Q3055409
History
- 2026-10-26: add by m2/dev
Haim Hanani AQ4XG95XSC
| URI | m2://inv/AQ4XG95XSC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#18IL, Haim Hanani (topic)
History
- 2026-11-02: add by m2/dev
Example AQ53NNFJXX
| URI | m2://inv/AQ53NNFJXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity of a permutation#B1DN, Example (example)
History
- 2026-11-02: add by m2/dev
AQ57G11MGB AQ57G11MGB
| URI | m2://inv/AQ57G11MGB |
|---|---|
| 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#3R1Y (statement). In M8TSJ24RC2/e1, lemma 2.23
History
- 2026-10-28: add by m2/v0.4.2
Versine AQ58ZDRCGS
| URI | m2://inv/AQ58ZDRCGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#3GF4, Versine (definition)
History
- 2026-11-02: add by m2/dev
AQ5EWK6DR7 AQ5EWK6DR7
| URI | m2://inv/AQ5EWK6DR7 |
|---|---|
| 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#QBBT (statement). In V6EPE8XHAD/e1, lemma 10.8
History
- 2026-10-29: add by m2/v0.4.10
Exact selector identities AQ5HND1XY6
| URI | m2://inv/AQ5HND1XY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#E13Q, Exact selector identities (statement). In MBJA03ES8N/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Example AQ5KHCQ5MC
| URI | m2://inv/AQ5KHCQ5MC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilton's theorem#4L6M, Example (example)
History
- 2026-11-02: add by m2/dev
Hyponormal operator AQ5P6M6G5F
| URI | m2://inv/AQ5P6M6G5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyponormal operator, Hyponormal operator (definition). Also Wikidata Q5959976
History
- 2026-11-02: add by m2/dev
AQ5R0NBTVQ AQ5R0NBTVQ
| URI | m2://inv/AQ5R0NBTVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/minimization.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 38.3
History
- 2026-11-01: add by m2/v0.6.13
Definition (strong set order) AQ5RVXCQRZ
| URI | m2://inv/AQ5RVXCQRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#8I3T, Definition (strong set order) (definition)
History
- 2026-11-02: add by m2/dev
Lipschitz continuity of the QML-objective functions AQ60BA5CP6
| URI | m2://inv/AQ60BA5CP6 |
|---|---|
| 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.12271#WYFT, Lipschitz continuity of the QML-objective functions (statement). In WGCET6KSQ7/e1, lemma 43
History
- 2026-10-27: add by m2/v0.3.6
Zorich's theorem AQ6592M29K
| URI | m2://inv/AQ6592M29K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorich's theorem, Zorich's theorem (statement). Also Wikidata Q3079125
History
- 2026-11-02: add by m2/dev
Invariant formal transverse differential AQ65GKP8MJ
| URI | m2://inv/AQ65GKP8MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#WOWK, Invariant formal transverse differential (statement). In Z0SAF18JPP/e1, lemma 11.2
History
- 2026-10-28: add by m2/v0.4.2
AQ679WRZ04 AQ679WRZ04
| URI | m2://inv/AQ679WRZ04 |
|---|---|
| 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 2601.22681#FSSZ (statement). In 68VEQQX68G/e1, theorem 3.20
History
- 2026-10-27: add by m2/v0.4.0
Unital map AQ69TQZRZY
| URI | m2://inv/AQ69TQZRZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unital map, Unital map (definition). Also Wikidata Q7887169
History
- 2026-11-02: add by m2/dev
AQ6QZ6V3N8 AQ6QZ6V3N8
| URI | m2://inv/AQ6QZ6V3N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05868#VZ06 (statement). In WXD0FASTA7/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Example AQ6VKEGDCK
| URI | m2://inv/AQ6VKEGDCK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting field#IZTU, Example (example)
History
- 2026-11-02: add by m2/dev
Examples AQ719VVJP3
| URI | m2://inv/AQ719VVJP3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective tensor product#W0XE, Examples (example)
History
- 2026-11-02: add by m2/dev
Exponential-moment bound AQ7BG7RAJM
| URI | m2://inv/AQ7BG7RAJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.33291#ADB4, Exponential-moment bound (statement). In HQN1Y9RP53/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
GESMES/TS AQ7C5D46MD
| URI | m2://inv/AQ7C5D46MD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GESMES/TS, GESMES/TS (definition). Also Wikidata Q5513235
History
- 2026-11-02: add by m2/dev
AQ7E0A5AYY AQ7E0A5AYY
| URI | m2://inv/AQ7E0A5AYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-3-3-tests.xml#definition-1 (definition). In 907G4C4EJ1, definition, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
AQ7S22N1FY AQ7S22N1FY
| URI | m2://inv/AQ7S22N1FY |
|---|---|
| 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.12228#G0FS (statement). In CTQDSD0HAD/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Examples AQ7S2BNXCZ
| URI | m2://inv/AQ7S2BNXCZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#BNXV, Examples (example)
History
- 2026-11-02: add by m2/dev
Fermat's Last Theorem AQ7V19PJF4
| URI | m2://inv/AQ7V19PJF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#OLG0, Fermat's Last Theorem (unknown)
History
- 2026-11-02: add by m2/dev
Degree splitting AQ7Y16BTTW
| URI | m2://inv/AQ7Y16BTTW |
|---|---|
| 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.02714#VDQD, Degree splitting (statement). In R9AXCJWK8F/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
AQ81HFTDAW AQ81HFTDAW
| URI | m2://inv/AQ81HFTDAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#defn-3 (definition). In E59CDZA4DP, defn, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Gerbaldi's theorem AQ85WEJWKH
| URI | m2://inv/AQ85WEJWKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerbaldi's theorem, Gerbaldi's theorem (statement). Also Wikidata Q5550363
History
- 2026-11-02: add by m2/dev
Relative lifting of top-joins AQ86CZAHX8
| URI | m2://inv/AQ86CZAHX8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.10930#5AH6, Relative lifting of top-joins (definition). In HX63A1PH1W/e1, definition 5.21
History
- 2026-10-28: add by m2/v0.4.3
AQ873XW1VA AQ873XW1VA
| URI | m2://inv/AQ873XW1VA |
|---|---|
| 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.01924#6YIX (statement). In CB89152EQW/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.12
Chromatic root AQ8FCN2Q38
| URI | m2://inv/AQ8FCN2Q38 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic polynomial#NK90, Chromatic root (unknown)
History
- 2026-11-02: add by m2/dev
Linear time AQ8FDYZCWT
| URI | m2://inv/AQ8FDYZCWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#LFGY, Linear time (unknown)
History
- 2026-11-02: add by m2/dev
AQ8R6FWPX8 AQ8R6FWPX8
| URI | m2://inv/AQ8R6FWPX8 |
|---|---|
| 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.24043#DR7E (statement)
History
- 2026-11-02: add by m2/v0.6.17
General switching dynamics AQ8S9T2DGE
| URI | m2://inv/AQ8S9T2DGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#DQZM, General switching dynamics (statement). In FJFJ3WR1SS/e1, theorem C
History
- 2026-10-31: add by m2/v0.5.6
Noam Elkies AQ8WMXS38X
| URI | m2://inv/AQ8WMXS38X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NFNV, Noam Elkies (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YWQ0, Noam Elkies (topic)
History
- 2026-11-02: add by m2/dev
AQ94G5KAEC AQ94G5KAEC
| URI | m2://inv/AQ94G5KAEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#BH98 (statement). In B23TX8G4E4/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Properties AQ96AMGV97
| URI | m2://inv/AQ96AMGV97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 71 knot#YPL2, Properties (statement)
History
- 2026-11-02: add by m2/dev
complete variety AQ9AB3JB48
| URI | m2://inv/AQ9AB3JB48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156516, complete variety (unknown). Also EoM Complete_algebraic_variety, nLab complete algebraic variety
- wikipedia: Wikipedia Complete variety, Complete variety (definition). Also Wikidata Q5156516
History
- 2026-10-26: add by m2/dev
Lloyd Shapley AQ9ABYA5FE
| URI | m2://inv/AQ9ABYA5FE |
|---|---|
| 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#1IYI, Lloyd Shapley (unknown)
History
- 2026-11-02: add by m2/dev
harmonic contravariant AQ9AQJWYVA
| URI | m2://inv/AQ9AQJWYVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#8ZBY, harmonic contravariant (definition)
History
- 2026-11-02: add by m2/dev
William Lloyd Garrison Williams AQ9DN4M9T0
| URI | m2://inv/AQ9DN4M9T0 |
|---|---|
| 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#1FZ5, William Lloyd Garrison Williams (topic)
History
- 2026-11-02: add by m2/dev
AQ9KM0M7V0 AQ9KM0M7V0
| URI | m2://inv/AQ9KM0M7V0 |
|---|---|
| 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.00625#S6RX (statement). In BGA625B7W1/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Octahedral symmetry AQ9Z2XPPQH
| URI | m2://inv/AQ9Z2XPPQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#V3QZ, Octahedral symmetry (definition)
History
- 2026-11-02: add by m2/dev
An amenable summand does not suffice for anchoring AQA2RND6ZT
| URI | m2://inv/AQA2RND6ZT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#3PUW, An amenable summand does not suffice for anchoring (example). In 4WPYBTARS2/e1, example 6.6
History
- 2026-10-29: add by m2/v0.4.12
Application AQA5S7JGHA
| URI | m2://inv/AQA5S7JGHA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field trace#TUTP, Application (example)
History
- 2026-11-02: add by m2/dev
Susanna S. Epp AQAA3GP6GD
| URI | m2://inv/AQAA3GP6GD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susanna S. Epp, Susanna S. Epp (topic). Also Wikidata Q7648693
History
- 2026-11-02: add by m2/dev
AQABQ1JE0K AQABQ1JE0K
| URI | m2://inv/AQABQ1JE0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#LIN6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
AQAD5KEF36 AQAD5KEF36
| URI | m2://inv/AQAD5KEF36 |
|---|---|
| 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 2609.23237#R7A6 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Graph matching AQANWMEJAX
| URI | m2://inv/AQANWMEJAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph matching, Graph matching (definition). Also Wikidata Q39045684
History
- 2026-11-02: add by m2/dev
AQASCF63VV AQASCF63VV
| URI | m2://inv/AQASCF63VV |
|---|---|
| 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 2204.01073#2JPA (definition). In W4TYN4PGE8/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
AQAVKWASS3 AQAVKWASS3
| URI | m2://inv/AQAVKWASS3 |
|---|---|
| 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.09044#V19Z (statement). In 4KYENHR0J8/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Irmak {, Shackleton AQAXJP6VRH
| URI | m2://inv/AQAXJP6VRH |
|---|---|
| Kind | statement |
| 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#E51G, Irmak {, Shackleton (statement). In 1A01NFHBGA/e1, theorem 4.12
History
- 2026-10-28: add by m2/v0.4.3
AQAZ1T4VD9 AQAZ1T4VD9
| URI | m2://inv/AQAZ1T4VD9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Nonlinear Hopf rigidity AQB4BEEG27
| URI | m2://inv/AQB4BEEG27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#9ZG0, Nonlinear Hopf rigidity (statement)
History
- 2026-11-01: add by m2/v0.6.15
AQB6PXY98S AQB6PXY98S
| URI | m2://inv/AQB6PXY98S |
|---|---|
| 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.05204#NRTP (statement). In ET0TQ8YF7Z/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Kellerer duality AQB7JMX8S9
| URI | m2://inv/AQB7JMX8S9 |
|---|---|
| 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.17129#6YHJ, Kellerer duality (statement). In TCZWAMNYCV/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
AQB9FVW6GX AQB9FVW6GX
| URI | m2://inv/AQB9FVW6GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#RQFC (statement). In WSG1ZW956E/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
smooth distance function AQBFBJCB6S
| URI | m2://inv/AQBFBJCB6S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.07227#03ZK, smooth distance function (definition). In R85Z7ZZGBC/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cathleen Synge Morawetz AQBWJFKJ1M
| URI | m2://inv/AQBWJFKJ1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J45K, Cathleen Synge Morawetz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PTZ4, Cathleen Synge Morawetz (topic)
History
- 2026-11-02: add by m2/dev
Discrete choice analysis AQBYEHZPB9
| URI | m2://inv/AQBYEHZPB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q4F5, Discrete choice analysis (definition)
History
- 2026-11-02: add by m2/dev
Sylvester's criterion AQC3M4PBKE
| URI | m2://inv/AQC3M4PBKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Sylvester's criterion 0WKEF78PMV |
Mentions
- wikidata: Wikidata Q2709660, Sylvester's criterion (statement). Also MathWorld SylvestersCriterion
- wikipedia: Wikipedia Sylvester's criterion, Sylvester's criterion (statement). Also Wikidata Q2709660
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kahan summation algorithm AQCC79GK30
| URI | m2://inv/AQCC79GK30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kahan summation algorithm, Kahan summation algorithm (definition). Also Wikidata Q2982293
History
- 2026-11-02: add by m2/dev
Bidirectional recurrent neural networks AQCEASHAFQ
| URI | m2://inv/AQCEASHAFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidirectional recurrent neural networks, Bidirectional recurrent neural networks (definition). Also Wikidata Q25112138
History
- 2026-11-02: add by m2/dev
Example AQCMK86G8E
| URI | m2://inv/AQCMK86G8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate transpose#98PW, Example (example)
History
- 2026-11-02: add by m2/dev
Segal, space AQCVKH5GFJ
| URI | m2://inv/AQCVKH5GFJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/segal-space, Segal, space (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Cut-elimination theorem AQCW7EX48P
| URI | m2://inv/AQCW7EX48P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#V6O7, Cut-elimination theorem (statement)
History
- 2026-11-02: add by m2/dev
AQCZB01H85 AQCZB01H85
| URI | m2://inv/AQCZB01H85 |
|---|---|
| Kind | conjecture |
| 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.17589#AU9U (conjecture). In GSTK4569X1/e1, conjecture 5.3
History
- 2026-10-28: add by m2/v0.4.2
Anil Nerode AQCZGWFG91
| URI | m2://inv/AQCZGWFG91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MD4W, Anil Nerode (unknown)
History
- 2026-11-02: add by m2/dev
AQD0A4TZ71 AQD0A4TZ71
| URI | m2://inv/AQD0A4TZ71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#6VE7 (statement). In 1QSCT53ZED/e1, corollary 2.20
History
- 2026-10-27: add by m2/v0.4.0
Posterior mean AQD261PK1A
| URI | m2://inv/AQD261PK1A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes estimator#2GII, Posterior mean (unknown)
History
- 2026-11-02: add by m2/dev
AQD32YPVJ9 AQD32YPVJ9
| URI | m2://inv/AQD32YPVJ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 2610.20956#15OA (definition). In X9WFC1D9ZS/e1, definition 35
History
- 2026-10-27: add by m2/v0.4.2
Hyman Bass AQD9GC9WDX
| URI | m2://inv/AQD9GC9WDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I8WI, Hyman Bass (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JV8V, Hyman Bass (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RQL3, Hyman Bass (topic)
History
- 2026-11-02: add by m2/dev
Properties AQDBSE65PH
| URI | m2://inv/AQDBSE65PH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence#J6MT, Properties (statement)
History
- 2026-11-02: add by m2/dev
GLMs with Gaussian prior AQDBTKMFTV
| URI | m2://inv/AQDBTKMFTV |
|---|---|
| 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.19573#JPGB, GLMs with Gaussian prior (statement). In NM6Z2R61CN/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.2
Decorated Cayley cubical complex AQDC0N9N59
| URI | m2://inv/AQDC0N9N59 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#NMSN, Decorated Cayley cubical complex (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cyclostationary process AQDDT0CJP2
| URI | m2://inv/AQDDT0CJP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclostationary process, Cyclostationary process (definition). Also Wikidata Q3922399
History
- 2026-11-02: add by m2/dev
AQDE40K5JM AQDE40K5JM
| URI | m2://inv/AQDE40K5JM |
|---|---|
| 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 2204.01073#TYC9 (definition). In W4TYN4PGE8/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
P3 (symmetry group) AQDHNBGWZR
| URI | m2://inv/AQDHNBGWZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wallpaper group#RXHT, P3 (symmetry group) (unknown)
History
- 2026-11-02: add by m2/dev
AQDK4Z949S AQDK4Z949S
| URI | m2://inv/AQDK4Z949S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#definition-1 (definition). In P1C114YBXG, definition, section 1
History
- 2026-11-01: add by m2/v0.6.13
AQDMTX3DAE AQDMTX3DAE
| URI | m2://inv/AQDMTX3DAE |
|---|---|
| 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 2506.07061#COMX (statement). In G2PA4KAGRP/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.3.6
AQDQDJDV11 AQDQDJDV11
| URI | m2://inv/AQDQDJDV11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#1HHG (statement). In Y4TP36M0C7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
AQDRCGFR9K AQDRCGFR9K
| URI | m2://inv/AQDRCGFR9K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#J3LR (definition). In REDG6QVHM3/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Properties AQDT0T22KT
| URI | m2://inv/AQDT0T22KT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List object#VN15, Properties (statement)
History
- 2026-11-02: add by m2/dev
AQDZDRTJ03 AQDZDRTJ03
| URI | m2://inv/AQDZDRTJ03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19852#XT85 (statement). In SPW2D8X2PG/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Finite covering criterion AQE76K5A1X
| URI | m2://inv/AQE76K5A1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#FTFY, Finite covering criterion (statement). In T2B54J7121/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Peter Lax AQEAJ2S2EQ
| URI | m2://inv/AQEAJ2S2EQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MC4H, Peter Lax (topic)
- wikipedia: Wikipedia List of numerical analysis topics#F29T, Peter Lax (topic)
History
- 2026-11-02: add by m2/dev
AQEAXRTAC5 AQEAXRTAC5
| URI | m2://inv/AQEAXRTAC5 |
|---|---|
| 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.25843#TESF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gabor transform AQEBG2BDZ9
| URI | m2://inv/AQEBG2BDZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabor transform, Gabor transform (definition). Also Wikidata Q996397
History
- 2026-11-02: add by m2/dev
The positivity of the approximations AQEGZ8DD5H
| URI | m2://inv/AQEGZ8DD5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29567#9A6J, The positivity of the approximations (statement)
History
- 2026-11-01: add by m2/v0.6.15
AQEQ24MPKM AQEQ24MPKM
| URI | m2://inv/AQEQ24MPKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#9M5N (statement). In N5ZM8MXJXH/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
AQEZZJ9TC5 AQEZZJ9TC5
| URI | m2://inv/AQEZZJ9TC5 |
|---|---|
| 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 2504.19468#TB5C (statement). In EY54F2SX08/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Philosophical Investigations AQF64CRZ53
| URI | m2://inv/AQF64CRZ53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical Investigations, Philosophical Investigations (definition). Also Wikidata Q772496
History
- 2026-11-02: add by m2/dev
mathematics AQFA5P6ETY
| URI | m2://inv/AQFA5P6ETY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#9GEY, mathematics (definition)
History
- 2026-11-02: add by m2/dev
extremal black hole AQFAPM4X31
| URI | m2://inv/AQFAPM4X31 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2601295, extremal black hole (unknown). Also nLab extremal black hole
History
- 2026-10-26: add by m2/dev
Rectangular fusil AQFEY6SKAC
| URI | m2://inv/AQFEY6SKAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperrectangle#UBEB, Rectangular fusil (unknown)
History
- 2026-11-02: add by m2/dev
AQFGPT7Z2F AQFGPT7Z2F
| URI | m2://inv/AQFGPT7Z2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/propositions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 32.4
History
- 2026-11-01: add by m2/v0.6.13
Nondegeneracy at the triple point AQFH40Y2TA
| URI | m2://inv/AQFH40Y2TA |
|---|---|
| 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.37479#CCDP, Nondegeneracy at the triple point (statement). In P3RTT99C41/e1, theorem 7.13
History
- 2026-10-30: add by m2/v0.4.12
List of logarithmic identities AQFMM91XBW
| URI | m2://inv/AQFMM91XBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#0NBI, List of logarithmic identities (topic)
- wikipedia: Wikipedia Lists of mathematics topics#OCED, List of logarithmic identities (topic)
- wikipedia: Wikipedia List of theorems#WSTQ, List of logarithmic identities (topic)
History
- 2026-11-02: add by m2/dev
Graphical construction (using the intercept theorem) AQFMVFNXP8
| URI | m2://inv/AQFMVFNXP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homothety#CHXB, Graphical construction (using the intercept theorem) (statement)
History
- 2026-11-02: add by m2/dev
David H. Bailey AQFPNWZ5P9
| URI | m2://inv/AQFPNWZ5P9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David H. Bailey (mathematician), David H. Bailey (topic). Also Wikidata Q92751
History
- 2026-11-02: add by m2/dev
topological category AQFTVWT754
| URI | m2://inv/AQFTVWT754 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7825022, topological category (unknown). Also nLab topologically enriched category
- wikipedia: Wikipedia Topological category (enriched category theory), Topological category (definition). Also Wikidata Q7825022
History
- 2026-10-26: add by m2/dev
S-matrix theory AQFZYENZ3X
| URI | m2://inv/AQFZYENZ3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-matrix theory, S-matrix theory (definition). Also Wikidata Q649466
History
- 2026-11-02: add by m2/dev
Soundness AQG2SFCPAE
| URI | m2://inv/AQG2SFCPAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#thm:soundness, Soundness (statement). In PKGMM3P5QY, thm, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
AQG9SSB64V AQG9SSB64V
| URI | m2://inv/AQG9SSB64V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#8563 (statement). In T1VFA7TXPA/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.5
AQGDE74XKR AQGDE74XKR
| URI | m2://inv/AQGDE74XKR |
|---|---|
| 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.08583#RQI8 (statement). In 5EKTECQ2P1/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
inverse tangent function with two arguments AQGHE0W59Q
| URI | m2://inv/AQGHE0W59Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#JEOD, inverse tangent function with two arguments (definition)
History
- 2026-11-02: add by m2/dev
Exact truncation and policy-gap preservation AQGR0T2A1J
| URI | m2://inv/AQGR0T2A1J |
|---|---|
| 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.37380#3GMG, Exact truncation and policy-gap preservation (statement). In 14Y4SA4SX0/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Landau theory AQGRMW9ZH3
| URI | m2://inv/AQGRMW9ZH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau theory, Landau theory (topic). Also Wikidata Q1626812
History
- 2026-11-02: add by m2/dev
Applications AQGZBZNETJ
| URI | m2://inv/AQGZBZNETJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz–Zippel lemma#DKTZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples AQH3ZW8YAJ
| URI | m2://inv/AQH3ZW8YAJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-synchronizing code#1JBD, Examples (example)
History
- 2026-11-02: add by m2/dev
Conjecture AQH9WGQWWW
| URI | m2://inv/AQH9WGQWWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring game#5TY9, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Deshpande–Fleck yield criterion or isotropic foam yield criterion AQHDY3MVG0
| URI | m2://inv/AQHDY3MVG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker–Prager yield criterion#IJHJ, Deshpande–Fleck yield criterion or isotropic foam yield criterion (statement)
History
- 2026-11-02: add by m2/dev
Restricted-data diagonal-extension identity AQHR92WNC0
| URI | m2://inv/AQHR92WNC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#GW6A, Restricted-data diagonal-extension identity (statement). In N06J7GC05Q/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
William Gardiner AQHT8SXBJ4
| URI | m2://inv/AQHT8SXBJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Gardiner (mathematician), William Gardiner (topic). Also Wikidata Q18945828
History
- 2026-11-02: add by m2/dev
AQJ0RQDYRZ AQJ0RQDYRZ
| URI | m2://inv/AQJ0RQDYRZ |
|---|---|
| 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.02484#FB9A (statement). In D1V0MQZTFQ/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.12
AQJN1YTC0T AQJN1YTC0T
| URI | m2://inv/AQJN1YTC0T |
|---|---|
| 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 2508.16102#HWD1 (statement). In 55QFMZQ5HM/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.6
AQJPQ3T9SQ AQJPQ3T9SQ
| URI | m2://inv/AQJPQ3T9SQ |
|---|---|
| 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.17589#JKTE (statement). In GSTK4569X1/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
Gδ space AQKA6H3P6Z
| URI | m2://inv/AQKA6H3P6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ECFN, Gδ space (definition)
History
- 2026-11-02: add by m2/dev
Augmentation (geometry) AQKKYW6HDB
| URI | m2://inv/AQKKYW6HDB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0M3I, Augmentation (geometry) (object)
History
- 2026-11-02: add by m2/dev
Lynn Kuo AQKZ1PJBPT
| URI | m2://inv/AQKZ1PJBPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynn Kuo, Lynn Kuo (topic). Also Wikidata Q42293179
History
- 2026-11-02: add by m2/dev
First integral AQM3DK837V
| URI | m2://inv/AQM3DK837V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant of motion#KULY, First integral (unknown)
History
- 2026-11-02: add by m2/dev
Henk Barendregt AQM713RSR5
| URI | m2://inv/AQM713RSR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#JEQH, Henk Barendregt (topic)
History
- 2026-11-02: add by m2/dev
AQM8AVSPVN AQM8AVSPVN
| URI | m2://inv/AQM8AVSPVN |
|---|---|
| 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.23847#I0C7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Angela Spalsbury AQMAAW6G94
| URI | m2://inv/AQMAAW6G94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angela Spalsbury, Angela Spalsbury (topic). Also Wikidata Q47592177
History
- 2026-11-02: add by m2/dev
Brent Coull AQMDSG7N5F
| URI | m2://inv/AQMDSG7N5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2URA, Brent Coull (unknown)
History
- 2026-11-02: add by m2/dev
Relation to the Erdős–Turán conjecture on additive bases AQMECJ85RE
| URI | m2://inv/AQMECJ85RE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Tetali theorem#VNIT, Relation to the Erdős–Turán conjecture on additive bases (statement)
History
- 2026-11-02: add by m2/dev
AQMF5WX6NB AQMF5WX6NB
| URI | m2://inv/AQMF5WX6NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#KFVZ (statement). In F71MS1F637/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Chern transport of the normalized curvature remainder AQMT273XCC
| URI | m2://inv/AQMT273XCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#PHEP, Chern transport of the normalized curvature remainder (statement)
History
- 2026-11-01: add by m2/v0.6.15
RMSSD AQMWWASRW9
| URI | m2://inv/AQMWWASRW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heart rate variability#P6S2, RMSSD (unknown)
History
- 2026-11-02: add by m2/dev
AQN9CFMK4P AQN9CFMK4P
| URI | m2://inv/AQN9CFMK4P |
|---|---|
| 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.23562#R1IN (statement)
History
- 2026-11-02: add by m2/v0.6.17
AQNAH74517 AQNAH74517
| URI | m2://inv/AQNAH74517 |
|---|---|
| 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.01225#6AZ9 (statement). In MFR807V4YG/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Applications AQNGDJ0G7G
| URI | m2://inv/AQNGDJ0G7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary symmetric channel#E61R, Applications (example)
History
- 2026-11-02: add by m2/dev
AQNH24299J AQNH24299J
| URI | m2://inv/AQNH24299J |
|---|---|
| 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.12295#MKSS (statement). In 6DZPR52HRP/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
AQNH5YEWW0 AQNH5YEWW0
| URI | m2://inv/AQNH5YEWW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#1EN0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ted Honderich AQNX69BAZS
| URI | m2://inv/AQNX69BAZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ted Honderich, Ted Honderich (topic). Also Wikidata Q710767
History
- 2026-11-02: add by m2/dev
Criterion AQP1VDV4SN
| URI | m2://inv/AQP1VDV4SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein's criterion#HS4G, Criterion (statement)
History
- 2026-11-02: add by m2/dev
AQP2J8SS53 AQP2J8SS53
| URI | m2://inv/AQP2J8SS53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#LHL3 (statement). In A3VQ2TNRKK/e1, corollary 7.2
History
- 2026-10-27: add by m2/v0.4.0
Nikolai Shanin AQP435487V
| URI | m2://inv/AQP435487V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QDQK, Nikolai Shanin (topic)
History
- 2026-11-02: add by m2/dev
AQP5VJFVKT AQP5VJFVKT
| URI | m2://inv/AQP5VJFVKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#9ZTM (statement). In VWNB6QJWFN/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Strong confluence AQP6RBK2RC
| URI | m2://inv/AQP6RBK2RC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confluence (abstract rewriting)#Q8IY, Strong confluence (unknown)
History
- 2026-11-02: add by m2/dev
+ AQPA9THBX9
| URI | m2://inv/AQPA9THBX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#W1R2, + (definition)
History
- 2026-11-02: add by m2/dev
AQPGXMRKNT AQPGXMRKNT
| URI | m2://inv/AQPGXMRKNT |
|---|---|
| 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.21367#P54I (statement)
History
- 2026-11-02: add by m2/v0.6.18
Boris Shapiro AQPH04X3VY
| URI | m2://inv/AQPH04X3VY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Shapiro, Boris Shapiro (topic). Also Wikidata Q19876444
History
- 2026-11-02: add by m2/dev
AQPH1NXKN7 AQPH1NXKN7
| URI | m2://inv/AQPH1NXKN7 |
|---|---|
| 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.11872#BL4A (statement). In NKDA88318F/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.3
Definition AQPKJ0CXA7
| URI | m2://inv/AQPKJ0CXA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi set#6MCH, Definition (definition)
History
- 2026-11-02: add by m2/dev
AQPSG09ZFZ AQPSG09ZFZ
| URI | m2://inv/AQPSG09ZFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#OCV4 (statement). In VNN52G3BRE/e1, theorem B.2
History
- 2026-10-28: add by m2/v0.4.2
Faraday's law of induction AQPX71YS06
| URI | m2://inv/AQPX71YS06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faraday's law of induction, Faraday's law of induction (statement). Also Wikidata Q181465
History
- 2026-11-02: add by m2/dev
Solution of triangles AQQ41CRBKH
| URI | m2://inv/AQQ41CRBKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution of triangles, Solution of triangles (definition). Also Wikidata Q2630362
History
- 2026-11-02: add by m2/dev
Anomalous integrability AQQ9ATEXS3
| URI | m2://inv/AQQ9ATEXS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.25897#O3E9, Anomalous integrability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rentschler's theorem AQQAHRK4YS
| URI | m2://inv/AQQAHRK4YS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#SQ9P, Rentschler's theorem (statement)
History
- 2026-11-02: add by m2/dev
Hyperrectangular distance AQQD58JCP9
| URI | m2://inv/AQQD58JCP9 |
|---|---|
| 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 2203.10220#L068, Hyperrectangular distance (definition). In FX2SD1GFHT/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Euler product formula AQQDNFXB2N
| URI | m2://inv/AQQDNFXB2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of the Euler product formula for the Riemann zeta function#84ZN, Euler product formula (statement)
History
- 2026-11-02: add by m2/dev
Properties AQQDS6X68F
| URI | m2://inv/AQQDS6X68F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner measurable function#DKIV, Properties (statement)
History
- 2026-11-02: add by m2/dev
AQQF9Z2JDP AQQF9Z2JDP
| URI | m2://inv/AQQF9Z2JDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#LXSN (statement). In PWF23QSGDX/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
natural frequency AQQFK2KA1V
| URI | m2://inv/AQQFK2KA1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.6.2/natural-frequency, natural frequency (concept). In E9HS8K3A52, index, section 10.6.2
History
- 2026-11-01: add by m2/v0.6.13
Cayley table AQQKCZ6N5H
| URI | m2://inv/AQQKCZ6N5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#EC1Z, Cayley table (definition)
History
- 2026-11-02: add by m2/dev
AQQKVEA30Q AQQKVEA30Q
| URI | m2://inv/AQQKVEA30Q |
|---|---|
| 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.20798#LDUR (statement). In 947GFWDY7C/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
AQQP73C9AA AQQP73C9AA
| URI | m2://inv/AQQP73C9AA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#RWNC (definition). In H72E12TYHA/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.4.0
Optimality in the stated oracle model AQQPEFFKN9
| URI | m2://inv/AQQPEFFKN9 |
|---|---|
| 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.05038#AJZF, Optimality in the stated oracle model (statement). In CR237YRBJW/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
Applications AQQQHY9V4S
| URI | m2://inv/AQQQHY9V4S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic dominance#9KN1, Applications (example)
History
- 2026-11-02: add by m2/dev
AQR2SD44NB AQR2SD44NB
| URI | m2://inv/AQR2SD44NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#0AZT (statement). In VNE8N0D2FB/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Paul Benacerraf AQR3ADGYRG
| URI | m2://inv/AQR3ADGYRG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FEE2, Paul Benacerraf (topic)
History
- 2026-11-02: add by m2/dev
AQR811QM6A AQR811QM6A
| URI | m2://inv/AQR811QM6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#S6Q2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Parvus AQR8K2E73A
| URI | m2://inv/AQR8K2E73A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#1Y0I, Alexander Parvus (unknown)
History
- 2026-11-02: add by m2/dev
Golbeck, Amanda L. AQRB7HVTNY
| URI | m2://inv/AQRB7HVTNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#IPA3, Golbeck, Amanda L. (unknown)
History
- 2026-11-02: add by m2/dev
Barbara Niethammer AQRDKWS8NE
| URI | m2://inv/AQRDKWS8NE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Niethammer, Barbara Niethammer (topic). Also Wikidata Q807573
History
- 2026-11-02: add by m2/dev
AQRF7PXGVF AQRF7PXGVF
| URI | m2://inv/AQRF7PXGVF |
|---|---|
| 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.40282#XFC0 (statement). In P86RWY99S2/e1, lemma 2.3.1
History
- 2026-10-30: add by m2/v0.4.12
AQRH8ES7B5 AQRH8ES7B5
| URI | m2://inv/AQRH8ES7B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#GBI6 (statement). In AGJE43FTF8/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.2
Hahn–Exton q-Bessel function AQRJ5A0YKS
| URI | m2://inv/AQRJ5A0YKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#IISE, Hahn–Exton q-Bessel function (definition)
History
- 2026-11-02: add by m2/dev
B. Huppert AQRRSDKAV4
| URI | m2://inv/AQRRSDKAV4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WTWW, B. Huppert (topic)
History
- 2026-11-02: add by m2/dev
AQRX0V60W7 AQRX0V60W7
| URI | m2://inv/AQRX0V60W7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-3.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Siegel theta series AQS1CG7GD1
| URI | m2://inv/AQS1CG7GD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel theta series, Siegel theta series (definition). Also Wikidata Q25111165
History
- 2026-11-02: add by m2/dev
AQS362CB70 AQS362CB70
| URI | m2://inv/AQS362CB70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#MUYF (statement). In QG9ATXTKJ6/e1, corollary 1.13
History
- 2026-10-27: add by m2/v0.3.5
Distribution of Union and Intersection AQS5FNZBY3
| URI | m2://inv/AQS5FNZBY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#theorem-6, Distribution of Union and Intersection (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
AQS7MA044W AQS7MA044W
| URI | m2://inv/AQS7MA044W |
|---|---|
| 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 2610.22040#WLRD (statement). In 2QP93JHYNB/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Boundary classical tangent cones AQSB1AHC9A
| URI | m2://inv/AQSB1AHC9A |
|---|---|
| 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.04833#DJBQ, Boundary classical tangent cones (definition). In AKB3CNDA0F/e1, definition 4.16
History
- 2026-10-29: add by m2/v0.4.12
Donald Clayton Spencer AQSSWR56J3
| URI | m2://inv/AQSSWR56J3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IRGG, Donald Clayton Spencer (unknown)
History
- 2026-11-02: add by m2/dev
Binary logarithm from integer roots AQSW7Z3DWD
| URI | m2://inv/AQSW7Z3DWD |
|---|---|
| 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.13365#MFJO, Binary logarithm from integer roots (statement). In YMBTSX10FF/e1, theorem A.3
History
- 2026-10-28: add by m2/v0.4.2
Statement AQSWD7S76Z
| URI | m2://inv/AQSWD7S76Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Container method#LVGO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Frank Arnold AQT7JEP8BV
| URI | m2://inv/AQT7JEP8BV |
|---|---|
| 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#48W9, Frank Arnold (unknown)
History
- 2026-11-02: add by m2/dev
Definition AQTA8KEW3N
| URI | m2://inv/AQTA8KEW3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb vector field#GPV5, Definition (definition)
History
- 2026-11-02: add by m2/dev
AQTAKMPPWZ AQTAKMPPWZ
| URI | m2://inv/AQTAKMPPWZ |
|---|---|
| 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.26357#L061 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Element-based formula AQTE99F5CW
| URI | m2://inv/AQTE99F5CW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi method#9GXD, Element-based formula (statement)
History
- 2026-11-02: add by m2/dev
AQTTYCQN4H AQTTYCQN4H
| URI | m2://inv/AQTTYCQN4H |
|---|---|
| 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.18618#IT33 (statement). In C8VC86B6H8/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
13th root AQTX2KBR1W
| URI | m2://inv/AQTX2KBR1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3416239, 13th root (concept). Also MathWorld 13thRoot
History
- 2026-10-26: add by m2/dev
AQTY4Z3XND AQTY4Z3XND
| URI | m2://inv/AQTY4Z3XND |
|---|---|
| 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#XK1L (statement). In Q5Z178SAHP/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Spline interpolation AQV03Q61N9
| URI | m2://inv/AQV03Q61N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#K5BQ, Spline interpolation (definition)
History
- 2026-11-02: add by m2/dev
Convex interpolation in vector spaces AQV1DNM0KY
| URI | m2://inv/AQV1DNM0KY |
|---|---|
| Kind | example |
| 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#MWVI, Convex interpolation in vector spaces (example)
History
- 2026-11-02: add by m2/v0.6.18
locally factorial AQV1HKY5SJ
| URI | m2://inv/AQV1HKY5SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#W8VD, locally factorial (definition)
History
- 2026-11-02: add by m2/dev
AQV6852ZE4 AQV6852ZE4
| URI | m2://inv/AQV6852ZE4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/basics.tex#ex-1 (example). In PKGMM3P5QY, ex, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
- (arithmetic) AQV68H0VC4
| URI | m2://inv/AQV68H0VC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plus and minus signs#HHMY, - (arithmetic) (unknown)
History
- 2026-11-02: add by m2/dev
AQV8PGZ8HF AQV8PGZ8HF
| URI | m2://inv/AQV8PGZ8HF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational complexity of matrix multiplication#ZF0B (problem)
History
- 2026-11-02: add by m2/dev
AQVBKXX1S0 AQVBKXX1S0
| URI | m2://inv/AQVBKXX1S0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Definition AQVBMQDNAG
| URI | m2://inv/AQVBMQDNAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas precession#A443, Definition (definition)
History
- 2026-11-02: add by m2/dev
Simula AQVD0H7TZS
| URI | m2://inv/AQVD0H7TZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212569, Simula (unknown). Also EoM Simula
History
- 2026-10-26: add by m2/dev
Examples AQVFNP64HV
| URI | m2://inv/AQVFNP64HV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friendly number#U3ET, Examples (example)
History
- 2026-11-02: add by m2/dev
Propagation of covariance moments AQVNBATD7S
| URI | m2://inv/AQVNBATD7S |
|---|---|
| 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.32695#G097, Propagation of covariance moments (statement). In VQSF2E35BX/e1, proposition B.3
History
- 2026-10-31: add by m2/v0.5.6
AQVYDXDPMG AQVYDXDPMG
| URI | m2://inv/AQVYDXDPMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#eg:isset-empty (example). In N54F33XE07, eg, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
AQWA7XMNFB AQWA7XMNFB
| URI | m2://inv/AQWA7XMNFB |
|---|---|
| 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.09810#R196 (statement). In B6PCH930FV/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
AQWB0KTXQX AQWB0KTXQX
| URI | m2://inv/AQWB0KTXQX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#YFJF (definition). In ZPCYW4N0EH/e1, definition 4.15
History
- 2026-10-29: add by m2/v0.4.10
Pieve di Cento AQWR3J730V
| URI | m2://inv/AQWR3J730V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NH2D, Pieve di Cento (unknown)
History
- 2026-11-02: add by m2/dev
AQWRDCYFXQ AQWRDCYFXQ
| URI | m2://inv/AQWRDCYFXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04842#TPJZ (statement). In YJF7QC03N3/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Alternative definition AQWV3QTW3D
| URI | m2://inv/AQWV3QTW3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ideal#WX9E, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
AQX2G99J8T AQX2G99J8T
| URI | m2://inv/AQX2G99J8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#4Q92 (definition). In 6Z1DDCYCQ8/e1, definition 12
History
- 2026-10-28: add by m2/v0.4.2
Applications AQX4D4468T
| URI | m2://inv/AQX4D4468T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein reciprocity#90VM, Applications (example)
History
- 2026-11-02: add by m2/dev
AQX7S08APS AQX7S08APS
| URI | m2://inv/AQX7S08APS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#DQN5 (statement). In MQPBZX4DR6/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
AQX82JGPDB AQX82JGPDB
| URI | m2://inv/AQX82JGPDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.05118#PGB4 (statement). In BT0T0QS2TN/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.0
AQXBSKZ7QM AQXBSKZ7QM
| URI | m2://inv/AQXBSKZ7QM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#PFOX (definition). In 37S7MNMZ2F/e1, definition 89
History
- 2026-10-27: add by m2/v0.3.5
Wang sequence AQXES4A4X2
| URI | m2://inv/AQXES4A4X2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral sequence#V7NK, Wang sequence (unknown)
History
- 2026-11-02: add by m2/dev
AQY286ZRWG AQY286ZRWG
| URI | m2://inv/AQY286ZRWG |
|---|---|
| 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.04264#4UXM (statement). In 5YRJ4HGY4N/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Filter-large certificates give branchwise refinement AQY71ZF2XN
| URI | m2://inv/AQY71ZF2XN |
|---|---|
| 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#8VOD, Filter-large certificates give branchwise refinement (statement). In 5PN85N6EJF/e1, theorem 9.2
History
- 2026-10-31: add by m2/v0.5.6
locally ringed space AQYEKS4B5D
| URI | m2://inv/AQYEKS4B5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91438488, locally ringed space (definition). Also nLab locally ringed topological space, ProofWiki Definition:Locally_Ringed_Space
History
- 2026-10-26: add by m2/dev
Edward Frenkel AQYFQ7QM48
| URI | m2://inv/AQYFQ7QM48 |
|---|---|
| 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 Q40418, Edward Frenkel (unknown). Also nLab Edward Frenkel
History
- 2026-10-26: add by m2/dev
Tamil numerals AQYG9B9AWP
| URI | m2://inv/AQYG9B9AWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamil numerals, Tamil numerals (definition). Also Wikidata Q7681423
History
- 2026-11-02: add by m2/dev
removable singularity AQYQY0RZ76
| URI | m2://inv/AQYQY0RZ76 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.5.1/removable-singularity, removable singularity (concept). In E59CDZA4DP, index, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
Alexander Bain AQYW8D7TB1
| URI | m2://inv/AQYW8D7TB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#V7K5, Alexander Bain (topic)
History
- 2026-11-02: add by m2/dev
AQYY88B7H2 AQYY88B7H2
| URI | m2://inv/AQYY88B7H2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#JDRX (example). In NSP90G5XCQ/e1, example 2.16
History
- 2026-10-29: add by m2/v0.4.12
AQYYADPQS2 AQYYADPQS2
| URI | m2://inv/AQYYADPQS2 |
|---|---|
| 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.37112#U7PJ (statement). In 5B10HAY4C3/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Examples AQZ1ZH3DP5
| URI | m2://inv/AQZ1ZH3DP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian matrix and determinant#QV9J, Examples (example)
History
- 2026-11-02: add by m2/dev
AQZ4ZWBR6X AQZ4ZWBR6X
| URI | m2://inv/AQZ4ZWBR6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.24917#9Z5F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Recurrence formula and characterization AQZ6J752KH
| URI | m2://inv/AQZ6J752KH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digamma function#LT76, Recurrence formula and characterization (statement)
History
- 2026-11-02: add by m2/dev
Unscented transform AQZ77D9SNY
| URI | m2://inv/AQZ77D9SNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unscented transform, Unscented transform (definition). Also Wikidata Q7897426
History
- 2026-11-02: add by m2/dev
AQZ7ARWGT5 AQZ7ARWGT5
| URI | m2://inv/AQZ7ARWGT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#QPVN (statement). In JWNYJVH8XG/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
AQZBSV3WPE AQZBSV3WPE
| URI | m2://inv/AQZBSV3WPE |
|---|---|
| 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.17070#CYWY (statement). In W3G9Z9B32N/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
AQZMMR47YN AQZMMR47YN
| URI | m2://inv/AQZMMR47YN |
|---|---|
| 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#38C6 (example). In XGPZ0G9E1Q/e1, example 6.4
History
- 2026-10-29: add by m2/v0.4.12
AQZRC81K8S AQZRC81K8S
| URI | m2://inv/AQZRC81K8S |
|---|---|
| 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.02481#6VX3 (statement). In 5HACFNFY0P/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Theorem AQZVHNKD0F
| URI | m2://inv/AQZVHNKD0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic space#VY7B, Theorem (statement)
History
- 2026-11-02: add by m2/dev
AQZVVQTD0B AQZVVQTD0B
| URI | m2://inv/AQZVVQTD0B |
|---|---|
| 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#R4HS (statement). In G83TVA8HYR/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
AQZYMFZ7R9 AQZYMFZ7R9
| URI | m2://inv/AQZYMFZ7R9 |
|---|---|
| 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.10406#2GHE (definition). In VQA35Q7C00/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10