Inventory rows GN
The cards of the rows of the inventory whose ids start with GN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties GN08429V9S
| URI | m2://inv/GN08429V9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal structure#FWGI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Smith–Volterra–Cantor set GN092JAHNV
| URI | m2://inv/GN092JAHNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Volterra–Cantor set, Smith–Volterra–Cantor set (definition). Also Wikidata Q909569
History
- 2026-11-02: add by m2/dev
GN0J0ZH63A GN0J0ZH63A
| URI | m2://inv/GN0J0ZH63A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#SPAB (statement). In D50WST4CG3/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
G. H. Hardy GN0P0FZNM8
| URI | m2://inv/GN0P0FZNM8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JXSS, G. H. Hardy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#59M6, G. H. Hardy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O82I, G. H. Hardy (topic)
History
- 2026-11-02: add by m2/dev
Coulomb Gauge GN0QHPQ00B
| URI | m2://inv/GN0QHPQ00B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge fixing#61GS, Coulomb Gauge (unknown)
History
- 2026-11-02: add by m2/dev
GN0VS8MW8Z GN0VS8MW8Z
| URI | m2://inv/GN0VS8MW8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#def:relatives (definition). In P1C114YBXG, definition, section H
History
- 2026-11-01: add by m2/v0.6.13
GN14K7XD9W GN14K7XD9W
| URI | m2://inv/GN14K7XD9W |
|---|---|
| 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.12810#7I19 (statement). In DR35633CPN/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
GN15GN9H0A GN15GN9H0A
| URI | m2://inv/GN15GN9H0A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#QL4Z (definition). In XJWQ6Y83F8/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
GN15TFD2SG GN15TFD2SG
| URI | m2://inv/GN15TFD2SG |
|---|---|
| Kind | definition |
| 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.31858#RVCP (definition). In QV16PHDXKJ/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
GN1CM95JN3 GN1CM95JN3
| URI | m2://inv/GN1CM95JN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 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.20683#P98X (statement)
History
- 2026-11-02: add by m2/v0.6.18
GN1ENBRPQE GN1ENBRPQE
| URI | m2://inv/GN1ENBRPQE |
|---|---|
| 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.26922#9NAE (statement)
History
- 2026-11-01: add by m2/v0.6.15
GN1FW4192D GN1FW4192D
| URI | m2://inv/GN1FW4192D |
|---|---|
| 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.19449#RX7B (statement). In 8ZKPJ3CBDF/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Lattice gauge theory GN1KJKMR9A
| URI | m2://inv/GN1KJKMR9A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice gauge theory, Lattice gauge theory (topic). Also Wikidata Q386769
History
- 2026-11-02: add by m2/dev
Rosenbrock methods GN1M4XDM01
| URI | m2://inv/GN1M4XDM01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7368544, Rosenbrock methods (unknown). Also EoM Rosenbrock_methods, MathWorld RosenbrockMethods
- wikipedia: Wikipedia Rosenbrock methods, Rosenbrock methods (definition). Also Wikidata Q7368544
History
- 2026-10-26: add by m2/dev
GN1RZAD5TK GN1RZAD5TK
| URI | m2://inv/GN1RZAD5TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#KLW0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GN1WQ3RQ2E GN1WQ3RQ2E
| URI | m2://inv/GN1WQ3RQ2E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
GN1YR28QTV GN1YR28QTV
| URI | m2://inv/GN1YR28QTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#92RN (statement)
History
- 2026-11-01: add by m2/v0.6.15
V GN21DJYZJR
| URI | m2://inv/GN21DJYZJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#LX5J, V (definition)
History
- 2026-11-02: add by m2/dev
Definition GN25SCPST7
| URI | m2://inv/GN25SCPST7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preordered class#NH1L, Definition (definition)
History
- 2026-11-02: add by m2/dev
GN26WYDJJR GN26WYDJJR
| URI | m2://inv/GN26WYDJJR |
|---|---|
| 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.04603#Y3AZ (statement). In HEAG8V2JM1/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
pseudograph GN2E919SZV
| URI | m2://inv/GN2E919SZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#9O1P, pseudograph (definition)
History
- 2026-11-02: add by m2/dev
GN2EDH35KV GN2EDH35KV
| URI | m2://inv/GN2EDH35KV |
|---|---|
| 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.16554#SW6M (statement). In GWNT8HEZG1/e1, proposition 4.28
History
- 2026-10-27: add by m2/v0.3.6
GN2WHJ4VXQ GN2WHJ4VXQ
| URI | m2://inv/GN2WHJ4VXQ |
|---|---|
| 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.18358#6VAL (statement). In SPZ446XNDW/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Convexity and properness of the constrained additive functional GN2XYRBMDG
| URI | m2://inv/GN2XYRBMDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#Y1SC, Convexity and properness of the constrained additive functional (statement). In MM8P5CJR18/e1, proposition C.9
History
- 2026-10-29: add by m2/v0.4.12
Ilya Nikolaevich Bronshtein GN32ABFV6Y
| URI | m2://inv/GN32ABFV6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ilya Nikolaevich Bronshtein, Ilya Nikolaevich Bronshtein (topic). Also Wikidata Q29054042
History
- 2026-11-02: add by m2/dev
Spin(7) manifold GN37KJZ7RD
| URI | m2://inv/GN37KJZ7RD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#3XTI, Spin(7) manifold (definition)
History
- 2026-11-02: add by m2/dev
GN38M7RXD4 GN38M7RXD4
| URI | m2://inv/GN38M7RXD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#EK9Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions GN39QMBE4C
| URI | m2://inv/GN39QMBE4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system of divisors#FLLK, Definitions (definition)
History
- 2026-11-02: add by m2/dev
David J. Wales GN3DPNFKH1
| URI | m2://inv/GN3DPNFKH1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SECG, David J. Wales (unknown)
History
- 2026-11-02: add by m2/dev
free vertex GN3K5FF5CX
| URI | m2://inv/GN3K5FF5CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#6YKH, free vertex (definition)
History
- 2026-11-02: add by m2/dev
GN3M7R4JDP GN3M7R4JDP
| URI | m2://inv/GN3M7R4JDP |
|---|---|
| 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.21972#OOHH (statement)
History
- 2026-11-02: add by m2/v0.6.17
GN3P7FW1XW GN3P7FW1XW
| URI | m2://inv/GN3P7FW1XW |
|---|---|
| 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#T50W (statement). In ZD7BWDKT84/e1, corollary 6.6
History
- 2026-10-29: add by m2/v0.4.10
Relationship to the compactness theorem GN3TBBM9FS
| URI | m2://inv/GN3TBBM9FS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's completeness theorem#Z8TX, Relationship to the compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
GN4510D8YW GN4510D8YW
| URI | m2://inv/GN4510D8YW |
|---|---|
| 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.25656#RYDD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sample complexity of useful event-tilt selection GN463B4FN9
| URI | m2://inv/GN463B4FN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#VUJ3, Sample complexity of useful event-tilt selection (statement). In AAH14S2JJ2/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Data compression algorithms GN464V27CP
| URI | m2://inv/GN464V27CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression#2GMA, Data compression algorithms (definition)
History
- 2026-11-02: add by m2/dev
linear programming GN4AH8YDH0
| URI | m2://inv/GN4AH8YDH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#TERT, linear programming (definition)
History
- 2026-11-02: add by m2/dev
Demographics of Istanbul GN4E4WJPKE
| URI | m2://inv/GN4E4WJPKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Istanbul, Demographics of Istanbul (definition). Also Wikidata Q85756341
History
- 2026-11-02: add by m2/dev
Heyting spaces, preliminary GN4F9JFTB1
| URI | m2://inv/GN4F9JFTB1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#IURG, Heyting spaces, preliminary (definition). In HX63A1PH1W/e1, definition 7.3
History
- 2026-10-28: add by m2/v0.4.3
GN4J2YRQRN GN4J2YRQRN
| URI | m2://inv/GN4J2YRQRN |
|---|---|
| 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.17897#P3BW (statement). In G116A4SMS4/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
GN4MM3S02B GN4MM3S02B
| URI | m2://inv/GN4MM3S02B |
|---|---|
| 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.26600#VUD8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GN4N6AA32W GN4N6AA32W
| URI | m2://inv/GN4N6AA32W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#VVBA (statement). In 7MV7RGDVXF/e1, proposition 4.5.3
History
- 2026-10-29: add by m2/v0.4.10
logic, constructive vs classical GN4SER4EAB
| URI | m2://inv/GN4SER4EAB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.4/logic-constructive-vs-classical, logic, constructive vs classical (concept). In N54F33XE07, index, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
A matrix criterion for Morse--Smale dynamics GN4VR3P32Z
| URI | m2://inv/GN4VR3P32Z |
|---|---|
| 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#IXH6, A matrix criterion for Morse--Smale dynamics (statement). In 1JCPN0K7DB/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
Uniform matroid GN4XHMRFWN
| URI | m2://inv/GN4XHMRFWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform matroid, Uniform matroid (definition). Also Wikidata Q7885108
History
- 2026-11-02: add by m2/dev
GN4Y3Y1XE5 GN4Y3Y1XE5
| URI | m2://inv/GN4Y3Y1XE5 |
|---|---|
| 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.20421#8OSQ (statement). In Q4R7J8JE3F/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
Examples GN54NKVHA2
| URI | m2://inv/GN54NKVHA2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Current (mathematics)#ECNI, Examples (example)
History
- 2026-11-02: add by m2/dev
GN55275J3E GN55275J3E
| URI | m2://inv/GN55275J3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#WZOJ (statement). In X765ZXXVC3/e1, theorem 4.30
History
- 2026-10-29: add by m2/v0.4.12
Real comparison from four corners GN5D077JYF
| URI | m2://inv/GN5D077JYF |
|---|---|
| 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 2609.35325#HGFC, Real comparison from four corners (statement). In GHT5WXFA4E/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
GN5EB0RXTS GN5EB0RXTS
| URI | m2://inv/GN5EB0RXTS |
|---|---|
| Kind | definition |
| 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.13931#3HGR (definition). In EXA79VR78Q/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
GN5HCFC6K3 GN5HCFC6K3
| URI | m2://inv/GN5HCFC6K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#N58O (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hall-type theorems for hypergraphs GN5TK45WCX
| URI | m2://inv/GN5TK45WCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall-type theorems for hypergraphs, Hall-type theorems for hypergraphs (statement). Also Wikidata Q97354080
History
- 2026-11-02: add by m2/dev
GN5W6CA6WS GN5W6CA6WS
| URI | m2://inv/GN5W6CA6WS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#CVNQ (statement). In 80S2NP05HJ/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.4.0
Yuri Prokhorov GN5WXCPV5B
| URI | m2://inv/GN5WXCPV5B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Prokhorov, Yuri Prokhorov (topic). Also Wikidata Q2450566
History
- 2026-11-02: add by m2/dev
GN5YHF2FA9 GN5YHF2FA9
| URI | m2://inv/GN5YHF2FA9 |
|---|---|
| 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#31JY (definition). In 9H45HQE7AZ/e1, definition 3.40
History
- 2026-10-27: add by m2/v0.3.5
Günter Asser GN5ZWHW8ET
| URI | m2://inv/GN5ZWHW8ET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#SD4C, Günter Asser (topic)
History
- 2026-11-02: add by m2/dev
Formulation GN66NA43YV
| URI | m2://inv/GN66NA43YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seiffert's spiral#A72O, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Adam GN66Y7K0GC
| URI | m2://inv/GN66Y7K0GC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#VRV1, Adam (unknown)
History
- 2026-11-02: add by m2/dev
Normal cone GN6AP77ZN8
| URI | m2://inv/GN6AP77ZN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis), Normal cone (definition). Also Wikidata Q140656883
History
- 2026-11-02: add by m2/dev
Günter Harder GN6C6YDX9Z
| URI | m2://inv/GN6C6YDX9Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Günter Harder, Günter Harder (topic). Also Wikidata Q1560538
History
- 2026-11-02: add by m2/dev
Generalizations GN6PA03AQN
| URI | m2://inv/GN6PA03AQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's lemma#VKXB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
GN6RXRVWKS GN6RXRVWKS
| URI | m2://inv/GN6RXRVWKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2606.12009#KQKR (statement). In DNAN4SV8AM/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
GN6WJRFPZJ GN6WJRFPZJ
| URI | m2://inv/GN6WJRFPZJ |
|---|---|
| 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.32977#C48V (statement). In 4KT9TK3MG4/e1, theorem D.1
History
- 2026-10-31: add by m2/v0.5.6
Group-Invariant MDP GN6XG28C4T
| URI | m2://inv/GN6XG28C4T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36421#UVKS, Group-Invariant MDP (definition). In E0ZRSZ0YHT/e1, definition 10
History
- 2026-10-30: add by m2/v0.4.12
incomplete elliptic integral of the third kind GN7KGER9JV
| URI | m2://inv/GN7KGER9JV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109753096, incomplete elliptic integral of the third kind (unknown). Also MathWorld EllipticIntegraloftheThirdKind
History
- 2026-10-26: add by m2/dev
Mark Srednicki GN7R3GRAAZ
| URI | m2://inv/GN7R3GRAAZ |
|---|---|
| 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 Q63799885, Mark Srednicki (unknown). Also nLab Mark Srednicki
History
- 2026-10-26: add by m2/dev
GN7Y3PQ2BV GN7Y3PQ2BV
| URI | m2://inv/GN7Y3PQ2BV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#VDWG (statement). In AQX7DGD360/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
GN7Y5WYGH8 GN7Y5WYGH8
| URI | m2://inv/GN7Y5WYGH8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#ZJAU (example). In GQQZNRYK15/e1, example 3.4
History
- 2026-10-31: add by m2/v0.5.6
multisymplectic manifold GN84KW5CC5
| URI | m2://inv/GN84KW5CC5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62036812, multisymplectic manifold (unknown). Also nLab n-plectic geometry
History
- 2026-10-26: add by m2/dev
GN88TAMJFT GN88TAMJFT
| URI | m2://inv/GN88TAMJFT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#prob:double_dual (exercise). In RZP28ERRZV, sproblem, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
GN8FY5R50K GN8FY5R50K
| URI | m2://inv/GN8FY5R50K |
|---|---|
| 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#XIQM (statement). In 4WPYBTARS2/e1, theorem 3.16
History
- 2026-10-29: add by m2/v0.4.12
Design map is continuous, with uniformly bounded design constants GN8HCAK9NC
| URI | m2://inv/GN8HCAK9NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08764#4AFI, Design map is continuous, with uniformly bounded design constants (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Whitney embedding theorem GN8MXRF5Q1
| URI | m2://inv/GN8MXRF5Q1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EV6A, Whitney embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
Eilenberg–Mazur swindle GN8N0WAQ4P
| URI | m2://inv/GN8N0WAQ4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#I8O8, Eilenberg–Mazur swindle (unknown)
History
- 2026-11-02: add by m2/dev
GN8NDNQD98 GN8NDNQD98
| URI | m2://inv/GN8NDNQD98 |
|---|---|
| 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 2609.31212#SSYE (statement). In FHE30V0M03/e1, corollary 1.4
History
- 2026-10-31: add by m2/v0.5.6
GN8NJAVZQH GN8NJAVZQH
| URI | m2://inv/GN8NJAVZQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#TYL8 (statement). In BDN507RN7J/e1, lemma 2.2.3
History
- 2026-10-30: add by m2/v0.4.12
GN8Q987X9C GN8Q987X9C
| URI | m2://inv/GN8Q987X9C |
|---|---|
| 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#CL8H (statement). In WRE0P7V6Z3/e1, theorem 1.34
History
- 2026-10-30: add by m2/v0.4.12
GN8QNZ6PEV GN8QNZ6PEV
| URI | m2://inv/GN8QNZ6PEV |
|---|---|
| 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 2106.11898#4J4A (statement). In KXXV5X8AG4/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.6
GN90HA4R8V GN90HA4R8V
| URI | m2://inv/GN90HA4R8V |
|---|---|
| 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.28674#AS0J (statement)
History
- 2026-11-01: add by m2/v0.6.15
hermeticism GN931WZARX
| URI | m2://inv/GN931WZARX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192933, hermeticism (unknown). Also nLab hermeticism
History
- 2026-10-26: add by m2/dev
Construction GN94ATDEGX
| URI | m2://inv/GN94ATDEGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-simplexes#649X, Construction (definition)
History
- 2026-11-02: add by m2/dev
Definition GN96B3DBA0
| URI | m2://inv/GN96B3DBA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodicity economics#UXH6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties GN9E8RJ3T5
| URI | m2://inv/GN9E8RJ3T5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NL-complete#XM10, Properties (statement)
History
- 2026-11-02: add by m2/dev
GN9EVXAC86 GN9EVXAC86
| URI | m2://inv/GN9EVXAC86 |
|---|---|
| Kind | statement |
| 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#8ACP (statement). In 8T90H89HNB/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
GN9J31H3W0 GN9J31H3W0
| URI | m2://inv/GN9J31H3W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#R8XF (statement). In 793KXAR957/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
GN9PJ1QNB2 GN9PJ1QNB2
| URI | m2://inv/GN9PJ1QNB2 |
|---|---|
| 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 2609.20675#3RWG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Calyampudi Radhakrishna Rao GN9TT9PWCZ
| URI | m2://inv/GN9TT9PWCZ |
|---|---|
| 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 Q711237, Calyampudi Radhakrishna Rao (unknown). Also ProofWiki Mathematician:Calyampudi_Radhakrishna_Rao
- wikipedia: Wikipedia C. R. Rao, C. R. Rao (topic). Also Wikidata Q711237
History
- 2026-10-26: add by m2/dev
Forest plot GN9WHNNEM2
| URI | m2://inv/GN9WHNNEM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QFHO, Forest plot (definition)
- wikipedia: Wikipedia List of graphical methods#MC72, Forest plot (definition)
History
- 2026-11-02: add by m2/dev
GN9Z3TAW41 GN9Z3TAW41
| URI | m2://inv/GN9Z3TAW41 |
|---|---|
| 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#C7NJ (statement). In ZD7BWDKT84/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Parallax mapping GNA0G4Z7QW
| URI | m2://inv/GNA0G4Z7QW |
|---|---|
| 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#J88N, Parallax mapping (unknown)
History
- 2026-11-02: add by m2/dev
GNA0M47F52 GNA0M47F52
| URI | m2://inv/GNA0M47F52 |
|---|---|
| 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.31242#I8GY (statement). In 3NPRR9546C/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
GNA1GWA17N GNA1GWA17N
| URI | m2://inv/GNA1GWA17N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#theorem-3 (statement). In E9HS8K3A52, theorem, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
GNA6H2JE0R GNA6H2JE0R
| URI | m2://inv/GNA6H2JE0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#H4FP (statement). In A7M06ZVYA8/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
uniformly bounded GNAD8B4PQ1
| URI | m2://inv/GNAD8B4PQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#UEZ4, uniformly bounded (definition)
History
- 2026-11-02: add by m2/dev
Flat water surface GNAF9S3SPG
| URI | m2://inv/GNAF9S3SPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wind wave#WEOH, Flat water surface (unknown)
History
- 2026-11-02: add by m2/dev
GNAH6NAKJR GNAH6NAKJR
| URI | m2://inv/GNAH6NAKJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#GLYS (statement). In PA3B6C0WY7/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.10
GNAKCJM8FA GNAKCJM8FA
| URI | m2://inv/GNAKCJM8FA |
|---|---|
| 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.36668#IH4U (statement). In RD729BY377/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
GNAPNZMY2B GNAPNZMY2B
| URI | m2://inv/GNAPNZMY2B |
|---|---|
| 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.10469#IEE6 (statement). In Q39BEKW6D9/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.10
Base16 GNATKX0BAS
| URI | m2://inv/GNATKX0BAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexadecimal#N1UF, Base16 (unknown)
History
- 2026-11-02: add by m2/dev
Uniqueness in $L^1$ for fixed Robin parameter GNAV8970TZ
| URI | m2://inv/GNAV8970TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14323#3431, Uniqueness in $L^1$ for fixed Robin parameter (statement). In VAWEP32BEX/e1, corollary 11.1
History
- 2026-10-28: add by m2/v0.4.2
Critical points on trees GNAW32ZVEW
| URI | m2://inv/GNAW32ZVEW |
|---|---|
| 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#AM4S, Critical points on trees (statement). In 1JCPN0K7DB/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
John Frank Adams GNB0VBGYS0
| URI | m2://inv/GNB0VBGYS0 |
|---|---|
| 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#7FRB, John Frank Adams (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GVRK, John Frank Adams (topic)
History
- 2026-11-02: add by m2/dev
GNB8R2HMX7 GNB8R2HMX7
| URI | m2://inv/GNB8R2HMX7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#BVIQ (definition). In 9JHMTYGWFQ/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
GNBAAZPJHN GNBAAZPJHN
| URI | m2://inv/GNBAAZPJHN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#I1C9 (example). In 9ZSNSJRJ5N/e1, example 3
History
- 2026-10-27: add by m2/v0.4.2
Highest weight module GNBCHCYNAK
| URI | m2://inv/GNBCHCYNAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (representation theory)#B9VD, Highest weight module (unknown)
History
- 2026-11-02: add by m2/dev
GNBTKDC0FG GNBTKDC0FG
| URI | m2://inv/GNBTKDC0FG |
|---|---|
| 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.00312#DRI1 (statement). In 41NFABHFXH/e1, proposition 6.6
History
- 2026-10-30: add by m2/v0.4.12
GNBVYT1G72 GNBVYT1G72
| URI | m2://inv/GNBVYT1G72 |
|---|---|
| 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.04323#PRCJ (statement). In 3Z0D2NCJ0B/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
GNC6T13QPC GNC6T13QPC
| URI | m2://inv/GNC6T13QPC |
|---|---|
| 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.28650#2JNX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Banded approximation GNCYCJ99RY
| URI | m2://inv/GNCYCJ99RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13715#39H8, Banded approximation (statement). In FAVGZDVJS9/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
Parameter-density positivity criterion GND0RSBJY1
| URI | m2://inv/GND0RSBJY1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#0PYF, Parameter-density positivity criterion (statement). In P6FTXTV09Q/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.4.0
Charles Rackoff GND3P8GGZ8
| URI | m2://inv/GND3P8GGZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XIXR, Charles Rackoff (unknown)
History
- 2026-11-02: add by m2/dev
GND5YBYSCN GND5YBYSCN
| URI | m2://inv/GND5YBYSCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#JQHJ (statement). In B9EX6K51RD/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
F. Klein GND6R3BG2C
| URI | m2://inv/GND6R3BG2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#B20O, F. Klein (topic)
History
- 2026-11-02: add by m2/dev
David Cox GNDMBC6RNB
| URI | m2://inv/GNDMBC6RNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8ZW5, David Cox (topic)
History
- 2026-11-02: add by m2/dev
Choi Yun Sung GNDP3B9PX6
| URI | m2://inv/GNDP3B9PX6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choi Yun Sung, Choi Yun Sung (topic). Also Wikidata Q102253011
History
- 2026-11-02: add by m2/dev
Bayes classifier GNE160BQ0M
| URI | m2://inv/GNE160BQ0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes classifier, Bayes classifier (definition). Also Wikidata Q17004744
History
- 2026-11-02: add by m2/dev
Stefan Müller GNE2MCB41V
| URI | m2://inv/GNE2MCB41V |
|---|---|
| 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#CK8C, Stefan Müller (topic)
- wikipedia: Wikipedia List of German mathematicians#Q8CS, Stefan Müller (topic)
History
- 2026-11-02: add by m2/dev
GNE7XK6PFS GNE7XK6PFS
| URI | m2://inv/GNE7XK6PFS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example-12 (example). In E59CDZA4DP, example, section 11.4.1
History
- 2026-11-01: add by m2/v0.6.13
GNEFB3KNSQ GNEFB3KNSQ
| URI | m2://inv/GNEFB3KNSQ |
|---|---|
| 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.19243#FT1P (statement). In 8CSXBTYKDT/e1, corollary 1.1
History
- 2026-10-28: add by m2/v0.4.2
Total curvature GNEGHRZ5W6
| URI | m2://inv/GNEGHRZ5W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total curvature, Total curvature (definition). Also Wikidata Q4370338
History
- 2026-11-02: add by m2/dev
locally small category GNEHNXAYNR
| URI | m2://inv/GNEHNXAYNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121771058, locally small category (definition). Also ProofWiki Definition:Locally_Small_Category
History
- 2026-10-26: add by m2/dev
GNEJZH10FC GNEJZH10FC
| URI | m2://inv/GNEJZH10FC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#D8BI (definition). In GHKR740SG3/e1, definition 10.1
History
- 2026-10-31: add by m2/v0.5.6
Scalar hyperbolic conservation law GNERSBD0GX
| URI | m2://inv/GNERSBD0GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous Galerkin method#3TVX, Scalar hyperbolic conservation law (statement)
History
- 2026-11-02: add by m2/dev
Applications GNEXHN061H
| URI | m2://inv/GNEXHN061H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross product#F8NZ, Applications (example)
History
- 2026-11-02: add by m2/dev
GNEYGF4C9T GNEYGF4C9T
| URI | m2://inv/GNEYGF4C9T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 81.5
History
- 2026-11-01: add by m2/v0.6.13
Exponential time hypothesis GNF1J96GTC
| URI | m2://inv/GNF1J96GTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential time hypothesis, Exponential time hypothesis (statement). Also Wikidata Q5421532
History
- 2026-11-02: add by m2/dev
GNF522Q1VT GNF522Q1VT
| URI | m2://inv/GNF522Q1VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#thm:dersconverge (statement). In E59CDZA4DP, thm, section 9.2.3
History
- 2026-11-01: add by m2/v0.6.13
GNF6RJ6Q5P GNF6RJ6Q5P
| URI | m2://inv/GNF6RJ6Q5P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-48 (proof). In N54F33XE07, proof, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Venn diagram GNFCAZS1R8
| URI | m2://inv/GNFCAZS1R8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.4/venn-diagram, Venn diagram (concept). In Y91XFCEVHQ, index, section 1.3.4
History
- 2026-11-01: add by m2/v0.6.13
type, identity GNFFJZZB1D
| URI | m2://inv/GNFFJZZB1D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/type-identity, type, identity (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
toroidal coordinates GNFPMZC9DK
| URI | m2://inv/GNFPMZC9DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q648027, toroidal coordinates (unknown). Also MathWorld ToroidalCoordinates
- wikipedia: Wikipedia Toroidal coordinates, Toroidal coordinates (definition). Also Wikidata Q648027
History
- 2026-10-26: add by m2/dev
Mischa Cotlar GNFV2FGWPM
| URI | m2://inv/GNFV2FGWPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZSTQ, Mischa Cotlar (topic)
History
- 2026-11-02: add by m2/dev
GNFVGK2PCB GNFVGK2PCB
| URI | m2://inv/GNFVGK2PCB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_adv-ops.ptx#example-1 (example). In QKM9DD2H56, example, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
GNG24D2PPB GNG24D2PPB
| URI | m2://inv/GNG24D2PPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.14847#7ADR (statement). In 2RC8WXQ9ET/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
Examples GNG2SVWRDE
| URI | m2://inv/GNG2SVWRDE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic mode decomposition#XHG8, Examples (example)
History
- 2026-11-02: add by m2/dev
GNG5DHBAYW GNG5DHBAYW
| URI | m2://inv/GNG5DHBAYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35180#ZE2K (statement). In ZA34B1CR9M/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
GNGAPP2W2R GNGAPP2W2R
| URI | m2://inv/GNGAPP2W2R |
|---|---|
| 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.05320#8L9C (statement). In MVXZWHKEX8/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Example GNGBAZCCWE
| URI | m2://inv/GNGBAZCCWE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo integration#WHN4, Example (example)
History
- 2026-11-02: add by m2/dev
Ahlswede-Zhang identity GNGHGRZ1HW
| URI | m2://inv/GNGHGRZ1HW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Ahlswede-Zhang identity, Ahlswede-Zhang identity (unknown). Also Mathlib AhlswedeZhang.infSum_eq_one
History
- 2026-10-26: add by m2/dev
GNGHZ92P86 GNGHZ92P86
| URI | m2://inv/GNGHZ92P86 |
|---|---|
| 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.27301#JIPL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quasi-Frobenius ring GNGMVBB3B4
| URI | m2://inv/GNGMVBB3B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#EIXS, Quasi-Frobenius ring (definition)
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#ETPY, Quasi-Frobenius ring (definition)
History
- 2026-11-02: add by m2/dev
Analytic function of a matrix GNGQXJTYAY
| URI | m2://inv/GNGQXJTYAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic function of a matrix, Analytic function of a matrix (definition). Also Wikidata Q2699958
History
- 2026-11-02: add by m2/dev
Applications GNGTMQ6110
| URI | m2://inv/GNGTMQ6110 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local cohomology#2JN3, Applications (example)
History
- 2026-11-02: add by m2/dev
GNH74ETQ8E GNH74ETQ8E
| URI | m2://inv/GNH74ETQ8E |
|---|---|
| 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.20097#V2DM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Smith , Lemma 3.8. GNH9MFHH74
| URI | m2://inv/GNH9MFHH74 |
|---|---|
| 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 1003.2117#P06Y, Smith , Lemma 3.8. (statement). In H4D4RFNH2V/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
GNHCXJ0XHE GNHCXJ0XHE
| URI | m2://inv/GNHCXJ0XHE |
|---|---|
| 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.16233#B004 (statement). In RNXMADQ33J/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
André Gérardin GNHFWMYPFT
| URI | m2://inv/GNHFWMYPFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André Gérardin, André Gérardin (topic). Also Wikidata Q45226271
History
- 2026-11-02: add by m2/dev
Conventions GNHKJQX8GM
| URI | m2://inv/GNHKJQX8GM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle group#AJ2G, Conventions (definition)
History
- 2026-11-02: add by m2/dev
MM0 GNHMDWACW4
| URI | m2://inv/GNHMDWACW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMX (instruction set)#9MA1, MM0 (unknown)
History
- 2026-11-02: add by m2/dev
Non-autonomous mechanics GNHR6A1SB8
| URI | m2://inv/GNHR6A1SB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-autonomous mechanics, Non-autonomous mechanics (definition). Also Wikidata Q7048845
History
- 2026-11-02: add by m2/dev
GNHRKS4320 GNHRKS4320
| URI | m2://inv/GNHRKS4320 |
|---|---|
| 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.12483#FSUH (statement). In 159250CY6S/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Affine entropy bound GNJ4MWHAAV
| URI | m2://inv/GNJ4MWHAAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22308#IXCP, Affine entropy bound (statement). In 4QN87R0P1G/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.0
GNJAPXP8KN GNJAPXP8KN
| URI | m2://inv/GNJAPXP8KN |
|---|---|
| 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#1KET (statement). In HH35K7S17H/e1, lemma A.22
History
- 2026-10-29: add by m2/v0.4.10
GNJBH5RVBG GNJBH5RVBG
| URI | m2://inv/GNJBH5RVBG |
|---|---|
| Kind | problem |
| 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.28020#UJZ1 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Tate cohomology group GNJC63FPS3
| URI | m2://inv/GNJC63FPS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate cohomology group, Tate cohomology group (definition). Also Wikidata Q7687974
History
- 2026-11-02: add by m2/dev
GNJHFABYR7 GNJHFABYR7
| URI | m2://inv/GNJHFABYR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#B3DA (statement). In XBHQRTBH62/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Weyl GNJT3EZ8RZ
| URI | m2://inv/GNJT3EZ8RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#AL4O, Weyl (definition)
History
- 2026-11-02: add by m2/dev
Quadratic pseudo-Boolean optimization GNJXSD38GS
| URI | m2://inv/GNJXSD38GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic pseudo-Boolean optimization, Quadratic pseudo-Boolean optimization (definition). Also Wikidata Q60161115
History
- 2026-11-02: add by m2/dev
GNJZ9PXCS4 GNJZ9PXCS4
| URI | m2://inv/GNJZ9PXCS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#BZIP (statement). In 64V4DXGBKB/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
D/d GNK0804QR3
| URI | m2://inv/GNK0804QR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9884, D/d (unknown). Also ProofWiki Symbols:D
History
- 2026-10-26: add by m2/dev
Hypothesis Testing GNKG3R9M71
| URI | m2://inv/GNKG3R9M71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate analysis of variance#9FED, Hypothesis Testing (statement)
History
- 2026-11-02: add by m2/dev
Formal definition GNKNENB39J
| URI | m2://inv/GNKNENB39J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale fundamental group#4WWK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
global field GNM15F48CZ
| URI | m2://inv/GNM15F48CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#GOI2, global field (definition)
History
- 2026-11-02: add by m2/dev
Perkins Professorship of Astronomy and Mathematics GNM7K4HEW5
| URI | m2://inv/GNM7K4HEW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perkins Professorship of Astronomy and Mathematics, Perkins Professorship of Astronomy and Mathematics (definition). Also Wikidata Q20716747
History
- 2026-11-02: add by m2/dev
Nonsmooth cross-coupled upper bounds GNM82R4V6E
| URI | m2://inv/GNM82R4V6E |
|---|---|
| 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.33021#NEYO, Nonsmooth cross-coupled upper bounds (statement). In GG96DW33Q9/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Definition GNMC44E0GC
| URI | m2://inv/GNMC44E0GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#37EY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bowley, Arthur Lyon GNME2R0GEB
| URI | m2://inv/GNME2R0GEB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XA5F, Bowley, Arthur Lyon (unknown)
History
- 2026-11-02: add by m2/dev
Borel subgroup GNMN21KAVZ
| URI | m2://inv/GNMN21KAVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#89M9, Borel subgroup (definition)
- wikipedia: Wikipedia List of Lie groups topics#LP9T, Borel subgroup (definition)
History
- 2026-11-02: add by m2/dev
Synthetic geometry GNMXTG8C3X
| URI | m2://inv/GNMXTG8C3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AKKV, Synthetic geometry (definition)
History
- 2026-11-02: add by m2/dev
GNN4A8V0K1 GNN4A8V0K1
| URI | m2://inv/GNN4A8V0K1 |
|---|---|
| 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#1FS4 (statement). In J4P6HXMJCH/e1, corollary 8.2
History
- 2026-10-28: add by m2/v0.4.2
GNN9TFPSQX GNN9TFPSQX
| URI | m2://inv/GNN9TFPSQX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-57 (exercise). In E59CDZA4DP, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
Compatible observations GNNAR06QF3
| URI | m2://inv/GNNAR06QF3 |
|---|---|
| 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.15686#11AE, Compatible observations (statement). In 4HCK722M2G/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.2
GNNERMY435 GNNERMY435
| URI | m2://inv/GNNERMY435 |
|---|---|
| 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.35766#OB6C (statement). In 6638EFW1NG/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Two-boundary rigidity GNNF74WMCS
| URI | m2://inv/GNNF74WMCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10557#2LHY, Two-boundary rigidity (statement). In D2MXWDTHWS/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.10
Caryn Navy GNNPKX8B26
| URI | m2://inv/GNNPKX8B26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caryn Navy, Caryn Navy (topic). Also Wikidata Q14098
History
- 2026-11-02: add by m2/dev
Definition GNNRPDFVKD
| URI | m2://inv/GNNRPDFVKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beatty sequence#0XDN, Definition (definition)
History
- 2026-11-02: add by m2/dev
GNNWKGKRM4 GNNWKGKRM4
| URI | m2://inv/GNNWKGKRM4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
Terminology GNNY8MWR52
| URI | m2://inv/GNNY8MWR52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezohedron#3JRO, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Definition GNPAJMMTHM
| URI | m2://inv/GNPAJMMTHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolative decomposition#AF3E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties GNPGRPWNS5
| URI | m2://inv/GNPGRPWNS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of a subgroup#9JOG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Apéry's theorem GNPKD9R50H
| URI | m2://inv/GNPKD9R50H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JPIL, Apéry's theorem (statement)
History
- 2026-11-02: add by m2/dev
GNPYGT2Z9F GNPYGT2Z9F
| URI | m2://inv/GNPYGT2Z9F |
|---|---|
| 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 2411.02694#4MIU (statement). In A8EK2ARN5Q/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
GNPZCZG89C GNPZCZG89C
| URI | m2://inv/GNPZCZG89C |
|---|---|
| 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.32077#BL74 (statement). In WYXQDSQR9B/e1, proposition 1.6
History
- 2026-10-31: add by m2/v0.5.6
GNQ55J44DM GNQ55J44DM
| URI | m2://inv/GNQ55J44DM |
|---|---|
| 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.23526#OHMT (statement)
History
- 2026-11-02: add by m2/v0.6.17
GNQ627685C GNQ627685C
| URI | m2://inv/GNQ627685C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11383#7VE0 (statement). In DJBZ3V8SQ6/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
GNQ66BJXQD GNQ66BJXQD
| URI | m2://inv/GNQ66BJXQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#D3QZ (statement). In BJGS6ZCQ12/e1, lemma 8.9
History
- 2026-10-27: add by m2/v0.3.6
Glossary of linear algebra GNQ9CXG3NE
| URI | m2://inv/GNQ9CXG3NE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra, Glossary of linear algebra (topic). Also Wikidata Q111948037
History
- 2026-11-02: add by m2/dev
GNQBBA3J0R GNQBBA3J0R
| URI | m2://inv/GNQBBA3J0R |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#E8DC (problem). In YA7H9PY3R1/e1, problem 5.5
History
- 2026-10-29: add by m2/v0.4.10
Leibniz harmonic triangle GNQM913V83
| URI | m2://inv/GNQM913V83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#BGGG, Leibniz harmonic triangle (definition)
History
- 2026-11-02: add by m2/dev
Phillips–Perron test GNQSZDXH7W
| URI | m2://inv/GNQSZDXH7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MVD9, Phillips–Perron test (definition)
History
- 2026-11-02: add by m2/dev
Feynman-Kac formula GNQYN1GY66
| URI | m2://inv/GNQYN1GY66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine term structure model#RDY1, Feynman-Kac formula (statement)
History
- 2026-11-02: add by m2/dev
GNQZDHBSF4 GNQZDHBSF4
| URI | m2://inv/GNQZDHBSF4 |
|---|---|
| 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.37901#406B (statement). In 363WNMSDMA/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
Applications GNR1204C8G
| URI | m2://inv/GNR1204C8G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vietoris–Rips complex#WFJP, Applications (example)
History
- 2026-11-02: add by m2/dev
GNRCDBS3BW GNRCDBS3BW
| URI | m2://inv/GNRCDBS3BW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27125#WZ2Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition GNRCRHRJ7T
| URI | m2://inv/GNRCRHRJ7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph continuous function#GXB6, Definition (definition)
History
- 2026-11-02: add by m2/dev
GNRHVJX9RA GNRHVJX9RA
| URI | m2://inv/GNRHVJX9RA |
|---|---|
| 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.14615#21Z2 (statement). In 7D5MMP8XB5/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Samuel Kou GNRT1AMCQF
| URI | m2://inv/GNRT1AMCQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Kou, Samuel Kou (topic). Also Wikidata Q8465420
History
- 2026-11-02: add by m2/dev
GNRTBTFEG2 GNRTBTFEG2
| URI | m2://inv/GNRTBTFEG2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#J75O (definition). In GK1V5GEHTK/e1, definition 2.6
History
- 2026-10-31: add by m2/v0.5.6
Semantic theory of truth GNRTKDVHRJ
| URI | m2://inv/GNRTKDVHRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic theory of truth, Semantic theory of truth (topic). Also Wikidata Q7449101
History
- 2026-11-02: add by m2/dev
GNRXX7PXZH GNRXX7PXZH
| URI | m2://inv/GNRXX7PXZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#GFLW (statement). In AWRXXZR673/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem on convergence GNRY2DXZVS
| URI | m2://inv/GNRY2DXZVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szász–Mirakyan operator#GIPT, Theorem on convergence (statement)
History
- 2026-11-02: add by m2/dev
Sampling circular means GNRZDWN3R5
| URI | m2://inv/GNRZDWN3R5 |
|---|---|
| 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 2609.37704#DGD0, Sampling circular means (statement). In HGTFJ325A4/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Local Fields GNS7J9ARS3
| URI | m2://inv/GNS7J9ARS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Fields, Local Fields (definition). Also Wikidata Q6664008
History
- 2026-11-02: add by m2/dev
GNS84W7SZ5 GNS84W7SZ5
| URI | m2://inv/GNS84W7SZ5 |
|---|---|
| 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 1003.1817#XVM3 (statement). In VCPT7BK80E/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
Variants GNSNAQDG53
| URI | m2://inv/GNSNAQDG53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQIsign#QX4Q, Variants (statement)
History
- 2026-11-02: add by m2/dev
GNSNBB2G61 GNSNBB2G61
| URI | m2://inv/GNSNBB2G61 |
|---|---|
| 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.29152#4UP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction GNSNHDHZYK
| URI | m2://inv/GNSNHDHZYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact completion#ELXC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Ramsey multiplicity GNSSX0ZS19
| URI | m2://inv/GNSSX0ZS19 |
|---|---|
| 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#Z4WS, Ramsey multiplicity (statement). In NKXTXH59P1/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Rectified truncated cube GNSV1N3AYR
| URI | m2://inv/GNSV1N3AYR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified truncated cube, Rectified truncated cube (object). Also Wikidata Q18393738
History
- 2026-11-02: add by m2/dev
GNT22QA7NJ GNT22QA7NJ
| URI | m2://inv/GNT22QA7NJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#I0BO (definition). In 1WCXV5PVZA/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.0
GNT4VEPXVB GNT4VEPXVB
| URI | m2://inv/GNT4VEPXVB |
|---|---|
| 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.24323#CXFG (statement)
History
- 2026-11-01: add by m2/v0.6.15
oriented GNT5YYJY4A
| URI | m2://inv/GNT5YYJY4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#1N89, oriented (definition)
History
- 2026-11-02: add by m2/dev
GNTA4BSH0M GNTA4BSH0M
| URI | m2://inv/GNTA4BSH0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#R3N6 (statement). In HXFA55BREZ/e1, corollary 2.19
History
- 2026-10-29: add by m2/v0.4.10
Harry Turtledove GNTCRTRD6M
| URI | m2://inv/GNTCRTRD6M |
|---|---|
| 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#GK2Q, Harry Turtledove (unknown)
History
- 2026-11-02: add by m2/dev
GNTJPYXP07 GNTJPYXP07
| URI | m2://inv/GNTJPYXP07 |
|---|---|
| Kind | problem |
| 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.06728#JV9C (problem). In 7FWJWK70T9/e1, problem Question
History
- 2026-10-29: add by m2/v0.4.10
Douglas Quadling GNTWXCMY27
| URI | m2://inv/GNTWXCMY27 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Quadling, Douglas Quadling (topic). Also Wikidata Q100332217
History
- 2026-11-02: add by m2/dev
Census in Armenia GNV4F66D74
| URI | m2://inv/GNV4F66D74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census in Armenia, Census in Armenia (definition). Also Wikidata Q5058966
History
- 2026-11-02: add by m2/dev
von Neumann regular element GNV6X3C1WX
| URI | m2://inv/GNV6X3C1WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#0I8F, von Neumann regular element (definition)
History
- 2026-11-02: add by m2/dev
characteristic function GNVB8AGCQJ
| URI | m2://inv/GNVB8AGCQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Characteristic function 0V5B6D6BQH |
Mentions
- wikidata: Wikidata Q822139, characteristic function (unknown). Also MathWorld CharacteristicFunction
- wikipedia: Wikipedia Characteristic function (probability theory), Characteristic function (definition). Also Wikidata Q822139
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GNVBCN55AR GNVBCN55AR
| URI | m2://inv/GNVBCN55AR |
|---|---|
| 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.16631#W1KB (statement). In T735PRQNJB/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Two-derivative Hermite-Birkhoff collocation methods GNVDPA57W5
| URI | m2://inv/GNVDPA57W5 |
|---|---|
| Kind | example |
| 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 2101.07846#N6U9, Two-derivative Hermite-Birkhoff collocation methods (example). In 9XTXH6H1N7/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Remez algorithm GNVV0SYDES
| URI | m2://inv/GNVV0SYDES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Remez algorithm H129B6DA0F |
Mentions
- wikidata: Wikidata Q2835816, Remez algorithm (unknown). Also MathWorld RemezAlgorithm
- wikipedia: Wikipedia Remez algorithm, Remez algorithm (definition). Also Wikidata Q2835816
History
- 2026-10-26: add by m2/dev
Definition GNW8H9JH9N
| URI | m2://inv/GNW8H9JH9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraharmonic mean#0KI9, Definition (definition)
History
- 2026-11-02: add by m2/dev
GNW9EXDDQS GNW9EXDDQS
| URI | m2://inv/GNW9EXDDQS |
|---|---|
| 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 2610.00409#OMDE (statement). In YQT2APQPWD/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Miriam Gasko Donoho GNW9HBYY4Q
| URI | m2://inv/GNW9HBYY4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miriam Gasko Donoho, Miriam Gasko Donoho (topic). Also Wikidata Q106762648
History
- 2026-11-02: add by m2/dev
Strict CLF for the 3D nonholonomic vehicle GNWR512S1F
| URI | m2://inv/GNWR512S1F |
|---|---|
| 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.24192#BPEY, Strict CLF for the 3D nonholonomic vehicle (definition)
- arxiv: arXiv 2609.36212#TKHO, Strict CLF (definition). In N1GH8M0BVW/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Tan Suee Chieh GNX38GJF96
| URI | m2://inv/GNX38GJF96 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#SCWY, Tan Suee Chieh (unknown)
History
- 2026-11-02: add by m2/dev
Relational calculus GNXR6ZDP7E
| URI | m2://inv/GNXR6ZDP7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#TQMU, Relational calculus (unknown)
History
- 2026-11-02: add by m2/dev
GNXWM6E9GY GNXWM6E9GY
| URI | m2://inv/GNXWM6E9GY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#A3ZI (definition). In Q62MDENP26/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties GNXY1KMMNM
| URI | m2://inv/GNXY1KMMNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durfee square#UQLF, Properties (statement)
History
- 2026-11-02: add by m2/dev
irreducible polynomial GNXYRGGVDT
| URI | m2://inv/GNXYRGGVDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Irreducible polynomial 00X2A9G9W3 |
Mentions
- wikidata: Wikidata Q1476663, irreducible polynomial (definition). Also EoM Irreducible_polynomial, MathWorld IrreduciblePolynomial, nLab irreducible polynomial, ProofWiki Definition:Irreducible_Polynomial
- wikipedia: Wikipedia Irreducible polynomial, Irreducible polynomial (definition). Also Wikidata Q1476663
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GNY3H6XRQZ GNY3H6XRQZ
| URI | m2://inv/GNY3H6XRQZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#0RKK (definition). In 5KR3MHYVV6/e1, definition 5.5
History
- 2026-10-28: add by m2/v0.4.2
A bipartite graph lemma GNY9G2A1VN
| URI | m2://inv/GNY9G2A1VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#DR8C, A bipartite graph lemma (statement). In XDTM624YPE/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
GNY9M1RHB2 GNY9M1RHB2
| URI | m2://inv/GNY9M1RHB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#GQ2D (statement)
History
- 2026-11-02: add by m2/v0.6.17
GNYA57SY5Q GNYA57SY5Q
| URI | m2://inv/GNYA57SY5Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/consis-with-q.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.7
History
- 2026-11-01: add by m2/v0.6.13
GNYHXK5H59 GNYHXK5H59
| URI | m2://inv/GNYHXK5H59 |
|---|---|
| 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.21036#PRL8 (statement). In G0M4N3E0CG/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.2
GNYXXJDW61 GNYXXJDW61
| URI | m2://inv/GNYXXJDW61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#3TXL (statement). In P9J6P06Y40/e1, theorem 5.17
History
- 2026-10-27: add by m2/v0.3.5
Computational lower bound under $r$-HPC GNYZ3NJ7VG
| URI | m2://inv/GNYZ3NJ7VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20416#GPPL, Computational lower bound under $r$-HPC (statement). In P603M3M91A/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.2
Examples GNYZZWHMHS
| URI | m2://inv/GNYZZWHMHS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer sequence#T3SB, Examples (example)
History
- 2026-11-02: add by m2/dev
Twisted crossed products GNZ671FBGC
| URI | m2://inv/GNZ671FBGC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#YPPO, Twisted crossed products (example)
History
- 2026-11-01: add by m2/v0.6.15
orthomorphism GNZ67DWS5E
| URI | m2://inv/GNZ67DWS5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18358340, orthomorphism (unknown). Also MathWorld Orthomorphism
- wikipedia: Wikipedia Orthomorphism, Orthomorphism (definition). Also Wikidata Q18358340
History
- 2026-10-26: add by m2/dev
model-theoretic consequence GNZKGMZVXE
| URI | m2://inv/GNZKGMZVXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#857T, model-theoretic consequence (definition)
History
- 2026-11-02: add by m2/dev