Inventory rows 85
The cards of the rows of the inventory whose ids start with 85. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
850AAFV0J2 850AAFV0J2
| URI | m2://inv/850AAFV0J2 |
|---|---|
| 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#HW5G (statement). In QPJ6FWG5HD/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.12
Algorithm 850CV76168
| URI | m2://inv/850CV76168 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nussinov algorithm#534O, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Schur alternative 850WM949ZD
| URI | m2://inv/850WM949ZD |
|---|---|
| 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.25987#9VZL, Schur alternative (statement)
History
- 2026-11-01: add by m2/v0.6.15
851777ZKFX 851777ZKFX
| URI | m2://inv/851777ZKFX |
|---|---|
| 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.18562#VDSM (statement). In 793KXAR957/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
851BGYCDA6 851BGYCDA6
| URI | m2://inv/851BGYCDA6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
Tire model 851CV0KBWV
| URI | m2://inv/851CV0KBWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tire model, Tire model (definition). Also Wikidata Q109973994
History
- 2026-11-02: add by m2/dev
twistor correspondence 851FBPKE1Q
| URI | m2://inv/851FBPKE1Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7858589, twistor correspondence (concept). Also MathWorld TwistorCorrespondence
- wikipedia: Wikipedia Twistor correspondence, Twistor correspondence (definition). Also Wikidata Q7858589
History
- 2026-10-26: add by m2/dev
Intransitive game 851KW8P1MY
| URI | m2://inv/851KW8P1MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitive game, Intransitive game (definition). Also Wikidata Q7049634
History
- 2026-11-02: add by m2/dev
851QAW88AP 851QAW88AP
| URI | m2://inv/851QAW88AP |
|---|---|
| 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#Y026 (statement)
History
- 2026-11-01: add by m2/v0.6.15
851XNV3V3Z 851XNV3V3Z
| URI | m2://inv/851XNV3V3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#PO6N (statement)
History
- 2026-11-01: add by m2/v0.6.15
851YNTVWKC 851YNTVWKC
| URI | m2://inv/851YNTVWKC |
|---|---|
| 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.16518#BG42 (statement). In SAQBDG4FK1/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Open restriction, gluing, monomorphic-cover locality 852G05ZP3Q
| URI | m2://inv/852G05ZP3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#XRQP, Open restriction, gluing, monomorphic-cover locality (statement)
History
- 2026-11-01: add by m2/v0.6.15
852SHSPW33 852SHSPW33
| URI | m2://inv/852SHSPW33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#5CQR (statement). In CC6S1HVK0T/e1, theorem 9.9
History
- 2026-10-28: add by m2/v0.4.2
Irreducible fraction 852TPPJSVN
| URI | m2://inv/852TPPJSVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#2BGK, Irreducible fraction (definition)
History
- 2026-11-02: add by m2/dev
852VRZTQ56 852VRZTQ56
| URI | m2://inv/852VRZTQ56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#A078 (statement). In YYV9SHAPCZ/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Fractional total turning 852WTSTRP3
| URI | m2://inv/852WTSTRP3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03754#KL1K, Fractional total turning (definition). In J1Z9P0H13V/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Definition 852XQBYTQA
| URI | m2://inv/852XQBYTQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear map#T8TF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ravi S. Kulkarni 852YH9VGGN
| URI | m2://inv/852YH9VGGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LH62, Ravi S. Kulkarni (topic)
History
- 2026-11-02: add by m2/dev
Maxwell–Boltzmann statistics 85307NKEEH
| URI | m2://inv/85307NKEEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maxwell–Boltzmann statistics, Maxwell–Boltzmann statistics (definition). Also Wikidata Q1206235
History
- 2026-11-02: add by m2/dev
Complete graphs, {*{Theorem 8.1 85313S5PDB
| URI | m2://inv/85313S5PDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#VAGQ, Complete graphs, {*{Theorem 8.1 (statement). In 628KM8869P/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
The $\HOD$ Dichotomy, Woodin 8532FWH26R
| URI | m2://inv/8532FWH26R |
|---|---|
| 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.32338#RT5J, The $\HOD$ Dichotomy, Woodin (statement). In HVY45JQRNK/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
853D7MZEAN 853D7MZEAN
| URI | m2://inv/853D7MZEAN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#investigation-2 (exercise). In Y91XFCEVHQ, investigation, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
853KJFDVQT 853KJFDVQT
| URI | m2://inv/853KJFDVQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#148L (statement). In 9DQKY7KGE8/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
853NP2FXSK 853NP2FXSK
| URI | m2://inv/853NP2FXSK |
|---|---|
| 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 2610.05423#MLVG (statement). In 3ABGS3F1JG/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
power of five 853NRKX9RQ
| URI | m2://inv/853NRKX9RQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110982811, power of five (object). Also OEIS A000351
History
- 2026-10-26: add by m2/dev
Jing Cao 853TQSVGZX
| URI | m2://inv/853TQSVGZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jing Cao, Jing Cao (topic). Also Wikidata Q102301109
History
- 2026-11-02: add by m2/dev
compatibility with set of relations 853V0KMVMA
| URI | m2://inv/853V0KMVMA |
|---|---|
| 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.12484#FNJY, compatibility with set of relations (definition). In GW23NX78SB/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Collar neighbourhood 85432XCJZP
| URI | m2://inv/85432XCJZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collar neighbourhood, Collar neighbourhood (definition). Also Wikidata Q25383585
History
- 2026-11-02: add by m2/dev
8543W5GQ6Y 8543W5GQ6Y
| URI | m2://inv/8543W5GQ6Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#OBHS (example). In 5RMV7VP13X/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Generalizations 8544JE5CQ7
| URI | m2://inv/8544JE5CQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selfridge–Conway procedure#0L1A, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
8545NK36R3 8545NK36R3
| URI | m2://inv/8545NK36R3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#LUTX (statement)
History
- 2026-11-01: add by m2/v0.6.15
8546G8C04M 8546G8C04M
| URI | m2://inv/8546G8C04M |
|---|---|
| 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#XUKA (statement). In FC0SB9JFWH/e1, theorem 6.10
History
- 2026-10-27: add by m2/v0.3.5
854A0T4MJY 854A0T4MJY
| URI | m2://inv/854A0T4MJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#lem:invert-quant (statement). In PKGMM3P5QY, lem, section 61.9
History
- 2026-11-01: add by m2/v0.6.13
854C0JMQMW 854C0JMQMW
| URI | m2://inv/854C0JMQMW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#CABC (definition). In 9H45HQE7AZ/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
854FZYAKN5 854FZYAKN5
| URI | m2://inv/854FZYAKN5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_int-solns (example). In QKM9DD2H56, example, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
854JHEYE77 854JHEYE77
| URI | m2://inv/854JHEYE77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#K7AB (statement). In 9JZJTRRVR1/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
Earnshaw's theorem 854MAM2NAT
| URI | m2://inv/854MAM2NAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#82ZI, Earnshaw's theorem (statement)
History
- 2026-11-02: add by m2/dev
Spectral-level entropy 854SG2BGRG
| URI | m2://inv/854SG2BGRG |
|---|---|
| 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#JAZU, Spectral-level entropy (statement). In MBJA03ES8N/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Consensus decision-making 854VHGA6S8
| URI | m2://inv/854VHGA6S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus decision-making, Consensus decision-making (definition). Also Wikidata Q188577
History
- 2026-11-02: add by m2/dev
854VPADDAP 854VPADDAP
| URI | m2://inv/854VPADDAP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example:jumpdiscont (example). In E59CDZA4DP, example, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
Applications 854XDQXE28
| URI | m2://inv/854XDQXE28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel's paradox#4KHW, Applications (example)
History
- 2026-11-02: add by m2/dev
Universal finite potentials and the $q$-Bass existence criterion 8550DACYNW
| URI | m2://inv/8550DACYNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#3EQQ, Universal finite potentials and the $q$-Bass existence criterion (statement). In 9YAE8FNQST/e1, theorem 17.12
History
- 2026-10-30: add by m2/v0.4.12
Martin Charles Golumbic 8558362B1W
| URI | m2://inv/8558362B1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Charles Golumbic, Martin Charles Golumbic (topic). Also Wikidata Q6775135
History
- 2026-11-02: add by m2/dev
Talaska's formula 8559FZV67G
| URI | m2://inv/8559FZV67G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindström–Gessel–Viennot lemma#6O99, Talaska's formula (statement)
History
- 2026-11-02: add by m2/dev
855KDBTM1Y 855KDBTM1Y
| URI | m2://inv/855KDBTM1Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-23 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Backward-error amplification 855P96QP62
| URI | m2://inv/855P96QP62 |
|---|---|
| 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.20285#RTG3, Backward-error amplification (statement). In RQA728RB77/e1, corollary 28
History
- 2026-10-27: add by m2/v0.4.2
855Q36HWSC 855Q36HWSC
| URI | m2://inv/855Q36HWSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#4JPT (statement). In SD43497T8C/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
Kähler quotient 855TAS65K2
| URI | m2://inv/855TAS65K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler quotient, Kähler quotient (definition). Also Wikidata Q6453392
History
- 2026-11-02: add by m2/dev
855ZRDZARA 855ZRDZARA
| URI | m2://inv/855ZRDZARA |
|---|---|
| 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 0807.1652#TM95 (statement). In 6RC18PTSTT/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
A full-rank feasible witness of zero objective 85673JHC9Z
| URI | m2://inv/85673JHC9Z |
|---|---|
| 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.38375#R7JN, A full-rank feasible witness of zero objective (statement). In CHSB1TGAKB/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
super transitive 8569N8CQ3E
| URI | m2://inv/8569N8CQ3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4NU8, super transitive (definition)
History
- 2026-11-02: add by m2/dev
8569NGJXHP 8569NGJXHP
| URI | m2://inv/8569NGJXHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#2PM7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YΔY-reducible graphs 856BAYXRRY
| URI | m2://inv/856BAYXRRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YΔ- and ΔY-transformation#DADZ, YΔY-reducible graphs (unknown)
History
- 2026-11-02: add by m2/dev
Phase-field model 856BVVMRJW
| URI | m2://inv/856BVVMRJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-field model, Phase-field model (definition). Also Wikidata Q1640482
History
- 2026-11-02: add by m2/dev
Examples 856C7M5NN7
| URI | m2://inv/856C7M5NN7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive map#AMIX, Examples (example)
History
- 2026-11-02: add by m2/dev
856EMYDGF2 856EMYDGF2
| URI | m2://inv/856EMYDGF2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-37 (proof). In N54F33XE07, proof, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Second law 856FGQ0JXB
| URI | m2://inv/856FGQ0JXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#U09W, Second law (statement)
History
- 2026-11-02: add by m2/dev
856K1MVHXK 856K1MVHXK
| URI | m2://inv/856K1MVHXK |
|---|---|
| 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.00525#THZ8 (statement). In JN34PDDXH8/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Encoding of Parallel Rays 856K6BEQ7M
| URI | m2://inv/856K6BEQ7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28495#5JKM, Encoding of Parallel Rays (statement)
History
- 2026-11-01: add by m2/v0.6.15
pseudomonoid 856QGST0W0
| URI | m2://inv/856QGST0W0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107469124, pseudomonoid (unknown). Also nLab pseudomonoid
History
- 2026-10-26: add by m2/dev
Definition 856T3Z9V4B
| URI | m2://inv/856T3Z9V4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger curvature#GWK7, Definition (definition)
History
- 2026-11-02: add by m2/dev
856WK93FV7 856WK93FV7
| URI | m2://inv/856WK93FV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#HQ5N (statement). In GC2H0HS7ZM/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Complex Morse lemma 8572ZEFVWW
| URI | m2://inv/8572ZEFVWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of steepest descent#3S2R, Complex Morse lemma (statement)
History
- 2026-11-02: add by m2/dev
Applications 8573R0RJ9M
| URI | m2://inv/8573R0RJ9M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radius of curvature#ZVZ6, Applications (example)
History
- 2026-11-02: add by m2/dev
8578YS9EC7 8578YS9EC7
| URI | m2://inv/8578YS9EC7 |
|---|---|
| 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.09298#7Z09 (statement). In 1SPQ4J3AWY/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
David Oistrakh 857EDHXCE1
| URI | m2://inv/857EDHXCE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ZRCA, David Oistrakh (unknown)
History
- 2026-11-02: add by m2/dev
Peter of Spain 857FQ2K2P7
| URI | m2://inv/857FQ2K2P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#26M3, Peter of Spain (topic)
History
- 2026-11-02: add by m2/dev
Raymond O. Wells Jr. 857N2BXGVQ
| URI | m2://inv/857N2BXGVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond O. Wells Jr., Raymond O. Wells Jr. (topic). Also Wikidata Q15229369
History
- 2026-11-02: add by m2/dev
Edmund Harriss 857SRTV3HW
| URI | m2://inv/857SRTV3HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmund Harriss, Edmund Harriss (topic). Also Wikidata Q102267745
History
- 2026-11-02: add by m2/dev
Analyse-it 857TTX0J9D
| URI | m2://inv/857TTX0J9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analyse-it, Analyse-it (definition). Also Wikidata Q4751088
History
- 2026-11-02: add by m2/dev
tangent vector 857WNV3NF2
| URI | m2://inv/857WNV3NF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1179296, tangent vector (unknown). Also MathWorld ManifoldTangentVector, MathWorld TangentVector
- wikipedia: Wikipedia Tangent vector, Tangent vector (definition). Also Wikidata Q1179296
History
- 2026-10-26: add by m2/dev
8582MAZFKH 8582MAZFKH
| URI | m2://inv/8582MAZFKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#definition-2 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Cube-support collapse 858B3F9CC5
| URI | m2://inv/858B3F9CC5 |
|---|---|
| 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.07905#BL0K, Cube-support collapse (statement). In 88GEN3Z5VG/e1, corollary 7.15
History
- 2026-10-29: add by m2/v0.4.10
858BQ4KSC5 858BQ4KSC5
| URI | m2://inv/858BQ4KSC5 |
|---|---|
| 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.35762#YMOM (statement). In C9QEPN1E56/e1, theorem F.9
History
- 2026-10-30: add by m2/v0.4.12
Nathan Altman 858F8PAS4H
| URI | m2://inv/858F8PAS4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#VOSV, Nathan Altman (unknown)
History
- 2026-11-02: add by m2/dev
Lemma 1 858J4AASM1
| URI | m2://inv/858J4AASM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hammersley–Clifford theorem#TMPE, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Notation 858KQD6A5C
| URI | m2://inv/858KQD6A5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMH-Badger MAC#DG5H, Notation (definition)
History
- 2026-11-02: add by m2/dev
Character space 858MAP3SC6
| URI | m2://inv/858MAP3SC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach algebra#2J4Q, Character space (unknown)
History
- 2026-11-02: add by m2/dev
858SCFQZP0 858SCFQZP0
| URI | m2://inv/858SCFQZP0 |
|---|---|
| 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.05867#9NX1 (statement). In E2TP3AKTNV/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Lipschitz continuity and semiconvexity 858Z10G33G
| URI | m2://inv/858Z10G33G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#C8C6, Lipschitz continuity and semiconvexity (statement). In KM3Q791JY0/e1, proposition 2.32
History
- 2026-10-27: add by m2/v0.4.2
periodic functions 85966VE01E
| URI | m2://inv/85966VE01E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > periodic functions, periodic functions (unknown)
History
- 2026-10-26: add by m2/dev
Satisfaction 859897C61R
| URI | m2://inv/859897C61R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#defn:satisfaction, Satisfaction (definition). In PKGMM3P5QY, defn, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
85990H88SM 85990H88SM
| URI | m2://inv/85990H88SM |
|---|---|
| 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.21403#3HJW (statement)
History
- 2026-11-02: add by m2/v0.6.18
859ABDECY7 859ABDECY7
| URI | m2://inv/859ABDECY7 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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 2609.31331#5GT7 (conjecture). In TWB64HRHWZ/e1, conjecture 2
History
- 2026-10-31: add by m2/v0.5.6
859B65Y93H 859B65Y93H
| URI | m2://inv/859B65Y93H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#IGA8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parabola 859EH9KK8N
| URI | m2://inv/859EH9KK8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#OUZJ, Parabola (definition)
History
- 2026-11-02: add by m2/dev
Fixed-effect Poisson model 859F5K3DEY
| URI | m2://inv/859F5K3DEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-effect Poisson model, Fixed-effect Poisson model (definition). Also Wikidata Q25111834
History
- 2026-11-02: add by m2/dev
859G5MWHG0 859G5MWHG0
| URI | m2://inv/859G5MWHG0 |
|---|---|
| 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.20140#ZNLD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Petru Soltan 859G8AYS89
| URI | m2://inv/859G8AYS89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petru Soltan, Petru Soltan (topic). Also Wikidata Q4428488
History
- 2026-11-02: add by m2/dev
Loss functions for classification 859KQD9FJ4
| URI | m2://inv/859KQD9FJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loss functions for classification, Loss functions for classification (definition). Also Wikidata Q25048582
History
- 2026-11-02: add by m2/dev
Marcel Grossmann 859PCK3A7T
| URI | m2://inv/859PCK3A7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcel Grossmann, Marcel Grossmann (topic). Also Wikidata Q115769
History
- 2026-11-02: add by m2/dev
Complementary slackness for the covariance dual 859QG38Y3A
| URI | m2://inv/859QG38Y3A |
|---|---|
| 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.01855#IIBL, Complementary slackness for the covariance dual (statement). In MM8P5CJR18/e1, corollary 5.15
History
- 2026-10-29: add by m2/v0.4.12
Russell, Bertrand 859QQN9PYS
| URI | m2://inv/859QQN9PYS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/russell-bertrand, Russell, Bertrand (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
859TDV7TBC 859TDV7TBC
| URI | m2://inv/859TDV7TBC |
|---|---|
| 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.35323#OAUV (statement). In 5CKPXBWSCX/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Topological homomorphism 859V805WRQ
| URI | m2://inv/859V805WRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism, Topological homomorphism (definition). Also Wikidata Q96410322
History
- 2026-11-02: add by m2/dev
85A6KNEYT6 85A6KNEYT6
| URI | m2://inv/85A6KNEYT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#2P7T (statement). In Q62MDENP26/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
85A8G6MQYB 85A8G6MQYB
| URI | m2://inv/85A8G6MQYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#AK20 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Census and Statistics Department 85AAQKNDHG
| URI | m2://inv/85AAQKNDHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census and Statistics Department, Census and Statistics Department (definition). Also Wikidata Q839897
History
- 2026-11-02: add by m2/dev
Change of variable formula 85AJ09V2SG
| URI | m2://inv/85AJ09V2SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushforward measure#EBH4, Change of variable formula (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 85AK449EB2
| URI | m2://inv/85AK449EB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro conformal block#F13Y, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Counterexamples 85AKB9BNV3
| URI | m2://inv/85AKB9BNV3 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Macaulay ring#XY6M, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
Theorem 85ANMGNPPV
| URI | m2://inv/85ANMGNPPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic eigenvalue problem#RV79, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mann's theorem 85AQ5FG8C6
| URI | m2://inv/85AQ5FG8C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HI0F, Mann's theorem (definition)
History
- 2026-11-02: add by m2/dev
85AVDH37E8 85AVDH37E8
| URI | m2://inv/85AVDH37E8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 53.1
History
- 2026-11-01: add by m2/v0.6.13
85BC61598S 85BC61598S
| URI | m2://inv/85BC61598S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#II9J (statement). In F0E8YBV0Z0/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
Chasles' theorem 85BJ47ZM7K
| URI | m2://inv/85BJ47ZM7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16893062, Chasles' theorem (statement). Also MathWorld ChaslessTheorem
- wikipedia: Wikipedia Chasles' theorem (geometry), Chasles' theorem (statement). Also Wikidata Q16893062
History
- 2026-10-26: add by m2/dev
85BM0GW35B 85BM0GW35B
| URI | m2://inv/85BM0GW35B |
|---|---|
| Kind | definition |
| 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.33442#05IT (definition). In EWY5YPMKA3/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Marina Logares 85BPMEPCYJ
| URI | m2://inv/85BPMEPCYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marina Logares, Marina Logares (topic). Also Wikidata Q67456575
History
- 2026-11-02: add by m2/dev
Muriel Glauert 85BQHQ4HEF
| URI | m2://inv/85BQHQ4HEF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muriel Glauert, Muriel Glauert (topic). Also Wikidata Q93509338
History
- 2026-11-02: add by m2/dev
85BT88Y7V8 85BT88Y7V8
| URI | m2://inv/85BT88Y7V8 |
|---|---|
| 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 2202.07274#P8NW (statement). In V5WGBGKYXN/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.6
85BW2GMVAD 85BW2GMVAD
| URI | m2://inv/85BW2GMVAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#REXH (statement)
History
- 2026-11-02: add by m2/v0.6.17
85C8MZ4VGZ 85C8MZ4VGZ
| URI | m2://inv/85C8MZ4VGZ |
|---|---|
| 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 2605.00407#V15X (statement). In TVFD0G3F2W/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
85C9GD55RW 85C9GD55RW
| URI | m2://inv/85C9GD55RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#13KO (statement). In KR7WXN4EWR/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
matrix transformation 85CFGHZ14A
| URI | m2://inv/85CFGHZ14A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.5.2/matrix-transformation, matrix transformation (concept). In 649HGZKE96, index, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Penrose tiling 85CK4X5Q4J
| URI | m2://inv/85CK4X5Q4J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Penrose tiling MBE83FTRBG |
Mentions
- wikidata: Wikidata Q585688, Penrose tiling (concept). Also MathWorld PenroseTiles
- wikipedia: Wikipedia Penrose tiling, Penrose tiling (object). Also Wikidata Q585688
History
- 2026-10-26: add by m2/dev
Linear estimate in Hyperbolic group 85CQEZFJ3B
| URI | m2://inv/85CQEZFJ3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#VQ75, Linear estimate in Hyperbolic group (statement). In A4VP56CT7B/e1, corollary 8.1
History
- 2026-10-28: add by m2/v0.4.2
85CXSG6WM2 85CXSG6WM2
| URI | m2://inv/85CXSG6WM2 |
|---|---|
| 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 2207.07461#QJDN (statement). In GAG532VMPF/e1, theorem 7.1.3
History
- 2026-10-27: add by m2/v0.3.5
Hildegard Rothe-Ille 85DDCCMP2X
| URI | m2://inv/85DDCCMP2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hildegard Rothe-Ille, Hildegard Rothe-Ille (topic). Also Wikidata Q1618366
History
- 2026-11-02: add by m2/dev
111,111,111 (number) 85DGKH1JA1
| URI | m2://inv/85DGKH1JA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000,000#KOL7, 111,111,111 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Ko 85DKHVGYW8
| URI | m2://inv/85DKHVGYW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#2JQ1, Ko (unknown)
History
- 2026-11-02: add by m2/dev
Richard Lipton 85DTWJFVP6
| URI | m2://inv/85DTWJFVP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1YYV, Richard Lipton (unknown)
History
- 2026-11-02: add by m2/dev
85E7VVEHYC 85E7VVEHYC
| URI | m2://inv/85E7VVEHYC |
|---|---|
| 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.36334#KUVT (statement). In YVB70SBGN1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Applications 85EJ9XAZ7D
| URI | m2://inv/85EJ9XAZ7D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-dimensional algebra#ZNC9, Applications (example)
History
- 2026-11-02: add by m2/dev
85EMNATCY8 85EMNATCY8
| URI | m2://inv/85EMNATCY8 |
|---|---|
| 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.10576#BUJQ (statement). In N3ZA5MDZBW/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.10
Jules Drach 85F4SVF95A
| URI | m2://inv/85F4SVF95A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jules Drach, Jules Drach (topic). Also Wikidata Q6305813
History
- 2026-11-02: add by m2/dev
85FFBFDHFG 85FFBFDHFG
| URI | m2://inv/85FFBFDHFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#91KG (statement). In 1NY2SA03XF/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
J. G. Charney 85FG846WNP
| URI | m2://inv/85FG846WNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#DIIM, J. G. Charney (unknown)
History
- 2026-11-02: add by m2/dev
1/ ∞ 85FJZJPYKR
| URI | m2://inv/85FJZJPYKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal#CS2S, 1/ ∞ (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic properties 85FRSQTR3R
| URI | m2://inv/85FRSQTR3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ljubljana graph#UBNU, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
general Leibniz rule 85G3BEMQY6
| URI | m2://inv/85G3BEMQY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#YZEA, general Leibniz rule (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 85G7KS9J3S
| URI | m2://inv/85G7KS9J3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron's irreducibility criterion#LENY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Circular distribution 85G9YZ1JQ2
| URI | m2://inv/85G9YZ1JQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular distribution, Circular distribution (definition). Also Wikidata Q5121661
History
- 2026-11-02: add by m2/dev
gamma number 85GET4D5AG
| URI | m2://inv/85GET4D5AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#0SHQ, gamma number (definition)
History
- 2026-11-02: add by m2/dev
85GT15445K 85GT15445K
| URI | m2://inv/85GT15445K |
|---|---|
| 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.11965#ELCD (statement). In 48QX0QD0XR/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.3
85GYQB4XN2 85GYQB4XN2
| URI | m2://inv/85GYQB4XN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.31389#L8IE (statement). In YS0YFQEYE1/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Properties 85GYYZDEMZ
| URI | m2://inv/85GYYZDEMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fish curve#PL8Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
regression 85H8MGBMT8
| URI | m2://inv/85H8MGBMT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105675274, regression (unknown). Also MathWorld Regression
History
- 2026-10-26: add by m2/dev
Endpoint asymptotic 85HBXB90WC
| URI | m2://inv/85HBXB90WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29898#8TYQ, Endpoint asymptotic (statement)
History
- 2026-11-01: add by m2/v0.6.15
85HBZ0KV0W 85HBZ0KV0W
| URI | m2://inv/85HBZ0KV0W |
|---|---|
| Kind | example |
| 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#P267 (example). In HX63A1PH1W/e1, example 7.17
History
- 2026-10-28: add by m2/v0.4.3
85HFK2G5ZB 85HFK2G5ZB
| URI | m2://inv/85HFK2G5ZB |
|---|---|
| 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 2610.00115#6PUM (statement). In JK8PYKCZRA/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
regular 85HK2HVH88
| URI | m2://inv/85HK2HVH88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#NZAW, regular (definition)
History
- 2026-11-02: add by m2/dev
Hamiltonian completion 85HMSZ23KM
| URI | m2://inv/85HMSZ23KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#ZZJT, Hamiltonian completion (definition)
History
- 2026-11-02: add by m2/dev
Multi-surface method 85HN41SSRD
| URI | m2://inv/85HN41SSRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-surface method, Multi-surface method (definition). Also Wikidata Q18378107
History
- 2026-11-02: add by m2/dev
Identity-based conditional proxy re-encryption 85HWMHCW4P
| URI | m2://inv/85HWMHCW4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity-based conditional proxy re-encryption, Identity-based conditional proxy re-encryption (statement). Also Wikidata Q22909121
History
- 2026-11-02: add by m2/dev
Sobolev embedding 85J0KGYP7E
| URI | m2://inv/85J0KGYP7E |
|---|---|
| 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.32561#FNRL, Sobolev embedding (statement). In NBT0ZCHBB6/e1, theorem 10
History
- 2026-10-31: add by m2/v0.5.6
85J4KC0YN6 85J4KC0YN6
| URI | m2://inv/85J4KC0YN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#6L8R (statement). In BDN507RN7J/e1, proposition 4.5.4
History
- 2026-10-30: add by m2/v0.4.12
Real coordinate space 85J5Y5NZGM
| URI | m2://inv/85J5Y5NZGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real coordinate space, Real coordinate space (definition). Also Wikidata Q15629907
History
- 2026-11-02: add by m2/dev
persuasive definition 85J6SF2NPR
| URI | m2://inv/85J6SF2NPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#K11O, persuasive definition (definition)
History
- 2026-11-02: add by m2/dev
Euclidean CFT axioms 85JFP35KPX
| URI | m2://inv/85JFP35KPX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic quantum field theory#WL5W, Euclidean CFT axioms (statement)
History
- 2026-11-02: add by m2/dev
Second law of thermodynamics 85JNQAKTXW
| URI | m2://inv/85JNQAKTXW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#NRYS, Second law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Johann Gottlieb Friedrich von Bohnenberger 85JVNYM53E
| URI | m2://inv/85JVNYM53E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Gottlieb Friedrich von Bohnenberger, Johann Gottlieb Friedrich von Bohnenberger (topic). Also Wikidata Q65183
History
- 2026-11-02: add by m2/dev
James John Smith 85JZEF87DB
| URI | m2://inv/85JZEF87DB |
|---|---|
| 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#5A1S, James John Smith (unknown)
History
- 2026-11-02: add by m2/dev
Tate motive 85K3FG3R3F
| URI | m2://inv/85K3FG3R3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic character#ARXT, Tate motive (unknown)
History
- 2026-11-02: add by m2/dev
Claus Moser 85KE8RE561
| URI | m2://inv/85KE8RE561 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ID10, Claus Moser (topic)
History
- 2026-11-02: add by m2/dev
85KHYWQMDX 85KHYWQMDX
| URI | m2://inv/85KHYWQMDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#V43D (statement). In Z4TD36VFPW/e1, proposition 1.11
History
- 2026-10-29: add by m2/v0.4.12
uncountably infinite set 85KQYKC2CB
| URI | m2://inv/85KQYKC2CB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141102737, uncountably infinite set (unknown). Also MathWorld UncountablyInfinite
History
- 2026-10-26: add by m2/dev
85M0T1ZWWR 85M0T1ZWWR
| URI | m2://inv/85M0T1ZWWR |
|---|---|
| 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.20416#9CIO (statement). In P603M3M91A/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.2
Magda Peligrad 85MPBX1TPG
| URI | m2://inv/85MPBX1TPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magda Peligrad, Magda Peligrad (topic). Also Wikidata Q43735258
History
- 2026-11-02: add by m2/dev
RDP guarantees of OPS with sub-Gaussian log-likelihood ratio 85MQBJFYF9
| URI | m2://inv/85MQBJFYF9 |
|---|---|
| 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#3ZU8, RDP guarantees of OPS with sub-Gaussian log-likelihood ratio (statement). In NM6Z2R61CN/e1, corollary 8
History
- 2026-10-28: add by m2/v0.4.2
Over-, exact and under-differentiation 85MSGBVY24
| URI | m2://inv/85MSGBVY24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04452#QBVA, Over-, exact and under-differentiation (statement). In ZV3ANMKJ0Y/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
85MXW0HQ4A 85MXW0HQ4A
| URI | m2://inv/85MXW0HQ4A |
|---|---|
| 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.08837#5WD0 (statement). In KBH265QSBT/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
85MY78ME0Q 85MY78ME0Q
| URI | m2://inv/85MY78ME0Q |
|---|---|
| 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.13745#2L8B (statement). In CFJH0Q39FZ/e1, theorem 8.8
History
- 2026-10-28: add by m2/v0.4.2
85MYGVGTM4 85MYGVGTM4
| URI | m2://inv/85MYGVGTM4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17527#E3CH (definition). In GWSBQ7MN49/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Estimates 85N0MPEA5H
| URI | m2://inv/85N0MPEA5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#1KKS, \textbf{Estimates (statement). In H4CM84JVPC/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Applications 85N4YES3A7
| URI | m2://inv/85N4YES3A7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese postman problem#LSIL, Applications (example)
History
- 2026-11-02: add by m2/dev
Degree-two primaries 85N5GV3TE3
| URI | m2://inv/85N5GV3TE3 |
|---|---|
| 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 2610.10828#TBGN, Degree-two primaries (statement). In 8PTDFHV8SQ/e1, theorem 13.1
History
- 2026-10-28: add by m2/v0.4.3
85NHC9VN02 85NHC9VN02
| URI | m2://inv/85NHC9VN02 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
85NQ6M3899 85NQ6M3899
| URI | m2://inv/85NQ6M3899 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
85NRS4VMSK 85NRS4VMSK
| URI | m2://inv/85NRS4VMSK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#MLL8 (definition). In P7KT88N75Q/e1, definition 1.10
History
- 2026-10-29: add by m2/v0.4.10
85NYQ2D8HC 85NYQ2D8HC
| URI | m2://inv/85NYQ2D8HC |
|---|---|
| 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.21692#WMRP (definition)
History
- 2026-11-02: add by m2/v0.6.18
Claude Gaspar Bachet de Méziriac 85P2JQ0A78
| URI | m2://inv/85P2JQ0A78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q371882, Claude Gaspar Bachet de Méziriac (unknown). Also ProofWiki Mathematician:Claude_Gaspard_Bachet_de_Méziriac
- wikipedia: Wikipedia Claude Gaspar Bachet de Méziriac, Claude Gaspar Bachet de Méziriac (topic). Also Wikidata Q371882
History
- 2026-10-26: add by m2/dev
Examples 85P9JAVHQF
| URI | m2://inv/85P9JAVHQF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler number#XBB8, Examples (example)
History
- 2026-11-02: add by m2/dev
complex number 85PC1NKX1N
| URI | m2://inv/85PC1NKX1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Complex numbers 09FTAET5Z4 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > complex number, complex number (unknown). Also Mathlib Complex
- wikidata: Wikidata Q11567, complex number (definition). Also EoM Complex_number, Mathlib Complex, MathWorld ComplexNumber, ProofWiki Definition:Complex_Number
- wikipedia: Wikipedia Complex number, Complex number (definition). Also Wikidata Q11567
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
85PD40J0CC 85PD40J0CC
| URI | m2://inv/85PD40J0CC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/fixed-point-thm.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithms 85PHP66BE7
| URI | m2://inv/85PHP66BE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopcroft's problem#34N4, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
AP Precalculus 85PMRZMP4K
| URI | m2://inv/85PMRZMP4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AP Precalculus, AP Precalculus (definition). Also Wikidata Q112317006
History
- 2026-11-02: add by m2/dev
Bertrand Russell 85PP6QYJ4E
| URI | m2://inv/85PP6QYJ4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#4KIQ, Bertrand Russell (topic)
History
- 2026-11-02: add by m2/dev
Matilde Marcolli 85PQCTGWMF
| URI | m2://inv/85PQCTGWMF |
|---|---|
| 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#BB29, Matilde Marcolli (unknown)
History
- 2026-11-02: add by m2/dev
Roland Bulirsch 85PQVEYQHB
| URI | m2://inv/85PQVEYQHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland Bulirsch, Roland Bulirsch (topic). Also Wikidata Q1531022
History
- 2026-11-02: add by m2/dev
Converse of theorem 85PV1FZVA4
| URI | m2://inv/85PV1FZVA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#GEU6, Converse of theorem (statement)
History
- 2026-11-02: add by m2/dev
Characterization 85PYNQFRG7
| URI | m2://inv/85PYNQFRG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis of a matroid#2531, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Fundamental --- \textsc{Sub-Eq 85QBSQPBRY
| URI | m2://inv/85QBSQPBRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#GCSA, Fundamental --- \textsc{Sub-Eq (statement). In CPYWHRTPKC/e1, lemma 6.72
History
- 2026-10-27: add by m2/v0.4.2
Doug Lind 85QEBA796B
| URI | m2://inv/85QEBA796B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doug Lind, Doug Lind (topic). Also Wikidata Q70114361
History
- 2026-11-02: add by m2/dev
Properties 85QFMDQNS0
| URI | m2://inv/85QFMDQNS0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cliquish function#4QL3, Properties (statement)
History
- 2026-11-02: add by m2/dev
wormhole 85QMRKDPDT
| URI | m2://inv/85QMRKDPDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7544, wormhole (unknown). Also nLab wormhole
- wikipedia: Wikipedia Wormhole, Wormhole (definition). Also Wikidata Q7544
History
- 2026-10-26: add by m2/dev
Examples 85QNQHZM92
| URI | m2://inv/85QNQHZM92 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation up to homotopy#Z3TA, Examples (example)
History
- 2026-11-02: add by m2/dev
Confrontation analysis 85QR6813QW
| URI | m2://inv/85QR6813QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confrontation analysis, Confrontation analysis (definition). Also Wikidata Q5160295
History
- 2026-11-02: add by m2/dev
William J. Firey 85QTCTV3FR
| URI | m2://inv/85QTCTV3FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William J. Firey, William J. Firey (topic). Also Wikidata Q55825345
History
- 2026-11-02: add by m2/dev
85QZBCD5YZ 85QZBCD5YZ
| URI | m2://inv/85QZBCD5YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-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.09333#G6OO (statement). In Z9HC1EDTQP/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Theorem 85QZC5N6WP
| URI | m2://inv/85QZC5N6WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Horn theorem#KV51, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Lusona 85RC7Q6K18
| URI | m2://inv/85RC7Q6K18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusona, Lusona (definition). Also Wikidata Q60742901
History
- 2026-11-02: add by m2/dev
Bayes factor 85RHYSNEXZ
| URI | m2://inv/85RHYSNEXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes factor, Bayes factor (definition). Also Wikidata Q4165283
History
- 2026-11-02: add by m2/dev
Mean-field game theory 85RQDEFD72
| URI | m2://inv/85RQDEFD72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean-field game theory, Mean-field game theory (topic). Also Wikidata Q15883550
History
- 2026-11-02: add by m2/dev
Marvin Zelen 85RS2QC97Q
| URI | m2://inv/85RS2QC97Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SHXL, Marvin Zelen (topic)
History
- 2026-11-02: add by m2/dev
postulation 85RWVC5E4V
| URI | m2://inv/85RWVC5E4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#V6X0, postulation (definition)
History
- 2026-11-02: add by m2/dev
Emmanuel David Tannenbaum 85SBTNXGC0
| URI | m2://inv/85SBTNXGC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmanuel David Tannenbaum, Emmanuel David Tannenbaum (topic). Also Wikidata Q5373204
History
- 2026-11-02: add by m2/dev
Modal clausal form 85SG6QM5Q8
| URI | m2://inv/85SG6QM5Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal clausal form, Modal clausal form (definition). Also Wikidata Q124243792
History
- 2026-11-02: add by m2/dev
85SNA97WD2 85SNA97WD2
| URI | m2://inv/85SNA97WD2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-133 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Lebesgue--Vitali theorem 85STP67PBH
| URI | m2://inv/85STP67PBH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.4.2/lebesgue-vitali-theorem, Lebesgue--Vitali theorem (concept). In E59CDZA4DP, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
Nominalism 85SV9FCMP3
| URI | m2://inv/85SV9FCMP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nominalism, Nominalism (definition). Also Wikidata Q202253
History
- 2026-11-02: add by m2/dev
85T1XKQ6WS 85T1XKQ6WS
| URI | m2://inv/85T1XKQ6WS |
|---|---|
| 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.23593#KC45 (statement)
History
- 2026-11-02: add by m2/v0.6.17
85TBB92KVY 85TBB92KVY
| URI | m2://inv/85TBB92KVY |
|---|---|
| Kind | example |
| 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 2302.04566#8EZ9 (example). In 80S2NP05HJ/e1, example 3.6
History
- 2026-10-27: add by m2/v0.4.0
Iosif Vitebskiy 85TBX362QG
| URI | m2://inv/85TBX362QG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#2OV5, Iosif Vitebskiy (unknown)
History
- 2026-11-02: add by m2/dev
85TZYZMCVF 85TZYZMCVF
| URI | m2://inv/85TZYZMCVF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#CRZE (problem). In RZWJ0AT8W5/e1, problem 6.11
History
- 2026-10-31: add by m2/v0.5.6
85V1TY70ZK 85V1TY70ZK
| URI | m2://inv/85V1TY70ZK |
|---|---|
| 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 2610.20956#2FIK (statement). In X9WFC1D9ZS/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.2
Dieter Rödding 85V3D8CS9C
| URI | m2://inv/85V3D8CS9C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieter Rödding, Dieter Rödding (topic). Also Wikidata Q15428471
History
- 2026-11-02: add by m2/dev
Gaussian minus exponential distribution 85V6D6V4JE
| URI | m2://inv/85V6D6V4JE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentially modified Gaussian distribution#JMTG, Gaussian minus exponential distribution (unknown)
History
- 2026-11-02: add by m2/dev
Class field theory 85VE4MQKG7
| URI | m2://inv/85VE4MQKG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#H516, Class field theory (definition)
History
- 2026-11-02: add by m2/dev
Armand Borel 85VME90CK8
| URI | m2://inv/85VME90CK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123474, Armand Borel (unknown). Also nLab Armand Borel
- wikipedia: Wikipedia Armand Borel, Armand Borel (topic). Also Wikidata Q123474
History
- 2026-10-26: add by m2/dev
Ernst Hairer 85VMK42GD7
| URI | m2://inv/85VMK42GD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Hairer, Ernst Hairer (topic). Also Wikidata Q88587
History
- 2026-11-02: add by m2/dev
85VNB9YJGG 85VNB9YJGG
| URI | m2://inv/85VNB9YJGG |
|---|---|
| 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 1009.3308#T7SD (statement). In KGBKNQB52Z/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
Alpha max plus beta min algorithm 85VS7V1P6E
| URI | m2://inv/85VS7V1P6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha max plus beta min algorithm, Alpha max plus beta min algorithm (definition). Also Wikidata Q4735165
History
- 2026-11-02: add by m2/dev
Posterior, boundary, and spectral reduction 85VTZTYWVH
| URI | m2://inv/85VTZTYWVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39190#KXOE, Posterior, boundary, and spectral reduction (statement). In J144J3ANFZ/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
85VVBRRCSV 85VVBRRCSV
| URI | m2://inv/85VVBRRCSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.23884#KYN2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
George Greenhill 85VWMZT5MD
| URI | m2://inv/85VWMZT5MD |
|---|---|
| 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#1TZG, George Greenhill (unknown)
History
- 2026-11-02: add by m2/dev
85W9GBXQ9S 85W9GBXQ9S
| URI | m2://inv/85W9GBXQ9S |
|---|---|
| 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 2506.16491#Y1OC (statement). In P9J6P06Y40/e1, lemma 4.18
History
- 2026-10-27: add by m2/v0.3.5
Definite matrix 85WC4W6CH7
| URI | m2://inv/85WC4W6CH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite matrix, Definite matrix (definition). Also Wikidata Q77601250
History
- 2026-11-02: add by m2/dev
Allan Birnbaum 85WRMCCYEK
| URI | m2://inv/85WRMCCYEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QS55, Allan Birnbaum (topic)
History
- 2026-11-02: add by m2/dev
Charles Bossut 85X5KG8GCW
| URI | m2://inv/85X5KG8GCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Bossut, Charles Bossut (topic). Also Wikidata Q860178
History
- 2026-11-02: add by m2/dev
Computation 85XGHCECTM
| URI | m2://inv/85XGHCECTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of regression analysis#4HKT, Computation (definition)
History
- 2026-11-02: add by m2/dev
Durable-goods monopolists and the Coase conjecture 85XM1ESFBM
| URI | m2://inv/85XM1ESFBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pacman conjecture#42OV, Durable-goods monopolists and the Coase conjecture (statement)
History
- 2026-11-02: add by m2/dev
85XN8SPGXT 85XN8SPGXT
| URI | m2://inv/85XN8SPGXT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-5 (proof). In RZP28ERRZV, proof, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Continuous q-Jacobi polynomials 85XV3FY60X
| URI | m2://inv/85XV3FY60X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous q-Jacobi polynomials, Continuous q-Jacobi polynomials (definition). Also Wikidata Q5165509
History
- 2026-11-02: add by m2/dev
Phase diagram 85XWP6JQY8
| URI | m2://inv/85XWP6JQY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase diagram, Phase diagram (definition). Also Wikidata Q186693
History
- 2026-11-02: add by m2/dev
Sergio Ferrara 85XXSYFTPX
| URI | m2://inv/85XXSYFTPX |
|---|---|
| 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#WWZB, Sergio Ferrara (unknown)
History
- 2026-11-02: add by m2/dev
algebraic set 85Y2WNRVYN
| URI | m2://inv/85Y2WNRVYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#QDFV, algebraic set (definition)
History
- 2026-11-02: add by m2/dev
85Y8G3AS2H 85Y8G3AS2H
| URI | m2://inv/85Y8G3AS2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 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.33263#H9LQ (definition). In 6S5EH3388Z/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Weak Arnold conjecture 85YBBD9CSF
| URI | m2://inv/85YBBD9CSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold conjecture#RL74, Weak Arnold conjecture (statement)
History
- 2026-11-02: add by m2/dev
Krull dimension 85YCMNGG67
| URI | m2://inv/85YCMNGG67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Krull dimension MVGBS3J1P7 |
Mentions
- wikidata: Wikidata Q1225713, Krull dimension (definition). Also MathWorld KrullDimension, ProofWiki Definition:Krull_Dimension
- wikipedia: Wikipedia Krull dimension, Krull dimension (definition). Also Wikidata Q1225713
History
- 2026-10-26: add by m2/dev
85YDBPTZY4 85YDBPTZY4
| URI | m2://inv/85YDBPTZY4 |
|---|---|
| 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.26745#A6UC (statement)
History
- 2026-11-01: add by m2/v0.6.15
85YFJ0XX9G 85YFJ0XX9G
| URI | m2://inv/85YFJ0XX9G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#0CMK (definition). In V7SN19J84T/e1, definition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Scale parameter 85YJ5836X3
| URI | m2://inv/85YJ5836X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SZYV, Scale parameter (definition)
History
- 2026-11-02: add by m2/dev
Properties 85YS9VF65T
| URI | m2://inv/85YS9VF65T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contractible space#B21N, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications 85YZ3752WX
| URI | m2://inv/85YZ3752WX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius function#ZRHH, Applications (example)
History
- 2026-11-02: add by m2/dev
Enumeration 85YZQJ1G5J
| URI | m2://inv/85YZQJ1G5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph theory#I0YM, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Mori's minimal model program 85Z1JY043Y
| URI | m2://inv/85Z1JY043Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#D8VA, Mori's minimal model program (definition)
History
- 2026-11-02: add by m2/dev
85Z3SP1Q4Z 85Z3SP1Q4Z
| URI | m2://inv/85Z3SP1Q4Z |
|---|---|
| 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.39531#AMA9 (statement). In SN9RSTHQ07/e1, corollary D.3
History
- 2026-10-30: add by m2/v0.4.12
Construction 85ZA66E9M2
| URI | m2://inv/85ZA66E9M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of matrices#9W1Q, Construction (definition)
History
- 2026-11-02: add by m2/dev
Corollary 2 85ZGSMVCHF
| URI | m2://inv/85ZGSMVCHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation code#Y5I2, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
85ZRTMEJY0 85ZRTMEJY0
| URI | m2://inv/85ZRTMEJY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06038#TU6V (statement). In 4TJGTZWJVK/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10