Inventory rows 5E
The cards of the rows of the inventory whose ids start with 5E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5E0BA7RDSH 5E0BA7RDSH
| URI | m2://inv/5E0BA7RDSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#TAQU (statement). In B6PCH930FV/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.10
topologically transitive map 5E0JZ5NV9T
| URI | m2://inv/5E0JZ5NV9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123375197, topologically transitive map (unknown). Also EoM Topological_transitivity, MathWorld TopologicallyTransitive
History
- 2026-10-26: add by m2/dev
Euclid's fifth postulate implies Playfair's axiom 5E0RDT78EA
| URI | m2://inv/5E0RDT78EA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Playfair's axiom#NLRH, Euclid's fifth postulate implies Playfair's axiom (statement)
History
- 2026-11-02: add by m2/dev
5E0SFTH084 5E0SFTH084
| URI | m2://inv/5E0SFTH084 |
|---|---|
| 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 2609.22642#L0I6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
5E0TMK9R7T 5E0TMK9R7T
| URI | m2://inv/5E0TMK9R7T |
|---|---|
| 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.12053#QLVM (statement). In MQ226ETRP6/e1, proposition 2.17
History
- 2026-10-28: add by m2/v0.4.3
Unitary Invariance of Interior Angle 5E10KYV2H5
| URI | m2://inv/5E10KYV2H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#SKDU, Unitary Invariance of Interior Angle (statement). In F71MS1F637/e1, theorem 5.14
History
- 2026-10-30: add by m2/v0.4.12
5E11V9B2YG 5E11V9B2YG
| URI | m2://inv/5E11V9B2YG |
|---|---|
| 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.30817#OOL6 (statement). In DP5KJ7AATM/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
5E1A8946S2 5E1A8946S2
| URI | m2://inv/5E1A8946S2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop:decimalprop (statement). In E59CDZA4DP, prop, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Infinitary combinatorics 5E1D2B9HXC
| URI | m2://inv/5E1D2B9HXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MBJM, Infinitary combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Five Islands, Nova Scotia 5E1DY28Q4B
| URI | m2://inv/5E1DY28Q4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B4QN, Five Islands, Nova Scotia (unknown)
History
- 2026-11-02: add by m2/dev
Minimum-height factorizations represented in the rectangle 5E1JEHS4JB
| URI | m2://inv/5E1JEHS4JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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.26066#5E40, Minimum-height factorizations represented in the rectangle (statement)
History
- 2026-11-01: add by m2/v0.6.15
5E1M00CW3R 5E1M00CW3R
| URI | m2://inv/5E1M00CW3R |
|---|---|
| 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 2406.07116#2L2F (statement). In 5B030CB2RK/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.6
5E1S33R0MA 5E1S33R0MA
| URI | m2://inv/5E1S33R0MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.18929#0R5S (statement). In ZRJ2DZT6P1/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.2
5E1SB1Y16C 5E1SB1Y16C
| URI | m2://inv/5E1SB1Y16C |
|---|---|
| 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.15352#TZRP (statement). In R39P7AFXM8/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
5E1ZS5TRX7 5E1ZS5TRX7
| URI | m2://inv/5E1ZS5TRX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#FIEO (statement)
History
- 2026-11-01: add by m2/v0.6.15
classical, homotopy theory 5E220R3RJ7
| URI | m2://inv/5E220R3RJ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/classical-homotopy-theory, classical, homotopy theory (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
5E27BNK6Z6 5E27BNK6Z6
| URI | m2://inv/5E27BNK6Z6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-78 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
5E2KSCHDF4 5E2KSCHDF4
| URI | m2://inv/5E2KSCHDF4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#problem-2 (exercise). In P1C114YBXG, problem, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Cartan formula in algebraic topology 5E2TBJ6J3Y
| URI | m2://inv/5E2TBJ6J3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan formula#WNQ3, Cartan formula in algebraic topology (statement)
History
- 2026-11-02: add by m2/dev
5E2WGFAYTH 5E2WGFAYTH
| URI | m2://inv/5E2WGFAYTH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#example-1 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Uniform bounds on the PCRB information sequence 5E2X99YNJN
| URI | m2://inv/5E2X99YNJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36143#3F6D, Uniform bounds on the PCRB information sequence (statement). In 6T2TWKQMJ8/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
5E35NK95K1 5E35NK95K1
| URI | m2://inv/5E35NK95K1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#CGHE (definition). In RTE2C0PH4S/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
5E36A1W9MW 5E36A1W9MW
| URI | m2://inv/5E36A1W9MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#5K07 (statement). In D4B23ER9QD/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Statement of Theorem 5E3725A8Q7
| URI | m2://inv/5E3725A8Q7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preimage theorem#GMUF, Statement of Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem 5E3923259Q
| URI | m2://inv/5E3923259Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete metric space#1NFU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Small diagonal error from rank-1 terms 5E394EWGC2
| URI | m2://inv/5E394EWGC2 |
|---|---|
| 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.30590#WXZ9, Small diagonal error from rank-1 terms (statement). In WYE2JVEZBT/e1, lemma 6.4
History
- 2026-10-31: add by m2/v0.5.6
5E3BBEKRN9 5E3BBEKRN9
| URI | m2://inv/5E3BBEKRN9 |
|---|---|
| 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.02663#A10I (statement). In PGAZ70WGMG/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
Easy 5E3G7M296Q
| URI | m2://inv/5E3G7M296Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-38, Easy (exercise). In E59CDZA4DP, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Stanley's reciprocity theorem 5E3P87N8F4
| URI | m2://inv/5E3P87N8F4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7HGR, Stanley's reciprocity theorem (statement)
History
- 2026-11-02: add by m2/dev
Bessel function of the second kind 5E3QAPCYRT
| URI | m2://inv/5E3QAPCYRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109545924, Bessel function of the second kind (definition). Also MathWorld BesselFunctionoftheSecondKind, ProofWiki Definition:Bessel_Function/Second_Kind
History
- 2026-10-26: add by m2/dev
5E3W2PB3AZ 5E3W2PB3AZ
| URI | m2://inv/5E3W2PB3AZ |
|---|---|
| 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 2411.07061#CBLO (statement). In S988ZVA1QE/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.6
5E3WS3Z544 5E3WS3Z544
| URI | m2://inv/5E3WS3Z544 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 86.7
History
- 2026-11-01: add by m2/v0.6.13
Geometric modeling 5E47CJ23XD
| URI | m2://inv/5E47CJ23XD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of books in computational geometry#VWL0, Geometric modeling (unknown)
History
- 2026-11-02: add by m2/dev
435 (number) 5E4D2NFYMN
| URI | m2://inv/5E4D2NFYMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#ZI0F, 435 (number) (unknown)
History
- 2026-11-02: add by m2/dev
5E4HFBQ566 5E4HFBQ566
| URI | m2://inv/5E4HFBQ566 |
|---|---|
| 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 2111.07717#173Y (statement). In AXFXGWG7ZG/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
Lilliefors test 5E4KF61GA3
| URI | m2://inv/5E4KF61GA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lilliefors test, Lilliefors test (definition). Also Wikidata Q951027
History
- 2026-11-02: add by m2/dev
hub and spoke 5E4NT8HHV3
| URI | m2://inv/5E4NT8HHV3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.7/hub-and-spoke, hub and spoke (concept). In N54F33XE07, index, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
folklore 5E4RX5VT1N
| URI | m2://inv/5E4RX5VT1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#OUJB, folklore (definition)
History
- 2026-11-02: add by m2/dev
Large Veblen ordinal 5E55TV0WHA
| URI | m2://inv/5E55TV0WHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large Veblen ordinal, Large Veblen ordinal (definition). Also Wikidata Q6489104
History
- 2026-11-02: add by m2/dev
5E58WPBXYQ 5E58WPBXYQ
| URI | m2://inv/5E58WPBXYQ |
|---|---|
| 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.38659#ISXY (statement). In DCJ23ZYXGK/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Lamination (topology) 5E5K3AHX8B
| URI | m2://inv/5E5K3AHX8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#0J9J, Lamination (topology) (definition)
History
- 2026-11-02: add by m2/dev
Rebecca Killick 5E5SKWS99M
| URI | m2://inv/5E5SKWS99M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rebecca Killick, Rebecca Killick (topic). Also Wikidata Q89308639
History
- 2026-11-02: add by m2/dev
Formal definition 5E5SXQE8TT
| URI | m2://inv/5E5SXQE8TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend-stationary process#1SF1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Example 5E5WC0SWA7
| URI | m2://inv/5E5WC0SWA7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable space#XYUZ, Example (example)
History
- 2026-11-02: add by m2/dev
5E5WFSTZFS 5E5WFSTZFS
| URI | m2://inv/5E5WFSTZFS |
|---|---|
| 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.12736#VQFZ (statement). In 5350Q52F6P/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
Business Institute 5E60MQ3HCD
| URI | m2://inv/5E60MQ3HCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#764H, Business Institute (unknown)
History
- 2026-11-02: add by m2/dev
Natan Sharansky 5E64JZ1A8R
| URI | m2://inv/5E64JZ1A8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#6SUG, Natan Sharansky (unknown)
History
- 2026-11-02: add by m2/dev
Local Riccati stability and localization bias 5E678P166V
| URI | m2://inv/5E678P166V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#G1M5, Local Riccati stability and localization bias (statement)
History
- 2026-11-02: add by m2/v0.6.17
5E69F3ZBBJ 5E69F3ZBBJ
| URI | m2://inv/5E69F3ZBBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#definition-1 (definition). In RZP28ERRZV, definition, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 5E69HQQJ5E
| URI | m2://inv/5E69HQQJ5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring signature#N1VX, Definition (definition)
History
- 2026-11-02: add by m2/dev
5E6DG674JH 5E6DG674JH
| URI | m2://inv/5E6DG674JH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#7LLB (definition). In CVESAPNMCQ/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Formula for the generating function 5E6DHEPFCA
| URI | m2://inv/5E6DHEPFCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40138#RS7V, Formula for the generating function (statement). In R60HR493TS/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Natural Language Semantics 5E6H1JY4MD
| URI | m2://inv/5E6H1JY4MD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural Language Semantics, Natural Language Semantics (definition). Also Wikidata Q6980544
History
- 2026-11-02: add by m2/dev
Applications 5E6Q6G33SD
| URI | m2://inv/5E6Q6G33SD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential probability ratio test#KQAM, Applications (example)
History
- 2026-11-02: add by m2/dev
Erdős 5E6R21021V
| URI | m2://inv/5E6R21021V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#91QI, Erdős (definition)
History
- 2026-11-02: add by m2/dev
5E6RPEFZWK 5E6RPEFZWK
| URI | m2://inv/5E6RPEFZWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#IRUM (statement)
History
- 2026-11-02: add by m2/v0.6.18
5E77MH2HH1 5E77MH2HH1
| URI | m2://inv/5E77MH2HH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#BPDE (statement). In SCSTR1Q1BW/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.10
Well travelled road effect 5E7E0E3WRB
| URI | m2://inv/5E7E0E3WRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well travelled road effect, Well travelled road effect (definition). Also Wikidata Q7981138
History
- 2026-11-02: add by m2/dev
Combinatorial group theory 5E7YHKB3BQ
| URI | m2://inv/5E7YHKB3BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial group theory, Combinatorial group theory (definition). Also Wikidata Q3526736
History
- 2026-11-02: add by m2/dev
equiaffinity 5E869EP3CA
| URI | m2://inv/5E869EP3CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#6DMW, equiaffinity (definition)
History
- 2026-11-02: add by m2/dev
261 5E871X9V4X
| URI | m2://inv/5E871X9V4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 261 (number), 261 (definition). Also Wikidata Q517082
History
- 2026-11-02: add by m2/dev
Tak 5E8XVR634N
| URI | m2://inv/5E8XVR634N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q736804, Tak (unknown). Also MathWorld TAKFunction
- wikipedia: Wikipedia Tak (function), Tak (definition). Also Wikidata Q736804
History
- 2026-10-26: add by m2/dev
generalized 5E9034MA0S
| URI | m2://inv/5E9034MA0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#QLQ0, generalized (definition)
History
- 2026-11-02: add by m2/dev
structure constants 5E95JX8JGC
| URI | m2://inv/5E95JX8JGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7625098, structure constants (unknown). Also MathWorld StructureConstant
- wikipedia: Wikipedia Structure constants, Structure constants (definition). Also Wikidata Q7625098
History
- 2026-10-26: add by m2/dev
5E9642P8CS 5E9642P8CS
| URI | m2://inv/5E9642P8CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#1A3Y (statement). In WZMHJCQPB2/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
Key induction lemma, $s < 1/3$ 5E98Q8DHTQ
| URI | m2://inv/5E98Q8DHTQ |
|---|---|
| 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.15805#X4DV, Key induction lemma, $s < 1/3$ (statement). In 2XVWG0Z18V/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
5E99TZ8FA6 5E99TZ8FA6
| URI | m2://inv/5E99TZ8FA6 |
|---|---|
| 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 2305.10921#QMZQ (statement). In PD5PJ0EYG6/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
5EA0VRWKZT 5EA0VRWKZT
| URI | m2://inv/5EA0VRWKZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#7OJ5 (statement). In F5STMSPR6X/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
5EAEA8H6MR 5EAEA8H6MR
| URI | m2://inv/5EAEA8H6MR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Straus conjecture#2YOM (problem)
History
- 2026-11-02: add by m2/dev
5EAG0XTDZ6 5EAG0XTDZ6
| URI | m2://inv/5EAG0XTDZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.01411#RF5C (statement). In SD28S3K7BT/e1, theorem 12
History
- 2026-10-29: add by m2/v0.4.12
5EANCDBG0M 5EANCDBG0M
| URI | m2://inv/5EANCDBG0M |
|---|---|
| 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#UMWK (statement). In GC2H0HS7ZM/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
5EANEQ164W 5EANEQ164W
| URI | m2://inv/5EANEQ164W |
|---|---|
| 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.28143#A672 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weyl character formula 5EANSMQP0K
| URI | m2://inv/5EANSMQP0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl integration formula#HULX, Weyl character formula (statement)
History
- 2026-11-02: add by m2/dev
Accumulation point 5EAQAEWKGE
| URI | m2://inv/5EAQAEWKGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#7T96, Accumulation point (definition)
History
- 2026-11-02: add by m2/dev
5EARGC0M5H 5EARGC0M5H
| URI | m2://inv/5EARGC0M5H |
|---|---|
| Kind | definition |
| 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 2312.06581#ILRQ (definition). In WXJ2V3HA2R/e1, definition E.14
History
- 2026-10-27: add by m2/v0.3.5
Standard conjectures 5EAT3J3FEH
| URI | m2://inv/5EAT3J3FEH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1B7I, Standard conjectures (conjecture)
History
- 2026-11-02: add by m2/dev
Applications 5EB4F5CJG0
| URI | m2://inv/5EB4F5CJG0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward algorithm#BM2Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Laplace–Beltrami operator 5EB8YQ971V
| URI | m2://inv/5EB8YQ971V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Laplace–Beltrami operator F4NWZNTRMD |
Mentions
- wikidata: Wikidata Q1071846, Laplace–Beltrami operator (concept). Also MathWorld Laplace-BeltramiOperator
- wikipedia: Wikipedia Laplace–Beltrami operator, Laplace–Beltrami operator (definition). Also Wikidata Q1071846
History
- 2026-10-26: add by m2/dev
Slice--ribbon for three-strand pretzel knots 5EBJQ2XE9M
| URI | m2://inv/5EBJQ2XE9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34522#NFMT, Slice--ribbon for three-strand pretzel knots (statement). In 1HJGW3Z6Q8/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
Growing-dimensional standard multivariate-$t$ aggregation 5EBX7TJZAN
| URI | m2://inv/5EBX7TJZAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#RVMZ, Growing-dimensional standard multivariate-$t$ aggregation (statement)
History
- 2026-11-01: add by m2/v0.6.15
5EC8FSS7FS 5EC8FSS7FS
| URI | m2://inv/5EC8FSS7FS |
|---|---|
| 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 2211.14629#MHNQ (statement). In AX7TZJ5PP9/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
5EC9ZSA1GS 5EC9ZSA1GS
| URI | m2://inv/5EC9ZSA1GS |
|---|---|
| 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.28046#2YOR (definition)
History
- 2026-11-01: add by m2/v0.6.15
5ECHCGWYE4 5ECHCGWYE4
| URI | m2://inv/5ECHCGWYE4 |
|---|---|
| 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.13295#1MFC (statement). In 8Q7QXTWD0S/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Frank Leymann 5ECN9XSV9C
| URI | m2://inv/5ECN9XSV9C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Leymann, Frank Leymann (topic). Also Wikidata Q57312419
History
- 2026-11-02: add by m2/dev
5ECSYCVFYB 5ECSYCVFYB
| URI | m2://inv/5ECSYCVFYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#CPJ6 (statement). In SMJMAQ2S3J/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.0
Raiffa, Howard 5ECZ1C7Y0Q
| URI | m2://inv/5ECZ1C7Y0Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#09HE, Raiffa, Howard (unknown)
History
- 2026-11-02: add by m2/dev
Formula 5ED633GNZA
| URI | m2://inv/5ED633GNZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite interpolation#6B0U, Formula (statement)
History
- 2026-11-02: add by m2/dev
Heavy-tail universality for regularized ERM 5ED6EXHXJA
| URI | m2://inv/5ED6EXHXJA |
|---|---|
| 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.07637#K23K, Heavy-tail universality for regularized ERM (statement). In ERR2F5FXC3/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
QIP 5ED6TP1EHA
| URI | m2://inv/5ED6TP1EHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QIP (complexity), QIP (definition). Also Wikidata Q7265462
History
- 2026-11-02: add by m2/dev
5ED706PWQ9 5ED706PWQ9
| URI | m2://inv/5ED706PWQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#VIB1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 5ED8WKRS72
| URI | m2://inv/5ED8WKRS72 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horner's method#D943, Example (example)
History
- 2026-11-02: add by m2/dev
Randomized methods on a Gaussian target 5ED8ZTA3FR
| URI | m2://inv/5ED8ZTA3FR |
|---|---|
| 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 2610.06308#BZFH, Randomized methods on a Gaussian target (statement). In HTWSDDAWGS/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Watershed transform 5EDD6S3PKS
| URI | m2://inv/5EDD6S3PKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#RA8D, Watershed transform (unknown)
History
- 2026-11-02: add by m2/dev
5EDDNVVVZA 5EDDNVVVZA
| URI | m2://inv/5EDDNVVVZA |
|---|---|
| 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.22825#OK6V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gelbach decomposition 5EDEP815MV
| URI | m2://inv/5EDEP815MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelbach decomposition, Gelbach decomposition (definition). Also Wikidata Q140198655
History
- 2026-11-02: add by m2/dev
5EDKZ2TCA5 5EDKZ2TCA5
| URI | m2://inv/5EDKZ2TCA5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#activity-2 (exercise). In 649HGZKE96, activity, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Photonic crystal 5EDPMYYJZ3
| URI | m2://inv/5EDPMYYJZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Photonic crystal, Photonic crystal (definition). Also Wikidata Q900150
History
- 2026-11-02: add by m2/dev
5EENZ4VYRE 5EENZ4VYRE
| URI | m2://inv/5EENZ4VYRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#MCMP (statement). In VP29RN7ZMA/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Fixed-point transform 5EEXFWVS3Z
| URI | m2://inv/5EEXFWVS3Z |
|---|---|
| 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 2609.21645#SHIR, Fixed-point transform (definition)
History
- 2026-11-02: add by m2/v0.6.18
5EF036ZHHB 5EF036ZHHB
| URI | m2://inv/5EF036ZHHB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#1NL7 (definition). In EBMHYN0XK9/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.12
5EF33K8ATZ 5EF33K8ATZ
| URI | m2://inv/5EF33K8ATZ |
|---|---|
| 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.03323#BMZW (statement). In J1ZP57QWED/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
5EFGZCN8V5 5EFGZCN8V5
| URI | m2://inv/5EFGZCN8V5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#2JNV (problem). In XJ59TDP4HA/e1, problem 4.19
History
- 2026-10-28: add by m2/v0.4.2
5EFN878DNP 5EFN878DNP
| URI | m2://inv/5EFN878DNP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#ex:nonanalytic (example). In RZP28ERRZV, example, section 34.4
History
- 2026-11-01: add by m2/v0.6.13
Product formula 5EFNFD4HSY
| URI | m2://inv/5EFNFD4HSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic valuation#WYIK, Product formula (statement)
History
- 2026-11-02: add by m2/dev
Formula 5EFTH0W076
| URI | m2://inv/5EFTH0W076 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Queuing Rule of Thumb#19FQ, Formula (statement)
History
- 2026-11-02: add by m2/dev
5EFYNTN6ET 5EFYNTN6ET
| URI | m2://inv/5EFYNTN6ET |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
Ewan Clague 5EG2R9770P
| URI | m2://inv/5EG2R9770P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewan Clague, Ewan Clague (topic). Also Wikidata Q19974488
History
- 2026-11-02: add by m2/dev
Leonhard Euler 5EG559Q8WZ
| URI | m2://inv/5EG559Q8WZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#53BK, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
Leiden Declaration on Artificial Intelligence and Mathematics 5EG5XK4X1D
| URI | m2://inv/5EG5XK4X1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leiden Declaration on Artificial Intelligence and Mathematics, Leiden Declaration on Artificial Intelligence and Mathematics (topic). Also Wikidata Q140180075
History
- 2026-11-02: add by m2/dev
Band 5EG6GMP04Q
| URI | m2://inv/5EG6GMP04Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.40290#0ROE, Band (statement). In 4K1CNBYJHF/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
5EG75B8FBP 5EG75B8FBP
| URI | m2://inv/5EG75B8FBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#BC0Z (statement). In R68THJCHX6/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Definition 5 5EGC67DT0M
| URI | m2://inv/5EGC67DT0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#JPRO, Definition 5 (definition)
History
- 2026-11-02: add by m2/dev
5EGHYSYRGA 5EGHYSYRGA
| URI | m2://inv/5EGHYSYRGA |
|---|---|
| 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.07164#QKJH (statement). In Q1XJ5VWE1N/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
6-cube honeycomb 5EGS6RG35W
| URI | m2://inv/5EGS6RG35W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#HQDA, 6-cube honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Genstat 5EGWM5X1F3
| URI | m2://inv/5EGWM5X1F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genstat, Genstat (definition). Also Wikidata Q5530846
History
- 2026-11-02: add by m2/dev
Example 5EH48DEGYV
| URI | m2://inv/5EH48DEGYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schilder's theorem#S7GZ, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions 5EH5W33ZAB
| URI | m2://inv/5EH5W33ZAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero morphism#YHNA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Bulgarians in Istanbul 5EH7JRMR9E
| URI | m2://inv/5EH7JRMR9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Istanbul#905A, Bulgarians in Istanbul (unknown)
History
- 2026-11-02: add by m2/dev
5EH8QJSX1A 5EH8QJSX1A
| URI | m2://inv/5EH8QJSX1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.04730#OQGE (statement). In QHFP0837Q8/e1, lemma 4.15
History
- 2026-10-29: add by m2/v0.4.12
Christian Berg 5EHADEPV27
| URI | m2://inv/5EHADEPV27 |
|---|---|
| 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 Q12305842, Christian Berg (unknown). Also ProofWiki Mathematician:Christian_Berg
History
- 2026-10-26: add by m2/dev
Glossary of arithmetic and diophantine geometry 5EHC8J2YGM
| URI | m2://inv/5EHC8J2YGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry, Glossary of arithmetic and diophantine geometry (topic). Also Wikidata Q1637144
History
- 2026-11-02: add by m2/dev
5EHDBHSD49 5EHDBHSD49
| URI | m2://inv/5EHDBHSD49 |
|---|---|
| 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.22832#6B8X (statement)
History
- 2026-11-02: add by m2/v0.6.17
→ 5EHJFX1RV7
| URI | m2://inv/5EHJFX1RV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#ZYZG, → (definition)
History
- 2026-11-02: add by m2/dev
Generalized Huygens's principle 5EHMSV311T
| URI | m2://inv/5EHMSV311T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huygens–Fresnel principle#3BS8, Generalized Huygens's principle (statement)
History
- 2026-11-02: add by m2/dev
5EHRGNGH3Z 5EHRGNGH3Z
| URI | m2://inv/5EHRGNGH3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#PXSH (statement). In DA3VN96YX2/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
Semyon Alesker 5EHW3MRXNP
| URI | m2://inv/5EHW3MRXNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LPWD, Semyon Alesker (topic)
History
- 2026-11-02: add by m2/dev
Nancy Cole 5EHWWNQBAD
| URI | m2://inv/5EHWWNQBAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Cole (mathematician), Nancy Cole (topic). Also Wikidata Q102198425
History
- 2026-11-02: add by m2/dev
Benjamin Bramer 5EJ5NPDRFD
| URI | m2://inv/5EJ5NPDRFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#UH9U, Benjamin Bramer (topic)
History
- 2026-11-02: add by m2/dev
modus ponens 5EJ5VMFQ3R
| URI | m2://inv/5EJ5VMFQ3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Modus ponens 0Y0MQYST0M |
Mentions
- wikidata: Wikidata Q655742, modus ponens (unknown). Also EoM Modus_ponens, MathWorld ModusPonens, nLab modus ponens
- wikipedia: Wikipedia Modus ponens, Modus ponens (definition). Also Wikidata Q655742
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Friedrich Adolf Trendelenburg 5EJAY1DTAK
| URI | m2://inv/5EJAY1DTAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#5IEM, Friedrich Adolf Trendelenburg (topic)
History
- 2026-11-02: add by m2/dev
5EJED65SAY 5EJED65SAY
| URI | m2://inv/5EJED65SAY |
|---|---|
| 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.08039#Y6N8 (statement). In Y1K8WE4MDP/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Ring ideal 5EJHPSRVHX
| URI | m2://inv/5EJHPSRVHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#W5JG, Ring ideal (definition)
History
- 2026-11-02: add by m2/dev
Examples 5EJN6T6MZ9
| URI | m2://inv/5EJN6T6MZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cancer cluster#MCOM, Examples (example)
History
- 2026-11-02: add by m2/dev
5EJNW28P37 5EJNW28P37
| URI | m2://inv/5EJNW28P37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#JDZ2 (statement). In TX0H26X4VX/e1, corollary 8.21
History
- 2026-10-29: add by m2/v0.4.12
Shigefumi Mori 5EJRV234VH
| URI | m2://inv/5EJRV234VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MTY1, Shigefumi Mori (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#NQ0E, Shigefumi Mori (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BNWO, Shigefumi Mori (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YEKT, Shigefumi Mori (topic)
History
- 2026-11-02: add by m2/dev
Feynman–Kac formula 5EJSP68K92
| URI | m2://inv/5EJSP68K92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman–Kac formula, Feynman–Kac formula (statement). Also Wikidata Q1317359
History
- 2026-11-02: add by m2/dev
The function classes 5EJYWMZ9TV
| URI | m2://inv/5EJYWMZ9TV |
|---|---|
| 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 2609.29597#LC2P, The function classes (definition)
History
- 2026-11-01: add by m2/v0.6.15
5EK23W4QX3 5EK23W4QX3
| URI | m2://inv/5EK23W4QX3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-18 (example). In E9HS8K3A52, example, section 4.8.2
History
- 2026-11-01: add by m2/v0.6.13
5EK5JER0B2 5EK5JER0B2
| URI | m2://inv/5EK5JER0B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2609.36089#555Z (statement). In AK4F10SNC0/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Drift of $\locapprox$ 5EKCA0JXV8
| URI | m2://inv/5EKCA0JXV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.38132#1BMT, Drift of $\locapprox$ (statement). In K6CP8GP51H/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Definitions 5EKHW4JS69
| URI | m2://inv/5EKHW4JS69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal (ring theory)#PXQM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
5EKM0787VR 5EKM0787VR
| URI | m2://inv/5EKM0787VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07292#NZ3V (statement). In PZ17NHGAKX/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
Wald–Wolfowitz runs test 5EKS42RQVZ
| URI | m2://inv/5EKS42RQVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LJ7L, Wald–Wolfowitz runs test (definition)
History
- 2026-11-02: add by m2/dev
Multiblock Weyl differencing 5EKWTZRWKX
| URI | m2://inv/5EKWTZRWKX |
|---|---|
| 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.20783#97FO, Multiblock Weyl differencing (statement)
History
- 2026-11-02: add by m2/v0.6.18
Quasi-geodesic 5EKXYWP4GS
| URI | m2://inv/5EKXYWP4GS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry#V41J, Quasi-geodesic (unknown)
History
- 2026-11-02: add by m2/dev
5EM1T9DANH 5EM1T9DANH
| URI | m2://inv/5EM1T9DANH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#ZJ9D (definition)
History
- 2026-11-02: add by m2/v0.6.18
Hopf surface 5EMA0VMG4S
| URI | m2://inv/5EMA0VMG4S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#H43L, Hopf surface (definition)
History
- 2026-11-02: add by m2/v0.6.17
boundedness 5EMAH677PA
| URI | m2://inv/5EMAH677PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60644809, boundedness (unknown). Also MathWorld Bounded
History
- 2026-10-26: add by m2/dev
Example 5EMCRKXCYB
| URI | m2://inv/5EMCRKXCYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear recurrence with constant coefficients#7T2X, Example (example)
History
- 2026-11-02: add by m2/dev
Bediako, Grace 5EMHPPBW4H
| URI | m2://inv/5EMHPPBW4H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SRQL, Bediako, Grace (topic)
History
- 2026-11-02: add by m2/dev
Graph coloring game 5EMNE6ESDS
| URI | m2://inv/5EMNE6ESDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring game, Graph coloring game (definition). Also Wikidata Q18207514
History
- 2026-11-02: add by m2/dev
5EMR6C8AGM 5EMR6C8AGM
| URI | m2://inv/5EMR6C8AGM |
|---|---|
| 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.13817#J2QE (statement). In BMSAXTDV47/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Chomsky hierarchy 5EMSH0K5JJ
| URI | m2://inv/5EMSH0K5JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#UI15, Chomsky hierarchy (definition)
History
- 2026-11-02: add by m2/dev
Peter–Weyl theorem 5EMSV955T2
| URI | m2://inv/5EMSV955T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9UH7, Peter–Weyl theorem (statement)
History
- 2026-11-02: add by m2/dev
5EMZCFKPYZ 5EMZCFKPYZ
| URI | m2://inv/5EMZCFKPYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#BVRQ (statement). In CB89152EQW/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.12
Algorithms 5EN9ZDPP6S
| URI | m2://inv/5EN9ZDPP6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overfull graph#Y5TL, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
5ENCY4M6MR 5ENCY4M6MR
| URI | m2://inv/5ENCY4M6MR |
|---|---|
| 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.26337#XUN4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quadratic profile complexity 5ENE68Y3B5
| URI | m2://inv/5ENE68Y3B5 |
|---|---|
| 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.02166#L3M7, Quadratic profile complexity (statement). In R6RF3P6D5A/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.12
Denjoy–Young–Saks theorem 5ENF0QEF44
| URI | m2://inv/5ENF0QEF44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EAM1, Denjoy–Young–Saks theorem (statement)
History
- 2026-11-02: add by m2/dev
Climate of North America 5ENJ0YN22W
| URI | m2://inv/5ENJ0YN22W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia North America#3NXN, Climate of North America (unknown)
History
- 2026-11-02: add by m2/dev
5ENNEV73GZ 5ENNEV73GZ
| URI | m2://inv/5ENNEV73GZ |
|---|---|
| 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.19086#VH0L (statement). In RDW99P4ZZJ/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Elizabeth DeLong 5ENQSHVJKJ
| URI | m2://inv/5ENQSHVJKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RNCZ, Elizabeth DeLong (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2 5ENQYXZ7AJ
| URI | m2://inv/5ENQYXZ7AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petri net#YC3V, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
5ENRBX4802 5ENRBX4802
| URI | m2://inv/5ENRBX4802 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#SSYJ (statement). In G35G1NJKBX/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
A pathwise strong trace and its blow-ups 5ENTAWSXCB
| URI | m2://inv/5ENTAWSXCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#BEQJ, A pathwise strong trace and its blow-ups (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vitaly Bergelson 5EP26FFD3D
| URI | m2://inv/5EP26FFD3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HDYG, Vitaly Bergelson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RUFI, Vitaly Bergelson (topic)
History
- 2026-11-02: add by m2/dev
The Logistic Function 5EP6YPPPW6
| URI | m2://inv/5EP6YPPPW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of hyperbolic functions#S0A3, The Logistic Function (definition)
History
- 2026-11-02: add by m2/dev
Hate Crime Statistics Act 5EPACPXH79
| URI | m2://inv/5EPACPXH79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hate Crime Statistics Act, Hate Crime Statistics Act (definition). Also Wikidata Q5681185
History
- 2026-11-02: add by m2/dev
Robin Wilson 5EPS3PB8Z9
| URI | m2://inv/5EPS3PB8Z9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I5MU, Robin Wilson (topic)
History
- 2026-11-02: add by m2/dev
Correspondence principle 5EPV86M1X5
| URI | m2://inv/5EPV86M1X5 |
|---|---|
| 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.30410#XVE9, Correspondence principle (statement). In 5HZX3JVJWF/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Lang's conjectures 5EPVMP0Z10
| URI | m2://inv/5EPVMP0Z10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordellic variety#YCLZ, Lang's conjectures (statement)
History
- 2026-11-02: add by m2/dev
Dos Pilas 5EPVQTASQV
| URI | m2://inv/5EPVQTASQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LFZO, Dos Pilas (unknown)
History
- 2026-11-02: add by m2/dev
error 5EPYTYSJ21
| URI | m2://inv/5EPYTYSJ21 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.6.2/error, error (concept). In 907G4C4EJ1, index, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
busy beaver champion 5EPZBEP8H0
| URI | m2://inv/5EPZBEP8H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#6P66, busy beaver champion (definition)
History
- 2026-11-02: add by m2/dev
No information ex nihilo 5EQ4TYZ2KT
| URI | m2://inv/5EQ4TYZ2KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#REG4, No information ex nihilo (statement). In 2KQ85H6MS4/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Limit free energy on a slice 5EQ5NBRBZ3
| URI | m2://inv/5EQ5NBRBZ3 |
|---|---|
| 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.18350#2PWE, Limit free energy on a slice (statement). In A20E8FZS21/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
5EQ5RZ9S97 5EQ5RZ9S97
| URI | m2://inv/5EQ5RZ9S97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#prop-leaves-in-trees (statement). In Y91XFCEVHQ, proposition, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
5EQ8RA1Y2J 5EQ8RA1Y2J
| URI | m2://inv/5EQ8RA1Y2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#971H (statement)
History
- 2026-11-02: add by m2/v0.6.18
5EQ934S90A 5EQ934S90A
| URI | m2://inv/5EQ934S90A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 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 2211.10178#4OO5 (example). In 8T90H89HNB/e1, example 1.6
History
- 2026-10-27: add by m2/v0.3.5
Construction for the equal parallelians point 5EQ97F6MXR
| URI | m2://inv/5EQ97F6MXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equal parallelians point#TFFA, Construction for the equal parallelians point (definition)
History
- 2026-11-02: add by m2/dev
functor that creates colimits 5EQ9GP8XPZ
| URI | m2://inv/5EQ9GP8XPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141136232, functor that creates colimits (unknown). Also nLab created colimit
History
- 2026-10-26: add by m2/dev
Florentina Bunea 5EQGNB9QK3
| URI | m2://inv/5EQGNB9QK3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florentina Bunea, Florentina Bunea (topic). Also Wikidata Q59379653
History
- 2026-11-02: add by m2/dev
5EQHPXZRH4 5EQHPXZRH4
| URI | m2://inv/5EQHPXZRH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:quotient-surjective (statement). In N54F33XE07, lem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
5EQHZD1PAG 5EQHZD1PAG
| URI | m2://inv/5EQHZD1PAG |
|---|---|
| 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.14742#RDKY (statement). In GZYZ9FQHVC/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Pythagorean theorem 5EQN8SVKQ2
| URI | m2://inv/5EQN8SVKQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#4KCQ, Pythagorean theorem (definition)
History
- 2026-11-02: add by m2/dev
Transitive closure 5EQPA5C4YH
| URI | m2://inv/5EQPA5C4YH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/operations.tex#defn-1, Transitive closure (definition). In PKGMM3P5QY, defn, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
5EQQMWWT6Y 5EQQMWWT6Y
| URI | m2://inv/5EQQMWWT6Y |
|---|---|
| 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.14435#7HY7 (statement). In Y9FSN5BVNQ/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Segal–Bargmann space 5EQX3GWT2F
| URI | m2://inv/5EQX3GWT2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segal–Bargmann space, Segal–Bargmann space (definition). Also Wikidata Q17154659
History
- 2026-11-02: add by m2/dev
Paid survey 5ER3G30W92
| URI | m2://inv/5ER3G30W92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paid survey, Paid survey (definition). Also Wikidata Q4896936
History
- 2026-11-02: add by m2/dev
Definition 5ER6D5R9GQ
| URI | m2://inv/5ER6D5R9GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction picture#1LN7, Definition (definition)
History
- 2026-11-02: add by m2/dev
5ERBN8M064 5ERBN8M064
| URI | m2://inv/5ERBN8M064 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#NCQS (statement). In MQ8S73F6X7/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.6
Morava K-theory 5ERCBPH2NF
| URI | m2://inv/5ERCBPH2NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#B561, Morava K-theory (definition)
History
- 2026-11-02: add by m2/dev
5ERE3G5ZRS 5ERE3G5ZRS
| URI | m2://inv/5ERE3G5ZRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#J0AC (statement). In X2AEJAQEP8/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Uniform centered transport form 5ERQS6VAKZ
| URI | m2://inv/5ERQS6VAKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#28O7, Uniform centered transport form (statement). In RHBS9QDHC3/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Observability 5ERWPFHC56
| URI | m2://inv/5ERWPFHC56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observability, Observability (definition). Also Wikidata Q1369844
History
- 2026-11-02: add by m2/dev
5ES958GHBJ 5ES958GHBJ
| URI | m2://inv/5ES958GHBJ |
|---|---|
| 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.13908#SG9O (statement). In 9C684206F0/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
5ESB7FF66X 5ESB7FF66X
| URI | m2://inv/5ESB7FF66X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#7B7R (statement). In HH35K7S17H/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
5ESDXYB01Q 5ESDXYB01Q
| URI | m2://inv/5ESDXYB01Q |
|---|---|
| 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.28454#0L7N (statement)
History
- 2026-11-01: add by m2/v0.6.15
5ESHMH1ZFB 5ESHMH1ZFB
| URI | m2://inv/5ESHMH1ZFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#HUD7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
5ESJCB70HF 5ESJCB70HF
| URI | m2://inv/5ESJCB70HF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#RO65 (statement). In YEERR7F4NW/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
5ESKA1EH3T 5ESKA1EH3T
| URI | m2://inv/5ESKA1EH3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.06747#CC22 (statement). In AB2WPR2FRR/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Regina S. Burachik 5ESMJE0905
| URI | m2://inv/5ESMJE0905 |
|---|---|
| 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#TR62, Regina S. Burachik (topic)
History
- 2026-11-02: add by m2/dev
5ET35T61SC 5ET35T61SC
| URI | m2://inv/5ET35T61SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#DPAS (statement). In F3BKXXPR3K/e1, proposition B.4
History
- 2026-10-27: add by m2/v0.4.2
Pierre Cartier 5ETAK2FNN2
| URI | m2://inv/5ETAK2FNN2 |
|---|---|
| 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 Q574633, Pierre Cartier (unknown). Also nLab Pierre Cartier
- wikipedia: Wikipedia Pierre Cartier (mathematician), Pierre Cartier (topic). Also Wikidata Q574633
History
- 2026-10-26: add by m2/dev
An infinite growing-degree separation family 5ETD53DMXG
| URI | m2://inv/5ETD53DMXG |
|---|---|
| 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.23781#FF3V, An infinite growing-degree separation family (statement)
History
- 2026-11-02: add by m2/v0.6.17
5ETHFFQY32 5ETHFFQY32
| URI | m2://inv/5ETHFFQY32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.38742#4QLV (statement). In TSXBJB0EXK/e1, corollary 6.5
History
- 2026-10-30: add by m2/v0.4.12
Snub order-6 square tiling 5ETMEV01VG
| URI | m2://inv/5ETMEV01VG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub order-6 square tiling, Snub order-6 square tiling (object). Also Wikidata Q7548804
History
- 2026-11-02: add by m2/dev
Examples 5ETMWEF478
| URI | m2://inv/5ETMWEF478 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjugate matrix#OAQ9, Examples (example)
History
- 2026-11-02: add by m2/dev
5ETMY700V4 5ETMY700V4
| URI | m2://inv/5ETMY700V4 |
|---|---|
| Kind | conjecture |
| 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#5X8P (conjecture). In F0E8YBV0Z0/e1, conjecture 10.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 5ETWPHDPVJ
| URI | m2://inv/5ETWPHDPVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bialgebra#Z0MD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bilinear dynamical systems 5EV3J1QDVN
| URI | m2://inv/5EV3J1QDVN |
|---|---|
| Kind | example |
| 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.22338#1QIU, Bilinear dynamical systems (example)
History
- 2026-11-02: add by m2/v0.6.17
5EVDNNN7GH 5EVDNNN7GH
| URI | m2://inv/5EVDNNN7GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#VZD2 (statement). In 8YWBGQQGA3/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
Geoffrey Thomas Bennett 5EVDZ9BMXQ
| URI | m2://inv/5EVDZ9BMXQ |
|---|---|
| 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#OUTK, Geoffrey Thomas Bennett (topic)
History
- 2026-11-02: add by m2/dev
5EVE37KFZ1 5EVE37KFZ1
| URI | m2://inv/5EVE37KFZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#PKOL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorems 5EVHVXX643
| URI | m2://inv/5EVHVXX643 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-4, Theorems (definition). In PKGMM3P5QY, defn, section 8.13
History
- 2026-11-01: add by m2/v0.6.13
5EVHYX53A5 5EVHYX53A5
| URI | m2://inv/5EVHYX53A5 |
|---|---|
| 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#3EFS (statement). In 8Z47D12KSX/e1, proposition 9.2
History
- 2026-10-29: add by m2/v0.4.10
5EVPMCKNQV 5EVPMCKNQV
| URI | m2://inv/5EVPMCKNQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#SSZT (statement). In VNE8N0D2FB/e1, lemma 4.8
History
- 2026-10-31: add by m2/v0.5.6
Algebraic stack 5EW7FR1WHH
| URI | m2://inv/5EW7FR1WHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#PITW, Algebraic stack (definition)
History
- 2026-11-02: add by m2/dev
Kernel of Propagation Dissipator 5EWB02QKMQ
| URI | m2://inv/5EWB02QKMQ |
|---|---|
| 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.26769#5BBZ, Kernel of Propagation Dissipator (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 5EWK7ZYSA5
| URI | m2://inv/5EWK7ZYSA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis Weibull distribution#WVDT, Applications (example)
History
- 2026-11-02: add by m2/dev
Felix Hausdorff 5EWWRNYMQD
| URI | m2://inv/5EWWRNYMQD |
|---|---|
| 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 Q75856, Felix Hausdorff (unknown). Also nLab Felix Hausdorff, ProofWiki Mathematician:Felix_Hausdorff
- wikipedia: Wikipedia Felix Hausdorff, Felix Hausdorff (topic). Also Wikidata Q75856
History
- 2026-10-26: add by m2/dev
Sharp power rates under local geometry 5EX27X69BN
| URI | m2://inv/5EX27X69BN |
|---|---|
| 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.31557#WLRH, Sharp power rates under local geometry (statement). In 72NCNYBW2T/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
5EX3CVZJZ7 5EX3CVZJZ7
| URI | m2://inv/5EX3CVZJZ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-8 (example). In E59CDZA4DP, example, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
centered 5EXD4XGTPK
| URI | m2://inv/5EXD4XGTPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#35J8, centered (definition)
History
- 2026-11-02: add by m2/dev
Examples 5EXVS4BR61
| URI | m2://inv/5EXVS4BR61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residuated lattice#RPTR, Examples (example)
History
- 2026-11-02: add by m2/dev
Conditional second-moment lifting 5EXYRP9ADJ
| URI | m2://inv/5EXYRP9ADJ |
|---|---|
| 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.05388#VQAA, Conditional second-moment lifting (statement). In 4HJK1986EJ/e1, lemma C.11
History
- 2026-10-29: add by m2/v0.4.10
Syntactic identity 5EY5EEQJPE
| URI | m2://inv/5EY5EEQJPE |
|---|---|
| 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/terms-formulas.tex#defn-2, Syntactic identity (definition). In PKGMM3P5QY, defn, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
5EY7PDX451 5EY7PDX451
| URI | m2://inv/5EY7PDX451 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#PL6O (statement). In M0SQY5EZN5/e1, lemma 1.5.2
History
- 2026-10-27: add by m2/v0.3.5
Arithmetica Universalis 5EYCV49G2Y
| URI | m2://inv/5EYCV49G2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2596150, Arithmetica Universalis (unknown). Also ProofWiki Book:Isaac_Newton/Arithmetica_Universalis
- wikipedia: Wikipedia Arithmetica Universalis, Arithmetica Universalis (definition). Also Wikidata Q2596150
History
- 2026-10-26: add by m2/dev
Definition 5EYHQEZSXA
| URI | m2://inv/5EYHQEZSXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite polynomials#N2J1, Definition (definition)
History
- 2026-11-02: add by m2/dev
5EYNP3QYQA 5EYNP3QYQA
| URI | m2://inv/5EYNP3QYQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#ZG48 (statement). In F3BKXXPR3K/e1, lemma 3.68
History
- 2026-10-27: add by m2/v0.4.2
Erdős conjecture on arithmetic progressions 5EYS8AQZ7W
| URI | m2://inv/5EYS8AQZ7W |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#3ZWZ, Erdős conjecture on arithmetic progressions (conjecture)
History
- 2026-11-02: add by m2/dev
Time negligibility of infinities 5EYSGF07NG
| URI | m2://inv/5EYSGF07NG |
|---|---|
| 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#C74S, Time negligibility of infinities (statement). In KM3Q791JY0/e1, corollary 3.31
History
- 2026-10-27: add by m2/v0.4.2
5EYW7P6HRX 5EYW7P6HRX
| URI | m2://inv/5EYW7P6HRX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#STWC (problem)
History
- 2026-11-02: add by m2/v0.6.18
5EZDF59TJ8 5EZDF59TJ8
| URI | m2://inv/5EZDF59TJ8 |
|---|---|
| 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 2310.10361#3ZP8 (statement). In 65ED1ZXG98/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.6
Complex place 5EZF7CPXYS
| URI | m2://inv/5EZF7CPXYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#WNVE, Complex place (unknown)
History
- 2026-11-02: add by m2/dev
Matrix difference equation 5EZX11YC4R
| URI | m2://inv/5EZX11YC4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix difference equation, Matrix difference equation (definition). Also Wikidata Q6787869
History
- 2026-11-02: add by m2/dev
Süssmilch, Johann Peter 5EZYE8J4PH
| URI | m2://inv/5EZYE8J4PH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8W4D, Süssmilch, Johann Peter (unknown)
History
- 2026-11-02: add by m2/dev
De Finetti's game 5EZZ0T1YQ1
| URI | m2://inv/5EZZ0T1YQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZDUH, De Finetti's game (definition)
History
- 2026-11-02: add by m2/dev