Inventory rows RG
The cards of the rows of the inventory whose ids start with RG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dallard, Milanič, Štorgel RG01CNJYRX
| URI | m2://inv/RG01CNJYRX |
|---|---|
| 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.19093#2J2U, Dallard, Milanič, Štorgel (statement). In S2K79KESZ4/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
RG027A74XR RG027A74XR
| URI | m2://inv/RG027A74XR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#eg:isset-unit (example). In N54F33XE07, eg, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Amplitude versus offset RG07ZA9GWM
| URI | m2://inv/RG07ZA9GWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitude versus offset, Amplitude versus offset (definition). Also Wikidata Q4748519
History
- 2026-11-02: add by m2/dev
Applications RG08R9J682
| URI | m2://inv/RG08R9J682 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized extreme value distribution#39WR, Applications (example)
History
- 2026-11-02: add by m2/dev
Equivalent generic L\^e formulation RG08YCH118
| URI | m2://inv/RG08YCH118 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-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 2610.07528#WYNF, Equivalent generic L\^e formulation (conjecture). In WVX0T502A1/e1, conjecture 8.2
History
- 2026-10-29: add by m2/v0.4.10
Calculus RG0EEGYYG9
| URI | m2://inv/RG0EEGYYG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus (Apostol books), Calculus (definition). Also Wikidata Q136756652
History
- 2026-11-02: add by m2/dev
RG0JXJQ89Q RG0JXJQ89Q
| URI | m2://inv/RG0JXJQ89Q |
|---|---|
| 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#3R6Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Valeria Simoncini RG0PJY0BHR
| URI | m2://inv/RG0PJY0BHR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valeria Simoncini, Valeria Simoncini (topic). Also Wikidata Q36559492
History
- 2026-11-02: add by m2/dev
Perturbation technique RG0WSVECM4
| URI | m2://inv/RG0WSVECM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#9LI7, Perturbation technique (statement). In KH1H3TSWPS/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Mode conversion RG11RVYEJ0
| URI | m2://inv/RG11RVYEJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mode conversion, Mode conversion (definition). Also Wikidata Q15853931
History
- 2026-11-02: add by m2/dev
directed acyclic graph RG131GKZQK
| URI | m2://inv/RG131GKZQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1195339, directed acyclic graph (unknown). Also MathWorld AcyclicDigraph
- wikipedia: Wikipedia Directed acyclic graph, Directed acyclic graph (definition). Also Wikidata Q1195339
History
- 2026-10-26: add by m2/dev
Sōichi Kakeya RG17XDVAFF
| URI | m2://inv/RG17XDVAFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z88Q, Sōichi Kakeya (unknown)
History
- 2026-11-02: add by m2/dev
Jeffrey conditioning RG18YSDBD0
| URI | m2://inv/RG18YSDBD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Jeffrey#DYWY, Jeffrey conditioning (unknown)
History
- 2026-11-02: add by m2/dev
RG19ZR21XX RG19ZR21XX
| URI | m2://inv/RG19ZR21XX |
|---|---|
| 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#Z2LF (statement). In 4K1CNBYJHF/e1, corollary 8.1
History
- 2026-10-30: add by m2/v0.4.12
Applications RG1B625B2B
| URI | m2://inv/RG1B625B2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra isomorphism#YAQE, Applications (example)
History
- 2026-11-02: add by m2/dev
block-stacking problem RG1DG2VVQC
| URI | m2://inv/RG1DG2VVQC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16843263, block-stacking problem (problem). Also MathWorld BookStackingProblem
- wikipedia: Wikipedia Block-stacking problem, Block-stacking problem (problem). Also Wikidata Q16843263
History
- 2026-10-26: add by m2/dev
Compound of ten truncated tetrahedra RG1F4XB942
| URI | m2://inv/RG1F4XB942 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of ten truncated tetrahedra, Compound of ten truncated tetrahedra (definition). Also Wikidata Q5156893
History
- 2026-11-02: add by m2/dev
Square-free RG1GQPXR5B
| URI | m2://inv/RG1GQPXR5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#NFOA, Square-free (definition)
History
- 2026-11-02: add by m2/dev
RG1J984VRX RG1J984VRX
| URI | m2://inv/RG1J984VRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#5K0K (statement). In Q5Z178SAHP/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Grad–Shafranov equation RG1VJQPEN0
| URI | m2://inv/RG1VJQPEN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grad–Shafranov equation, Grad–Shafranov equation (definition). Also Wikidata Q4476508
History
- 2026-11-02: add by m2/dev
Matching wildcards RG1W2GY8FA
| URI | m2://inv/RG1W2GY8FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#9TQP, Matching wildcards (unknown)
History
- 2026-11-02: add by m2/dev
Weighted network RG1XVGVGFM
| URI | m2://inv/RG1XVGVGFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted network, Weighted network (definition). Also Wikidata Q7979900
History
- 2026-11-02: add by m2/dev
RG212B85VZ RG212B85VZ
| URI | m2://inv/RG212B85VZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1810.06028#9ZKX (definition). In ZPFHH6YJG3/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.3.5
RG28H9ZNKC RG28H9ZNKC
| URI | m2://inv/RG28H9ZNKC |
|---|---|
| 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.03050#LFRD (statement). In WXBRJN9PHQ/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Moore neighborhood RG2929WFC5
| URI | m2://inv/RG2929WFC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1594663, Moore neighborhood (unknown). Also MathWorld MooreNeighborhood
- wikipedia: Wikipedia Moore neighborhood, Moore neighborhood (definition). Also Wikidata Q1594663
History
- 2026-10-26: add by m2/dev
Melvyn Nathanson RG2CGCGCHJ
| URI | m2://inv/RG2CGCGCHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AVBL, Melvyn Nathanson (topic)
History
- 2026-11-02: add by m2/dev
RG2TWE5NA7 RG2TWE5NA7
| URI | m2://inv/RG2TWE5NA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#MXYU (statement). In A3VQ2TNRKK/e1, proposition A.6
History
- 2026-10-27: add by m2/v0.4.0
Positivity of the plateau polynomial RG2X5AW4P0
| URI | m2://inv/RG2X5AW4P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#OORO, Positivity of the plateau polynomial (statement). In 2Y47E704Z9/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Near-diagonal multi-index RG2XQVCQSJ
| URI | m2://inv/RG2XQVCQSJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#W3V8, Near-diagonal multi-index (definition)
History
- 2026-11-01: add by m2/v0.6.15
RG3532PCQ4 RG3532PCQ4
| URI | m2://inv/RG3532PCQ4 |
|---|---|
| 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 2510.01873#RXTU (statement). In FVZZDPEYNM/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Tarry point RG35PJXZYY
| URI | m2://inv/RG35PJXZYY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4460034, Tarry point (concept). Also MathWorld TarryPoint
- wikipedia: Wikipedia Tarry point, Tarry point (definition). Also Wikidata Q4460034
History
- 2026-10-26: add by m2/dev
RG395CHSC6 RG395CHSC6
| URI | m2://inv/RG395CHSC6 |
|---|---|
| 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#HK80 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RG3E62G0HS RG3E62G0HS
| URI | m2://inv/RG3E62G0HS |
|---|---|
| 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.00789#D9ZO (statement). In 4WPYBTARS2/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
RG3E7X71EN RG3E7X71EN
| URI | m2://inv/RG3E7X71EN |
|---|---|
| Kind | example |
| 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.01273#JCI3 (example). In RAT41DDR51/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.12
optimality conditions RG3NGF5TFJ
| URI | m2://inv/RG3NGF5TFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#56WF, optimality conditions (statement)
History
- 2026-11-01: add by m2/v0.6.15
gluino RG3SGWNQPM
| URI | m2://inv/RG3SGWNQPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q250974, gluino (unknown). Also nLab gluino
History
- 2026-10-26: add by m2/dev
Germinal Dandelin RG4695JZ5C
| URI | m2://inv/RG4695JZ5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#CYUG, Germinal Dandelin (topic)
History
- 2026-11-02: add by m2/dev
RG46W9394R RG46W9394R
| URI | m2://inv/RG46W9394R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.3741#O3LF (statement). In BBXEQ9QE7K/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
Forced distance distribution RG4WX1AC7H
| URI | m2://inv/RG4WX1AC7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#47HL, Forced distance distribution (statement). In Z7M2JSF6HA/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Spontaneous symmetry breaking RG4XG5DZ7D
| URI | m2://inv/RG4XG5DZ7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spontaneous symmetry breaking, Spontaneous symmetry breaking (definition). Also Wikidata Q736716
History
- 2026-11-02: add by m2/dev
RG4YTPM5TB RG4YTPM5TB
| URI | m2://inv/RG4YTPM5TB |
|---|---|
| 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#Q3OL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jasjeet S. Sekhon RG519M7GHD
| URI | m2://inv/RG519M7GHD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jasjeet S. Sekhon, Jasjeet S. Sekhon (topic). Also Wikidata Q96471317
History
- 2026-11-02: add by m2/dev
584 (number) RG5CXTBB59
| URI | m2://inv/RG5CXTBB59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#CJVA, 584 (number) (unknown)
History
- 2026-11-02: add by m2/dev
RG5HJ1WGFQ RG5HJ1WGFQ
| URI | m2://inv/RG5HJ1WGFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20609#IF99 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Peloponnesus Primus RG5NAXH515
| URI | m2://inv/RG5NAXH515 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#JULU, Peloponnesus Primus (unknown)
History
- 2026-11-02: add by m2/dev
RG5PEXXFKN RG5PEXXFKN
| URI | m2://inv/RG5PEXXFKN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#example-1 (example). In 649HGZKE96, example, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
Definition RG5RMY5MV1
| URI | m2://inv/RG5RMY5MV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorema Egregium#WRK2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Folding (signal processing) RG5RW9YQH4
| URI | m2://inv/RG5RW9YQH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing#3KKA, Folding (signal processing) (unknown)
History
- 2026-11-02: add by m2/dev
Pre-rendering RG5TAGX62J
| URI | m2://inv/RG5TAGX62J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#SLKQ, Pre-rendering (unknown)
History
- 2026-11-02: add by m2/dev
Complex projective structure RG65SPPWS9
| URI | m2://inv/RG65SPPWS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective connection#Q93L, Complex projective structure (unknown)
History
- 2026-11-02: add by m2/dev
Friedmann–Lemaître–Robertson–Walker metric RG67G9MKF8
| URI | m2://inv/RG67G9MKF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#C7JG, Friedmann–Lemaître–Robertson–Walker metric (definition)
History
- 2026-11-02: add by m2/dev
tacnode-cusp RG6DF0TFF6
| URI | m2://inv/RG6DF0TFF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#YTS1, tacnode-cusp (definition)
History
- 2026-11-02: add by m2/dev
Alternative definitions RG6DZXCR4J
| URI | m2://inv/RG6DZXCR4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field (mathematics)#GR3E, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
anaphora RG6KAAC9NP
| URI | m2://inv/RG6KAAC9NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LEOQ, anaphora (definition)
History
- 2026-11-02: add by m2/dev
Crosscap number RG6SF58K1J
| URI | m2://inv/RG6SF58K1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crosscap number, Crosscap number (definition). Also Wikidata Q5188519
History
- 2026-11-02: add by m2/dev
Pronoun disambiguation problem RG6XAMBKKY
| URI | m2://inv/RG6XAMBKKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winograd schema challenge#ZC9K, Pronoun disambiguation problem (unknown)
History
- 2026-11-02: add by m2/dev
Irregular matrix RG6ZCT0GYN
| URI | m2://inv/RG6ZCT0GYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#NE2F, Irregular matrix (definition)
History
- 2026-11-02: add by m2/dev
Erdős space RG6ZKSZT4K
| URI | m2://inv/RG6ZKSZT4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#TFHO, Erdős space (definition)
History
- 2026-11-02: add by m2/dev
RG760GB92R RG760GB92R
| URI | m2://inv/RG760GB92R |
|---|---|
| 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.08382#I3OK (statement). In GYMGDQS25R/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.10
RG79EXPZAF RG79EXPZAF
| URI | m2://inv/RG79EXPZAF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 83.12
History
- 2026-11-01: add by m2/v0.6.13
Sørensen similarity index RG7EBYJ3TJ
| URI | m2://inv/RG7EBYJ3TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#I56A, Sørensen similarity index (definition)
- wikipedia: Wikipedia List of statistics articles#EQ6L, Sørensen similarity index (definition)
History
- 2026-11-02: add by m2/dev
Adjoint criterion for transversality RG7G0EHN7D
| URI | m2://inv/RG7G0EHN7D |
|---|---|
| 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.10993#MI99, Adjoint criterion for transversality (statement). In 1JCPN0K7DB/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Colin Adams RG7PG6TR07
| URI | m2://inv/RG7PG6TR07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colin Adams (mathematician), Colin Adams (topic). Also Wikidata Q5144840
History
- 2026-11-02: add by m2/dev
RG85MFXVX1 RG85MFXVX1
| URI | m2://inv/RG85MFXVX1 |
|---|---|
| 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.34011#WDX1 (statement). In RAXRNDW2Z0/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Examples RG8AJG7H0H
| URI | m2://inv/RG8AJG7H0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic growth#ETFV, Examples (example)
History
- 2026-11-02: add by m2/dev
\coqident{Partiality}{PCF}{term RG8F7PPGQG
| URI | m2://inv/RG8F7PPGQG |
|---|---|
| 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 1904.09810#WT6O, \coqident{Partiality}{PCF}{term (definition). In T1VFA7TXPA/e1, definition 31
History
- 2026-10-27: add by m2/v0.3.5
Reedy category RG8PQZBE31
| URI | m2://inv/RG8PQZBE31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reedy category, Reedy category (definition). Also Wikidata Q133850440
History
- 2026-11-02: add by m2/dev
Examples RG8T0J03E4
| URI | m2://inv/RG8T0J03E4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic surface#GTIH, Examples (example)
History
- 2026-11-02: add by m2/dev
Jim L. Mora RG8Y4WDYDV
| URI | m2://inv/RG8Y4WDYDV |
|---|---|
| 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#KAD2, Jim L. Mora (unknown)
History
- 2026-11-02: add by m2/dev
The general probabilistic principle RG912ARW9Z
| URI | m2://inv/RG912ARW9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle filter#880Z, The general probabilistic principle (statement)
History
- 2026-11-02: add by m2/dev
Pill puzzle RG914W4FN6
| URI | m2://inv/RG914W4FN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BDNE, Pill puzzle (unknown)
History
- 2026-11-02: add by m2/dev
RG924MAEST RG924MAEST
| URI | m2://inv/RG924MAEST |
|---|---|
| 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.39307#ZBIJ (statement). In QFBGPGRP1P/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
RG9B7DRZWY RG9B7DRZWY
| URI | m2://inv/RG9B7DRZWY |
|---|---|
| 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.21116#TU3Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
Laplacian of the indicator RG9PT4Q8AK
| URI | m2://inv/RG9PT4Q8AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplacian of the indicator, Laplacian of the indicator (definition). Also Wikidata Q6488263
History
- 2026-11-02: add by m2/dev
Word metric RG9WJRS3PH
| URI | m2://inv/RG9WJRS3PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word metric, Word metric (definition). Also Wikidata Q4423782
History
- 2026-11-02: add by m2/dev
RGA733N9CF RGA733N9CF
| URI | m2://inv/RGA733N9CF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.26417#BSHG (definition)
History
- 2026-11-01: add by m2/v0.6.15
RGAABBXJZM RGAABBXJZM
| URI | m2://inv/RGAABBXJZM |
|---|---|
| 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.05327#8DLQ (statement). In ZD7BWDKT84/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
RGAGQBR98Q RGAGQBR98Q
| URI | m2://inv/RGAGQBR98Q |
|---|---|
| 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.07608#5YRW (statement). In X8FQD4TEVG/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Oriented Frobenius nonvanishing RGAK5NKCWD
| URI | m2://inv/RGAK5NKCWD |
|---|---|
| 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.26196#XALA, Oriented Frobenius nonvanishing (statement)
History
- 2026-11-01: add by m2/v0.6.15
RGAP5QQBQB RGAP5QQBQB
| URI | m2://inv/RGAP5QQBQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33019#R2JP (statement). In R4V2A3Z5GP/e1, corollary 2.2
History
- 2026-10-31: add by m2/v0.5.6
Lazarus Fuchs RGARMJPNR5
| URI | m2://inv/RGARMJPNR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BQ6U, Lazarus Fuchs (topic)
History
- 2026-11-02: add by m2/dev
Formulation RGATVY0K9Q
| URI | m2://inv/RGATVY0K9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WKB approximation#DBGH, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Properties RGAVQ5ZPMY
| URI | m2://inv/RGAVQ5ZPMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse divisible number#QIXW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition RGB14E5123
| URI | m2://inv/RGB14E5123 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominance order#PH9X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Graph algebra RGB3D3XX2D
| URI | m2://inv/RGB3D3XX2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph algebra, Graph algebra (definition). Also Wikidata Q5597072
History
- 2026-11-02: add by m2/dev
Applications RGB89ZVSMQ
| URI | m2://inv/RGB89ZVSMQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas precession#ZXI3, Applications (example)
History
- 2026-11-02: add by m2/dev
Frobenius field RGBJC385EB
| URI | m2://inv/RGBJC385EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#Z55X, Frobenius field (definition)
History
- 2026-11-02: add by m2/dev
RGBNRHR72P RGBNRHR72P
| URI | m2://inv/RGBNRHR72P |
|---|---|
| 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#YQ1K (statement). In ZFKZ6YDT62/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.0
Laplace principle RGBVK8VSTT
| URI | m2://inv/RGBVK8VSTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace principle (large deviations theory), Laplace principle (statement). Also Wikidata Q6153280
History
- 2026-11-02: add by m2/dev
Physics engine RGC3V38MXB
| URI | m2://inv/RGC3V38MXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#IDA2, Physics engine (unknown)
History
- 2026-11-02: add by m2/dev
RGC9A67YPB RGC9A67YPB
| URI | m2://inv/RGC9A67YPB |
|---|---|
| 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.32393#WEN9 (statement). In F4816HC2JH/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
RGCD5GXT27 RGCD5GXT27
| URI | m2://inv/RGCD5GXT27 |
|---|---|
| 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.16386#6YUO (statement). In RAF0BFY3Z3/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
Definition RGCFR4JSSJ
| URI | m2://inv/RGCFR4JSSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker product#ETQR, Definition (definition)
History
- 2026-11-02: add by m2/dev
RGCKR6F6S6 RGCKR6F6S6
| URI | m2://inv/RGCKR6F6S6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#PV4C (definition). In 6X76XBE3HV/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
RGCR8E61AG RGCR8E61AG
| URI | m2://inv/RGCR8E61AG |
|---|---|
| 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.36818#IHWK (statement). In SK6AP2B9JH/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
RGD1S67AR2 RGD1S67AR2
| URI | m2://inv/RGD1S67AR2 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 51-XX, 52-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.11596#JCO9 (conjecture). In 76850E2X7T/e1, conjecture 4.1
History
- 2026-10-28: add by m2/v0.4.3
Mapping theorem RGD4FXV85X
| URI | m2://inv/RGD4FXV85X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#MGZE, Mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
RGDBD522S2 RGDBD522S2
| URI | m2://inv/RGDBD522S2 |
|---|---|
| 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.06081#7A8V (statement). In 7Z3KQRFEVG/e1, corollary 8.3
History
- 2026-10-29: add by m2/v0.4.10
Examples RGDES5MPKS
| URI | m2://inv/RGDES5MPKS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert metric#P5NE, Examples (example)
History
- 2026-11-02: add by m2/dev
approximate identity RGDJEFH29H
| URI | m2://inv/RGDJEFH29H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#SWVH, approximate identity (definition)
History
- 2026-11-02: add by m2/dev
RGE0AZV43F RGE0AZV43F
| URI | m2://inv/RGE0AZV43F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39389#UJWM (statement). In PP5RE0W4D8/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Example RGE3DZG5TC
| URI | m2://inv/RGE3DZG5TC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh's quotient in vibrations analysis#UXXH, Example (example)
History
- 2026-11-02: add by m2/dev
Dan Abramovich RGEF4XMNQ2
| URI | m2://inv/RGEF4XMNQ2 |
|---|---|
| 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#LU1T, Dan Abramovich (topic)
History
- 2026-11-02: add by m2/dev
Data-driven parameter set RGEJQVRY2M
| URI | m2://inv/RGEJQVRY2M |
|---|---|
| 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.12873#DC5D, Data-driven parameter set (statement). In 9MMD2N7DQ1/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
RGEQ113QRV RGEQ113QRV
| URI | m2://inv/RGEQ113QRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#definition-1 (definition). In P1C114YBXG, definition, section F
History
- 2026-11-01: add by m2/v0.6.13
RGERM2WY41 RGERM2WY41
| URI | m2://inv/RGERM2WY41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.14837#9MDK (statement). In J4P6HXMJCH/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Average-rank representation RGETP3BTAN
| URI | m2://inv/RGETP3BTAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#WLT3, Average-rank representation (statement). In HA9B7PD0YV/e1, theorem 29
History
- 2026-10-29: add by m2/v0.4.10
Theorem RGEV4B78SC
| URI | m2://inv/RGEV4B78SC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#3IJK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
RGEVNNRGPT RGEVNNRGPT
| URI | m2://inv/RGEVNNRGPT |
|---|---|
| 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.38838#38PZ (statement). In 3EH8M9GWTX/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
RGEZREKTMV RGEZREKTMV
| URI | m2://inv/RGEZREKTMV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#proof-4 (proof). In RZP28ERRZV, proof, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
Equivalent characterizations RGF58YP04S
| URI | m2://inv/RGF58YP04S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete spectrum (mathematics)#624W, Equivalent characterizations (statement)
History
- 2026-11-02: add by m2/dev
Society for Quantitative Analysis of Behavior RGF8TH0PRC
| URI | m2://inv/RGF8TH0PRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Society for Quantitative Analysis of Behavior, Society for Quantitative Analysis of Behavior (definition). Also Wikidata Q17105921
History
- 2026-11-02: add by m2/dev
product measure RGFA7KJ01F
| URI | m2://inv/RGFA7KJ01F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Product measure 77PV0ZAVXT |
Mentions
- wikidata: Wikidata Q1572094, product measure (unknown). Also MathWorld ProductMeasure
- wikipedia: Wikipedia Product measure, Product measure (definition). Also Wikidata Q1572094
History
- 2026-10-26: add by m2/dev
Dimensionality reduction RGFDVA9KQZ
| URI | m2://inv/RGFDVA9KQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensionality reduction, Dimensionality reduction (definition). Also Wikidata Q16000077
History
- 2026-11-02: add by m2/dev
Leonard Jimmie Savage RGFHG0E8J6
| URI | m2://inv/RGFHG0E8J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#BV8U, Leonard Jimmie Savage (unknown)
History
- 2026-11-02: add by m2/dev
Tempered distributions RGFR036NF7
| URI | m2://inv/RGFR036NF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution (mathematical analysis)#6WV4, Tempered distributions (unknown)
History
- 2026-11-02: add by m2/dev
RGFRBDC9TG RGFRBDC9TG
| URI | m2://inv/RGFRBDC9TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#O8BM (statement)
History
- 2026-11-02: add by m2/v0.6.18
RGFWE08X3P RGFWE08X3P
| URI | m2://inv/RGFWE08X3P |
|---|---|
| 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#NVZO (statement). In TX0H26X4VX/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Abelian and Tauberian theorem RGG15TEGCN
| URI | m2://inv/RGG15TEGCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert summation#HWZ5, Abelian and Tauberian theorem (statement)
History
- 2026-11-02: add by m2/dev
Aristotelian physics RGG1ZRZM91
| URI | m2://inv/RGG1ZRZM91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#BHRF, Aristotelian physics (unknown)
History
- 2026-11-02: add by m2/dev
Janez Rakovec RGGH6J9B58
| URI | m2://inv/RGGH6J9B58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janez Rakovec, Janez Rakovec (topic). Also Wikidata Q48075049
History
- 2026-11-02: add by m2/dev
Esther Szekeres RGGTSTN27W
| URI | m2://inv/RGGTSTN27W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XRKZ, Esther Szekeres (topic)
History
- 2026-11-02: add by m2/dev
Goormaghtigh conjecture RGGTY8A3XD
| URI | m2://inv/RGGTY8A3XD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goormaghtigh conjecture, Goormaghtigh conjecture (conjecture). Also Wikidata Q593203
History
- 2026-11-02: add by m2/dev
RGGZECHQ4N RGGZECHQ4N
| URI | m2://inv/RGGZECHQ4N |
|---|---|
| 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.19285#T7WX (statement). In 6DJR9DKY5W/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Sally Shlaer RGHETC42G2
| URI | m2://inv/RGHETC42G2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sally Shlaer, Sally Shlaer (topic). Also Wikidata Q4815976
History
- 2026-11-02: add by m2/dev
acute angle RGHX8T331A
| URI | m2://inv/RGHX8T331A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3250296, acute angle (unknown). Also MathWorld AcuteAngle
History
- 2026-10-26: add by m2/dev
Joint Threat Research Intelligence Group RGJ4PQ2WGH
| URI | m2://inv/RGJ4PQ2WGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint Threat Research Intelligence Group, Joint Threat Research Intelligence Group (definition). Also Wikidata Q15826059
History
- 2026-11-02: add by m2/dev
p-adic number RGJ5J1WCFC
| URI | m2://inv/RGJ5J1WCFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | p-adic number BT6T702C28 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > $p$-adic number, $p$-adic number (unknown). Also Mathlib Padic
- wikidata: Wikidata Q311627, p-adic number (unknown). Also EoM P-adic_number, Mathlib Padic, MathWorld p-adicNumber, nLab p-adic number
- wikipedia: Wikipedia P-adic number, P-adic number (definition). Also Wikidata Q311627
History
- 2026-10-26: add by m2/dev
Sharina Person RGJ7R7MYJF
| URI | m2://inv/RGJ7R7MYJF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KPBK, Sharina Person (topic)
History
- 2026-11-02: add by m2/dev
Dewan–Beran–Bell spaceship paradox RGJ87RZMPC
| URI | m2://inv/RGJ87RZMPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special relativity#GIP8, Dewan–Beran–Bell spaceship paradox (statement)
History
- 2026-11-02: add by m2/dev
Georges Lemaître RGJ8FHR264
| URI | m2://inv/RGJ8FHR264 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HB1B, Georges Lemaître (unknown)
History
- 2026-11-02: add by m2/dev
Borell–Brascamp–Lieb inequality RGJR6CJ7F0
| URI | m2://inv/RGJR6CJ7F0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borell–Brascamp–Lieb inequality, Borell–Brascamp–Lieb inequality (statement). Also Wikidata Q4944920
History
- 2026-11-02: add by m2/dev
RGKE68C5QA RGKE68C5QA
| URI | m2://inv/RGKE68C5QA |
|---|---|
| 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.30165#E04T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties RGKEM24G6V
| URI | m2://inv/RGKEM24G6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge dominating set#PTFL, Properties (statement)
History
- 2026-11-02: add by m2/dev
First fundamental theorem for \operatorname{GL}(V) RGKHK0QTR6
| URI | m2://inv/RGKHK0QTR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First and second fundamental theorems of invariant theory#0JWU, First fundamental theorem for \operatorname{GL}(V) (statement)
History
- 2026-11-02: add by m2/dev
Hooper, Hubert \& Weiss RGKKYCEBQ6
| URI | m2://inv/RGKKYCEBQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#YDLJ, Hooper, Hubert \& Weiss (statement). In WRE0P7V6Z3/e1, theorem 1.17
History
- 2026-10-30: add by m2/v0.4.12
Scripta Mathematica RGKM8AJDHN
| URI | m2://inv/RGKM8AJDHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#NPYG, Scripta Mathematica (definition)
History
- 2026-11-02: add by m2/dev
Statistical assembly RGKP5QZZVC
| URI | m2://inv/RGKP5QZZVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SBJW, Statistical assembly (definition)
History
- 2026-11-02: add by m2/dev
Realization using three vertices RGKRG00A93
| URI | m2://inv/RGKRG00A93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31768#61M2, Realization using three vertices (statement). In WC7ZECEE3P/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
Universal lower bound for upper deviations RGKRM1JG5Q
| URI | m2://inv/RGKRM1JG5Q |
|---|---|
| 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.05498#WVZE, Universal lower bound for upper deviations (statement). In TJT32RQ9GC/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
RGKSB6VR5A RGKSB6VR5A
| URI | m2://inv/RGKSB6VR5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#L95B (statement). In T4S7XVAJJC/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
RGKT54HH7E RGKT54HH7E
| URI | m2://inv/RGKT54HH7E |
|---|---|
| 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 2302.06336#MN6Z (statement). In CCRSWBXWXW/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Applications RGM5P50GHC
| URI | m2://inv/RGM5P50GHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squigonometry#L3O2, Applications (example)
History
- 2026-11-02: add by m2/dev
Agner Krarup Erlang RGMFEZNNH9
| URI | m2://inv/RGMFEZNNH9 |
|---|---|
| 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 Q394423, Agner Krarup Erlang (unknown). Also ProofWiki Mathematician:Agner_Krarup_Erlang
- wikipedia: Wikipedia Agner Krarup Erlang, Agner Krarup Erlang (topic). Also Wikidata Q394423
History
- 2026-10-26: add by m2/dev
Scalar–tensor theory RGMJ0YWSER
| URI | m2://inv/RGMJ0YWSER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar–tensor theory, Scalar–tensor theory (topic). Also Wikidata Q687027
History
- 2026-11-02: add by m2/dev
Basic properties RGMQVT0ENN
| URI | m2://inv/RGMQVT0ENN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Univalent function#86JO, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Properties RGMWJVG2ZR
| URI | m2://inv/RGMWJVG2ZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrelled set#T429, Properties (statement)
History
- 2026-11-02: add by m2/dev
RGN02EN0S4 RGN02EN0S4
| URI | m2://inv/RGN02EN0S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#UGOJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition RGN0K74JVN
| URI | m2://inv/RGN0K74JVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field trace#1PVN, Definition (definition)
History
- 2026-11-02: add by m2/dev
RGN1S6R4NT RGN1S6R4NT
| URI | m2://inv/RGN1S6R4NT |
|---|---|
| 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 2506.21337#BV0I (statement). In EPZN0JTG2Z/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Definition RGN852EBR8
| URI | m2://inv/RGN852EBR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space-filling curve#NRJM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Artin–Schreier curve RGNBENFVTA
| URI | m2://inv/RGNBENFVTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Schreier curve, Artin–Schreier curve (definition). Also Wikidata Q17004165
History
- 2026-11-02: add by m2/dev
RGNHYJTHBR RGNHYJTHBR
| URI | m2://inv/RGNHYJTHBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#definition-2 (definition). In RZP28ERRZV, definition, section 23.1
History
- 2026-11-01: add by m2/v0.6.13
Weighted vectorial average RGNT0Z7WP4
| URI | m2://inv/RGNT0Z7WP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted arithmetic mean#1LJ2, Weighted vectorial average (unknown)
History
- 2026-11-02: add by m2/dev
RGNWKR9F7A RGNWKR9F7A
| URI | m2://inv/RGNWKR9F7A |
|---|---|
| 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 0910.5574#D7VH (statement). In 2TJRBRKYAY/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Georges Henri Halphen RGP020C72B
| URI | m2://inv/RGP020C72B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Henri Halphen, Georges Henri Halphen (topic). Also Wikidata Q476562
History
- 2026-11-02: add by m2/dev
RGP6W353QM RGP6W353QM
| URI | m2://inv/RGP6W353QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#FKEP (statement). In V7SN19J84T/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Variants RGPJXAHAHB
| URI | m2://inv/RGPJXAHAHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon curve#57YO, Variants (statement)
History
- 2026-11-02: add by m2/dev
RGPMJF4FFN RGPMJF4FFN
| URI | m2://inv/RGPMJF4FFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#LEEW (statement). In FJ8XVQ6F0T/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.0
subcategory RGPQKNRASH
| URI | m2://inv/RGPQKNRASH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#9GSR, subcategory (definition)
History
- 2026-11-02: add by m2/dev
Herbrand's theorem RGPS0YSKXT
| URI | m2://inv/RGPS0YSKXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1614, Herbrand's theorem (statement)
History
- 2026-11-02: add by m2/dev
RGPTFGC31D RGPTFGC31D
| URI | m2://inv/RGPTFGC31D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#9ZWS (definition). In XD0YT3XCW2/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
RGQ0ZAT8YD RGQ0ZAT8YD
| URI | m2://inv/RGQ0ZAT8YD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
RGQ5YQV8MF RGQ5YQV8MF
| URI | m2://inv/RGQ5YQV8MF |
|---|---|
| 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.31363#UJN3 (statement). In XB8NYRD86J/e1, lemma D.2
History
- 2026-10-31: add by m2/v0.5.6
RGQ71X9B0D RGQ71X9B0D
| URI | m2://inv/RGQ71X9B0D |
|---|---|
| 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.40355#AG13 (statement). In SBP98GWKC8/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Ultrafinitism RGQ7TMEWFA
| URI | m2://inv/RGQ7TMEWFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafinitism, Ultrafinitism (definition). Also Wikidata Q2477687
History
- 2026-11-02: add by m2/dev
RGQ7ZHM8Z9 RGQ7ZHM8Z9
| URI | m2://inv/RGQ7ZHM8Z9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#QUB9 (definition). In J7ZX3WWRQP/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Codomain RGQ8B4EX69
| URI | m2://inv/RGQ8B4EX69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#42UL, Codomain (definition)
History
- 2026-11-02: add by m2/dev
RGQ92WQJ30 RGQ92WQJ30
| URI | m2://inv/RGQ92WQJ30 |
|---|---|
| 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.11468#9L8A (statement). In FR4FDRHZJT/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.3
Algebraic stability RGQKA19Y96
| URI | m2://inv/RGQKA19Y96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#ZRIS, Algebraic stability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formula and the cosmological constant RGR0KYZEFY
| URI | m2://inv/RGR0KYZEFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gurzadyan theorem#S063, Formula and the cosmological constant (statement)
History
- 2026-11-02: add by m2/dev
RGR87NGQDH RGR87NGQDH
| URI | m2://inv/RGR87NGQDH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#SN95 (definition). In 9H45HQE7AZ/e1, definition 8.2
History
- 2026-10-27: add by m2/v0.3.5
RGREN97W9G RGREN97W9G
| URI | m2://inv/RGREN97W9G |
|---|---|
| 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 2610.10248#426A (statement). In TMV74X2725/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
RGS00J8HXY RGS00J8HXY
| URI | m2://inv/RGS00J8HXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#def:unit (definition). In RZP28ERRZV, definition, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
The certificate lemma RGS6J8J0ZN
| URI | m2://inv/RGS6J8J0ZN |
|---|---|
| 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.25120#274V, The certificate lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
RGS88PVYED RGS88PVYED
| URI | m2://inv/RGS88PVYED |
|---|---|
| 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 2212.11038#W6S9 (statement). In M3E3ARMJXK/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
RGSA7PGX8G RGSA7PGX8G
| URI | m2://inv/RGSA7PGX8G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:dbaronpoly (statement). In VNMV985MXX, thm, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Axiomatic real number RGSDQ26SJ4
| URI | m2://inv/RGSDQ26SJ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real number#SDZF, Axiomatic real number (unknown)
History
- 2026-11-02: add by m2/dev
RGSPHJYM1E RGSPHJYM1E
| URI | m2://inv/RGSPHJYM1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.26417#2QJG (definition)
History
- 2026-11-01: add by m2/v0.6.15
RGSPRZ5FQY RGSPRZ5FQY
| URI | m2://inv/RGSPRZ5FQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26521#N7HM (statement)
History
- 2026-11-01: add by m2/v0.6.15
RGSRQ302W7 RGSRQ302W7
| URI | m2://inv/RGSRQ302W7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#OG98 (statement). In H3FDP8S1Z7/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Claude Dellacherie RGSSEHSS98
| URI | m2://inv/RGSSEHSS98 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U77U, Claude Dellacherie (unknown)
History
- 2026-11-02: add by m2/dev
1 E11 RGSZV104R0
| URI | m2://inv/RGSZV104R0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#CO3M, 1 E11 (unknown)
History
- 2026-11-02: add by m2/dev
semisimple RGT2DFNGX9
| URI | m2://inv/RGT2DFNGX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#5JMW, semisimple (definition)
History
- 2026-11-02: add by m2/dev
Bathtub principle under a radial envelope RGT9NNPCG7
| URI | m2://inv/RGT9NNPCG7 |
|---|---|
| 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.23923#O8M5, Bathtub principle under a radial envelope (statement)
History
- 2026-11-02: add by m2/v0.6.17
RGTDPMNNZX RGTDPMNNZX
| URI | m2://inv/RGTDPMNNZX |
|---|---|
| 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 2009.11127#6CUE (statement). In QEFS0Y021A/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
RGTEH0SQK8 RGTEH0SQK8
| URI | m2://inv/RGTEH0SQK8 |
|---|---|
| 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.25435#JEXH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Walter T. Federer RGTNBK0ZRW
| URI | m2://inv/RGTNBK0ZRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter T. Federer, Walter T. Federer (topic). Also Wikidata Q59626961
History
- 2026-11-02: add by m2/dev
Fixed-key tail RGTSK6M669
| URI | m2://inv/RGTSK6M669 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38668#FGLP, Fixed-key tail (statement). In VB1EZ9K6YW/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Fundamental Theorem of Calculus, Second RGTT665BZA
| URI | m2://inv/RGTT665BZA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.2.2/fundamental-theorem-of-calculus-second, Fundamental Theorem of Calculus, Second (concept). In 907G4C4EJ1, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
RGV0VRYJFC RGV0VRYJFC
| URI | m2://inv/RGV0VRYJFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#1NPM (statement). In 2VQ90WEZKB/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Example RGV41DVW9G
| URI | m2://inv/RGV41DVW9G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic normal form#NBNK, Example (example)
History
- 2026-11-02: add by m2/dev
Balance laws – Cauchy's equations of motion RGVMEN8918
| URI | m2://inv/RGVMEN8918 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor#KQB1, Balance laws – Cauchy's equations of motion (statement)
History
- 2026-11-02: add by m2/dev
Gaetano Scorza RGVRHM45PZ
| URI | m2://inv/RGVRHM45PZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaetano Scorza, Gaetano Scorza (topic). Also Wikidata Q774274
History
- 2026-11-02: add by m2/dev
RGVSVDHRRZ RGVSVDHRRZ
| URI | m2://inv/RGVSVDHRRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04873#WSVG (statement). In GWG2WM0E4X/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Whitehead integral formula RGW2CM64DE
| URI | m2://inv/RGW2CM64DE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf invariant#J5QW, Whitehead integral formula (statement)
History
- 2026-11-02: add by m2/dev
RGW4AA39XT RGW4AA39XT
| URI | m2://inv/RGW4AA39XT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#S0ZB (statement). In BYAANB1NG0/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
De Branges's theorem RGW800ENST
| URI | m2://inv/RGW800ENST |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q857089, de Branges's theorem (statement). Also Wikidata Q857089
- thousand_plus: thousand_plus Q857089, de Branges's theorem (statement). Also Wikidata Q857089, Wikipedia de Branges's theorem
- wikipedia: Wikipedia De Branges's theorem, De Branges's theorem (statement). Also Wikidata Q857089
History
- 2026-10-26: add by m2/dev
fundamental RGWANDGC1N
| URI | m2://inv/RGWANDGC1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#KAJD, fundamental (definition)
History
- 2026-11-02: add by m2/dev
$(\mu,k)$-approximate differential RGWBG1BZPQ
| URI | m2://inv/RGWBG1BZPQ |
|---|---|
| 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.24451#NRQE, $(\mu,k)$-approximate differential (definition)
History
- 2026-11-01: add by m2/v0.6.15
Global optimization RGWG9GGWME
| URI | m2://inv/RGWG9GGWME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global optimization, Global optimization (topic). Also Wikidata Q5570875
History
- 2026-11-02: add by m2/dev
RGWKX9NC4G RGWKX9NC4G
| URI | m2://inv/RGWKX9NC4G |
|---|---|
| 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 2011.07352#ONA5 (statement). In 3VPC1GGZ3E/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Orthogonality across levels RGWWDEZ9A6
| URI | m2://inv/RGWWDEZ9A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04574#LI3P, Orthogonality across levels (statement). In XVPGDDE7WA/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
Multilinear algebra RGWYZ3JN8W
| URI | m2://inv/RGWYZ3JN8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#FTB9, Multilinear algebra (definition)
History
- 2026-11-02: add by m2/dev
Frank Rowlett RGX1QHZMXN
| URI | m2://inv/RGX1QHZMXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Rowlett, Frank Rowlett (topic). Also Wikidata Q1444058
History
- 2026-11-02: add by m2/dev
RGX4PCS0GK RGX4PCS0GK
| URI | m2://inv/RGX4PCS0GK |
|---|---|
| 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.20740#U7NE (statement)
History
- 2026-11-02: add by m2/v0.6.18
RGX57XG4P2 RGX57XG4P2
| URI | m2://inv/RGX57XG4P2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.34289#PXYG (statement). In 9RBATD2Z1F/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Monad RGXBR8XG93
| URI | m2://inv/RGXBR8XG93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (homological algebra), Monad (definition). Also Wikidata Q6897846
History
- 2026-11-02: add by m2/dev
John Oprea RGXKT2GZZV
| URI | m2://inv/RGXKT2GZZV |
|---|---|
| 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 Q95219780, John Oprea (unknown). Also nLab John Oprea
History
- 2026-10-26: add by m2/dev
RGXKZ9NKTP RGXKZ9NKTP
| URI | m2://inv/RGXKZ9NKTP |
|---|---|
| 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.35339#U4HW (statement). In JT998WJYJJ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Probability mass function RGXPSNZBW3
| URI | m2://inv/RGXPSNZBW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#6C5N, Probability mass function (definition)
History
- 2026-11-02: add by m2/dev
RGXRHHQ5QN RGXRHHQ5QN
| URI | m2://inv/RGXRHHQ5QN |
|---|---|
| Kind | example |
| 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#413O (example). In AX7TZJ5PP9/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
RGXS435YS5 RGXS435YS5
| URI | m2://inv/RGXS435YS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.29712#OUWL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hexagonal sampling RGXTYF8NJM
| URI | m2://inv/RGXTYF8NJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal sampling, Hexagonal sampling (definition). Also Wikidata Q17156562
History
- 2026-11-02: add by m2/dev
Local domain refinement RGXTZQV54G
| URI | m2://inv/RGXTZQV54G |
|---|---|
| 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.20539#K6C3, Local domain refinement (statement). In 94KNW375B9/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.2
Spread polynomials RGXW084CEG
| URI | m2://inv/RGXW084CEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#DYNP, Spread polynomials (definition)
History
- 2026-11-02: add by m2/dev
RGXXHHX5Q4 RGXXHHX5Q4
| URI | m2://inv/RGXXHHX5Q4 |
|---|---|
| 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#ZAV4 (statement). In TC5QA4AB4Z/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Radioactive decay RGY30X5T3R
| URI | m2://inv/RGY30X5T3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#73BP, Radioactive decay (unknown)
History
- 2026-11-02: add by m2/dev
Meaning postulate RGY62EC0JD
| URI | m2://inv/RGY62EC0JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meaning postulate, Meaning postulate (definition). Also Wikidata Q6803700
History
- 2026-11-02: add by m2/dev
Properties RGY6Y0SN4F
| URI | m2://inv/RGY6Y0SN4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-symmetric graph#X956, Properties (statement)
History
- 2026-11-02: add by m2/dev
RGY9RYY20B RGY9RYY20B
| URI | m2://inv/RGY9RYY20B |
|---|---|
| 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#4LOP (statement). In 43TBS9P2PX/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
A convex coordinate and a fractional optimum RGYBXMEHC3
| URI | m2://inv/RGYBXMEHC3 |
|---|---|
| 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 2610.04027#951W, A convex coordinate and a fractional optimum (example). In DQB4YR2DFH/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.12
complex plane RGYN2ZSC9S
| URI | m2://inv/RGYN2ZSC9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#0Q1J, complex plane (definition)
History
- 2026-11-02: add by m2/dev
M. Dunwoody RGYNVX1CEF
| URI | m2://inv/RGYNVX1CEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FJ97, M. Dunwoody (unknown)
History
- 2026-11-02: add by m2/dev
Zero (complex analysis) RGYSJJWMVE
| URI | m2://inv/RGYSJJWMVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#MEE8, Zero (complex analysis) (definition)
History
- 2026-11-02: add by m2/dev
wedge RGZ4D06QY2
| URI | m2://inv/RGZ4D06QY2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.6/wedge, wedge (concept). In N54F33XE07, index, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
RGZ6WVAB4Z RGZ6WVAB4Z
| URI | m2://inv/RGZ6WVAB4Z |
|---|---|
| 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.01753#PPOQ (statement). In JY50YXMH5N/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Definition RGZFNGNB9E
| URI | m2://inv/RGZFNGNB9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supergolden ratio#DV0J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hermitian conjugate matrix RGZGXY0FH5
| URI | m2://inv/RGZGXY0FH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Conjugate transpose 0DXKE10PHF |
Mentions
- wikidata: Wikidata Q2051983, Hermitian conjugate matrix (unknown). Also EoM Adjoint_matrix, MathWorld ConjugateTranspose
- wikipedia: Wikipedia Conjugate transpose, Conjugate transpose (definition). Also Wikidata Q2051983
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
RGZSQSKMG3 RGZSQSKMG3
| URI | m2://inv/RGZSQSKMG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05973#5DL9 (statement). In APGTNJ233H/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Orbit model RGZT388HZR
| URI | m2://inv/RGZT388HZR |
|---|---|
| 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.20230#VSTB, Orbit model (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tangent bound RGZWWKKW2H
| URI | m2://inv/RGZWWKKW2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#Z13R, Tangent bound (statement). In NKXTXH59P1/e1, lemma B.9
History
- 2026-10-29: add by m2/v0.4.10
Related results RGZY8YYZKH
| URI | m2://inv/RGZY8YYZKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Ko–Rado theorem#TKKH, Related results (statement)
History
- 2026-11-02: add by m2/dev
RGZZW9KPZ3 RGZZW9KPZ3
| URI | m2://inv/RGZZW9KPZ3 |
|---|---|
| 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.02681#O1PA (statement). In 7BBJMB97N7/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12