Inventory rows BR
The cards of the rows of the inventory whose ids start with BR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hopf link BR08PCHTN9
| URI | m2://inv/BR08PCHTN9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hopf link JMWHKWD7EX |
Mentions
- wikidata: Wikidata Q864313, Hopf link (concept). Also MathWorld HopfLink, nLab Hopf link
- wikipedia: Wikipedia Hopf link, Hopf link (definition). Also Wikidata Q864313
History
- 2026-10-26: add by m2/dev
BR0HMEJ3BC BR0HMEJ3BC
| URI | m2://inv/BR0HMEJ3BC |
|---|---|
| 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.17442#WC44 (statement). In 6ADGJ51W1P/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Gramian characterization of informative data BR0K2T2X2W
| URI | m2://inv/BR0K2T2X2W |
|---|---|
| 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.25431#7E13, Gramian characterization of informative data (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elementary spectral properties of $P^2$ BR0KW4C3RP
| URI | m2://inv/BR0KW4C3RP |
|---|---|
| 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.00077#CCYA, Elementary spectral properties of $P^2$ (statement). In C04B15GH1T/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
System of Integrated Environmental and Economic Accounting BR0SDRMJ36
| URI | m2://inv/BR0SDRMJ36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of Integrated Environmental and Economic Accounting, System of Integrated Environmental and Economic Accounting (definition). Also Wikidata Q2492067
History
- 2026-11-02: add by m2/dev
Rigidity on a ball BR0SPDBNMB
| URI | m2://inv/BR0SPDBNMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#LYXQ, Rigidity on a ball (statement)
History
- 2026-11-01: add by m2/v0.6.15
BR0XWJT9M3 BR0XWJT9M3
| URI | m2://inv/BR0XWJT9M3 |
|---|---|
| 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.06463#SRDX (statement). In 3WWY9K1K9V/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Pointwise Fractal Explicit Formula With Error Term; , Theorem 5.10, page 153 BR14HDABA9
| URI | m2://inv/BR14HDABA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#K6H4, Pointwise Fractal Explicit Formula With Error Term; , Theorem 5.10, page 153 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Integrally convex set BR15QDME4G
| URI | m2://inv/BR15QDME4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrally convex set, Integrally convex set (definition). Also Wikidata Q96382181
History
- 2026-11-02: add by m2/dev
\textbf{Non-asymptotic error bound of UBU-type ULMC under log-concavity BR17T0C75B
| URI | m2://inv/BR17T0C75B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#4VQG, \textbf{Non-asymptotic error bound of UBU-type ULMC under log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Manhattan distance BR1ETHZ5DY
| URI | m2://inv/BR1ETHZ5DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#D9QY, Manhattan distance (definition)
History
- 2026-11-02: add by m2/dev
Proposition BR1ND5BJXS
| URI | m2://inv/BR1ND5BJXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Alaoglu theorem#9OEM, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Judith Covington BR1QRD6Y0H
| URI | m2://inv/BR1QRD6Y0H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judith Covington, Judith Covington (topic). Also Wikidata Q97585712
History
- 2026-11-02: add by m2/dev
Sentence BR1TD7XJ32
| URI | m2://inv/BR1TD7XJ32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn-3, Sentence (definition). In PKGMM3P5QY, defn, section 19.9
History
- 2026-11-01: add by m2/v0.6.13
pregroup grammar BR1TTMNXY8
| URI | m2://inv/BR1TTMNXY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7239914, pregroup grammar (unknown). Also nLab pregroup grammar
History
- 2026-10-26: add by m2/dev
Philosophical razor BR26WYK0G9
| URI | m2://inv/BR26WYK0G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophical razor, Philosophical razor (definition). Also Wikidata Q7299618
History
- 2026-11-02: add by m2/dev
Methods for robust regression BR277NBD7K
| URI | m2://inv/BR277NBD7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust regression#SPHD, Methods for robust regression (definition)
History
- 2026-11-02: add by m2/dev
Exact GOE polar decomposition BR2HGYYF0J
| URI | m2://inv/BR2HGYYF0J |
|---|---|
| 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.27200#LTRS, Exact GOE polar decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
BR2PEKYSZM BR2PEKYSZM
| URI | m2://inv/BR2PEKYSZM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#EVCC (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
BR2R49K41R BR2R49K41R
| URI | m2://inv/BR2R49K41R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#P24Z (statement). In 9ZD87293QS/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.0
data set BR2TMR8DNB
| URI | m2://inv/BR2TMR8DNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#NGVT, data set (definition)
History
- 2026-11-02: add by m2/dev
BR2Y3FA4KW BR2Y3FA4KW
| URI | m2://inv/BR2Y3FA4KW |
|---|---|
| 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.05486#V9D4 (statement). In 5Z46AK2XTC/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
BR31E4TF9N BR31E4TF9N
| URI | m2://inv/BR31E4TF9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#6YMJ (statement). In 3Y76AQQGF0/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
BR3F4MZ68C BR3F4MZ68C
| URI | m2://inv/BR3F4MZ68C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Robert Franklin Muirhead BR3N0ES1T0
| URI | m2://inv/BR3N0ES1T0 |
|---|---|
| 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#TA69, Robert Franklin Muirhead (topic)
History
- 2026-11-02: add by m2/dev
Properties BR40C4G27X
| URI | m2://inv/BR40C4G27X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular map#XEMF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties BR40KHAQ8Q
| URI | m2://inv/BR40KHAQ8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew gradient#HUEP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Alfred Pringsheim BR4BDVGV2A
| URI | m2://inv/BR4BDVGV2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#W8KG, Alfred Pringsheim (topic)
History
- 2026-11-02: add by m2/dev
Fourier-Bessel disk harmonic BR4E337VSQ
| URI | m2://inv/BR4E337VSQ |
|---|---|
| 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 2609.26537#8P1E, Fourier-Bessel disk harmonic (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition BR4NDN5ZX2
| URI | m2://inv/BR4NDN5ZX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collinearity equation#Q0E4, Definition (definition)
History
- 2026-11-02: add by m2/dev
BR4RKRK0YF BR4RKRK0YF
| URI | m2://inv/BR4RKRK0YF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-30 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Quasi-sphere BR4THQM7DC
| URI | m2://inv/BR4THQM7DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-sphere, Quasi-sphere (definition). Also Wikidata Q28001208
History
- 2026-11-02: add by m2/dev
BR51WGM6P2 BR51WGM6P2
| URI | m2://inv/BR51WGM6P2 |
|---|---|
| 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.35920#IXUH (statement). In 5D5HW98PTH/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Lévy process BR52SR2MSG
| URI | m2://inv/BR52SR2MSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy process, Lévy process (definition). Also Wikidata Q1557613
History
- 2026-11-02: add by m2/dev
Definition BR54675G5D
| URI | m2://inv/BR54675G5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant estimator#T44F, Definition (definition)
History
- 2026-11-02: add by m2/dev
axiom, of infinity BR56ACA2EG
| URI | m2://inv/BR56ACA2EG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/axiom-of-infinity, axiom, of infinity (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
BR5EE71XXX BR5EE71XXX
| URI | m2://inv/BR5EE71XXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#4YBZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
BR5GG5WEN0 BR5GG5WEN0
| URI | m2://inv/BR5GG5WEN0 |
|---|---|
| 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.24739#4ZZM (statement)
History
- 2026-11-01: add by m2/v0.6.15
damped sine wave BR5SWNK2ND
| URI | m2://inv/BR5SWNK2ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#NIXZ, damped sine wave (definition)
History
- 2026-11-02: add by m2/dev
José Miguel Figueroa-O'Farrill BR5T8RTDX9
| URI | m2://inv/BR5T8RTDX9 |
|---|---|
| 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 Q102271742, José Miguel Figueroa-O'Farrill (unknown). Also nLab José Figueroa-O’Farrill
History
- 2026-10-26: add by m2/dev
Transfer-matrix method BR6491PH49
| URI | m2://inv/BR6491PH49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer-matrix method (statistical mechanics), Transfer-matrix method (definition). Also Wikidata Q7833983
History
- 2026-11-02: add by m2/dev
Three Sisters (Northern Cape) BR6P04DCMX
| URI | m2://inv/BR6P04DCMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EEG3, Three Sisters (Northern Cape) (unknown)
History
- 2026-11-02: add by m2/dev
BR6XPQAGY4 BR6XPQAGY4
| URI | m2://inv/BR6XPQAGY4 |
|---|---|
| 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.14838#GWDR (statement). In J7ZX3WWRQP/e1, lemma 2.28
History
- 2026-10-28: add by m2/v0.4.2
Properties BR70PKPB0C
| URI | m2://inv/BR70PKPB0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma process#S4EO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Extensions BR71G5NQHR
| URI | m2://inv/BR71G5NQHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff algorithm#4K8I, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Genetic algorithm BR786G7Q2Q
| URI | m2://inv/BR786G7Q2Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#9151, Genetic algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Wave–particle duality BR78M3HVGH
| URI | m2://inv/BR78M3HVGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#6G20, Wave–particle duality (unknown)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#3W2U, Wave–particle duality (unknown)
History
- 2026-11-02: add by m2/dev
BR7B3EE1DE BR7B3EE1DE
| URI | m2://inv/BR7B3EE1DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27906#P8M8 (statement). In 5MPDK2NW2M/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
Applications BR7C0CQXPK
| URI | m2://inv/BR7C0CQXPK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bifurcation diagram#6WCC, Applications (example)
History
- 2026-11-02: add by m2/dev
Drowning BR7E2Y0R8C
| URI | m2://inv/BR7E2Y0R8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#AAEN, Drowning (unknown)
History
- 2026-11-02: add by m2/dev
Michael Makkai BR7EJMK771
| URI | m2://inv/BR7EJMK771 |
|---|---|
| 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 Q1163898, Michael Makkai (unknown). Also nLab Michael Makkai
- wikipedia: Wikipedia Michael Makkai, Michael Makkai (topic). Also Wikidata Q1163898
History
- 2026-10-26: add by m2/dev
Password BR7GEJF2H3
| URI | m2://inv/BR7GEJF2H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Password, Password (definition). Also Wikidata Q161157
History
- 2026-11-02: add by m2/dev
BR7KGKSTP3 BR7KGKSTP3
| URI | m2://inv/BR7KGKSTP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#36DW (statement). In CA4C9PFM1E/e1, proposition 5.3.1
History
- 2026-10-30: add by m2/v0.4.12
Pre-algebra BR7WKDVG7Z
| URI | m2://inv/BR7WKDVG7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-algebra, Pre-algebra (definition). Also Wikidata Q16990740
History
- 2026-11-02: add by m2/dev
BR7YF5RCKZ BR7YF5RCKZ
| URI | m2://inv/BR7YF5RCKZ |
|---|---|
| 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.36622#UC1U (statement). In 9704QPRPR6/e1, proposition 3.14
History
- 2026-10-30: add by m2/v0.4.12
BR80FRMDT1 BR80FRMDT1
| URI | m2://inv/BR80FRMDT1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#RBNC (definition). In 1A01NFHBGA/e1, definition 1.13
History
- 2026-10-28: add by m2/v0.4.3
Stability of Monge-Amp\`ere measure BR82S2542S
| URI | m2://inv/BR82S2542S |
|---|---|
| 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.12165#SP5Q, Stability of Monge-Amp\`ere measure (statement). In 3JSE8A9CFH/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Generalizations BR82XT9S6M
| URI | m2://inv/BR82XT9S6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3D rotation group#L1R8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Chambolle–Pock algorithm BR87QPWH8W
| URI | m2://inv/BR87QPWH8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chambolle–Pock algorithm, Chambolle–Pock algorithm (definition). Also Wikidata Q120436553
History
- 2026-11-02: add by m2/dev
Monomial BR883EEEMK
| URI | m2://inv/BR883EEEMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#3WBV, Monomial (definition)
History
- 2026-11-02: add by m2/dev
null-polarity BR89DNJM73
| URI | m2://inv/BR89DNJM73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#0UQK, null-polarity (definition)
History
- 2026-11-02: add by m2/dev
Horizontal composition BR8CKR14FK
| URI | m2://inv/BR8CKR14FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural transformation#Z20L, Horizontal composition (unknown)
History
- 2026-11-02: add by m2/dev
Chinese origins of Hindu-Arabic Numerals Hypothesis BR8H0VV4D1
| URI | m2://inv/BR8H0VV4D1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lam Lay Yong#HGHR, Chinese origins of Hindu-Arabic Numerals Hypothesis (statement)
History
- 2026-11-02: add by m2/dev
BR8MS8WPBE BR8MS8WPBE
| URI | m2://inv/BR8MS8WPBE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-21 (example). In E9HS8K3A52, example, section 5.6.3
History
- 2026-11-01: add by m2/v0.6.13
BR8NF8PEDJ BR8NF8PEDJ
| URI | m2://inv/BR8NF8PEDJ |
|---|---|
| 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.27771#6H8O (statement)
History
- 2026-11-01: add by m2/v0.6.15
BR8SEQP8QJ BR8SEQP8QJ
| URI | m2://inv/BR8SEQP8QJ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
trace BR926H7YJG
| URI | m2://inv/BR926H7YJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#PUGJ, trace (definition)
History
- 2026-11-02: add by m2/dev
Interpretability BR9CF67QBN
| URI | m2://inv/BR9CF67QBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretability, Interpretability (definition). Also Wikidata Q17027399
History
- 2026-11-02: add by m2/dev
Pochhammer contour BR9VGJZFE8
| URI | m2://inv/BR9VGJZFE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pochhammer contour, Pochhammer contour (definition). Also Wikidata Q7206325
History
- 2026-11-02: add by m2/dev
BR9Y1A57J0 BR9Y1A57J0
| URI | m2://inv/BR9Y1A57J0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#SDAC (definition). In 6B2PCEGCYZ/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Cluster-weighted modeling BRA1QWNMHG
| URI | m2://inv/BRA1QWNMHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RUBY, Cluster-weighted modeling (definition)
History
- 2026-11-02: add by m2/dev
Definition BRA523AS3Z
| URI | m2://inv/BRA523AS3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric displacement field#1TLO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Chart (topology) BRA55KGYA9
| URI | m2://inv/BRA55KGYA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atlas (topology)#4M5R, Chart (topology) (unknown)
History
- 2026-11-02: add by m2/dev
Franz Woepcke BRA68B00HT
| URI | m2://inv/BRA68B00HT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#RKDT, Franz Woepcke (unknown)
History
- 2026-11-02: add by m2/dev
coprime BRA6VFF96Z
| URI | m2://inv/BRA6VFF96Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#HUFL, coprime (definition)
History
- 2026-11-02: add by m2/dev
Fake past BRA74JVQQ0
| URI | m2://inv/BRA74JVQQ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterfactual conditional#5NF3, Fake past (unknown)
History
- 2026-11-02: add by m2/dev
Open Mapping Theorem BRAFMMMR49
| URI | m2://inv/BRAFMMMR49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Webbed space#5GXY, Open Mapping Theorem (statement)
History
- 2026-11-02: add by m2/dev
BRAMFXK2F8 BRAMFXK2F8
| URI | m2://inv/BRAMFXK2F8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.15432#KY4O (definition). In D1DFM4WYEW/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
BRAT67WR8G BRAT67WR8G
| URI | m2://inv/BRAT67WR8G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08625#EVDX (definition). In F2Y9SQ2VP4/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
BRAWBYJMBZ BRAWBYJMBZ
| URI | m2://inv/BRAWBYJMBZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#5NVZ (example)
History
- 2026-11-02: add by m2/v0.6.18
Definitions BRAYDRNT5Z
| URI | m2://inv/BRAYDRNT5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic and separating vector#KTT6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
BRB1CKVZR9 BRB1CKVZR9
| URI | m2://inv/BRB1CKVZR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#35VB (statement). In 43TBS9P2PX/e1, fact 3.1
History
- 2026-10-28: add by m2/v0.4.2
hyperconnected space BRBE2PS70T
| URI | m2://inv/BRBE2PS70T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hyperconnected space 38CDCK1RYB |
Mentions
- wikidata: Wikidata Q1673182, hyperconnected space (unknown). Also EoM Irreducible_topological_space
- wikipedia: Wikipedia Hyperconnected space, Hyperconnected space (definition). Also Wikidata Q1673182
History
- 2026-10-26: add by m2/dev
BRBG8PRR6H BRBG8PRR6H
| URI | m2://inv/BRBG8PRR6H |
|---|---|
| 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 2609.21914#QANJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
BRBMC65KM4 BRBMC65KM4
| URI | m2://inv/BRBMC65KM4 |
|---|---|
| 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.22090#3QU1 (statement). In NKJWGF050C/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
BRBW6Z6W0D BRBW6Z6W0D
| URI | m2://inv/BRBW6Z6W0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#PAW2 (statement). In 17W5G060QX/e1, proposition 7.4
History
- 2026-10-31: add by m2/v0.5.6
Definition BRC6YWMGHZ
| URI | m2://inv/BRC6YWMGHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal language#NFC2, Definition (definition)
History
- 2026-11-02: add by m2/dev
BRCKTKQGMQ BRCKTKQGMQ
| URI | m2://inv/BRCKTKQGMQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#DWXX (example). In M0SQY5EZN5/e1, example 4.8.1
History
- 2026-10-27: add by m2/v0.3.5
BRCZBVZM79 BRCZBVZM79
| URI | m2://inv/BRCZBVZM79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:logical form for iff (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Formulation BRD3WDKJ4E
| URI | m2://inv/BRD3WDKJ4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griffiths inequality#SJM6, Formulation (definition)
History
- 2026-11-02: add by m2/dev
List of books about polyhedra BRDEY20VWQ
| URI | m2://inv/BRDEY20VWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of books about polyhedra, List of books about polyhedra (topic). Also Wikidata Q6608057
History
- 2026-11-02: add by m2/dev
BRDKJTCXCS BRDKJTCXCS
| URI | m2://inv/BRDKJTCXCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.07695#2M0H (statement). In 8Z47D12KSX/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.10
Erdős space BRDKRGRZ0M
| URI | m2://inv/BRDKRGRZ0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#IHIJ, Erdős space (definition)
History
- 2026-11-02: add by m2/dev
BRDQVAP9VK BRDQVAP9VK
| URI | m2://inv/BRDQVAP9VK |
|---|---|
| Kind | definition |
| 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.29107#ZPIZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Brad Delson BRDR9RB4A8
| URI | m2://inv/BRDR9RB4A8 |
|---|---|
| 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#61KU, Brad Delson (unknown)
History
- 2026-11-02: add by m2/dev
BRDRAS9TMY BRDRAS9TMY
| URI | m2://inv/BRDRAS9TMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#1JJW (statement). In VTVC0TCWSB/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
BRDRB70FWV BRDRB70FWV
| URI | m2://inv/BRDRB70FWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#TYQC (statement). In X3RFXWN6FW/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.6
BRDSTZM2BA BRDSTZM2BA
| URI | m2://inv/BRDSTZM2BA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#MWDP (example)
History
- 2026-11-02: add by m2/v0.6.18
Ludwig Wittgenstein BRDV6CMVHY
| URI | m2://inv/BRDV6CMVHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HDXO, Ludwig Wittgenstein (topic)
History
- 2026-11-02: add by m2/dev
BRE226SD50 BRE226SD50
| URI | m2://inv/BRE226SD50 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
BRE3RPEHPJ BRE3RPEHPJ
| URI | m2://inv/BRE3RPEHPJ |
|---|---|
| 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.36186#FYAE (statement). In 30PQN6JP7W/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
Giovanni Forni BRE4T4Z3HM
| URI | m2://inv/BRE4T4Z3HM |
|---|---|
| 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#8161, Giovanni Forni (topic)
History
- 2026-11-02: add by m2/dev
Büchi arithmetic BREWC4FKAS
| URI | m2://inv/BREWC4FKAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi arithmetic, Büchi arithmetic (definition). Also Wikidata Q5005255
History
- 2026-11-02: add by m2/dev
Kadane's algorithm BRF19FDRTB
| URI | m2://inv/BRF19FDRTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#E561, Kadane's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Wilhelm Winter BRF1VV3ZA8
| URI | m2://inv/BRF1VV3ZA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Winter, Wilhelm Winter (topic). Also Wikidata Q23929133
History
- 2026-11-02: add by m2/dev
Applications BRF4QH55F3
| URI | m2://inv/BRF4QH55F3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex optimization#U8P2, Applications (example)
History
- 2026-11-02: add by m2/dev
BRF8AZGPZ3 BRF8AZGPZ3
| URI | m2://inv/BRF8AZGPZ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#0F7X (definition). In PG0B4PH9YH/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Examples BRFCZ4VV2F
| URI | m2://inv/BRFCZ4VV2F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev space#QQUV, Examples (example)
History
- 2026-11-02: add by m2/dev
BRFE3XB5G7 BRFE3XB5G7
| URI | m2://inv/BRFE3XB5G7 |
|---|---|
| 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.15723#7D92 (statement). In A3KXZ2GBHN/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Kelly criterion BRFPV7ETM1
| URI | m2://inv/BRFPV7ETM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#G6OI, Kelly criterion (statement)
History
- 2026-11-02: add by m2/dev
SSM Convergence under Distributed Learning BRFRET7J8P
| URI | m2://inv/BRFRET7J8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02659#DCDL, SSM Convergence under Distributed Learning (statement). In EV933413SJ/e1, corollary D.7
History
- 2026-10-29: add by m2/v0.4.12
BRFX0WQ18V BRFX0WQ18V
| URI | m2://inv/BRFX0WQ18V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#C4UZ (definition). In PEXJPV3NP8/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Properties BRFZ4H1MRN
| URI | m2://inv/BRFZ4H1MRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary unit#KEH5, Properties (statement)
History
- 2026-11-02: add by m2/dev
BRG5G7WC9D BRG5G7WC9D
| URI | m2://inv/BRG5G7WC9D |
|---|---|
| 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.27715#JFRB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chebyshev system BRG6Z8H6A7
| URI | m2://inv/BRG6Z8H6A7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#9CTB, Chebyshev system (definition). In 5ZPQ60TM6J/e1, definition 27
History
- 2026-10-28: add by m2/v0.4.2
BRG81ZNVCA BRG81ZNVCA
| URI | m2://inv/BRG81ZNVCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#PEGS (statement). In SYZFEVFHC3/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Karen M. Bliss BRG9WWMA8G
| URI | m2://inv/BRG9WWMA8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen M. Bliss, Karen M. Bliss (topic). Also Wikidata Q91040804
History
- 2026-11-02: add by m2/dev
Choquet game BRGD9QAZ32
| URI | m2://inv/BRGD9QAZ32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choquet game, Choquet game (definition). Also Wikidata Q18205969
History
- 2026-11-02: add by m2/dev
Properties BRGDKS4EBR
| URI | m2://inv/BRGDKS4EBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John ellipsoid#TXHE, Properties (statement)
History
- 2026-11-02: add by m2/dev
BRGHV948WQ BRGHV948WQ
| URI | m2://inv/BRGHV948WQ |
|---|---|
| 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.18281#NX91 (statement). In QYD0EJM85G/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
BRGMPNNFBB BRGMPNNFBB
| URI | m2://inv/BRGMPNNFBB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#106Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Scalar field (quantum field theory) BRGN4K74GE
| URI | m2://inv/BRGN4K74GE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar field theory#X1SG, Scalar field (quantum field theory) (unknown)
History
- 2026-11-02: add by m2/dev
BRGQXN5YY5 BRGQXN5YY5
| URI | m2://inv/BRGQXN5YY5 |
|---|---|
| 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 2602.02346#1H23 (statement). In 1JSNWJH3BX/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Definition BRGSND2AEP
| URI | m2://inv/BRGSND2AEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monus#6K2G, Definition (definition)
History
- 2026-11-02: add by m2/dev
BRGYCF67W0 BRGYCF67W0
| URI | m2://inv/BRGYCF67W0 |
|---|---|
| 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.09949#K1KY (statement). In VGJVFCDV8A/e1, lemma 2.25
History
- 2026-10-29: add by m2/v0.4.10
abhenry BRGZNHS3Z1
| URI | m2://inv/BRGZNHS3Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4667368, abhenry (definition). Also ProofWiki Definition:Abhenry
History
- 2026-10-26: add by m2/dev
BRHABTKGE2 BRHABTKGE2
| URI | m2://inv/BRHABTKGE2 |
|---|---|
| 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.26191#G84I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Filling area conjecture BRHGQ3E3CP
| URI | m2://inv/BRHGQ3E3CP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#5R06, Filling area conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
theory of algebraic field extensions BRHRY56MVY
| URI | m2://inv/BRHRY56MVY |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 12F05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114682716, theory of algebraic field extensions (topic)
History
- 2026-10-26: add by m2/dev
supertrue BRHRZ3Z2VX
| URI | m2://inv/BRHRZ3Z2VX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E2SF, supertrue (definition)
History
- 2026-11-02: add by m2/dev
Why the finite braid-input assumption matters BRJ2XZE23D
| URI | m2://inv/BRJ2XZE23D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#QAA4, Why the finite braid-input assumption matters (example)
History
- 2026-11-01: add by m2/v0.6.15
BRJ3W6EN2P BRJ3W6EN2P
| URI | m2://inv/BRJ3W6EN2P |
|---|---|
| Kind | example |
| 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.13295#931I (example). In 8Q7QXTWD0S/e1, example 6.10
History
- 2026-10-28: add by m2/v0.4.2
BRJ9B6509C BRJ9B6509C
| URI | m2://inv/BRJ9B6509C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#XMH2 (statement). In AZMX0CY5NE/e1, proposition 35
History
- 2026-10-27: add by m2/v0.4.2
BRJA78D1CT BRJA78D1CT
| URI | m2://inv/BRJA78D1CT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-12 (example). In RZP28ERRZV, example, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
Infimum BRJH77XM1P
| URI | m2://inv/BRJH77XM1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#SVAR, Infimum (definition)
History
- 2026-11-02: add by m2/dev
Formal statement of the theorem BRJMDG0FF2
| URI | m2://inv/BRJMDG0FF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casorati–Weierstrass theorem#O9QA, Formal statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Comparison of the surfaces and their function spaces BRJPJAYNZQ
| URI | m2://inv/BRJPJAYNZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#9JR1, Comparison of the surfaces and their function spaces (statement). In E31CZYM2H8/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Definition BRJWA1HPAF
| URI | m2://inv/BRJWA1HPAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance modulus#2X12, Definition (definition)
History
- 2026-11-02: add by m2/dev
Completion of a metric space BRK3K0A3ZB
| URI | m2://inv/BRK3K0A3ZB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#prob:completion, Completion of a metric space (exercise). In RZP28ERRZV, dproblem, section 99.5
History
- 2026-11-01: add by m2/v0.6.13
BRK4HTQE61 BRK4HTQE61
| URI | m2://inv/BRK4HTQE61 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#QOX2 (example). In ZZ2P08DVQW/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
BRKCYTE9KW BRKCYTE9KW
| URI | m2://inv/BRKCYTE9KW |
|---|---|
| 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 2509.05577#3TQY (statement). In EFWBREMZAP/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
BRKHRH65CF BRKHRH65CF
| URI | m2://inv/BRKHRH65CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#BETZ (statement). In PQHTR84RAJ/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
Stable manifold theorem BRKHZZN9J3
| URI | m2://inv/BRKHZZN9J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable manifold theorem#POWP, Stable manifold theorem (statement)
History
- 2026-11-02: add by m2/dev
BRKNJ9B0HF BRKNJ9B0HF
| URI | m2://inv/BRKNJ9B0HF |
|---|---|
| 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.05506#ORH5 (statement). In FT53PMB1TE/e1, lemma 4.1.1
History
- 2026-10-29: add by m2/v0.4.10
6-demicube BRKPT67JC2
| URI | m2://inv/BRKPT67JC2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6D3Q, 6-demicube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7JLK, 6-demicube (object)
History
- 2026-11-02: add by m2/dev
BRKZ6C6NHG BRKZ6C6NHG
| URI | m2://inv/BRKZ6C6NHG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example-4 (example). In E59CDZA4DP, example, section 5.1.5
History
- 2026-11-01: add by m2/v0.6.13
Pignistic probability BRKZS3P7HZ
| URI | m2://inv/BRKZS3P7HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pignistic probability, Pignistic probability (definition). Also Wikidata Q7193426
History
- 2026-11-02: add by m2/dev
orthogonal projection BRM23F9V4X
| URI | m2://inv/BRM23F9V4X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.3.3/orthogonal-projection, orthogonal projection (concept). In 649HGZKE96, index, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Content BRM6JDAG7Z
| URI | m2://inv/BRM6JDAG7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Content (measure theory), Content (definition). Also Wikidata Q5165061
History
- 2026-11-02: add by m2/dev
BRM737EWRC BRM737EWRC
| URI | m2://inv/BRM737EWRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#FI14 (statement). In RYB8WE6DQ4/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
BRMAGHWE7R BRMAGHWE7R
| URI | m2://inv/BRMAGHWE7R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 1912.02769#XJ0A (definition). In JH7VQ2EC16/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
BRMCX3PQ1S BRMCX3PQ1S
| URI | m2://inv/BRMCX3PQ1S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#problem-1 (exercise). In P1C114YBXG, problem, section J
History
- 2026-11-01: add by m2/v0.6.13
BRMD6AM0B7 BRMD6AM0B7
| URI | m2://inv/BRMD6AM0B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21494#F48X (statement). In ZWT4C1DYPE/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.4.2
Felix Klein Protocols BRMDXVJJTT
| URI | m2://inv/BRMDXVJJTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Klein Protocols, Felix Klein Protocols (definition). Also Wikidata Q5442249
History
- 2026-11-02: add by m2/dev
Ludwig Danzer BRMMVD8G73
| URI | m2://inv/BRMMVD8G73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Danzer, Ludwig Danzer (topic). Also Wikidata Q54932469
History
- 2026-11-02: add by m2/dev
BRMPSJ4G6A BRMPSJ4G6A
| URI | m2://inv/BRMPSJ4G6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#G74Z (statement). In GHKR740SG3/e1, theorem 15.10
History
- 2026-10-31: add by m2/v0.5.6
BRMXDJRPMG BRMXDJRPMG
| URI | m2://inv/BRMXDJRPMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#UCN3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition BRN92FT838
| URI | m2://inv/BRN92FT838 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted median#DWFF, Definition (definition)
History
- 2026-11-02: add by m2/dev
BRNA2BH8X8 BRNA2BH8X8
| URI | m2://inv/BRNA2BH8X8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
Notation BRNCFRN2V1
| URI | m2://inv/BRNCFRN2V1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#IP4E, Notation (definition)
History
- 2026-11-02: add by m2/dev
BRNPTCRK52 BRNPTCRK52
| URI | m2://inv/BRNPTCRK52 |
|---|---|
| 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.23128#PIHZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
BRNXMFC40P BRNXMFC40P
| URI | m2://inv/BRNXMFC40P |
|---|---|
| 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 2507.05923#1BOB (statement). In ZFKZ6YDT62/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.0
BRNZB31JD1 BRNZB31JD1
| URI | m2://inv/BRNZB31JD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#IU3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Accessibility relation BRP65H8828
| URI | m2://inv/BRP65H8828 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessibility relation, Accessibility relation (definition). Also Wikidata Q2663311
History
- 2026-11-02: add by m2/dev
Banach–Mazur compactum BRP9KMWX27
| URI | m2://inv/BRP9KMWX27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#USYO, Banach–Mazur compactum (definition)
History
- 2026-11-02: add by m2/dev
Enumeration BRPBEENEZR
| URI | m2://inv/BRPBEENEZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite ring#7KJY, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
$\delta$-perturbations BRPD9NZPFY
| URI | m2://inv/BRPD9NZPFY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.08233#NEL3, $\delta$-perturbations (definition). In 2TXXQ2575Y/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
Krassimir Atanassov BRPFEYNQW1
| URI | m2://inv/BRPFEYNQW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TYBS, Krassimir Atanassov (unknown)
History
- 2026-11-02: add by m2/dev
BRPGVC11M6 BRPGVC11M6
| URI | m2://inv/BRPGVC11M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2409.01237#Z82R (statement). In M9VHCG48HB/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
BRPJVHYKB5 BRPJVHYKB5
| URI | m2://inv/BRPJVHYKB5 |
|---|---|
| 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 2609.25457#TKHZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations BRPMDVKVEY
| URI | m2://inv/BRPMDVKVEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vickrey auction#K48G, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Karin Erdmann BRPQ0V6FDY
| URI | m2://inv/BRPQ0V6FDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karin Erdmann, Karin Erdmann (topic). Also Wikidata Q3702070
History
- 2026-11-02: add by m2/dev
Adapted $\rho$-neighbourhood BRPS23XE6G
| URI | m2://inv/BRPS23XE6G |
|---|---|
| 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.09596#O8LX, Adapted $\rho$-neighbourhood (definition). In HXFA55BREZ/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
BRPWM7ZYE0 BRPWM7ZYE0
| URI | m2://inv/BRPWM7ZYE0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Terminology BRQ28MD6SA
| URI | m2://inv/BRQ28MD6SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical coordinate system#JRK8, Terminology (definition)
History
- 2026-11-02: add by m2/dev
BRQC1QV62X BRQC1QV62X
| URI | m2://inv/BRQC1QV62X |
|---|---|
| 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.40156#Q25O (statement). In PP8BEHWK33/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Satoshi Suzuki BRQHQX89XJ
| URI | m2://inv/BRQHQX89XJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satoshi Suzuki (mathematician), Satoshi Suzuki (topic). Also Wikidata Q37738009
History
- 2026-11-02: add by m2/dev
Matching pennies BRQHSDHV76
| URI | m2://inv/BRQHSDHV76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching pennies, Matching pennies (definition). Also Wikidata Q915573
History
- 2026-11-02: add by m2/dev
homotopy category BRQTP69TJ5
| URI | m2://inv/BRQTP69TJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Z06S, homotopy category (definition)
History
- 2026-11-02: add by m2/dev
Lemma BRR3QCZQJ8
| URI | m2://inv/BRR3QCZQJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform convergence in probability#XCXW, Lemma (statement)
History
- 2026-11-02: add by m2/dev
BRR79EQ613 BRR79EQ613
| URI | m2://inv/BRR79EQ613 |
|---|---|
| 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.14914#SSHJ (statement). In CHC3T113Y4/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
BRR9FXQZHC BRR9FXQZHC
| URI | m2://inv/BRR9FXQZHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#O09X (statement). In 4H727T2YAS/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Unit residues at an arbitrary prime BRRPWE6NQM
| URI | m2://inv/BRRPWE6NQM |
|---|---|
| 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.15262#12EB, Unit residues at an arbitrary prime (statement). In C44HVXWYRF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
BRRSG0BSDY BRRSG0BSDY
| URI | m2://inv/BRRSG0BSDY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#RO0R (definition). In ZA6XNBA90V/e1, definition 1.11
History
- 2026-10-27: add by m2/v0.3.5
Example 2 BRRTS74GQ6
| URI | m2://inv/BRRTS74GQ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional expectation#0AHE, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Definition BRRXZZQ9CP
| URI | m2://inv/BRRXZZQ9CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic index#353F, Definition (definition)
History
- 2026-11-02: add by m2/dev
local minimum BRS05R1QY7
| URI | m2://inv/BRS05R1QY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Local minimum 09WRNGPTMV |
Mentions
- wikidata: Wikidata Q91052291, local minimum (unknown). Also MathWorld LocalMinimum
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Images of compacts are compact BRS7NDXR37
| URI | m2://inv/BRS7NDXR37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#theorem-1, Images of compacts are compact (statement). In RZP28ERRZV, theorem, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
BRSB19RD6Z BRSB19RD6Z
| URI | m2://inv/BRSB19RD6Z |
|---|---|
| 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.32440#J06P (statement). In 8WP6FQHZBM/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Greek alphabet BRSHWX1169
| URI | m2://inv/BRSHWX1169 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8216, Greek alphabet (unknown). Also ProofWiki Symbols:Greek_Alphabet
History
- 2026-10-26: add by m2/dev
BRSRVJV0F9 BRSRVJV0F9
| URI | m2://inv/BRSRVJV0F9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
angle of attack BRST0W5TBF
| URI | m2://inv/BRST0W5TBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q370906, angle of attack (unknown). Also MathWorld AngleofAttack
History
- 2026-10-26: add by m2/dev
BRT0YW7KSG BRT0YW7KSG
| URI | m2://inv/BRT0YW7KSG |
|---|---|
| Kind | definition |
| 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#RKWP (definition). In A4VP56CT7B/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Jacob ibn Tibbon BRT3RK1CWF
| URI | m2://inv/BRT3RK1CWF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YAIR, Jacob ibn Tibbon (unknown)
History
- 2026-11-02: add by m2/dev
New York State Mathematics League BRT42M2HJ7
| URI | m2://inv/BRT42M2HJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#OFOB, New York State Mathematics League (unknown)
History
- 2026-11-02: add by m2/dev
BRT5KREJTP BRT5KREJTP
| URI | m2://inv/BRT5KREJTP |
|---|---|
| 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.03337#4P1N (statement). In VH7EZDGTNA/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
The Number of Subsets of a Set BRT71WYYQE
| URI | m2://inv/BRT71WYYQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 52, The Number of Subsets of a Set (statement). Also Mathlib Finset.card_powerset
History
- 2026-10-26: add by m2/dev
BRT7650ZJ1 BRT7650ZJ1
| URI | m2://inv/BRT7650ZJ1 |
|---|---|
| Kind | definition |
| 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.12817#OO6I (definition). In FPSGZ5S6YF/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
BRTBCANS8W BRTBCANS8W
| URI | m2://inv/BRTBCANS8W |
|---|---|
| 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.23341#C011 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications BRTPF2J5PG
| URI | m2://inv/BRTPF2J5PG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mechanics#Q1ZB, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition BRTR9A7SRH
| URI | m2://inv/BRTR9A7SRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#QYN9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Behrend BRTWN80Y72
| URI | m2://inv/BRTWN80Y72 |
|---|---|
| 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 2609.29653#BNIP, Behrend (statement)
History
- 2026-11-01: add by m2/v0.6.15
Verdier duality BRTZW3ABMT
| URI | m2://inv/BRTZW3ABMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#ISUJ, Verdier duality (definition)
History
- 2026-11-02: add by m2/dev
BRV0FN650Q BRV0FN650Q
| URI | m2://inv/BRV0FN650Q |
|---|---|
| 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 2405.05684#ATT5 (statement). In 1PR73ECTZB/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
BRVBKXCZMC BRVBKXCZMC
| URI | m2://inv/BRVBKXCZMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#EH4E (statement). In B5GGGWNJA6/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.3
Rank-three obstruction rigidity BRVD81A231
| URI | m2://inv/BRVD81A231 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#XE7V, Rank-three obstruction rigidity (statement). In XDTM624YPE/e1, theorem 14.2
History
- 2026-10-27: add by m2/v0.4.2
Isometries BRVG6DZAJ4
| URI | m2://inv/BRVG6DZAJ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.17004#JGBU, Isometries (definition). In XNJGNMS6H0/e1, definition B.12
History
- 2026-10-28: add by m2/v0.4.2
Notation BRVH7WVDQD
| URI | m2://inv/BRVH7WVDQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small Latin squares and quasigroups#S3DX, Notation (definition)
History
- 2026-11-02: add by m2/dev
Pfister form BRVSXGVVPR
| URI | m2://inv/BRVSXGVVPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfister form, Pfister form (definition). Also Wikidata Q7179798
History
- 2026-11-02: add by m2/dev
Quasi-polynomial BRVTZS5GTT
| URI | m2://inv/BRVTZS5GTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-polynomial, Quasi-polynomial (definition). Also Wikidata Q4218420
History
- 2026-11-02: add by m2/dev
BRW2VKQQG6 BRW2VKQQG6
| URI | m2://inv/BRW2VKQQG6 |
|---|---|
| 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.17547#A1BQ (statement). In XJ59TDP4HA/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Table of Newtonian series BRW7857W59
| URI | m2://inv/BRW7857W59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#V19T, Table of Newtonian series (definition)
History
- 2026-11-02: add by m2/dev
Witch of Agnesi BRWDYWFWS6
| URI | m2://inv/BRWDYWFWS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WSO3, Witch of Agnesi (definition)
- wikipedia: Wikipedia List of curves#CPHL, Witch of Agnesi (definition)
History
- 2026-11-02: add by m2/dev
proton decay BRWGHMJ5CG
| URI | m2://inv/BRWGHMJ5CG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1065997, proton decay (unknown). Also nLab proton decay
History
- 2026-10-26: add by m2/dev
Minimum spanning tree problem BRWK3QNGRX
| URI | m2://inv/BRWK3QNGRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#I8EJ, Minimum spanning tree problem (definition)
History
- 2026-11-02: add by m2/dev
Helix (cipher) BRWNCWGKC4
| URI | m2://inv/BRWNCWGKC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phelix#FU99, Helix (cipher) (unknown)
History
- 2026-11-02: add by m2/dev
Richard Rado BRWQ721HHW
| URI | m2://inv/BRWQ721HHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q6MZ, Richard Rado (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#73RD, Richard Rado (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TNG2, Richard Rado (topic)
History
- 2026-11-02: add by m2/dev
Wrapped distribution BRWS8GZ92M
| URI | m2://inv/BRWS8GZ92M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped distribution, Wrapped distribution (definition). Also Wikidata Q8037605
History
- 2026-11-02: add by m2/dev
Square orthobicupola BRWXDYYVDJ
| URI | m2://inv/BRWXDYYVDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DBJ1, Square orthobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4IFM, Square orthobicupola (definition)
History
- 2026-11-02: add by m2/dev
Order convergence BRX8K36VQF
| URI | m2://inv/BRX8K36VQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order convergence, Order convergence (definition). Also Wikidata Q96397660
History
- 2026-11-02: add by m2/dev
BRXB7NTD15 BRXB7NTD15
| URI | m2://inv/BRXB7NTD15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#PYN5 (statement). In TC5QA4AB4Z/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Formal definition BRXEJ39PPC
| URI | m2://inv/BRXEJ39PPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supercompact cardinal#D6BK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition BRXF2ZXCHV
| URI | m2://inv/BRXF2ZXCHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson manifold#PGYS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Countably compact BRXKRQY4JP
| URI | m2://inv/BRXKRQY4JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#DDA7, Countably compact (definition)
History
- 2026-11-02: add by m2/dev
BRXNYVJBQB BRXNYVJBQB
| URI | m2://inv/BRXNYVJBQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#L35K (definition)
History
- 2026-11-01: add by m2/v0.6.15
BRXR9N1680 BRXR9N1680
| URI | m2://inv/BRXR9N1680 |
|---|---|
| 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.18673#C13E (definition). In 7ZFD9XRKA1/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Properties BRXVJR3DPZ
| URI | m2://inv/BRXVJR3DPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PA degree#BSVG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dijkstra's algorithm BRY2AED871
| URI | m2://inv/BRY2AED871 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.3.1/dijkstra-s-algorithm, Dijkstra's algorithm (concept). In QKM9DD2H56, index, section 12.3.1
History
- 2026-11-01: add by m2/v0.6.13
Heat capacity BRY63190P9
| URI | m2://inv/BRY63190P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat capacity, Heat capacity (definition). Also Wikidata Q179388
History
- 2026-11-02: add by m2/dev
Definition BRYDSZBV05
| URI | m2://inv/BRYDSZBV05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes classifier#278V, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fivefold Gaussian convexity below half mass BRYGFYX5QT
| URI | m2://inv/BRYGFYX5QT |
|---|---|
| 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#IRYZ, Fivefold Gaussian convexity below half mass (statement). In 9YAE8FNQST/e1, theorem 15.16
History
- 2026-10-30: add by m2/v0.4.12
Elliptic gamma function BRYJD1H9T7
| URI | m2://inv/BRYJD1H9T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#F1G9, Elliptic gamma function (definition)
History
- 2026-11-02: add by m2/dev
modus ponens BRYK4QFP39
| URI | m2://inv/BRYK4QFP39 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.1.3/modus-ponens, modus ponens (concept). In Y91XFCEVHQ, index, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
Cut distance BRYNSK04S3
| URI | m2://inv/BRYNSK04S3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphon#PGYH, Cut distance (unknown)
History
- 2026-11-02: add by m2/dev
Further examples BRYPGTHSYB
| URI | m2://inv/BRYPGTHSYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli space#SK0P, Further examples (example)
History
- 2026-11-02: add by m2/dev
Properties BRYVCSAMNP
| URI | m2://inv/BRYVCSAMNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsely totient number#L2N0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kähler geometry BRZ0MQPCMH
| URI | m2://inv/BRZ0MQPCMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#S4T3, Kähler geometry (definition)
History
- 2026-11-02: add by m2/dev
Semantic Domain BRZ9QZX81Q
| URI | m2://inv/BRZ9QZX81Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#LL3T, Semantic Domain (definition). In CPYWHRTPKC/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Rademacher circle method BRZAH4RQS7
| URI | m2://inv/BRZAH4RQS7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Ramanujan–Littlewood circle method#TCQY, Rademacher circle method (unknown)
History
- 2026-11-02: add by m2/dev
548 (number) BRZE2PWKMP
| URI | m2://inv/BRZE2PWKMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#ST38, 548 (number) (unknown)
History
- 2026-11-02: add by m2/dev
BRZJHME1N2 BRZJHME1N2
| URI | m2://inv/BRZJHME1N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#LJZC (statement). In A02X6MX28Y/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
BRZTFPGY22 BRZTFPGY22
| URI | m2://inv/BRZTFPGY22 |
|---|---|
| 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.14509#S2E4 (statement). In N6GD8392QB/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2