Inventory rows GJ
The cards of the rows of the inventory whose ids start with GJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Model order reduction GJ013Y11F7
| URI | m2://inv/GJ013Y11F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model order reduction, Model order reduction (definition). Also Wikidata Q12202921
History
- 2026-11-02: add by m2/dev
GJ01SCY5DH GJ01SCY5DH
| URI | m2://inv/GJ01SCY5DH |
|---|---|
| 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.00343#RA69 (statement). In G4MKECQ1DD/e1, proposition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Connection to the first Hardy–Littlewood conjecture GJ078ZESNQ
| URI | m2://inv/GJ078ZESNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second Hardy–Littlewood conjecture#YWEI, Connection to the first Hardy–Littlewood conjecture (statement)
History
- 2026-11-02: add by m2/dev
Circular section GJ0H25TVH0
| URI | m2://inv/GJ0H25TVH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular section, Circular section (definition). Also Wikidata Q31286213
History
- 2026-11-02: add by m2/dev
GJ0HBAHSC8 GJ0HBAHSC8
| URI | m2://inv/GJ0HBAHSC8 |
|---|---|
| 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.16562#1SXW (statement). In 7QGPEBC70Y/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
GJ10EAMRY7 GJ10EAMRY7
| URI | m2://inv/GJ10EAMRY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#YPL6 (statement). In F2XATDBRK4/e1, lemma 9
History
- 2026-10-27: add by m2/v0.4.2
GJ11QHG405 GJ11QHG405
| URI | m2://inv/GJ11QHG405 |
|---|---|
| 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.20013#W617 (statement). In SC5JZQKZH6/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
GJ129NQ4AV GJ129NQ4AV
| URI | m2://inv/GJ129NQ4AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#NQWU (statement). In CY1FE8W1ZW/e1, corollary 0.248
History
- 2026-10-27: add by m2/v0.4.0
GJ176D904H GJ176D904H
| URI | m2://inv/GJ176D904H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#FGE2 (statement). In 9604WYX0BW/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.3
GJ1CNYSS6Y GJ1CNYSS6Y
| URI | m2://inv/GJ1CNYSS6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#1PDE (statement). In 9B0X8YPF3P/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
GJ1HM01FMQ GJ1HM01FMQ
| URI | m2://inv/GJ1HM01FMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03337#CVVK (statement). In VH7EZDGTNA/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Quaternary cubic GJ1K9JGRYY
| URI | m2://inv/GJ1K9JGRYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7269559, Sylvester pentahedral theorem (statement). Also Wikidata Q7269559
- thousand_plus: thousand_plus Q7269559, Sylvester pentahedral theorem (statement). Also Wikidata Q7269559, Wikipedia Sylvester pentahedral theorem
- wikipedia: Wikipedia Quaternary cubic, Quaternary cubic (definition). Also Wikidata Q7269559
History
- 2026-10-26: add by m2/dev
Properties GJ1PSX7G07
| URI | m2://inv/GJ1PSX7G07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersurface#YSTJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fixed artificial pressure GJ24Q3W486
| URI | m2://inv/GJ24Q3W486 |
|---|---|
| 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.12387#4UTC, Fixed artificial pressure (statement). In 3Z0PRE77SY/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Velocity in the error region GJ29K4PJ6A
| URI | m2://inv/GJ29K4PJ6A |
|---|---|
| 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.33578#3CMC, Velocity in the error region (statement). In 3XTDDKY6YE/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Proof complexity GJ2ENE13T8
| URI | m2://inv/GJ2ENE13T8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof complexity, Proof complexity (topic). Also Wikidata Q7249999
History
- 2026-11-02: add by m2/dev
A cubic comparison for the likelihood transform GJ2FRCCJ2F
| URI | m2://inv/GJ2FRCCJ2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#4PVS, A cubic comparison for the likelihood transform (statement). In 9YAE8FNQST/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Paul Funk GJ2GQRMKT1
| URI | m2://inv/GJ2GQRMKT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LDI7, Paul Funk (topic)
History
- 2026-11-02: add by m2/dev
Finite-scale, smooth witnesses GJ2QF7A91E
| URI | m2://inv/GJ2QF7A91E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14201#QJY3, Finite-scale, smooth witnesses (statement). In 7NKMVRHY2E/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
GJ2WXM43HG GJ2WXM43HG
| URI | m2://inv/GJ2WXM43HG |
|---|---|
| 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.27114#S8B2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GJ3382E292 GJ3382E292
| URI | m2://inv/GJ3382E292 |
|---|---|
| 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.20716#HL63 (statement)
History
- 2026-11-02: add by m2/v0.6.18
GJ362FHZFE GJ362FHZFE
| URI | m2://inv/GJ362FHZFE |
|---|---|
| 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 2112.05010#5TWF (statement). In 4SZNPS3Z00/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.3.6
Poincar\'e--resolvent inequality GJ3EMPHKMV
| URI | m2://inv/GJ3EMPHKMV |
|---|---|
| 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.15199#BCD3, Poincar\'e--resolvent inequality (statement). In EVFTDVP4K4/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
Unmixedness theorem GJ3G4CPWJN
| URI | m2://inv/GJ3G4CPWJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FVOD, Unmixedness theorem (definition)
History
- 2026-11-02: add by m2/dev
GJ3HDRSR97 GJ3HDRSR97
| URI | m2://inv/GJ3HDRSR97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#NP4M (statement). In 9ZSNSJRJ5N/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
GJ3HFFJ8S9 GJ3HFFJ8S9
| URI | m2://inv/GJ3HFFJ8S9 |
|---|---|
| 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.30103#98EK (statement)
History
- 2026-11-01: add by m2/v0.6.15
GJ3JNGXJ37 GJ3JNGXJ37
| URI | m2://inv/GJ3JNGXJ37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#UJPR (statement). In 6HP7BR9WZM/e1, corollary 3.16
History
- 2026-10-29: add by m2/v0.4.10
755 (number) GJ4DY7BGRX
| URI | m2://inv/GJ4DY7BGRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#LG7N, 755 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Grebenik, Eugene GJ4GH5YZTW
| URI | m2://inv/GJ4GH5YZTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZE8O, Grebenik, Eugene (unknown)
History
- 2026-11-02: add by m2/dev
Definition and notation GJ4KK6DBC8
| URI | m2://inv/GJ4KK6DBC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence space#A8H4, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
GJ4NTWAFFY GJ4NTWAFFY
| URI | m2://inv/GJ4NTWAFFY |
|---|---|
| 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.21508#SLVO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rosser's trick GJ4SK60BWV
| URI | m2://inv/GJ4SK60BWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosser's trick, Rosser's trick (definition). Also Wikidata Q7369799
History
- 2026-11-02: add by m2/dev
Émile Léger GJ4VCRG9VS
| URI | m2://inv/GJ4VCRG9VS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Émile Léger, Émile Léger (topic). Also Wikidata Q25273101
History
- 2026-11-02: add by m2/dev
GJ4ZP16V2D GJ4ZP16V2D
| URI | m2://inv/GJ4ZP16V2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#definition-3 (definition). In RZP28ERRZV, definition, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
GJ566W6Z7W GJ566W6Z7W
| URI | m2://inv/GJ566W6Z7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.00843#MO4M (statement). In 1K7M5TD0M2/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Example GJ5HCSYN1D
| URI | m2://inv/GJ5HCSYN1D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Purification theorem#A8Y7, Example (example)
History
- 2026-11-02: add by m2/dev
Hard-core free energy GJ5W3KF38X
| URI | m2://inv/GJ5W3KF38X |
|---|---|
| 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.39699#2LKP, Hard-core free energy (statement). In 6M4TMC8G6X/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
GJ61SMABGS GJ61SMABGS
| URI | m2://inv/GJ61SMABGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#N2SI (statement). In R2K4HZN8RW/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
GJ64B7TZ60 GJ64B7TZ60
| URI | m2://inv/GJ64B7TZ60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19093#E4KH (statement). In S2K79KESZ4/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Semantic Substitution Equality GJ6947F7TF
| URI | m2://inv/GJ6947F7TF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#XRRT, Semantic Substitution Equality (definition). In CPYWHRTPKC/e1, definition 6.30
History
- 2026-10-27: add by m2/v0.4.2
False equivalence GJ6E15412Z
| URI | m2://inv/GJ6E15412Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#NDE0, False equivalence (definition)
History
- 2026-11-02: add by m2/dev
GJ6G7FCYF0 GJ6G7FCYF0
| URI | m2://inv/GJ6G7FCYF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#887G (statement). In C87H6KZSBM/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
DFFITS GJ6Y2DV7HH
| URI | m2://inv/GJ6Y2DV7HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FPL7, DFFITS (definition)
History
- 2026-11-02: add by m2/dev
GJ71MMYSQW GJ71MMYSQW
| URI | m2://inv/GJ71MMYSQW |
|---|---|
| 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.12683#W2AH (statement). In N5ZFFWV3RX/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
GJ72HDQ53K GJ72HDQ53K
| URI | m2://inv/GJ72HDQ53K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#XSIM (definition). In DA3VN96YX2/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
GJ74CSEPMF GJ74CSEPMF
| URI | m2://inv/GJ74CSEPMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#BMKN (statement). In PT5PBPCS3P/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Derek Corneil GJ7596CREP
| URI | m2://inv/GJ7596CREP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MSRF, Derek Corneil (unknown)
History
- 2026-11-02: add by m2/dev
GJ75A3BJMJ GJ75A3BJMJ
| URI | m2://inv/GJ75A3BJMJ |
|---|---|
| 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.17240#9ANM (statement). In 59BZ4V9RQW/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Conditional mean GJ7C4XKTP0
| URI | m2://inv/GJ7C4XKTP0 |
|---|---|
| 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.33866#ROEU, Conditional mean (statement). In Y3MSGX6472/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
GJ7HNH8TQS GJ7HNH8TQS
| URI | m2://inv/GJ7HNH8TQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#TAAV (statement). In 2Y47E704Z9/e1, lemma E.2
History
- 2026-10-29: add by m2/v0.4.10
\textbf{\textit{Tao - Proposition 1.9}}\textit GJ7PJVRTY1
| URI | m2://inv/GJ7PJVRTY1 |
|---|---|
| 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.33018#EWTV, \textbf{\textit{Tao - Proposition 1.9}}\textit (statement). In 8XVS0QJ2AH/e1, proposition 43
History
- 2026-10-31: add by m2/v0.5.6
regular hendecagon GJ7T4C6P55
| URI | m2://inv/GJ7T4C6P55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18018002, regular hendecagon (unknown). Also MathWorld RegularHendecagon
History
- 2026-10-26: add by m2/dev
*{Theorem 1.3 GJ7ZXQZX74
| URI | m2://inv/GJ7ZXQZX74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30575#JWSL, *{Theorem 1.3 (statement). In 6WFFY0QM27/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Population pyramid GJ8420EK5W
| URI | m2://inv/GJ8420EK5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population pyramid, Population pyramid (definition). Also Wikidata Q329823
History
- 2026-11-02: add by m2/dev
GJ8AKKGS2V GJ8AKKGS2V
| URI | m2://inv/GJ8AKKGS2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#UTOT (statement). In QHFP0837Q8/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Archimedes' cattle problem GJ8G1KTJAX
| URI | m2://inv/GJ8G1KTJAX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2030594, Archimedes' cattle problem (problem). Also MathWorld ArchimedesCattleProblem, ProofWiki Archimedes'_Cattle_Problem
- wikipedia: Wikipedia Archimedes's cattle problem, Archimedes's cattle problem (problem). Also Wikidata Q2030594
History
- 2026-10-26: add by m2/dev
GJ8NYZZPXW GJ8NYZZPXW
| URI | m2://inv/GJ8NYZZPXW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/prop-reduce.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 3.11
History
- 2026-11-01: add by m2/v0.6.13
Formal definition GJ8P4637K5
| URI | m2://inv/GJ8P4637K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn function#6UL5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
GJ8PA5MPFH GJ8PA5MPFH
| URI | m2://inv/GJ8PA5MPFH |
|---|---|
| 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 2511.05069#TZ3T (statement). In SFQBJBTW8K/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.3.5
GJ90P77KG5 GJ90P77KG5
| URI | m2://inv/GJ90P77KG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.16475#23FX (statement). In FM9SKN560Q/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
GJ955HMJ3T GJ955HMJ3T
| URI | m2://inv/GJ955HMJ3T |
|---|---|
| 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.21097#QG24 (statement). In Y1KA940FPZ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
GJ96VQTJJV GJ96VQTJJV
| URI | m2://inv/GJ96VQTJJV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 87.2
History
- 2026-11-01: add by m2/v0.6.13
discrete Fourier transform GJ9AS9E45B
| URI | m2://inv/GJ9AS9E45B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Discrete Fourier transform TST0GH66A5 |
Mentions
- wikidata: Wikidata Q2878, discrete Fourier transform (unknown). Also nLab discrete Fourier transform
- wikipedia: Wikipedia Discrete Fourier transform, Discrete Fourier transform (definition). Also Wikidata Q2878
History
- 2026-10-26: add by m2/dev
S–cobordism theorem GJ9CSSWNES
| URI | m2://inv/GJ9CSSWNES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Z8QI, S–cobordism theorem (definition)
History
- 2026-11-02: add by m2/dev
Inertia and the first law GJ9Q55KYSX
| URI | m2://inv/GJ9Q55KYSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#7JMH, Inertia and the first law (statement)
History
- 2026-11-02: add by m2/dev
A pendant $k$-canonical weight above one GJ9VHT2PAN
| URI | m2://inv/GJ9VHT2PAN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21454#IMKO, A pendant $k$-canonical weight above one (example). In ZP2RJFZ3V2/e1, example 4.13
History
- 2026-10-27: add by m2/v0.4.2
Smooth Poincar\'{e} conjecture; Hamilton--Perelman GJ9Y4FXB9E
| URI | m2://inv/GJ9Y4FXB9E |
|---|---|
| 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.33842#IUQS, Smooth Poincar\'{e} conjecture; Hamilton--Perelman (statement). In NFQ1VPB281/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
GJA48E6FT7 GJA48E6FT7
| URI | m2://inv/GJA48E6FT7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#DLPE (example). In B366ACYB37/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
Examples GJAC7H88R5
| URI | m2://inv/GJAC7H88R5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomic constraints#TI9M, Examples (example)
History
- 2026-11-02: add by m2/dev
GJADN3Q5G9 GJADN3Q5G9
| URI | m2://inv/GJADN3Q5G9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#YOY9 (statement). In 44DQ7W1NW9/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
Demographics GJAGQG4BWY
| URI | m2://inv/GJAGQG4BWY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HIKQ, Demographics (topic)
History
- 2026-11-02: add by m2/dev
GJAKVG42GM GJAKVG42GM
| URI | m2://inv/GJAKVG42GM |
|---|---|
| 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#L4DE (statement). In X765ZXXVC3/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Large-scale structure of the cosmos GJAM8VF91H
| URI | m2://inv/GJAM8VF91H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#9N94, Large-scale structure of the cosmos (unknown)
History
- 2026-11-02: add by m2/dev
GJAMDM3JE3 GJAMDM3JE3
| URI | m2://inv/GJAMDM3JE3 |
|---|---|
| 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 2610.05216#Q010 (example). In J1VCHM6V0S/e1, example 2.3
History
- 2026-10-29: add by m2/v0.4.10
Susanne Bobzien GJARGK780Q
| URI | m2://inv/GJARGK780Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susanne Bobzien, Susanne Bobzien (topic). Also Wikidata Q102366
History
- 2026-11-02: add by m2/dev
contact manifold GJAT45FJSF
| URI | m2://inv/GJAT45FJSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111652279, contact manifold (unknown). Also EoM Contact_structure, nLab contact manifold
History
- 2026-10-26: add by m2/dev
GJATK6V94A GJATK6V94A
| URI | m2://inv/GJATK6V94A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#99ZT (statement). In C2HJ1CCJ0S/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Exchangeable random variables GJAW8JN5XG
| URI | m2://inv/GJAW8JN5XG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exchangeable random variables, Exchangeable random variables (definition). Also Wikidata Q4406885
History
- 2026-11-02: add by m2/dev
Multi-level anisotropy GJB19JVGJ6
| URI | m2://inv/GJB19JVGJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#6QEU, Multi-level anisotropy (statement). In C04B15GH1T/e1, corollary 4.13
History
- 2026-10-30: add by m2/v0.4.12
Rodrigues' formula GJB2CY2RPP
| URI | m2://inv/GJB2CY2RPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#68DG, Rodrigues' formula (statement)
History
- 2026-11-02: add by m2/dev
Cabibbo angle GJB6JJ49K2
| URI | m2://inv/GJB6JJ49K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#04Y3, Cabibbo angle (definition)
History
- 2026-11-02: add by m2/dev
GJB9DAB638 GJB9DAB638
| URI | m2://inv/GJB9DAB638 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.21365#X538 (statement). In FCMMB2EVAP/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.2
GJBHY1GZ8R GJBHY1GZ8R
| URI | m2://inv/GJBHY1GZ8R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#4AT7 (definition). In 46370P3Y9S/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
GJBJHZXNCV GJBJHZXNCV
| URI | m2://inv/GJBJHZXNCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38194#QJNW (definition). In M9BZSET9ZV/e1, definition 9.1
History
- 2026-10-30: add by m2/v0.4.12
Lychrel number GJBSF0RH1W
| URI | m2://inv/GJBSF0RH1W |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZACL, Lychrel number (conjecture)
History
- 2026-11-02: add by m2/dev
Aryabhata II GJBWDV326J
| URI | m2://inv/GJBWDV326J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#K4N7, Aryabhata II (unknown)
History
- 2026-11-02: add by m2/dev
Matrix-vector multiplication GJC0KSWPDC
| URI | m2://inv/GJC0KSWPDC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#example-1, Matrix-vector multiplication (example). In 649HGZKE96, example, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
GJC44RDF9P GJC44RDF9P
| URI | m2://inv/GJC44RDF9P |
|---|---|
| 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.33015#0BXY (statement). In W6Y6NPK648/e1, proposition 5.15
History
- 2026-10-27: add by m2/v0.3.5
Quirico Filopanti GJC73YCK6K
| URI | m2://inv/GJC73YCK6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quirico Filopanti, Quirico Filopanti (topic). Also Wikidata Q761422
History
- 2026-11-02: add by m2/dev
Examples GJCE8AJY8T
| URI | m2://inv/GJCE8AJY8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collusion#2C6Q, Examples (example)
History
- 2026-11-02: add by m2/dev
GJCFFS4P9Z GJCFFS4P9Z
| URI | m2://inv/GJCFFS4P9Z |
|---|---|
| Kind | definition |
| 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.14450#BMHL (definition). In ZHTGQT07PE/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
GJCGSQFK50 GJCGSQFK50
| URI | m2://inv/GJCGSQFK50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#F4BL (statement). In SCSTR1Q1BW/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Komlós, János GJD4527J03
| URI | m2://inv/GJD4527J03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#RPQM, Komlós, János (unknown)
History
- 2026-11-02: add by m2/dev
SSH-1.99 GJDZ1SK80A
| URI | m2://inv/GJDZ1SK80A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Shell#H6BX, SSH-1.99 (unknown)
History
- 2026-11-02: add by m2/dev
GJE4VH0HCW GJE4VH0HCW
| URI | m2://inv/GJE4VH0HCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21703#LNIF (statement)
History
- 2026-11-02: add by m2/v0.6.18
GJE5AEQZ9A GJE5AEQZ9A
| URI | m2://inv/GJE5AEQZ9A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#1LYZ (statement). In 3THDT8WNF7/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Constructions GJE5VF8AWK
| URI | m2://inv/GJE5VF8AWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersen graph#SV5F, Constructions (definition)
History
- 2026-11-02: add by m2/dev
ring spectrum GJE7GKN811
| URI | m2://inv/GJE7GKN811 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#T19S, ring spectrum (definition)
History
- 2026-11-02: add by m2/dev
GJE8CDE5G2 GJE8CDE5G2
| URI | m2://inv/GJE8CDE5G2 |
|---|---|
| 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.20429#8SVC (statement)
History
- 2026-11-02: add by m2/v0.6.18
E. Morton Jellinek GJEHTXVJQP
| URI | m2://inv/GJEHTXVJQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ANFD, E. Morton Jellinek (unknown)
History
- 2026-11-02: add by m2/dev
Chuprov, Alexander Ivanovich GJEKBF6B6P
| URI | m2://inv/GJEKBF6B6P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#6TWV, Chuprov, Alexander Ivanovich (topic)
History
- 2026-11-02: add by m2/dev
Examples GJEMSG3N3S
| URI | m2://inv/GJEMSG3N3S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer matrix#BSQT, Examples (example)
History
- 2026-11-02: add by m2/dev
total GJEY1AEVEM
| URI | m2://inv/GJEY1AEVEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ZZPI, total (definition)
History
- 2026-11-02: add by m2/dev
Cell regularity GJEZTZ7171
| URI | m2://inv/GJEZTZ7171 |
|---|---|
| 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.20215#BSFW, Cell regularity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fourier transform of the invertible-matrix indicator GJF6WN3N00
| URI | m2://inv/GJF6WN3N00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#5K6X, Fourier transform of the invertible-matrix indicator (statement). In N6GD8392QB/e1, lemma 11.13
History
- 2026-10-28: add by m2/v0.4.2
Kathi Irvine GJFHN3F157
| URI | m2://inv/GJFHN3F157 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathi Irvine, Kathi Irvine (topic). Also Wikidata Q89488473
History
- 2026-11-02: add by m2/dev
GJFKBVV4K9 GJFKBVV4K9
| URI | m2://inv/GJFKBVV4K9 |
|---|---|
| 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.02689#2K7F (statement). In 7BWXR38MNE/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Designs from $\Sz(q)$ GJFMGTAX39
| URI | m2://inv/GJFMGTAX39 |
|---|---|
| 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.15340#SEEO, Designs from $\Sz(q)$ (statement). In 9NVKKW8HDH/e1, corollary 2.55
History
- 2026-10-28: add by m2/v0.4.2
GJG07PNWX6 GJG07PNWX6
| URI | m2://inv/GJG07PNWX6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#example-2 (example). In RZP28ERRZV, example, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
Leo August Pochhammer GJG0DFJVE7
| URI | m2://inv/GJG0DFJVE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo August Pochhammer, Leo August Pochhammer (topic). Also Wikidata Q65197
History
- 2026-11-02: add by m2/dev
GJG3B7422Y GJG3B7422Y
| URI | m2://inv/GJG3B7422Y |
|---|---|
| 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.10525#PRRU (statement). In N3K26VPX0R/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Example GJGHWX96HA
| URI | m2://inv/GJGHWX96HA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christofides algorithm#94H9, Example (example)
History
- 2026-11-02: add by m2/dev
GJGPVM0E0X GJGPVM0E0X
| URI | m2://inv/GJGPVM0E0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04452#P9II (statement). In ZV3ANMKJ0Y/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.12
Case (D) is closed for \emph{every} $n$ GJGW1N6T1H
| URI | m2://inv/GJGW1N6T1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#G5SS, Case (D) is closed for \emph{every} $n$ (statement). In QPJ6FWG5HD/e1, proposition 2.37
History
- 2026-10-29: add by m2/v0.4.12
Steganography GJGZVBHEHQ
| URI | m2://inv/GJGZVBHEHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#A4D2, Steganography (definition)
History
- 2026-11-02: add by m2/dev
Quantile-parameterized distribution GJH1JZ6X3P
| URI | m2://inv/GJH1JZ6X3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#U9RI, Quantile-parameterized distribution (definition)
History
- 2026-11-02: add by m2/dev
SU(3) GJH9GR5399
| URI | m2://inv/GJH9GR5399 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special unitary group#1YZE, SU(3) (unknown)
History
- 2026-11-02: add by m2/dev
The Tail Law GJHCJ101ZR
| URI | m2://inv/GJHCJ101ZR |
|---|---|
| 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.13222#DTIN, The Tail Law (statement). In Z6WA2R0J50/e1, theorem 2.24
History
- 2026-10-28: add by m2/v0.4.2
White dwarf luminosity function GJHF0GM0W9
| URI | m2://inv/GJHF0GM0W9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luminosity function (astronomy)#444Q, White dwarf luminosity function (unknown)
History
- 2026-11-02: add by m2/dev
GJHGMKTDRB GJHGMKTDRB
| URI | m2://inv/GJHGMKTDRB |
|---|---|
| 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.08480#VIAR (statement). In R4EEE89C3S/e1, theorem 4.18
History
- 2026-10-29: add by m2/v0.4.10
GJHMQCX4E0 GJHMQCX4E0
| URI | m2://inv/GJHMQCX4E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#WKV4 (statement). In TZXEMCBK5V/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Backward chaining GJHPCTVF4M
| URI | m2://inv/GJHPCTVF4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backward chaining, Backward chaining (definition). Also Wikidata Q1141183
History
- 2026-11-02: add by m2/dev
Teresa Melo GJJ0MVFFDX
| URI | m2://inv/GJJ0MVFFDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teresa Melo, Teresa Melo (topic). Also Wikidata Q106925748
History
- 2026-11-02: add by m2/dev
GJJ2VYK0ZB GJJ2VYK0ZB
| URI | m2://inv/GJJ2VYK0ZB |
|---|---|
| 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.07190#B2N8 (statement). In ZWS6Q4467X/e1, lemma D.8
History
- 2026-10-29: add by m2/v0.4.10
Formulas GJJJC54S7A
| URI | m2://inv/GJJJC54S7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line–line intersection#03S3, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Procedure GJJNHKF5NF
| URI | m2://inv/GJJNHKF5NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remez algorithm#BDRY, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Invariance of $\psi$ GJJRSQ6MRN
| URI | m2://inv/GJJRSQ6MRN |
|---|---|
| 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.32585#JNPB, Invariance of $\psi$ (statement). In FJFJ3WR1SS/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
GJJV74AX18 GJJV74AX18
| URI | m2://inv/GJJV74AX18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.05923#0J0T (statement). In ZFKZ6YDT62/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
Twisted geometries GJJY25B5XB
| URI | m2://inv/GJJY25B5XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted geometries, Twisted geometries (definition). Also Wikidata Q25098687
History
- 2026-11-02: add by m2/dev
GJK2A2Q5T5 GJK2A2Q5T5
| URI | m2://inv/GJK2A2Q5T5 |
|---|---|
| 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 1508.01731#U86T (statement). In PKJFZEY8ZV/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Directional regret from one comparison per round GJK3M0QQN9
| URI | m2://inv/GJK3M0QQN9 |
|---|---|
| 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.05428#ZJNT, Directional regret from one comparison per round (statement). In 31MQPCA8SH/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
John Fahey GJK7ZQKRVK
| URI | m2://inv/GJK7ZQKRVK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#0WXP, John Fahey (unknown)
History
- 2026-11-02: add by m2/dev
Statement GJKDG2B30X
| URI | m2://inv/GJKDG2B30X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ribet's theorem#9USD, Statement (statement)
History
- 2026-11-02: add by m2/dev
GJKW1T6PVN GJKW1T6PVN
| URI | m2://inv/GJKW1T6PVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#TMS0 (statement). In 4PGTZ19B26/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Gou Gu (Pythagorean) Theorem GJM1WB918W
| URI | m2://inv/GJM1WB918W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Nine Chapters on the Mathematical Art#0WJF, Gou Gu (Pythagorean) Theorem (statement)
History
- 2026-11-02: add by m2/dev
GJM7DBX6V0 GJM7DBX6V0
| URI | m2://inv/GJM7DBX6V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#DZ56 (statement). In 4PGTZ19B26/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
GJM9S2HN9W GJM9S2HN9W
| URI | m2://inv/GJM9S2HN9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#ZPSC (statement). In Q39BEKW6D9/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
Hideki Imai GJMJDDYV2F
| URI | m2://inv/GJMJDDYV2F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hideki Imai, Hideki Imai (topic). Also Wikidata Q5752362
History
- 2026-11-02: add by m2/dev
Left-continuous GJMQHV31RQ
| URI | m2://inv/GJMQHV31RQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#LJYV, Left-continuous (unknown)
History
- 2026-11-02: add by m2/dev
Jeep problem GJMR0TAPMZ
| URI | m2://inv/GJMR0TAPMZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4183840, Jeep problem (unknown). Also MathWorld JeepProblem
- wikipedia: Wikipedia Jeep problem, Jeep problem (problem). Also Wikidata Q4183840
History
- 2026-10-26: add by m2/dev
AAA theorem GJMRZPHM7J
| URI | m2://inv/GJMRZPHM7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence (geometry)#IGBE, AAA theorem (unknown)
History
- 2026-11-02: add by m2/dev
Near-minimizers of the band problem GJMS114Y9G
| URI | m2://inv/GJMS114Y9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#YPUC, Near-minimizers of the band problem (statement). In NKXTXH59P1/e1, lemma D.14
History
- 2026-10-29: add by m2/v0.4.10
Chlamt\'a\v{c GJMSQ7MEF0
| URI | m2://inv/GJMSQ7MEF0 |
|---|---|
| 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.01071#YYKF, Chlamt\'a\v{c (statement). In X1YF62ZFB6/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
GJMZ2GX945 GJMZ2GX945
| URI | m2://inv/GJMZ2GX945 |
|---|---|
| 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.10365#VE0V (statement). In PRVQPSBVHK/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
Louxin Zhang GJN1MTDPAT
| URI | m2://inv/GJN1MTDPAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louxin Zhang, Louxin Zhang (topic). Also Wikidata Q92330036
History
- 2026-11-02: add by m2/dev
GJN7BY0C7D GJN7BY0C7D
| URI | m2://inv/GJN7BY0C7D |
|---|---|
| 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#0S4Z (statement). In BK4359JSC3/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.2
Volumes GJNMH51KP4
| URI | m2://inv/GJNMH51KP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#BZIT, Volumes (statement). In FRMCKEGVJZ/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
octant GJNMSZX5QD
| URI | m2://inv/GJNMSZX5QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1975864, octant (unknown). Also MathWorld Octant
- wikipedia: Wikipedia Octant (solid geometry), Octant (definition). Also Wikidata Q1975864
History
- 2026-10-26: add by m2/dev
List of games in game theory GJNPRWKC9T
| URI | m2://inv/GJNPRWKC9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#RG7J, List of games in game theory (unknown)
History
- 2026-11-02: add by m2/dev
Simply connected GJNPWTWBZP
| URI | m2://inv/GJNPWTWBZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#N06M, Simply connected (definition)
History
- 2026-11-02: add by m2/dev
GJNQYGEXCD GJNQYGEXCD
| URI | m2://inv/GJNQYGEXCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#7CYF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heine-Borel property GJNW0H9MTT
| URI | m2://inv/GJNW0H9MTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine–Borel theorem#DA26, Heine-Borel property (unknown)
History
- 2026-11-02: add by m2/dev
Kevin Costello GJP1WBXKN2
| URI | m2://inv/GJP1WBXKN2 |
|---|---|
| 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#DVA3, Kevin Costello (topic)
History
- 2026-11-02: add by m2/dev
GJPG0YRXSH GJPG0YRXSH
| URI | m2://inv/GJPG0YRXSH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#KX1S (statement). In M98F6VRPZ2/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
Special cases GJPQAXJNAA
| URI | m2://inv/GJPQAXJNAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic block model#1O5L, Special cases (statement)
History
- 2026-11-02: add by m2/dev
GJPX1SW328 GJPX1SW328
| URI | m2://inv/GJPX1SW328 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#WG5R (statement)
History
- 2026-11-02: add by m2/v0.6.18
ICD-10-CM GJPY23FTCB
| URI | m2://inv/GJPY23FTCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ICD-10-CM, ICD-10-CM (definition). Also Wikidata Q5969475
History
- 2026-11-02: add by m2/dev
Logical determinism GJPYD3QFK0
| URI | m2://inv/GJPYD3QFK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical determinism, Logical determinism (definition). Also Wikidata Q22906566
History
- 2026-11-02: add by m2/dev
Examples GJQ1ZR799X
| URI | m2://inv/GJQ1ZR799X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colatitude#UT5N, Examples (example)
History
- 2026-11-02: add by m2/dev
Hyperbolic space GJQ21MCEQH
| URI | m2://inv/GJQ21MCEQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#EIYC, Hyperbolic space (definition)
History
- 2026-11-02: add by m2/dev
GJQF5AW0G1 GJQF5AW0G1
| URI | m2://inv/GJQF5AW0G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#TBTO (statement). In HRCEFY172P/e1, proposition 4.11
History
- 2026-10-30: add by m2/v0.4.12
Cunningham number GJQG9TQC8Q
| URI | m2://inv/GJQG9TQC8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5194342, Cunningham number (unknown). Also MathWorld CunninghamNumber, OEIS A080262
- wikipedia: Wikipedia Cunningham number, Cunningham number (definition). Also Wikidata Q5194342
History
- 2026-10-26: add by m2/dev
Semantic network GJQT6JXSCT
| URI | m2://inv/GJQT6JXSCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#DDJB, Semantic network (unknown)
History
- 2026-11-02: add by m2/dev
Central polynomial GJQZ683X9P
| URI | m2://inv/GJQZ683X9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central polynomial, Central polynomial (definition). Also Wikidata Q18345072
History
- 2026-11-02: add by m2/dev
Applications GJR9Z54MYP
| URI | m2://inv/GJR9Z54MYP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yoneda product#XMDO, Applications (example)
History
- 2026-11-02: add by m2/dev
GJRF0YD69X GJRF0YD69X
| URI | m2://inv/GJRF0YD69X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#TSKB (statement). In EBNXA84CPM/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
GJRRZ4004S GJRRZ4004S
| URI | m2://inv/GJRRZ4004S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00869#33O2 (statement). In 63JMKC4GZE/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
GJRTAAG2SE GJRTAAG2SE
| URI | m2://inv/GJRTAAG2SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17527#JG6K (statement). In GWSBQ7MN49/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
GJS0ECH732 GJS0ECH732
| URI | m2://inv/GJS0ECH732 |
|---|---|
| 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.07122#5EG7 (statement). In W0ZHX9DHPV/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Erd\H{o}s GJSB0J4ZVZ
| URI | m2://inv/GJSB0J4ZVZ |
|---|---|
| Kind | conjecture |
| 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.26401#NH1Y, Erd\H{o}s (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
GJSBWP3XW4 GJSBWP3XW4
| URI | m2://inv/GJSBWP3XW4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31173#JHWF (problem). In ZZSJGJXPXY/e1, problem
History
- 2026-10-31: add by m2/v0.5.6
Rosenbrock system matrix GJSMHP44JW
| URI | m2://inv/GJSMHP44JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rosenbrock system matrix, Rosenbrock system matrix (definition). Also Wikidata Q25303672
History
- 2026-11-02: add by m2/dev
Examples GJSN3FR08F
| URI | m2://inv/GJSN3FR08F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Static analysis#BM5Z, Examples (example)
History
- 2026-11-02: add by m2/dev
GJSWZGBHXD GJSWZGBHXD
| URI | m2://inv/GJSWZGBHXD |
|---|---|
| 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 2609.31274#3ASL (statement). In RK0ZMDJ23T/e1, lemma 1.3.11
History
- 2026-10-31: add by m2/v0.5.6
Example GJSX2STEQE
| URI | m2://inv/GJSX2STEQE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential response formula#R9JF, Example (example)
History
- 2026-11-02: add by m2/dev
GJT2F6EA9T GJT2F6EA9T
| URI | m2://inv/GJT2F6EA9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#0AUP (statement). In VM9V8SXEA2/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
GJT393TT1F GJT393TT1F
| URI | m2://inv/GJT393TT1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#SZRK (statement). In 7615KVXDB5/e1, lemma 2.22
History
- 2026-10-30: add by m2/v0.4.12
Fogarty GJT4X4K87R
| URI | m2://inv/GJT4X4K87R |
|---|---|
| Kind | problem |
| 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.21043#6QHH, Fogarty (problem)
History
- 2026-11-02: add by m2/v0.6.18
Small-amplitude pressure fronts GJT7E816MW
| URI | m2://inv/GJT7E816MW |
|---|---|
| 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.28024#PH6E, Small-amplitude pressure fronts (statement)
History
- 2026-11-01: add by m2/v0.6.15
GJTJGSHZPX GJTJGSHZPX
| URI | m2://inv/GJTJGSHZPX |
|---|---|
| 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 2204.13401#CWOR (statement). In B8MJT0GGW8/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.4.0
GJTK2WEJDX GJTK2WEJDX
| URI | m2://inv/GJTK2WEJDX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#F7PF (definition). In 7ZFD9XRKA1/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
GJTKMR2MJ7 GJTKMR2MJ7
| URI | m2://inv/GJTKMR2MJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#0HKM (statement). In DZ12XTTJSM/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
An integral where the corollary is insufficient GJTNVMARZD
| URI | m2://inv/GJTNVMARZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of calculus#EN3X, An integral where the corollary is insufficient (statement)
History
- 2026-11-02: add by m2/dev
Sine process GJTSE8RC4P
| URI | m2://inv/GJTSE8RC4P |
|---|---|
| Kind | example |
| 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.27961#L5M8, Sine process (example)
History
- 2026-11-01: add by m2/v0.6.15
Axiom of completeness GJTXEMNCS1
| URI | m2://inv/GJTXEMNCS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested intervals#9GQ6, Axiom of completeness (statement)
History
- 2026-11-02: add by m2/dev
Weiyue Ding GJV04ZCK4W
| URI | m2://inv/GJV04ZCK4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T9ZR, Weiyue Ding (unknown)
History
- 2026-11-02: add by m2/dev
GJV3QF965K GJV3QF965K
| URI | m2://inv/GJV3QF965K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#U9W4 (statement). In BDN507RN7J/e1, proposition 4.6.4
History
- 2026-10-30: add by m2/v0.4.12
GJVAZC0GBV GJVAZC0GBV
| URI | m2://inv/GJVAZC0GBV |
|---|---|
| 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 2301.02848#60YL (statement). In G6WQDW52TJ/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.6
Application GJVMN3SKWN
| URI | m2://inv/GJVMN3SKWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob decomposition theorem#AE7T, Application (example)
History
- 2026-11-02: add by m2/dev
strongly compact cardinal GJVRKQVNKD
| URI | m2://inv/GJVRKQVNKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7624677, strongly compact cardinal (unknown). Also nLab strongly compact cardinal
- wikipedia: Wikipedia Strongly compact cardinal, Strongly compact cardinal (definition). Also Wikidata Q7624677
History
- 2026-10-26: add by m2/dev
GJVWZAKAMQ GJVWZAKAMQ
| URI | m2://inv/GJVWZAKAMQ |
|---|---|
| Kind | problem |
| 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.24235#SX1Y (problem)
History
- 2026-11-01: add by m2/v0.6.15
small ditrigonal dodecicosidodecahedron GJW1ZCGHMD
| URI | m2://inv/GJW1ZCGHMD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718532, small ditrigonal dodecicosidodecahedron (unknown). Also MathWorld SmallDitrigonalDodecicosidodecahedron
- wikipedia: Wikipedia Small ditrigonal dodecicosidodecahedron, Small ditrigonal dodecicosidodecahedron (object). Also Wikidata Q2718532
History
- 2026-10-26: add by m2/dev
von Bell and Ceballos GJW48KDZQ5
| URI | m2://inv/GJW48KDZQ5 |
|---|---|
| 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.20656#II8Z, von Bell and Ceballos (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties GJW8NMFC6Q
| URI | m2://inv/GJW8NMFC6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered hexagonal number#X1P8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties GJW9MZX3QP
| URI | m2://inv/GJW9MZX3QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recamán's sequence#699U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Domain theory GJWCAB5GCQ
| URI | m2://inv/GJWCAB5GCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ZQUF, Domain theory (definition)
History
- 2026-11-02: add by m2/dev
GJWDXFXCHK GJWDXFXCHK
| URI | m2://inv/GJWDXFXCHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1802.02910#J54J (statement). In AY2MA29921/e1, lemma 021
History
- 2026-10-27: add by m2/v0.3.5
Davidon–Fletcher–Powell formula GJWEGM6RWM
| URI | m2://inv/GJWEGM6RWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davidon–Fletcher–Powell formula, Davidon–Fletcher–Powell formula (statement). Also Wikidata Q17006685
History
- 2026-11-02: add by m2/dev
GJWHPPYTVJ GJWHPPYTVJ
| URI | m2://inv/GJWHPPYTVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05146#C48W (statement). In 63MJS935N4/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Examples GJWPQH7G6M
| URI | m2://inv/GJWPQH7G6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive proof#GBO8, Examples (example)
History
- 2026-11-02: add by m2/dev
GJWQTD35FJ GJWQTD35FJ
| URI | m2://inv/GJWQTD35FJ |
|---|---|
| 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#S8K9 (statement). In M0SQY5EZN5/e1, theorem 2.9.14
History
- 2026-10-27: add by m2/v0.3.5
Heinrich Scholz GJWY6T0WVX
| URI | m2://inv/GJWY6T0WVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#F274, Heinrich Scholz (topic)
History
- 2026-11-02: add by m2/dev
Eric Katz GJXDXBDH2G
| URI | m2://inv/GJXDXBDH2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NICM, Eric Katz (topic)
History
- 2026-11-02: add by m2/dev
Tietze transformations GJXK2CWJ12
| URI | m2://inv/GJXK2CWJ12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tietze transformations, Tietze transformations (definition). Also Wikidata Q7801155
History
- 2026-11-02: add by m2/dev
Adequate pointclass GJXN9HB2JX
| URI | m2://inv/GJXN9HB2JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adequate pointclass, Adequate pointclass (definition). Also Wikidata Q4682345
History
- 2026-11-02: add by m2/dev
GJXPY9ZFRQ GJXPY9ZFRQ
| URI | m2://inv/GJXPY9ZFRQ |
|---|---|
| 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.28251#2KUU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Penny J. Davies GJXVF93SVT
| URI | m2://inv/GJXVF93SVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penny J. Davies, Penny J. Davies (topic). Also Wikidata Q57313647
History
- 2026-11-02: add by m2/dev
Sperner property of a partially ordered set GJY6E3SCTQ
| URI | m2://inv/GJY6E3SCTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner property of a partially ordered set, Sperner property of a partially ordered set (definition). Also Wikidata Q7576398
History
- 2026-11-02: add by m2/dev
Algorithms GJYB5NJAEV
| URI | m2://inv/GJYB5NJAEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Legendre quadrature#XUXN, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
GJYEWZQEGC GJYEWZQEGC
| URI | m2://inv/GJYEWZQEGC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-47 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Example 1 GJYRQZAQPJ
| URI | m2://inv/GJYRQZAQPJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's marriage theorem#0J9K, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Mathematics of Computation GJYTCRE9MR
| URI | m2://inv/GJYTCRE9MR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#Z0FR, Mathematics of Computation (unknown)
History
- 2026-11-02: add by m2/dev
GJZ3PS6B46 GJZ3PS6B46
| URI | m2://inv/GJZ3PS6B46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-3-3-tests.xml#definition-2 (definition). In 907G4C4EJ1, definition, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
GJZ4AMGJQ0 GJZ4AMGJQ0
| URI | m2://inv/GJZ4AMGJQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#5RCD (statement). In F3BKXXPR3K/e1, lemma 3.28
History
- 2026-10-27: add by m2/v0.4.2
Densities for the small $t$ lower bound GJZ8M6CYE5
| URI | m2://inv/GJZ8M6CYE5 |
|---|---|
| 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.04135#0HDX, Densities for the small $t$ lower bound (definition). In 587PWJ6W5D/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
GJZ9VS78Z0 GJZ9VS78Z0
| URI | m2://inv/GJZ9VS78Z0 |
|---|---|
| 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.35186#ZKI0 (statement). In VFNPANY3HD/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
GJZMXA3FX5 GJZMXA3FX5
| URI | m2://inv/GJZMXA3FX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#0QID (statement). In 3NPRR9546C/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Entropy estimation GJZY5AA8AC
| URI | m2://inv/GJZY5AA8AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy estimation, Entropy estimation (definition). Also Wikidata Q1345207
History
- 2026-11-02: add by m2/dev