Inventory rows GT
The cards of the rows of the inventory whose ids start with GT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
GT00M0APN7 GT00M0APN7
| URI | m2://inv/GT00M0APN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#EJKS (statement)
History
- 2026-11-02: add by m2/v0.6.17
binomial coefficient, generalized GT0320DS9S
| URI | m2://inv/GT0320DS9S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.3/binomial-coefficient-generalized, binomial coefficient, generalized (concept). In QKM9DD2H56, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Local Langlands conjectures for GLn GT05TV27DB
| URI | m2://inv/GT05TV27DB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Langlands conjectures#97K2, Local Langlands conjectures for GLn (statement)
History
- 2026-11-02: add by m2/dev
Pew Research Center GT07GW5590
| URI | m2://inv/GT07GW5590 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#GCQK, Pew Research Center (unknown)
History
- 2026-11-02: add by m2/dev
GT0F10C686 GT0F10C686
| URI | m2://inv/GT0F10C686 |
|---|---|
| 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.14455#VJWF (statement). In 5KARPAJDCP/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Examples of Markov chains GT0NPTXG6J
| URI | m2://inv/GT0NPTXG6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Examples of Markov chains, Examples of Markov chains (definition). Also Wikidata Q5419314
History
- 2026-11-02: add by m2/dev
GT0PD7JEHR GT0PD7JEHR
| URI | m2://inv/GT0PD7JEHR |
|---|---|
| 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.15472#N4LS (statement). In 5Z3FH46YSY/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
GT0SBMRZ0J GT0SBMRZ0J
| URI | m2://inv/GT0SBMRZ0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#HL1L (statement). In M0SQY5EZN5/e1, lemma 2.9.9
History
- 2026-10-27: add by m2/v0.3.5
GT0TWXJKQE GT0TWXJKQE
| URI | m2://inv/GT0TWXJKQE |
|---|---|
| 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 2204.01073#KAG6 (definition). In W4TYN4PGE8/e1, definition 3.33
History
- 2026-10-27: add by m2/v0.3.5
Kharitonov region GT0WB0KRZN
| URI | m2://inv/GT0WB0KRZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kharitonov region, Kharitonov region (definition). Also Wikidata Q6400675
History
- 2026-11-02: add by m2/dev
General linear methods GT17FK198G
| URI | m2://inv/GT17FK198G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#I2T4, General linear methods (definition)
History
- 2026-11-02: add by m2/dev
2010 conservatism-psychoticism correlation error GT199A0CWS
| URI | m2://inv/GT199A0CWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2010 conservatism-psychoticism correlation error, 2010 conservatism-psychoticism correlation error (topic). Also Wikidata Q48795925
History
- 2026-11-02: add by m2/dev
Localized Jackson polynomial GT1QP8WVVC
| URI | m2://inv/GT1QP8WVVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#BNZ9, Localized Jackson polynomial (statement). In YPH7NS5AAQ/e1, lemma E.1
History
- 2026-10-27: add by m2/v0.4.2
GT1SYQ1CCG GT1SYQ1CCG
| URI | m2://inv/GT1SYQ1CCG |
|---|---|
| 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 2205.09049#7LU8 (statement). In 37S7MNMZ2F/e1, proposition 90
History
- 2026-10-27: add by m2/v0.3.5
Degree of a finite morphism GT1YPA55F1
| URI | m2://inv/GT1YPA55F1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties#AHOQ, Degree of a finite morphism (unknown)
History
- 2026-11-02: add by m2/dev
GT20Z09254 GT20Z09254
| URI | m2://inv/GT20Z09254 |
|---|---|
| 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.06310#F0GH (statement). In WR5S1V9V8J/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
GT22E0DTK8 GT22E0DTK8
| URI | m2://inv/GT22E0DTK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02893#2H8T (statement). In DQ9TAGM5XP/e1, proposition P5
History
- 2026-10-29: add by m2/v0.4.12
Numbers before explicit operators GT232SFSNZ
| URI | m2://inv/GT232SFSNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.14735#UDXB, Numbers before explicit operators (statement). In XB5GPTZ6JF/e1, statement 3
History
- 2026-10-28: add by m2/v0.4.2
Propagator GT234BVTA6
| URI | m2://inv/GT234BVTA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#J4UT, Propagator (definition)
History
- 2026-11-02: add by m2/dev
GT27NJAEX0 GT27NJAEX0
| URI | m2://inv/GT27NJAEX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.35102#2LLM (statement). In XK6H7F2F13/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
GT2FHMCB7A GT2FHMCB7A
| URI | m2://inv/GT2FHMCB7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#995O (statement). In KZ71GXT2B0/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Example GT2JN3FFCW
| URI | m2://inv/GT2JN3FFCW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested set collection#CV76, Example (example)
History
- 2026-11-02: add by m2/dev
GT2T9FYRJC GT2T9FYRJC
| URI | m2://inv/GT2T9FYRJC |
|---|---|
| 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.22306#B14W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Normal form GT3E0HJ5P9
| URI | m2://inv/GT3E0HJ5P9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (dynamical systems), Normal form (definition). Also Wikidata Q18354536
History
- 2026-11-02: add by m2/dev
cf.\ GT3EDBWNKQ
| URI | m2://inv/GT3EDBWNKQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#NIVI, cf.\ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Localized oracle inequality for a logit class GT3HAYJV2R
| URI | m2://inv/GT3HAYJV2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#RP4N, Localized oracle inequality for a logit class (statement). In XXV36V6CK8/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Ellipsis (Polish) GT3Q2D987F
| URI | m2://inv/GT3Q2D987F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsis#VB9W, Ellipsis (Polish) (unknown)
History
- 2026-11-02: add by m2/dev
Hermann Minkowski GT3T6QZ59C
| URI | m2://inv/GT3T6QZ59C |
|---|---|
| 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 Q57246, Hermann Minkowski (unknown). Also nLab Hermann Minkowski, ProofWiki Mathematician:Hermann_Minkowski
- wikipedia: Wikipedia Hermann Minkowski, Hermann Minkowski (topic). Also Wikidata Q57246
History
- 2026-10-26: add by m2/dev
Examples GT3XYBHKCC
| URI | m2://inv/GT3XYBHKCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support of a module#3HA9, Examples (example)
History
- 2026-11-02: add by m2/dev
GT3ZPPRTTX GT3ZPPRTTX
| URI | m2://inv/GT3ZPPRTTX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
GT4830NG76 GT4830NG76
| URI | m2://inv/GT4830NG76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#GCUV (statement). In 6FV4CCY1NX/e1, lemma 2.3
- arxiv: arXiv 2610.15167#3AN6 (statement). In 4ME94TPA7R/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Sum of kth powers GT48QR3WSS
| URI | m2://inv/GT48QR3WSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 77, Sum of kth powers (statement). Also Mathlib sum_range_pow, Mathlib sum_Ico_pow
History
- 2026-10-26: add by m2/dev
GT4F4A6CG3 GT4F4A6CG3
| URI | m2://inv/GT4F4A6CG3 |
|---|---|
| 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.20409#LF8T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stan Shillington GT4KHWMF91
| URI | m2://inv/GT4KHWMF91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stan Shillington, Stan Shillington (topic). Also Wikidata Q66793677
History
- 2026-11-02: add by m2/dev
power kernel GT4NGSC086
| URI | m2://inv/GT4NGSC086 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15610#HGWL, power kernel (statement). In HENAFHBDQS/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
GT4Q2Q2X0A GT4Q2Q2X0A
| URI | m2://inv/GT4Q2Q2X0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#DMDE (statement). In ZR53K3E0FR/e1, proposition 38
History
- 2026-10-27: add by m2/v0.3.6
K-statistic GT50TNTM9P
| URI | m2://inv/GT50TNTM9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C4YQ, K-statistic (definition)
History
- 2026-11-02: add by m2/dev
Convexoid operator GT5CDDTMW6
| URI | m2://inv/GT5CDDTMW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convexoid operator, Convexoid operator (definition). Also Wikidata Q5166527
History
- 2026-11-02: add by m2/dev
GT5D6JZSV1 GT5D6JZSV1
| URI | m2://inv/GT5D6JZSV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#ZVWR (statement). In XGPZ0G9E1Q/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.12
GT5G9SS00D GT5G9SS00D
| URI | m2://inv/GT5G9SS00D |
|---|---|
| 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.01267#K1UX (statement). In GWWHP6R0BZ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Risk aversion GT5GTE3M2A
| URI | m2://inv/GT5GTE3M2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk aversion, Risk aversion (definition). Also Wikidata Q1426675
History
- 2026-11-02: add by m2/dev
A fixed set of possible prime divisors GT5J4KX447
| URI | m2://inv/GT5J4KX447 |
|---|---|
| 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.06925#NWIX, A fixed set of possible prime divisors (statement). In P0NV7337EK/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
Poincaré algebra GT5KG542WZ
| URI | m2://inv/GT5KG542WZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q87918657, Poincaré algebra (unknown). Also nLab Poincaré Lie algebra
History
- 2026-10-26: add by m2/dev
GT5PTVVBYP GT5PTVVBYP
| URI | m2://inv/GT5PTVVBYP |
|---|---|
| Kind | statement |
| 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#UTJC (statement). In 9JHMTYGWFQ/e1, corollary 1.9
History
- 2026-10-27: add by m2/v0.3.6
highly abundant number GT5SXVNQVK
| URI | m2://inv/GT5SXVNQVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3205712, highly abundant number (object). Also OEIS A002093
- wikipedia: Wikipedia Highly abundant number, Highly abundant number (definition). Also Wikidata Q3205712
History
- 2026-10-26: add by m2/dev
GT5VJ0NFF3 GT5VJ0NFF3
| URI | m2://inv/GT5VJ0NFF3 |
|---|---|
| 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 2605.29624#Y3F7 (statement). In TAD5A4R089/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Einstein field equations GT5XVNZ78W
| URI | m2://inv/GT5XVNZ78W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Einstein field equations 3MCZ97SW6V |
Mentions
- wikidata: Wikidata Q273711, Einstein field equations (unknown). Also EoM Einstein_equations, MathWorld EinsteinFieldEquations, nLab Einstein equation
- wikipedia: Wikipedia Einstein field equations, Einstein field equations (topic). Also Wikidata Q273711
History
- 2026-10-26: add by m2/dev
GT60N3554M GT60N3554M
| URI | m2://inv/GT60N3554M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#O3XU (definition). In NSYR6W27FP/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
GT60Y1X7PC GT60Y1X7PC
| URI | m2://inv/GT60Y1X7PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#HZPZ (statement). In NSP90G5XCQ/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Hausdorff space GT65C6XAHE
| URI | m2://inv/GT65C6XAHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > Hausdorff space, Hausdorff space (unknown). Also Mathlib T2Space
History
- 2026-10-26: add by m2/dev
Ryser's conjecture on circulant Hadamard matrices GT68PCYYT8
| URI | m2://inv/GT68PCYYT8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture on circulant Hadamard matrices, Ryser's conjecture on circulant Hadamard matrices (conjecture). Also Wikidata Q140734118
History
- 2026-11-02: add by m2/dev
GT6A4Y4BVZ GT6A4Y4BVZ
| URI | m2://inv/GT6A4Y4BVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09809#19TT (statement). In 7NKQ6PR78N/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
GT6BNBXVSF GT6BNBXVSF
| URI | m2://inv/GT6BNBXVSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#31OS (statement)
History
- 2026-11-01: add by m2/v0.6.15
GT6F886SQY GT6F886SQY
| URI | m2://inv/GT6F886SQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#R5SC (statement). In M0SQY5EZN5/e1, lemma 5.1.2
History
- 2026-10-27: add by m2/v0.3.5
GT6GYTTX7J GT6GYTTX7J
| URI | m2://inv/GT6GYTTX7J |
|---|---|
| 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.37562#L8KL (statement). In PYY8DFK2JS/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
GT6R3N68GH GT6R3N68GH
| URI | m2://inv/GT6R3N68GH |
|---|---|
| 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#BUMY (statement). In X765ZXXVC3/e1, theorem 4.14
History
- 2026-10-29: add by m2/v0.4.12
GT6SWV0V49 GT6SWV0V49
| URI | m2://inv/GT6SWV0V49 |
|---|---|
| Kind | conjecture |
| 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.28540#3MQZ (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Vlad Voroninski GT6TCG1ZCY
| URI | m2://inv/GT6TCG1ZCY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vlad Voroninski, Vlad Voroninski (topic). Also Wikidata Q83624964
History
- 2026-11-02: add by m2/dev
GT78CS90CM GT78CS90CM
| URI | m2://inv/GT78CS90CM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
GT78WYNW81 GT78WYNW81
| URI | m2://inv/GT78WYNW81 |
|---|---|
| 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#HN06 (statement). In FHE30V0M03/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
elementary GT7CZ3V7N0
| URI | m2://inv/GT7CZ3V7N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#4MC4, elementary (definition)
History
- 2026-11-02: add by m2/dev
cylinder GT7FWF1894
| URI | m2://inv/GT7FWF1894 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q34132, cylinder (unknown). Also MathWorld Cylinder
- wikipedia: Wikipedia Cylinder, Cylinder (definition). Also Wikidata Q34132
History
- 2026-10-26: add by m2/dev
Equivalent form for averaged Chowla and Sarnak conjectures GT7G96GEX5
| URI | m2://inv/GT7G96GEX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilsequence#EMU5, Equivalent form for averaged Chowla and Sarnak conjectures (statement)
History
- 2026-11-02: add by m2/dev
GT7HZQ3K6B GT7HZQ3K6B
| URI | m2://inv/GT7HZQ3K6B |
|---|---|
| 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.00584#JPL8 (statement). In 3CRSR95BNA/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Mask (computing) GT7KMACMPR
| URI | m2://inv/GT7KMACMPR |
|---|---|
| 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#FW4M, Mask (computing) (unknown)
History
- 2026-11-02: add by m2/dev
Covariant derivatives, associated norms GT7KY8F3GX
| URI | m2://inv/GT7KY8F3GX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30220#0D0I, Covariant derivatives, associated norms (definition)
History
- 2026-11-01: add by m2/v0.6.15
Babylonian mathematics GT7NGEY3AZ
| URI | m2://inv/GT7NGEY3AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 01A17 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q787931, Babylonian mathematics (topic). Also ProofWiki Definition:Babylonian_Mathematics
- wikipedia: Wikipedia Babylonian mathematics, Babylonian mathematics (definition). Also Wikidata Q787931
History
- 2026-10-26: add by m2/dev
GT7SYB9KGG GT7SYB9KGG
| URI | m2://inv/GT7SYB9KGG |
|---|---|
| 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#V97E (statement). In X765ZXXVC3/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.12
Tamar Eilam GT7VF07634
| URI | m2://inv/GT7VF07634 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PK2G, Tamar Eilam (unknown)
History
- 2026-11-02: add by m2/dev
Constructions GT7XZNGT6Z
| URI | m2://inv/GT7XZNGT6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary Golay code#NC6M, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Orthographic projection (cartography) GT892NE3S1
| URI | m2://inv/GT892NE3S1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#KBAY, Orthographic projection (cartography) (unknown)
History
- 2026-11-02: add by m2/dev
RA/Dec GT8BB9XENQ
| URI | m2://inv/GT8BB9XENQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equatorial coordinate system#RYB3, RA/Dec (unknown)
History
- 2026-11-02: add by m2/dev
Case $h=2$ GT8G6HSVR9
| URI | m2://inv/GT8G6HSVR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#1R4T, Case $h=2$ (statement). In T4S7XVAJJC/e1, corollary 13.2
History
- 2026-10-29: add by m2/v0.4.12
Alexandrov’s Theorem GT8MSRDJ18
| URI | m2://inv/GT8MSRDJ18 |
|---|---|
| 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.29393#GGU4, Alexandrov’s Theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pullback to a smooth monoidal resolution GT8SAXSYXZ
| URI | m2://inv/GT8SAXSYXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#UH3W, Pullback to a smooth monoidal resolution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rinad Yulmukhametov GT8WBP7PFB
| URI | m2://inv/GT8WBP7PFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rinad Yulmukhametov, Rinad Yulmukhametov (topic). Also Wikidata Q4534380
History
- 2026-11-02: add by m2/dev
GT8WSEWD66 GT8WSEWD66
| URI | m2://inv/GT8WSEWD66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#S1DO (statement)
History
- 2026-11-01: add by m2/v0.6.15
GT8YTR26Y3 GT8YTR26Y3
| URI | m2://inv/GT8YTR26Y3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38815#D1D3 (statement). In 2CEETN5YTZ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Nonlinear variational principle GT95DM271K
| URI | m2://inv/GT95DM271K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#57Z0, Nonlinear variational principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of conjectures GT97Z81BDY
| URI | m2://inv/GT97Z81BDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures, List of conjectures (topic). Also Wikidata Q2085764
History
- 2026-11-02: add by m2/dev
GT9A55B7MM GT9A55B7MM
| URI | m2://inv/GT9A55B7MM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#rankmemberslower (statement). In PKGMM3P5QY, prop, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
Rape in the Netherlands GT9F3E1H8D
| URI | m2://inv/GT9F3E1H8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#Z6HE, Rape in the Netherlands (unknown)
History
- 2026-11-02: add by m2/dev
Canonical decomposition GT9ND05AEM
| URI | m2://inv/GT9ND05AEM |
|---|---|
| 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.31187#7YGW, Canonical decomposition (statement). In 2535DQ1DEG/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Definition GT9PZD1CCB
| URI | m2://inv/GT9PZD1CCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler brick#MB4Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
GT9SR5CF2S GT9SR5CF2S
| URI | m2://inv/GT9SR5CF2S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.16241#LSEF (definition). In WNDHZVY4WK/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
GT9THAYTWW GT9THAYTWW
| URI | m2://inv/GT9THAYTWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#S6NC (statement). In 7QXAZXGNPQ/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
GT9WVJVH30 GT9WVJVH30
| URI | m2://inv/GT9WVJVH30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2208.05276#VVGZ (statement). In 4C5XHYTRT2/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Definition GTA1SXNTD1
| URI | m2://inv/GTA1SXNTD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch surface#H40D, Definition (definition)
History
- 2026-11-02: add by m2/dev
GTA620DFRD GTA620DFRD
| URI | m2://inv/GTA620DFRD |
|---|---|
| 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 2601.01000#MO9F (statement). In RYFV9HGWWZ/e1, proposition 31
History
- 2026-10-27: add by m2/v0.3.5
GTA8SJDY1A GTA8SJDY1A
| URI | m2://inv/GTA8SJDY1A |
|---|---|
| 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.12716#Z9PX (statement). In M6BCSQSM3R/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
GTAM8T5NQ5 GTAM8T5NQ5
| URI | m2://inv/GTAM8T5NQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#0CQC (statement). In X88HPQ0W8C/e1, proposition 2.23
History
- 2026-10-27: add by m2/v0.3.5
Decorated cospan GTAMZJKYRP
| URI | m2://inv/GTAMZJKYRP |
|---|---|
| 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 2609.20478#1LN8, Decorated cospan (definition)
History
- 2026-11-02: add by m2/v0.6.18
GTANQBACNQ GTANQBACNQ
| URI | m2://inv/GTANQBACNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#comparisondef (definition). In PKGMM3P5QY, defn, section 83.6
History
- 2026-11-01: add by m2/v0.6.13
GTAQN5WHSD GTAQN5WHSD
| URI | m2://inv/GTAQN5WHSD |
|---|---|
| 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.28501#NAQK (statement)
History
- 2026-11-01: add by m2/v0.6.15
GTAWGDEGHR GTAWGDEGHR
| URI | m2://inv/GTAWGDEGHR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#YK4S (definition). In 3TJ2FWXQ0D/e1, definition 3.12
History
- 2026-10-29: add by m2/v0.4.12
Prismatic surface GTAZMZZP5B
| URI | m2://inv/GTAZMZZP5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic surface, Prismatic surface (definition). Also Wikidata Q7245696
History
- 2026-11-02: add by m2/dev
GTB0R3WSAN GTB0R3WSAN
| URI | m2://inv/GTB0R3WSAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#65TB (statement). In FDYZFDHZH9/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
Two-dimensional weak Poisson problem with tested or pointwise boundary data GTB267ECP5
| URI | m2://inv/GTB267ECP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#YPZV, Two-dimensional weak Poisson problem with tested or pointwise boundary data (statement). In 6FY8BVP1F3/e1, corollary D.13
History
- 2026-10-29: add by m2/v0.4.12
GTBEYGYESP GTBEYGYESP
| URI | m2://inv/GTBEYGYESP |
|---|---|
| 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 2609.30049#EITC (example)
History
- 2026-11-01: add by m2/v0.6.15
GTBH4543H3 GTBH4543H3
| URI | m2://inv/GTBH4543H3 |
|---|---|
| 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 2108.06308#XIZO (statement). In F8BXF46972/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Example GTBQJAWS3H
| URI | m2://inv/GTBQJAWS3H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient automaton#0P4O, Example (example)
History
- 2026-11-02: add by m2/dev
GTBREZNW4D GTBREZNW4D
| URI | m2://inv/GTBREZNW4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#MVXS (statement). In 29EH04FH4B/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Yves Meyer GTBVMW6J49
| URI | m2://inv/GTBVMW6J49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yves Meyer, Yves Meyer (topic). Also Wikidata Q574597
History
- 2026-11-02: add by m2/dev
Principles: mechanics and ensembles GTBYAZHH0A
| URI | m2://inv/GTBYAZHH0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical mechanics#O970, Principles: mechanics and ensembles (statement)
History
- 2026-11-02: add by m2/dev
GTBZ12VZB0 GTBZ12VZB0
| URI | m2://inv/GTBZ12VZB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#7772 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples GTC0BRDQHB
| URI | m2://inv/GTC0BRDQHB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential graded category#ESFK, Examples (example)
History
- 2026-11-02: add by m2/dev
GTC53A1HPR GTC53A1HPR
| URI | m2://inv/GTC53A1HPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#SW4E (statement). In 43AGRMP7T3/e1, lemma 1.17
History
- 2026-10-27: add by m2/v0.3.5
Easton forcing GTC53T435K
| URI | m2://inv/GTC53T435K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing (mathematics)#KXYP, Easton forcing (unknown)
History
- 2026-11-02: add by m2/dev
GTC8X4R7YH GTC8X4R7YH
| URI | m2://inv/GTC8X4R7YH |
|---|---|
| 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 2610.17204#KGAK (example). In 5CZ2BNV4MT/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
GTCP916CDJ GTCP916CDJ
| URI | m2://inv/GTCP916CDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#DD6P (statement). In 4Z44S003HM/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Spectral theorem and Titchmarsh–Kodaira formula GTCW530GMB
| URI | m2://inv/GTCW530GMB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of ordinary differential equations#32TT, Spectral theorem and Titchmarsh–Kodaira formula (statement)
History
- 2026-11-02: add by m2/dev
GTDAXFKHW6 GTDAXFKHW6
| URI | m2://inv/GTDAXFKHW6 |
|---|---|
| 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.11757#2H6U (statement). In VSJRVTHWWA/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.3
Characterization GTDF46D1Q4
| URI | m2://inv/GTDF46D1Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scaled inverse chi-squared distribution#DJ1Z, Characterization (statement)
History
- 2026-11-02: add by m2/dev
GTDNPWDGG2 GTDNPWDGG2
| URI | m2://inv/GTDNPWDGG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 50.13
History
- 2026-11-01: add by m2/v0.6.13
Further examples GTDQ047S6X
| URI | m2://inv/GTDQ047S6X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax pair#3U4V, Further examples (example)
History
- 2026-11-02: add by m2/dev
GTDV0WD8DR GTDV0WD8DR
| URI | m2://inv/GTDV0WD8DR |
|---|---|
| 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.21501#618E (statement). In 1H64QT301C/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
GTDX01NSJ4 GTDX01NSJ4
| URI | m2://inv/GTDX01NSJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#Z0IJ (statement). In TC5QA4AB4Z/e1, corollary 4.45
History
- 2026-10-30: add by m2/v0.4.12
GTE9JE1NB0 GTE9JE1NB0
| URI | m2://inv/GTE9JE1NB0 |
|---|---|
| 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.30760#98SW (statement). In MMVNRRE7N0/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Definitions GTEGYSSJ9C
| URI | m2://inv/GTEGYSSJ9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander graph#DCQU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Statement GTEPCMYA5P
| URI | m2://inv/GTEPCMYA5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn–Sommerville equations#KNIP, Statement (statement)
History
- 2026-11-02: add by m2/dev
Arnold Walfisz GTER8Y3DZH
| URI | m2://inv/GTER8Y3DZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Walfisz, Arnold Walfisz (topic). Also Wikidata Q354609
History
- 2026-11-02: add by m2/dev
object, classifier GTES1VVC0G
| URI | m2://inv/GTES1VVC0G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/object-classifier, object, classifier (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Formal definition GTESR0EX06
| URI | m2://inv/GTESR0EX06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov automorphism#78G5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
The paradox GTEWJYFDSC
| URI | m2://inv/GTEWJYFDSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbershop paradox#9D3P, The paradox (statement)
History
- 2026-11-02: add by m2/dev
GTF39H34NC GTF39H34NC
| URI | m2://inv/GTF39H34NC |
|---|---|
| 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.05953#64XK (statement). In P3XHJ1VB8C/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
GTF3GN3PBW GTF3GN3PBW
| URI | m2://inv/GTF3GN3PBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-1.xml#definition-1 (definition). In 649HGZKE96, definition, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
Examples GTF4T57C71
| URI | m2://inv/GTF4T57C71 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial autocorrelation function#BMBO, Examples (example)
History
- 2026-11-02: add by m2/dev
GTFJ3EEWQT GTFJ3EEWQT
| URI | m2://inv/GTFJ3EEWQT |
|---|---|
| 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.13798#G63W (statement). In GF2MA6Y29D/e1, fact 2.3
History
- 2026-10-28: add by m2/v0.4.2
Weighted Fourier Thresholding GTFQW72HW2
| URI | m2://inv/GTFQW72HW2 |
|---|---|
| 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.12357#2EKY, Weighted Fourier Thresholding (statement). In 1F26AF81XP/e1, lemma 1.15
History
- 2026-10-28: add by m2/v0.4.2
Poisson solution factor GTFYV6R7BY
| URI | m2://inv/GTFYV6R7BY |
|---|---|
| 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.25380#4JRP, Poisson solution factor (statement)
History
- 2026-11-01: add by m2/v0.6.15
GTG6MA0Y8X GTG6MA0Y8X
| URI | m2://inv/GTG6MA0Y8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10576#2S7I (statement). In N3ZA5MDZBW/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
GTG7VBKNF1 GTG7VBKNF1
| URI | m2://inv/GTG7VBKNF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#6A4W (statement). In REDG6QVHM3/e1, lemma 8.5
History
- 2026-10-29: add by m2/v0.4.12
Generalizations GTGCCSCWQ4
| URI | m2://inv/GTGCCSCWQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metaplectic group#ACN8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Speakeasy GTGF9AWNXG
| URI | m2://inv/GTGF9AWNXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#FA6Z, Speakeasy (unknown)
History
- 2026-11-02: add by m2/dev
GTGFBYWXM2 GTGFBYWXM2
| URI | m2://inv/GTGFBYWXM2 |
|---|---|
| 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.09300#BHER (statement). In JP589KS01S/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
GTGMN925VW GTGMN925VW
| URI | m2://inv/GTGMN925VW |
|---|---|
| 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.16727#TJKN (statement). In Z5QS3MD8HN/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Examples GTH5YQTCMZ
| URI | m2://inv/GTH5YQTCMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary operator#UKDX, Examples (example)
History
- 2026-11-02: add by m2/dev
Roman Bezrukavnikov GTH5YZMN03
| URI | m2://inv/GTH5YZMN03 |
|---|---|
| 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 Q7361591, Roman Bezrukavnikov (unknown). Also nLab Roman Bezrukavnikov
- wikipedia: Wikipedia Roman Bezrukavnikov, Roman Bezrukavnikov (topic). Also Wikidata Q7361591
History
- 2026-10-26: add by m2/dev
A'Campo GTH6XX1BHM
| URI | m2://inv/GTH6XX1BHM |
|---|---|
| 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#RA93, A'Campo (statement). In FHE30V0M03/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Eigenvalues always exist over algebraically closed fields GTH7RXJ8Z1
| URI | m2://inv/GTH7RXJ8Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#theorem-1, Eigenvalues always exist over algebraically closed fields (statement). In RZP28ERRZV, theorem, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
Non-linear homogeneous S\'ark\"ozy GTHAT7ZRZ6
| URI | m2://inv/GTHAT7ZRZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#71S5, Non-linear homogeneous S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Definition GTHFB7NYQY
| URI | m2://inv/GTHFB7NYQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extremum estimator#6QX0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Elisabeth of the Palatinate GTHH9ES6JK
| URI | m2://inv/GTHH9ES6JK |
|---|---|
| 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 Q61389, Elisabeth of the Palatinate (unknown). Also ProofWiki Mathematician:Elisabeth_of_the_Palatinate
History
- 2026-10-26: add by m2/dev
Example GTHHHYDWD0
| URI | m2://inv/GTHHHYDWD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic–geometric mean#HASF, Example (example)
History
- 2026-11-02: add by m2/dev
Image of a rational map on an open set GTHN2NY0XW
| URI | m2://inv/GTHN2NY0XW |
|---|---|
| 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.08610#HTAO, Image of a rational map on an open set (statement). In CB2JWNS1E9/e1, fact A.3
History
- 2026-10-29: add by m2/v0.4.10
parallel transport GTHQS5BZKQ
| URI | m2://inv/GTHQS5BZKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Parallel transport TVAGN3D6W5 |
Mentions
- wikidata: Wikidata Q1814838, parallel transport (unknown). Also MathWorld ParallelTransport, nLab parallel transport
- wikipedia: Wikipedia Parallel transport, Parallel transport (definition). Also Wikidata Q1814838
History
- 2026-10-26: add by m2/dev
GTHW4RZJA1 GTHW4RZJA1
| URI | m2://inv/GTHW4RZJA1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#3KJ0 (definition). In VNE8N0D2FB/e1, definition 1.5
History
- 2026-10-31: add by m2/v0.5.6
GTJ0G8NCV9 GTJ0G8NCV9
| URI | m2://inv/GTJ0G8NCV9 |
|---|---|
| Kind | example |
| 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 2210.02261#YVTE (example). In TT74R659T0/e1, example 0.28
History
- 2026-10-27: add by m2/v0.3.5
Monoid GTJ4J7T81H
| URI | m2://inv/GTJ4J7T81H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#0ET1, Monoid (definition)
- wikipedia: Wikipedia List of abstract algebra topics#UDJZ, Monoid (definition)
History
- 2026-11-02: add by m2/dev
Moore determinant of a Hermitian matrix GTJ4Y9ZTB7
| URI | m2://inv/GTJ4Y9ZTB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore determinant of a Hermitian matrix, Moore determinant of a Hermitian matrix (definition). Also Wikidata Q16919472
History
- 2026-11-02: add by m2/dev
Formal language GTJB2FCTSX
| URI | m2://inv/GTJB2FCTSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#SU2K, Formal language (definition)
History
- 2026-11-02: add by m2/dev
Sharpness GTJFWKC0EH
| URI | m2://inv/GTJFWKC0EH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34918#5F7N, Sharpness (statement). In B3MNVE9149/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Exact binary $K_4$ classification GTK55W57KV
| URI | m2://inv/GTK55W57KV |
|---|---|
| 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.10002#BRPU, Exact binary $K_4$ classification (statement). In 5ZYWF6HAXJ/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
Gerd Faltings GTK9VEFJ4R
| URI | m2://inv/GTK9VEFJ4R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#CT9N, Gerd Faltings (topic)
History
- 2026-11-02: add by m2/dev
GTKA1MSS90 GTKA1MSS90
| URI | m2://inv/GTKA1MSS90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#P9SJ (statement). In SD43497T8C/e1, lemma 1.25
History
- 2026-10-27: add by m2/v0.3.5
GTKE6ZC9PQ GTKE6ZC9PQ
| URI | m2://inv/GTKE6ZC9PQ |
|---|---|
| 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.30302#X6P7 (statement). In R6ABTE22G0/e1, theorem 14
History
- 2026-10-31: add by m2/v0.5.6
GTKF0Z2GKN GTKF0Z2GKN
| URI | m2://inv/GTKF0Z2GKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#ZYY9 (statement). In C8VC86B6H8/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
generation, of an $\infty$-groupoid GTKP6FECKY
| URI | m2://inv/GTKP6FECKY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/generation-of-an-infty-groupoid, generation, of an $\infty$-groupoid (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Maria Cristina Villalobos GTKXE5NPW6
| URI | m2://inv/GTKXE5NPW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Cristina Villalobos, Maria Cristina Villalobos (topic). Also Wikidata Q100998910
History
- 2026-11-02: add by m2/dev
GTKXEKG6CK GTKXEKG6CK
| URI | m2://inv/GTKXEKG6CK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#W41Y (definition)
History
- 2026-11-02: add by m2/v0.6.18
Dynkin's π-λ theorem GTKYF3X7KP
| URI | m2://inv/GTKYF3X7KP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Σ-algebra#6DRV, Dynkin's π-λ theorem (statement)
History
- 2026-11-02: add by m2/dev
GTM38GQQ0K GTM38GQQ0K
| URI | m2://inv/GTM38GQQ0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.09599#TIEJ (statement). In 4JYGH9XNA9/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
GTM4N23C0S GTM4N23C0S
| URI | m2://inv/GTM4N23C0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.25801#YVEC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Begoña Fernández GTM6HK2SD9
| URI | m2://inv/GTM6HK2SD9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Begoña Fernández (mathematician), Begoña Fernández (topic). Also Wikidata Q115581130
History
- 2026-11-02: add by m2/dev
GTM8TWBTKC GTM8TWBTKC
| URI | m2://inv/GTM8TWBTKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#KPLT (statement). In 48QX0QD0XR/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.3
Computation GTMFT48XQR
| URI | m2://inv/GTMFT48XQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis#PM6K, Computation (definition)
History
- 2026-11-02: add by m2/dev
tetromino GTMRY36Y98
| URI | m2://inv/GTMRY36Y98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2082757, tetromino (unknown). Also MathWorld Tetromino
- wikipedia: Wikipedia Tetromino, Tetromino (definition). Also Wikidata Q2082757
History
- 2026-10-26: add by m2/dev
Rung 4 GTMVYFM5G6
| URI | m2://inv/GTMVYFM5G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#ITIY, Rung 4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GTN1BDPGPC GTN1BDPGPC
| URI | m2://inv/GTN1BDPGPC |
|---|---|
| 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 2510.12502#4BFD (statement). In 3A4K47Y9F2/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.4.0
Total Social Security Accounts GTN50XFVRE
| URI | m2://inv/GTN50XFVRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total Social Security Accounts, Total Social Security Accounts (definition). Also Wikidata Q663267
History
- 2026-11-02: add by m2/dev
Kosovo Agency of Statistics GTN8ZNRG0X
| URI | m2://inv/GTN8ZNRG0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosovo Agency of Statistics, Kosovo Agency of Statistics (definition). Also Wikidata Q16353956
History
- 2026-11-02: add by m2/dev
GTNG0B4WGT GTNG0B4WGT
| URI | m2://inv/GTNG0B4WGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#3MOW (statement)
History
- 2026-11-01: add by m2/v0.6.15
GTNJ4Q5ZMQ GTNJ4Q5ZMQ
| URI | m2://inv/GTNJ4Q5ZMQ |
|---|---|
| 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.15698#K5SZ (statement). In 69GJX04N6M/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
GTNK8XBG92 GTNK8XBG92
| URI | m2://inv/GTNK8XBG92 |
|---|---|
| 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.08357#125V (statement). In R9GRCAWHG0/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
curvilinear coordinate system GTNKQEE7Z8
| URI | m2://inv/GTNKQEE7Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1790208, curvilinear coordinate system (unknown). Also MathWorld CurvilinearCoordinates
- wikipedia: Wikipedia Curvilinear coordinates, Curvilinear coordinates (definition). Also Wikidata Q1790208
History
- 2026-10-26: add by m2/dev
GTNPH8NYWQ GTNPH8NYWQ
| URI | m2://inv/GTNPH8NYWQ |
|---|---|
| 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.25255#F1OI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gamma matrices GTNX30FH5Y
| URI | m2://inv/GTNX30FH5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#9FW5, Gamma matrices (definition)
History
- 2026-11-02: add by m2/dev
Applications GTP31NQY3B
| URI | m2://inv/GTP31NQY3B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighing matrix#LN8E, Applications (example)
History
- 2026-11-02: add by m2/dev
GTP706NSTJ GTP706NSTJ
| URI | m2://inv/GTP706NSTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#Q4W1 (statement). In FSGSVD0XYH/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
GTPCEERGE5 GTPCEERGE5
| URI | m2://inv/GTPCEERGE5 |
|---|---|
| Kind | example |
| 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.03775#OXAP (example). In NM928YZQVJ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
Fyodor Gakhov GTPCGSNX50
| URI | m2://inv/GTPCGSNX50 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fyodor Gakhov, Fyodor Gakhov (topic). Also Wikidata Q16319026
History
- 2026-11-02: add by m2/dev
$\RR^n$ and $\CC^n$ have standard bases GTPEVJ05PF
| URI | m2://inv/GTPEVJ05PF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#example-4, $\RR^n$ and $\CC^n$ have standard bases (example). In RZP28ERRZV, example, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
Algorithm GTPKP9T2Q9
| URI | m2://inv/GTPKP9T2Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visvalingam–Whyatt algorithm#3Y20, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples GTPNG0ME9S
| URI | m2://inv/GTPNG0ME9S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin's theorem#0D5G, Examples (example)
History
- 2026-11-02: add by m2/dev
GTPZN3QGWK GTPZN3QGWK
| URI | m2://inv/GTPZN3QGWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38838#5FCD (statement). In 3EH8M9GWTX/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Rational curve GTQ063Q286
| URI | m2://inv/GTQ063Q286 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic curve#98Y3, Rational curve (unknown)
History
- 2026-11-02: add by m2/dev
VMO function GTQ6JG7SR3
| URI | m2://inv/GTQ6JG7SR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded mean oscillation#1QRF, VMO function (unknown)
History
- 2026-11-02: add by m2/dev
Monoid homomorphism GTQ7KDQV3B
| URI | m2://inv/GTQ7KDQV3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid#CSIR, Monoid homomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Examples GTQEX5H66K
| URI | m2://inv/GTQEX5H66K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tiger (hash function)#3SWS, Examples (example)
History
- 2026-11-02: add by m2/dev
GTQF15MDM1 GTQF15MDM1
| URI | m2://inv/GTQF15MDM1 |
|---|---|
| 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.27820#AXXV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poynting–Robertson effect GTQG5MDED6
| URI | m2://inv/GTQG5MDED6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poynting–Robertson effect, Poynting–Robertson effect (definition). Also Wikidata Q1127701
History
- 2026-11-02: add by m2/dev
GTQGSZTJ45 GTQGSZTJ45
| URI | m2://inv/GTQGSZTJ45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#XQN4 (statement). In FJ8XVQ6F0T/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.4.0
Representation theory of the symmetric group GTQM34YX5M
| URI | m2://inv/GTQM34YX5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#EHVZ, Representation theory of the symmetric group (definition)
History
- 2026-11-02: add by m2/dev
GTQNMZ956P GTQNMZ956P
| URI | m2://inv/GTQNMZ956P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
GTQVCT1S70 GTQVCT1S70
| URI | m2://inv/GTQVCT1S70 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
GTQWWTQ4VX GTQWWTQ4VX
| URI | m2://inv/GTQWWTQ4VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#I7RB (statement). In 9DQKY7KGE8/e1, corollary 5.11
History
- 2026-10-27: add by m2/v0.3.5
Applications GTQZ6S548M
| URI | m2://inv/GTQZ6S548M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher kernel#NJ6S, Applications (example)
History
- 2026-11-02: add by m2/dev
GTRCX3KZ04 GTRCX3KZ04
| URI | m2://inv/GTRCX3KZ04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#OG9A (statement). In GC2H0HS7ZM/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
uniqueness implies continuity GTRD29QNVZ
| URI | m2://inv/GTRD29QNVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#R328, uniqueness implies continuity (statement). In XJVZSGCX5V/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Levinson recursion GTRK4BC2FP
| URI | m2://inv/GTRK4BC2FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levinson recursion, Levinson recursion (definition). Also Wikidata Q11679774
History
- 2026-11-02: add by m2/dev
GTRK8GVWJ9 GTRK8GVWJ9
| URI | m2://inv/GTRK8GVWJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#FPAF (statement). In NAA7WFQN20/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Generalizations GTRKTNN7XA
| URI | m2://inv/GTRKTNN7XA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witt group#DGVN, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
GTRSXZR10F GTRSXZR10F
| URI | m2://inv/GTRSXZR10F |
|---|---|
| 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.22074#NVDU (definition). In F3BKXXPR3K/e1, definition 3.23
History
- 2026-10-27: add by m2/v0.4.2
T. Thrivikraman GTS05Y3H75
| URI | m2://inv/GTS05Y3H75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. Thrivikraman, T. Thrivikraman (topic). Also Wikidata Q27063640
History
- 2026-11-02: add by m2/dev
Domninus of Larissa GTS3QRXVTX
| URI | m2://inv/GTS3QRXVTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1DNY, Domninus of Larissa (unknown)
History
- 2026-11-02: add by m2/dev
Pensim2 GTS4FF6ZGN
| URI | m2://inv/GTS4FF6ZGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pensim2, Pensim2 (definition). Also Wikidata Q7164751
History
- 2026-11-02: add by m2/dev
Radon and $\tau$-smooth measures GTS59WPCEA
| URI | m2://inv/GTS59WPCEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#N78Y, Radon and $\tau$-smooth measures (statement). In J9C7YMKJ33/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.3.5
Prompt-generating process GTSDJMFDPM
| URI | m2://inv/GTSDJMFDPM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#0F6Y, Prompt-generating process (definition). In N37WKFTR7Q/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Direct Proof of $(\exists! x)P(x)$ GTT7DWH0XN
| URI | m2://inv/GTT7DWH0XN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:uniqueness, Direct Proof of $(\exists! x)P(x)$ (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
ordinary differential equation GTTCN8BM9N
| URI | m2://inv/GTTCN8BM9N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.8.2/ordinary-differential-equation, ordinary differential equation (concept). In E9HS8K3A52, index, section 6.8.2
History
- 2026-11-01: add by m2/v0.6.13
GTTFVSQYG3 GTTFVSQYG3
| URI | m2://inv/GTTFVSQYG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 58.8
History
- 2026-11-01: add by m2/v0.6.13
Verificationism GTTJ430ZER
| URI | m2://inv/GTTJ430ZER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verificationism, Verificationism (definition). Also Wikidata Q2297476
History
- 2026-11-02: add by m2/dev
Drift-aware Wasserstein bound GTTNGT9MZV
| URI | m2://inv/GTTNGT9MZV |
|---|---|
| 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.07162#NCZ1, Drift-aware Wasserstein bound (statement). In MQEB9ZHQAT/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
GTTQED9V03 GTTQED9V03
| URI | m2://inv/GTTQED9V03 |
|---|---|
| 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 2407.08004#ATHC (statement). In TYS65EG479/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
Closed formula GTTRMN00V3
| URI | m2://inv/GTTRMN00V3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Somos sequence#SRAT, Closed formula (statement)
History
- 2026-11-02: add by m2/dev
GTV0MECWCB GTV0MECWCB
| URI | m2://inv/GTV0MECWCB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#JUBZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples GTV4M1E57H
| URI | m2://inv/GTV4M1E57H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercube graph#VVRQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Safe set in the hypercube GTV6726SVW
| URI | m2://inv/GTV6726SVW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#65VP, Safe set in the hypercube (definition). In WYE2JVEZBT/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Definition GTV7KPWYJE
| URI | m2://inv/GTV7KPWYJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre transformation#GFZA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Radial truncation GTV8VJB45S
| URI | m2://inv/GTV8VJB45S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#NB4K, Radial truncation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mutually tangent given circles: Soddy's circles and Descartes's theorem GTVB3YEMDN
| URI | m2://inv/GTVB3YEMDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of Apollonius#9CYV, Mutually tangent given circles: Soddy's circles and Descartes's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition GTVFFGBS4T
| URI | m2://inv/GTVFFGBS4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#G1DT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Power, root-power, and field quantities GTVH2AX191
| URI | m2://inv/GTVH2AX191 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power, root-power, and field quantities, Power, root-power, and field quantities (definition). Also Wikidata Q23808078
History
- 2026-11-02: add by m2/dev
GTVJ1YA6F4 GTVJ1YA6F4
| URI | m2://inv/GTVJ1YA6F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#FSKL (statement). In GB0V23Q6C5/e1, theorem A.9
History
- 2026-10-27: add by m2/v0.3.5
Existential instantiation GTVRJVRYWE
| URI | m2://inv/GTVRJVRYWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential instantiation#HLLY, Existential instantiation (statement)
History
- 2026-11-02: add by m2/dev
Hausdorff GTVSBSKP5Z
| URI | m2://inv/GTVSBSKP5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#9YWX, Hausdorff (definition)
History
- 2026-11-02: add by m2/dev
GTVW2KZC9Y GTVW2KZC9Y
| URI | m2://inv/GTVW2KZC9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.03424#YEWF (statement). In Q6HRJP4AWA/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
GTW0WJ1X2Y GTW0WJ1X2Y
| URI | m2://inv/GTW0WJ1X2Y |
|---|---|
| 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.20489#UWRQ (statement). In BJ8JJZ0ZWT/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
Wallie Abraham Hurwitz GTW1KGPCX0
| URI | m2://inv/GTW1KGPCX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ARW8, Wallie Abraham Hurwitz (unknown)
History
- 2026-11-02: add by m2/dev
quintessence GTW2CHJ6A2
| URI | m2://inv/GTW2CHJ6A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12032053, quintessence (definition). Also ProofWiki Definition:Philosophical_Element/Quintessence
History
- 2026-10-26: add by m2/dev
KL decomposition GTW2PW4Z8A
| URI | m2://inv/GTW2PW4Z8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX, 62-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.15006#QXB9, KL decomposition (statement). In 8XZGF33HQX/e1, theorem 9.1
History
- 2026-10-28: add by m2/v0.4.2
endogeneity GTW3FXT7P5
| URI | m2://inv/GTW3FXT7P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1340706, endogeneity (definition). Also ProofWiki Definition:Endogenous_Variable
- wikipedia: Wikipedia Endogeneity (econometrics), Endogeneity (definition). Also Wikidata Q1340706
History
- 2026-10-26: add by m2/dev
Roland L. Dobrushin GTW3VVQKES
| URI | m2://inv/GTW3VVQKES |
|---|---|
| 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#BBTQ, Roland L. Dobrushin (topic)
History
- 2026-11-02: add by m2/dev
GTWCVC9VM7 GTWCVC9VM7
| URI | m2://inv/GTWCVC9VM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21461#ZG7A (definition). In DWQANBV7B7/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Hoeffding's independence test GTWK7M9S52
| URI | m2://inv/GTWK7M9S52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoeffding's independence test, Hoeffding's independence test (definition). Also Wikidata Q17030429
History
- 2026-11-02: add by m2/dev
Definition GTWV938FA9
| URI | m2://inv/GTWV938FA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FK-space#OE5O, Definition (definition)
History
- 2026-11-02: add by m2/dev
GTWXZVYY5G GTWXZVYY5G
| URI | m2://inv/GTWXZVYY5G |
|---|---|
| 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.35383#WIKG (statement). In HSR4748706/e1, corollary 1.7
History
- 2026-10-30: add by m2/v0.4.12
Optimal sample exponent for direct Gaussian search GTX49WNNJK
| URI | m2://inv/GTX49WNNJK |
|---|---|
| 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.30808#257Y, Optimal sample exponent for direct Gaussian search (statement). In 4JCFPV48VG/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
GTX5FPTFXJ GTX5FPTFXJ
| URI | m2://inv/GTX5FPTFXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.05198#G7O2 (statement). In NJWY6HPFHG/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
GTX7E3ZPM6 GTX7E3ZPM6
| URI | m2://inv/GTX7E3ZPM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#OHYH (definition). In G02N9D40B9/e1, definition 4.2.1
History
- 2026-10-29: add by m2/v0.4.10
Blowfish GTX8JM5RH4
| URI | m2://inv/GTX8JM5RH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#FWCJ, Blowfish (definition)
History
- 2026-11-02: add by m2/dev
Willmore flow GTXA40WBZN
| URI | m2://inv/GTXA40WBZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore energy#08HP, Willmore flow (unknown)
History
- 2026-11-02: add by m2/dev
Peter I Island GTXDJEPCHE
| URI | m2://inv/GTXDJEPCHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IUIL, Peter I Island (unknown)
History
- 2026-11-02: add by m2/dev
Sidney Graham GTXGW9ZMSJ
| URI | m2://inv/GTXGW9ZMSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidney Graham, Sidney Graham (topic). Also Wikidata Q289450
History
- 2026-11-02: add by m2/dev
GTXXZM99GY GTXXZM99GY
| URI | m2://inv/GTXXZM99GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#M1MC (statement). In PCV12VAD47/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Relativistic center-of-mass theorem of 1906 GTY33NP6A3
| URI | m2://inv/GTY33NP6A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass–energy equivalence#U79A, Relativistic center-of-mass theorem of 1906 (statement)
History
- 2026-11-02: add by m2/dev
equations of affine subspace GTY4MBQWKY
| URI | m2://inv/GTY4MBQWKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > equations of affine subspace, equations of affine subspace (unknown)
History
- 2026-10-26: add by m2/dev
Archimedes' heat ray GTY7JFQA1J
| URI | m2://inv/GTY7JFQA1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#47TX, Archimedes' heat ray (unknown)
History
- 2026-11-02: add by m2/dev
Portuguese Mathematical Society GTYDT9VW34
| URI | m2://inv/GTYDT9VW34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#70EO, Portuguese Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
GTYRBR6RB8 GTYRBR6RB8
| URI | m2://inv/GTYRBR6RB8 |
|---|---|
| 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.17408#QXMX (statement). In QR8H4M1X4N/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
GTYRJPQ3BD GTYRJPQ3BD
| URI | m2://inv/GTYRJPQ3BD |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#T79X (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
analytical mechanics GTYRKA7GG0
| URI | m2://inv/GTYRKA7GG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21653530, analytical mechanics (definition). Also ProofWiki Definition:Analytical_Mechanics
- wikipedia: Wikipedia Analytical mechanics, Analytical mechanics (definition). Also Wikidata Q21653530
History
- 2026-10-26: add by m2/dev
Thâbit ibn Kurrah rule GTYTY6QJEE
| URI | m2://inv/GTYTY6QJEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3345196, Thâbit ibn Kurrah rule (statement). Also MathWorld ThabitibnKurrahRule
History
- 2026-10-26: add by m2/dev
Definition GTYX66DDCT
| URI | m2://inv/GTYX66DDCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably generated space#M69U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sard's theorem GTYZ6C6T19
| URI | m2://inv/GTYZ6C6T19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ESOM, Sard's theorem (statement)
History
- 2026-11-02: add by m2/dev
GTZ0T1EX95 GTZ0T1EX95
| URI | m2://inv/GTZ0T1EX95 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#YK00 (conjecture). In N3Z6JFEPCF/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
Abel–Goncharov interpolation GTZ1FX7VTC
| URI | m2://inv/GTZ1FX7VTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#Z7EA, Abel–Goncharov interpolation (definition)
- wikipedia: Wikipedia List of numerical analysis topics#I31I, Abel–Goncharov interpolation (definition)
History
- 2026-11-02: add by m2/dev
GTZ2931B5R GTZ2931B5R
| URI | m2://inv/GTZ2931B5R |
|---|---|
| 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.20480#EVM5 (statement). In BK4359JSC3/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.4.2
homomorphic sensing of a subspace arrangement GTZ71RD2K2
| URI | m2://inv/GTZ71RD2K2 |
|---|---|
| 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 2006.05158#XXSE, homomorphic sensing of a subspace arrangement (statement). In 4VCW6SZQXK/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
GTZ8DS0KT3 GTZ8DS0KT3
| URI | m2://inv/GTZ8DS0KT3 |
|---|---|
| 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.01656#VPPN (statement). In AHGQZ89DY0/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Minimum chi-square estimation GTZN0FC6WB
| URI | m2://inv/GTZN0FC6WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum chi-square estimation, Minimum chi-square estimation (definition). Also Wikidata Q17103906
History
- 2026-11-02: add by m2/dev
Symbolic dynamics GTZTTRTMVZ
| URI | m2://inv/GTZTTRTMVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#77BY, Symbolic dynamics (definition)
History
- 2026-11-02: add by m2/dev
Brown number GTZVY1039R
| URI | m2://inv/GTZVY1039R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's problem#XLUS, Brown number (unknown)
History
- 2026-11-02: add by m2/dev
GTZWSAF6VJ GTZWSAF6VJ
| URI | m2://inv/GTZWSAF6VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#CCPK (statement). In A1GWWGRXPA/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.4.2
V. G. Kac GTZZRP0JEJ
| URI | m2://inv/GTZZRP0JEJ |
|---|---|
| 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#U1AF, V. G. Kac (topic)
History
- 2026-11-02: add by m2/dev