Inventory rows 4D
The cards of the rows of the inventory whose ids start with 4D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gordan 4D0EQZW1VY
| URI | m2://inv/4D0EQZW1VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#VVUJ, Gordan (definition)
History
- 2026-11-02: add by m2/dev
Rigidity of products of twelve-tile graphs 4D0G0NKRNW
| URI | m2://inv/4D0G0NKRNW |
|---|---|
| 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 2609.39824#7CGI, Rigidity of products of twelve-tile graphs (statement). In REPGS464V6/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Stephen W. Semmes 4D0P67CSDQ
| URI | m2://inv/4D0P67CSDQ |
|---|---|
| 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#0XDQ, Stephen W. Semmes (topic)
History
- 2026-11-02: add by m2/dev
Local realization of conditional means 4D0TA48F98
| URI | m2://inv/4D0TA48F98 |
|---|---|
| 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#QAU6, Local realization of conditional means (statement). In 9YAE8FNQST/e1, lemma 10.8
History
- 2026-10-30: add by m2/v0.4.12
4D15HBA0Z3 4D15HBA0Z3
| URI | m2://inv/4D15HBA0Z3 |
|---|---|
| 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.38126#EB39 (statement). In QNVKW32G02/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
1911 United Kingdom census 4D17P77PH7
| URI | m2://inv/4D17P77PH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1911 United Kingdom census, 1911 United Kingdom census (definition). Also Wikidata Q21279761
History
- 2026-11-02: add by m2/dev
Daniel Bernoulli 4D1H2Z93GZ
| URI | m2://inv/4D1H2Z93GZ |
|---|---|
| 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 Q122366, Daniel Bernoulli (unknown). Also EoM Bernoulli,_Daniel
- wikipedia: Wikipedia Daniel Bernoulli, Daniel Bernoulli (topic). Also Wikidata Q122366
History
- 2026-10-26: add by m2/dev
Compact Lie group 4D1TN3ZCFR
| URI | m2://inv/4D1TN3ZCFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#216V, Compact Lie group (definition)
History
- 2026-11-02: add by m2/dev
4D1TQA9XRP 4D1TQA9XRP
| URI | m2://inv/4D1TQA9XRP |
|---|---|
| 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-10 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Rayo's number 4D1ZSJW4TK
| URI | m2://inv/4D1ZSJW4TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#FFEF, Rayo's number (definition)
History
- 2026-11-02: add by m2/dev
4D21H0DZXF 4D21H0DZXF
| URI | m2://inv/4D21H0DZXF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 1.1.4
History
- 2026-11-01: add by m2/v0.6.13
4D228QTAY2 4D228QTAY2
| URI | m2://inv/4D228QTAY2 |
|---|---|
| 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.04503#7H63 (statement). In GWQP1XPM8E/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
4D26A6RKPP 4D26A6RKPP
| URI | m2://inv/4D26A6RKPP |
|---|---|
| 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.35678#7GMP (statement). In 4X4ZS7CEKD/e1, proposition 14
History
- 2026-10-30: add by m2/v0.4.12
4D27DEAP62 4D27DEAP62
| URI | m2://inv/4D27DEAP62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-proj (statement). In PKGMM3P5QY, prop, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
4D29DVZHFV 4D29DVZHFV
| URI | m2://inv/4D29DVZHFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-6 (definition). In RZP28ERRZV, definition, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
4D2KSSBG02 4D2KSSBG02
| URI | m2://inv/4D2KSSBG02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#PRPW (statement). In H3FDP8S1Z7/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.5
4D2WTVPT3E 4D2WTVPT3E
| URI | m2://inv/4D2WTVPT3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37634#AU5P (statement). In NTWNXKDBKK/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Wiener connector 4D31X0SS7F
| URI | m2://inv/4D31X0SS7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener connector, Wiener connector (definition). Also Wikidata Q25111291
History
- 2026-11-02: add by m2/dev
Medial icosacronic hexecontahedron 4D32RREK35
| URI | m2://inv/4D32RREK35 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1WTA, Medial icosacronic hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
Other holomorphic fixed point theorems 4D35F2FC1M
| URI | m2://inv/4D35F2FC1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earle–Hamilton fixed-point theorem#CVSD, Other holomorphic fixed point theorems (statement)
History
- 2026-11-02: add by m2/dev
4D38VG4NJM 4D38VG4NJM
| URI | m2://inv/4D38VG4NJM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example-3 (example). In E59CDZA4DP, example, section 11.1.1
History
- 2026-11-01: add by m2/v0.6.13
Jónsson function 4D3BQKKE03
| URI | m2://inv/4D3BQKKE03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jónsson function, Jónsson function (definition). Also Wikidata Q6320395
History
- 2026-11-02: add by m2/dev
4D3CW904WT 4D3CW904WT
| URI | m2://inv/4D3CW904WT |
|---|---|
| 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.28489#ZPX6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Third-person effect 4D3F1A9ASV
| URI | m2://inv/4D3F1A9ASV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#2JR7, Third-person effect (unknown)
History
- 2026-11-02: add by m2/dev
Widely applicable information criterion 4D3GMD58ZE
| URI | m2://inv/4D3GMD58ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Widely applicable information criterion, Widely applicable information criterion (statement). Also Wikidata Q30591892
History
- 2026-11-02: add by m2/dev
4D3HME6F8J 4D3HME6F8J
| URI | m2://inv/4D3HME6F8J |
|---|---|
| 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.35460#L7HU (statement). In R515NECVME/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
4D3TGSC1FT 4D3TGSC1FT
| URI | m2://inv/4D3TGSC1FT |
|---|---|
| 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 2107.00792#2UNW (statement). In TD16A541ZN/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
The theorem 4D3ZC35HRZ
| URI | m2://inv/4D3ZC35HRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar factorization theorem#1HHB, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Cohen 4D42CD02HQ
| URI | m2://inv/4D42CD02HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RJTB, Cohen (definition)
History
- 2026-11-02: add by m2/dev
All models are wrong 4D4BMVA21W
| URI | m2://inv/4D4BMVA21W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All models are wrong, All models are wrong (definition). Also Wikidata Q19570783
History
- 2026-11-02: add by m2/dev
Weighted mean 4D4EA1M6VT
| URI | m2://inv/4D4EA1M6VT |
|---|---|
| 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.01599#SUXZ, Weighted mean (statement). In K2KYNCWER3/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Linear programming decoding 4D4V9B3XG7
| URI | m2://inv/4D4V9B3XG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1ED1, Linear programming decoding (definition)
History
- 2026-11-02: add by m2/dev
Lifting scheme 4D4Y8VGGFB
| URI | m2://inv/4D4Y8VGGFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting scheme, Lifting scheme (definition). Also Wikidata Q3238415
History
- 2026-11-02: add by m2/dev
4D54SH6Q5C 4D54SH6Q5C
| URI | m2://inv/4D54SH6Q5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 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 2211.01586#AF2F (statement). In P39MF3ZJC0/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 4D5968TZ56
| URI | m2://inv/4D5968TZ56 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean ordered vector space#4XH7, Examples (example)
History
- 2026-11-02: add by m2/dev
Paracompact uniform honeycombs 4D59QBQ641
| URI | m2://inv/4D59QBQ641 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paracompact uniform honeycombs, Paracompact uniform honeycombs (object). Also Wikidata Q17078109
History
- 2026-11-02: add by m2/dev
Christian Weise 4D5D93QARN
| URI | m2://inv/4D5D93QARN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Weise, Christian Weise (topic). Also Wikidata Q90798
History
- 2026-11-02: add by m2/dev
The (n,r)-th term of the following triangle is T(n)-T(r) for r = 0 to n. The n-th row contains n+1 terms. T(n) = the n-th triang 4D5KV03180
| URI | m2://inv/4D5KV03180 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193995, The (n,r)-th term of the following triangle is T(n)-T(r) for r = 0 to n. The n-th row contains n+1 terms. T(n) = the n-th triang (object). Also OEIS A109900
History
- 2026-10-26: add by m2/dev
Differential evolution 4D5SHN9SAH
| URI | m2://inv/4D5SHN9SAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TZQR, Differential evolution (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (number of bursts) 4D5W5YJRHX
| URI | m2://inv/4D5W5YJRHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#IYKN, Theorem (number of bursts) (statement)
History
- 2026-11-02: add by m2/dev
retract, of a function 4D5ZQH860C
| URI | m2://inv/4D5ZQH860C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.7/retract-of-a-function, retract, of a function (concept). In N54F33XE07, index, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Doron Zeilberger 4D6J5R19HX
| URI | m2://inv/4D6J5R19HX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#N8YA, Doron Zeilberger (topic)
History
- 2026-11-02: add by m2/dev
4D6MHT57V6 4D6MHT57V6
| URI | m2://inv/4D6MHT57V6 |
|---|---|
| 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 2610.09739#FD2F (statement). In ZYNZ95FSFD/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.10
277777788888899 4D6MRZ4E13
| URI | m2://inv/4D6MRZ4E13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative digital root#YH1U, 277777788888899 (unknown)
History
- 2026-11-02: add by m2/dev
Cayley–Bacharach theorem 4D6XMKC9J0
| URI | m2://inv/4D6XMKC9J0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8K9P, Cayley–Bacharach theorem (statement)
History
- 2026-11-02: add by m2/dev
étale topology 4D73EPR2HJ
| URI | m2://inv/4D73EPR2HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8078427, étale topology (unknown). Also EoM Etale_topology, nLab étale site
- wikipedia: Wikipedia Étale topology, Étale topology (definition). Also Wikidata Q8078427
History
- 2026-10-26: add by m2/dev
Resonant logarithmic profile and symmetry 4D783S18M3
| URI | m2://inv/4D783S18M3 |
|---|---|
| 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.00339#2VN9, Resonant logarithmic profile and symmetry (statement). In ZRG6NY1ECH/e1, theorem 42
History
- 2026-10-30: add by m2/v0.4.12
4D7DC5ZSS8 4D7DC5ZSS8
| URI | m2://inv/4D7DC5ZSS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#2PH2 (statement). In M4ZVJWM8YA/e1, proposition A.23
History
- 2026-10-27: add by m2/v0.4.2
Properties 4D7EKB1H42
| URI | m2://inv/4D7EKB1H42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic bicombing#AAP8, Properties (statement)
History
- 2026-11-02: add by m2/dev
4D7P3YV73Z 4D7P3YV73Z
| URI | m2://inv/4D7P3YV73Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-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.14060#TF6T (definition). In X47RYAZF8P/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
4D7P85D1B1 4D7P85D1B1
| URI | m2://inv/4D7P85D1B1 |
|---|---|
| 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.26357#14D6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4D7PK1WCYX 4D7PK1WCYX
| URI | m2://inv/4D7PK1WCYX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
4D7PS07Q8Z 4D7PS07Q8Z
| URI | m2://inv/4D7PS07Q8Z |
|---|---|
| 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 2207.12181#I8G5 (definition). In FSD8NE3XSR/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Series 4D7QB495JG
| URI | m2://inv/4D7QB495JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#LCJS, Series (definition)
History
- 2026-11-02: add by m2/dev
Evaluation on a section 4D83VXGX4Y
| URI | m2://inv/4D83VXGX4Y |
|---|---|
| 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.13892#T4NR, Evaluation on a section (statement). In HV9KKEBBDD/e1, proposition VII.1
History
- 2026-10-28: add by m2/v0.4.2
Sister Beiter conjecture 4D88Z5F5QX
| URI | m2://inv/4D88Z5F5QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sister Beiter conjecture, Sister Beiter conjecture (statement). Also Wikidata Q118875116
History
- 2026-11-02: add by m2/dev
Maximum principle 4D89K44M6Z
| URI | m2://inv/4D89K44M6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic function#3QT3, Maximum principle (statement)
History
- 2026-11-02: add by m2/dev
Definition 4D8HHQRRZ8
| URI | m2://inv/4D8HHQRRZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point property#XKW4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 4D8HYE0HK7
| URI | m2://inv/4D8HYE0HK7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology ring#FX95, Examples (example)
History
- 2026-11-02: add by m2/dev
diquark 4D8N97X1Q2
| URI | m2://inv/4D8N97X1Q2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q265326, diquark (unknown). Also nLab diquark
History
- 2026-10-26: add by m2/dev
Applications of liquid crystals 4D8SAFP22C
| URI | m2://inv/4D8SAFP22C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liquid crystal#CDBL, Applications of liquid crystals (unknown)
History
- 2026-11-02: add by m2/dev
Fourier method 4D95CJV1P5
| URI | m2://inv/4D95CJV1P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#BEPJ, Fourier method (definition)
History
- 2026-11-02: add by m2/dev
4D98TP2J3A 4D98TP2J3A
| URI | m2://inv/4D98TP2J3A |
|---|---|
| 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.30823#I51S (statement). In 1YHQ9YNQ68/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
Zeno of Elea 4D9EJS3CFX
| URI | m2://inv/4D9EJS3CFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#4MLL, Zeno of Elea (topic)
History
- 2026-11-02: add by m2/dev
Examples 4D9F20XT9Z
| URI | m2://inv/4D9F20XT9Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration space (mathematics)#T7JB, Examples (example)
History
- 2026-11-02: add by m2/dev
$\eta$-contraction, $\eredone$ 4DA0T61G18
| URI | m2://inv/4DA0T61G18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/eta.tex#defn:beredone, $\eta$-contraction, $\eredone$ (definition). In PKGMM3P5QY, defn, section 38.13
History
- 2026-11-01: add by m2/v0.6.13
4DA7RYTKV2 4DA7RYTKV2
| URI | m2://inv/4DA7RYTKV2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
4DAAX8VNT9 4DAAX8VNT9
| URI | m2://inv/4DAAX8VNT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#prop:stricttopartial (statement). In PKGMM3P5QY, prop, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
weighted average 4DAAZ3G307
| URI | m2://inv/4DAAZ3G307 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.3.3/weighted-average, weighted average (concept). In 907G4C4EJ1, index, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
4DAH3GR5V3 4DAH3GR5V3
| URI | m2://inv/4DAH3GR5V3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02141#1XNI (definition). In 5AB8YPS19N/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
JLO cocycle 4DAQ8CV2VM
| URI | m2://inv/4DAQ8CV2VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia JLO cocycle, JLO cocycle (definition). Also Wikidata Q6108459
History
- 2026-11-02: add by m2/dev
Algorithms 4DAR22KM0Y
| URI | m2://inv/4DAR22KM0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear subspace learning#Z05J, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Practical optimization error 4DARZB7AGW
| URI | m2://inv/4DARZB7AGW |
|---|---|
| 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.03071#NS6O, Practical optimization error (statement). In Z2M4D55R57/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
4DB3R6WE5A 4DB3R6WE5A
| URI | m2://inv/4DB3R6WE5A |
|---|---|
| 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.13888#7NIE (statement). In XJWYBPS14M/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
conservative 4DBCJSEVA0
| URI | m2://inv/4DBCJSEVA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wandering set#P94N, conservative (definition)
- wikipedia: Wikipedia Wandering set#ZT91, dissipative (definition)
History
- 2026-11-02: add by m2/dev
SM9 4DBDBGDPXQ
| URI | m2://inv/4DBDBGDPXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard), SM9 (definition). Also Wikidata Q28410562
History
- 2026-11-02: add by m2/dev
Anna Skripka 4DBGBDD8TB
| URI | m2://inv/4DBGBDD8TB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Skripka, Anna Skripka (topic). Also Wikidata Q103142370
History
- 2026-11-02: add by m2/dev
4DC3PBFYNH 4DC3PBFYNH
| URI | m2://inv/4DC3PBFYNH |
|---|---|
| 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 2208.07784#XGGM (statement). In X0GJCD9768/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Fisher consistency 4DC6Q9F1WX
| URI | m2://inv/4DC6Q9F1WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher consistency, Fisher consistency (definition). Also Wikidata Q5454856
History
- 2026-11-02: add by m2/dev
energy meta-wells 4DC8MT305R
| URI | m2://inv/4DC8MT305R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2210.06147#RJ8E, energy meta-wells (definition). In 94RBNQA07A/e1, definition 3.22
History
- 2026-10-27: add by m2/v0.3.5
Linear belief function 4DCCH3CFV3
| URI | m2://inv/4DCCH3CFV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear belief function, Linear belief function (definition). Also Wikidata Q6553415
History
- 2026-11-02: add by m2/dev
Barbara McMartin 4DCE01KXX5
| URI | m2://inv/4DCE01KXX5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara McMartin, Barbara McMartin (topic). Also Wikidata Q4859150
History
- 2026-11-02: add by m2/dev
Glass does not flow 4DCKZ902JH
| URI | m2://inv/4DCKZ902JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#3RX0, Glass does not flow (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4DCMNSM149
| URI | m2://inv/4DCMNSM149 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasireversibility#N42I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Envelopes of Bounded Densities 4DCN540YJD
| URI | m2://inv/4DCN540YJD |
|---|---|
| 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#R1UJ, Envelopes of Bounded Densities (statement). In Z6WA2R0J50/e1, lemma D.3
History
- 2026-10-28: add by m2/v0.4.2
The law of excluded middle extended to the infinite 4DCNNGEJ1K
| URI | m2://inv/4DCNNGEJ1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer–Hilbert controversy#CQIJ, The law of excluded middle extended to the infinite (statement)
History
- 2026-11-02: add by m2/dev
4DCT3FV48S 4DCT3FV48S
| URI | m2://inv/4DCT3FV48S |
|---|---|
| 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 2112.05010#U4UR (definition). In 4SZNPS3Z00/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.6
Computation 4DCW4QDZ2V
| URI | m2://inv/4DCW4QDZ2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic redundancy check#7HPZ, Computation (definition)
History
- 2026-11-02: add by m2/dev
4DCWQ3FCFX 4DCWQ3FCFX
| URI | m2://inv/4DCWQ3FCFX |
|---|---|
| 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#I9KE (statement). In F3BKXXPR3K/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
Greatest common multiple 4DD9V7C628
| URI | m2://inv/4DD9V7C628 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greatest common multiple, Greatest common multiple (definition). Also Wikidata Q137926903
History
- 2026-11-02: add by m2/dev
4DDF7BZ8D8 4DDF7BZ8D8
| URI | m2://inv/4DDF7BZ8D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#prop:approx-equiv (statement). In PKGMM3P5QY, prop, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
4DDJ99R6P0 4DDJ99R6P0
| URI | m2://inv/4DDJ99R6P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#3CPH (statement). In Y1DR0DPWD0/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
4DDQB3TKDZ 4DDQB3TKDZ
| URI | m2://inv/4DDQB3TKDZ |
|---|---|
| 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.39700#AZ4B (statement). In E7W2HDNEKJ/e1, corollary 9.5
History
- 2026-10-30: add by m2/v0.4.12
535 (number) 4DE9Z2H2D6
| URI | m2://inv/4DE9Z2H2D6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#AG2J, 535 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Fallacies of misplaced concreteness 4DEEZ2C34X
| URI | m2://inv/4DEEZ2C34X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reification (fallacy)#ZOBK, Fallacies of misplaced concreteness (unknown)
History
- 2026-11-02: add by m2/dev
4DESJ8H92S 4DESJ8H92S
| URI | m2://inv/4DESJ8H92S |
|---|---|
| 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 2609.20860#OXN8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
4DF31X3ZH3 4DF31X3ZH3
| URI | m2://inv/4DF31X3ZH3 |
|---|---|
| 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.13513#AGFX (statement). In BAGX2TDXM4/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
4DF3X0FKY1 4DF3X0FKY1
| URI | m2://inv/4DF3X0FKY1 |
|---|---|
| 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.31907#1W9N (statement). In 6B2PCEGCYZ/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Cycle rank 4DFG9VPKQ1
| URI | m2://inv/4DFG9VPKQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#27A4, Cycle rank (definition)
History
- 2026-11-02: add by m2/dev
Differential system 4DFGYX9Q0T
| URI | m2://inv/4DFGYX9Q0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of differential equations#QXUQ, Differential system (unknown)
History
- 2026-11-02: add by m2/dev
Dilworth truncation of the Boolean matroids 4DFHVFHZBY
| URI | m2://inv/4DFHVFHZBY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.24917#OINQ, Dilworth truncation of the Boolean matroids (example)
History
- 2026-11-01: add by m2/v0.6.15
4DFXMNFARS 4DFXMNFARS
| URI | m2://inv/4DFXMNFARS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#8R7J (statement)
History
- 2026-11-01: add by m2/v0.6.15
4DG1EXDJPQ 4DG1EXDJPQ
| URI | m2://inv/4DG1EXDJPQ |
|---|---|
| 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.16875#4I3N (statement). In KS30K5JXGB/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
4DG1WW7DEX 4DG1WW7DEX
| URI | m2://inv/4DG1WW7DEX |
|---|---|
| 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 2608.24599#ADZ0 (statement). In VG8QFWTT8S/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.6
373 (number) 4DG3JJMBE0
| URI | m2://inv/4DG3JJMBE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#S1BH, 373 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Derivative estimates for the enhanced second fundamental form 4DGATZ0XSW
| URI | m2://inv/4DGATZ0XSW |
|---|---|
| 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.32829#FSTX, Derivative estimates for the enhanced second fundamental form (statement). In RYWAX33Z51/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
\coqident{Algebra}{DCPO}{dcpowithbottom 4DGC6VBKJ9
| URI | m2://inv/4DGC6VBKJ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#RN0K, \coqident{Algebra}{DCPO}{dcpowithbottom (definition). In T1VFA7TXPA/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
4DGDC65F4Y 4DGDC65F4Y
| URI | m2://inv/4DGDC65F4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.35538#DYHZ (statement). In 87TWXCBZ4M/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Examples 4DGDFSN8ZM
| URI | m2://inv/4DGDFSN8ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence class#NBEO, Examples (example)
History
- 2026-11-02: add by m2/dev
Electronic Signatures in Global and National Commerce Act 4DGFRWY7EE
| URI | m2://inv/4DGFRWY7EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic Signatures in Global and National Commerce Act, Electronic Signatures in Global and National Commerce Act (definition). Also Wikidata Q5358310
History
- 2026-11-02: add by m2/dev
4DGM8080NB 4DGM8080NB
| URI | m2://inv/4DGM8080NB |
|---|---|
| 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.07451#0QSM (statement). In P7KT88N75Q/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.10
4DGS29ZQYH 4DGS29ZQYH
| URI | m2://inv/4DGS29ZQYH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#W475 (example). In HMWJQY9NAP/e1, example 2
History
- 2026-10-29: add by m2/v0.4.12
SQ Testing 4DGXGEDH1H
| URI | m2://inv/4DGXGEDH1H |
|---|---|
| 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.15723#RRYF, SQ Testing (definition). In A3KXZ2GBHN/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
eternal inflation 4DH0HCFSD8
| URI | m2://inv/4DH0HCFSD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2060947, eternal inflation (unknown). Also nLab eternal inflation
History
- 2026-10-26: add by m2/dev
4DHKAHTG51 4DHKAHTG51
| URI | m2://inv/4DHKAHTG51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#IU0X (statement). In YNE0Q2X61Y/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
4DHN3SVS7P 4DHN3SVS7P
| URI | m2://inv/4DHN3SVS7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#NB3C (statement). In 55QFMZQ5HM/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.6
4DHRYF81HG 4DHRYF81HG
| URI | m2://inv/4DHRYF81HG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#VHR3 (problem). In 77TK7M3B9Y/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
Anatol Rapoport 4DHZ0RZXA1
| URI | m2://inv/4DHZ0RZXA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#B15O, Anatol Rapoport (unknown)
History
- 2026-11-02: add by m2/dev
M. A. Naimark 4DJ0Z5JY8F
| URI | m2://inv/4DJ0Z5JY8F |
|---|---|
| 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#GRHW, M. A. Naimark (unknown)
History
- 2026-11-02: add by m2/dev
Jean-Marie De Koninck 4DJ6WJA6B5
| URI | m2://inv/4DJ6WJA6B5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LOH4, Jean-Marie De Koninck (topic)
History
- 2026-11-02: add by m2/dev
Mathematics in the medieval Islamic world 4DJB80D4J8
| URI | m2://inv/4DJB80D4J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics in the medieval Islamic world, Mathematics in the medieval Islamic world (definition). Also Wikidata Q1267533
History
- 2026-11-02: add by m2/dev
History of the Hindu–Arabic numeral system 4DJEWF5XCH
| URI | m2://inv/4DJEWF5XCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the Hindu–Arabic numeral system, History of the Hindu–Arabic numeral system (definition). Also Wikidata Q5869513
History
- 2026-11-02: add by m2/dev
The two exponents agree on i.i.d.\ products 4DJGNAHQ9N
| URI | m2://inv/4DJGNAHQ9N |
|---|---|
| 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.27765#EO28, The two exponents agree on i.i.d.\ products (statement)
History
- 2026-11-01: add by m2/v0.6.15
Metric Dynamical System 4DJM81YQ37
| URI | m2://inv/4DJM81YQ37 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#V5GO, Metric Dynamical System (definition). In PGV1116XX4/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
4DJYYJG7P4 4DJYYJG7P4
| URI | m2://inv/4DJYYJG7P4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#I6GL (statement)
History
- 2026-11-02: add by m2/v0.6.18
4DJZSW5TP7 4DJZSW5TP7
| URI | m2://inv/4DJZSW5TP7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
4DK1RVCFN5 4DK1RVCFN5
| URI | m2://inv/4DK1RVCFN5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#I7DY (definition). In ZXQA7QH0H0/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
heat equations 4DK1Z4W86K
| URI | m2://inv/4DK1Z4W86K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > heat equations, heat equations (unknown)
History
- 2026-10-26: add by m2/dev
linear congruence theorem 4DK6XPV177
| URI | m2://inv/4DK6XPV177 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q524257, linear congruence theorem (concept). Also MathWorld LinearCongruenceEquation
History
- 2026-10-26: add by m2/dev
4DKAQPM028 4DKAQPM028
| URI | m2://inv/4DKAQPM028 |
|---|---|
| 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.20401#Q2OT (statement)
History
- 2026-11-02: add by m2/v0.6.18
4DKDWWPC6X 4DKDWWPC6X
| URI | m2://inv/4DKDWWPC6X |
|---|---|
| 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.40054#3RIS (statement). In CA4C9PFM1E/e1, lemma 6.3.1
History
- 2026-10-30: add by m2/v0.4.12
ITEM-f rate correspondence 4DKR257H9J
| URI | m2://inv/4DKR257H9J |
|---|---|
| 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.33360#BMAK, ITEM-f rate correspondence (statement). In GH6FSDK4YB/e1, proposition B.3
History
- 2026-10-30: add by m2/v0.4.12
A uniform box-product bound 4DKVYCR4YE
| URI | m2://inv/4DKVYCR4YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#19DS, A uniform box-product bound (statement). In AVDZGC7976/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
4DKY686WXF 4DKY686WXF
| URI | m2://inv/4DKY686WXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2608.19483#0MPQ (statement). In M2PEDAF7AX/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
4DM5FMAR8F 4DM5FMAR8F
| URI | m2://inv/4DM5FMAR8F |
|---|---|
| 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.01783#OGFV (statement). In 8BKC3PVX9G/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
4DM95N6YDP 4DM95N6YDP
| URI | m2://inv/4DM95N6YDP |
|---|---|
| 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 2207.11097#1KAT (statement). In 13H5BTAXHF/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
Stress intensity factor 4DME96QD2W
| URI | m2://inv/4DME96QD2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress intensity factor, Stress intensity factor (definition). Also Wikidata Q1754376
History
- 2026-11-02: add by m2/dev
S\'evennec 4DMFN4XNJF
| URI | m2://inv/4DMFN4XNJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#TAXI, S\'evennec (statement). In ES1CVGG59Y/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
cut vertex 4DMFZWN631
| URI | m2://inv/4DMFZWN631 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2300244, cut vertex (unknown). Also MathWorld ArticulationVertex
History
- 2026-10-26: add by m2/dev
Covering lemma 4DMGPGQ006
| URI | m2://inv/4DMGPGQ006 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering lemma, Covering lemma (statement). Also Wikidata Q5179256
History
- 2026-11-02: add by m2/dev
Nagata's compactification theorem 4DMHHQ55Z9
| URI | m2://inv/4DMHHQ55Z9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GGH0, Nagata's compactification theorem (statement)
History
- 2026-11-02: add by m2/dev
4DMKZV0D32 4DMKZV0D32
| URI | m2://inv/4DMKZV0D32 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#O9AA (unknown). In QNBFHFZ3H0/e1, unknown 37
History
- 2026-10-28: add by m2/v0.4.2
Weighted sector bound 4DMMMW1MTY
| URI | m2://inv/4DMMMW1MTY |
|---|---|
| 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.04271#W7K8, Weighted sector bound (statement). In WBXAW9G4JB/e1, theorem C.6
History
- 2026-10-29: add by m2/v0.4.12
Definition 4DMSQE5CA2
| URI | m2://inv/4DMSQE5CA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voigt profile#M1MN, Definition (definition)
History
- 2026-11-02: add by m2/dev
4DMVVFX7KR 4DMVVFX7KR
| URI | m2://inv/4DMVVFX7KR |
|---|---|
| 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.07546#U62D (statement). In H9YE46CGFN/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
4DMW8BJV19 4DMW8BJV19
| URI | m2://inv/4DMW8BJV19 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#417L (unknown). In QNBFHFZ3H0/e1, unknown 111
History
- 2026-10-28: add by m2/v0.4.2
4DN04FNP40 4DN04FNP40
| URI | m2://inv/4DN04FNP40 |
|---|---|
| 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.23941#DA5K (statement)
History
- 2026-11-02: add by m2/v0.6.17
4DN0VBCK59 4DN0VBCK59
| URI | m2://inv/4DN0VBCK59 |
|---|---|
| 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.02295#HK9W (statement). In PEBD9ZMA1W/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
4DN1XYGD4G 4DN1XYGD4G
| URI | m2://inv/4DN1XYGD4G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#MQYG (definition). In RZDNWV9E29/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.6
Microlocal analysis 4DN8734NDG
| URI | m2://inv/4DN8734NDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QL7H, Microlocal analysis (definition)
History
- 2026-11-02: add by m2/dev
4DN983XSEM 4DN983XSEM
| URI | m2://inv/4DN983XSEM |
|---|---|
| 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.23617#1MTS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kelvin transform 4DNB45WKHS
| URI | m2://inv/4DNB45WKHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin transform, Kelvin transform (definition). Also Wikidata Q4377358
History
- 2026-11-02: add by m2/dev
Joseph Ser 4DNGHDBQFN
| URI | m2://inv/4DNGHDBQFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Ser, Joseph Ser (topic). Also Wikidata Q339257
History
- 2026-11-02: add by m2/dev
4DNQ79KTGG 4DNQ79KTGG
| URI | m2://inv/4DNQ79KTGG |
|---|---|
| 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 2610.01737#TPD7 (definition). In M4JGP708F4/e1, definition 2.22
History
- 2026-10-29: add by m2/v0.4.12
Second theorem 4DNSK7HYS5
| URI | m2://inv/4DNSK7HYS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#HJNZ, Second theorem (statement)
History
- 2026-11-02: add by m2/dev
4DP2SX81ZW 4DP2SX81ZW
| URI | m2://inv/4DP2SX81ZW |
|---|---|
| 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 2104.00162#ZW2D (statement). In HVGT9D84WV/e1, lemma 1.26
History
- 2026-10-27: add by m2/v0.3.5
Allan M. Ramsay 4DP32QBMJH
| URI | m2://inv/4DP32QBMJH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan M. Ramsay, Allan M. Ramsay (topic). Also Wikidata Q4730802
History
- 2026-11-02: add by m2/dev
Zbigniew Ciesielski 4DP424BZC5
| URI | m2://inv/4DP424BZC5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zbigniew Ciesielski, Zbigniew Ciesielski (topic). Also Wikidata Q168037
History
- 2026-11-02: add by m2/dev
Algebraic link 4DP5E68JES
| URI | m2://inv/4DP5E68JES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic link, Algebraic link (definition). Also Wikidata Q4724007
History
- 2026-11-02: add by m2/dev
forced march sorites 4DP79NPZMV
| URI | m2://inv/4DP79NPZMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0BPA, forced march sorites (definition)
History
- 2026-11-02: add by m2/dev
Kees Vuik 4DP88Y9XMG
| URI | m2://inv/4DP88Y9XMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kees Vuik, Kees Vuik (topic). Also Wikidata Q102217564
History
- 2026-11-02: add by m2/dev
4DPA5X328N 4DPA5X328N
| URI | m2://inv/4DPA5X328N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#DQD0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Localized Chern class 4DPAKFPA07
| URI | m2://inv/4DPAKFPA07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localized Chern class, Localized Chern class (definition). Also Wikidata Q85781879
History
- 2026-11-02: add by m2/dev
Falakros 4DPC64MKSK
| URI | m2://inv/4DPC64MKSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eubulides#M60J, Falakros (unknown)
History
- 2026-11-02: add by m2/dev
Bochner's formula 4DPG72XDP9
| URI | m2://inv/4DPG72XDP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's formula, Bochner's formula (statement). Also Wikidata Q4936239
History
- 2026-11-02: add by m2/dev
4DPJTN4Q3X 4DPJTN4Q3X
| URI | m2://inv/4DPJTN4Q3X |
|---|---|
| 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 1303.4328#UD6H (statement). In HCTYW6VH87/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
4DPMM08YMA 4DPMM08YMA
| URI | m2://inv/4DPMM08YMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#prop:chain (statement). In PKGMM3P5QY, prop, section 8.12
History
- 2026-11-01: add by m2/v0.6.13
4DPMYPS8FY 4DPMYPS8FY
| URI | m2://inv/4DPMYPS8FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.14859#9HH5 (statement). In 8TPP7WC7K3/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
4DPSCAT260 4DPSCAT260
| URI | m2://inv/4DPSCAT260 |
|---|---|
| Kind | definition |
| 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 2309.01359#IGNT (definition). In BFV19FC2G7/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
100,000 4DQ80Q9G1S
| URI | m2://inv/4DQ80Q9G1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q720751, 100,000 (statement). Also ProofWiki 100,000
- wikipedia: Wikipedia 100,000, 100,000 (definition). Also Wikidata Q720751
History
- 2026-10-26: add by m2/dev
Definitions 4DQDXAPZ1W
| URI | m2://inv/4DQDXAPZ1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler triangle#3OY2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Seifert–van Kampen theorem 4DQTDVQAXS
| URI | m2://inv/4DQTDVQAXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#6JUV, Seifert–van Kampen theorem (statement)
History
- 2026-11-02: add by m2/dev
PROP 4DQVS4CN8D
| URI | m2://inv/4DQVS4CN8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#K86T, PROP (definition)
History
- 2026-11-02: add by m2/dev
4DQXC43WD7 4DQXC43WD7
| URI | m2://inv/4DQXC43WD7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Definition 4DR0QYSB0F
| URI | m2://inv/4DR0QYSB0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean group#15CC, Definition (definition)
History
- 2026-11-02: add by m2/dev
5-cell honeycomb 4DR25M4XDV
| URI | m2://inv/4DR25M4XDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-cell honeycomb, 5-cell honeycomb (definition). Also Wikidata Q4639647
History
- 2026-11-02: add by m2/dev
metric and boundary properties 4DR2GF3HM8
| URI | m2://inv/4DR2GF3HM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00916#AP4B, metric and boundary properties (statement). In 3MMFCTKPPJ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
4DRBM1BXKB 4DRBM1BXKB
| URI | m2://inv/4DRBM1BXKB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
urelement 4DRPCTKHQB
| URI | m2://inv/4DRPCTKHQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1896657, urelement (unknown). Also MathWorld Urelement, nLab urelement
- wikipedia: Wikipedia Urelement, Urelement (definition). Also Wikidata Q1896657
History
- 2026-10-26: add by m2/dev
Capacity Relief and the Move-Up Flow 4DS0P4SCYB
| URI | m2://inv/4DS0P4SCYB |
|---|---|
| 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.12732#3PBC, Capacity Relief and the Move-Up Flow (statement). In 5E91Y3VY9E/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Benchmarks for natural language processing 4DS3KFFD92
| URI | m2://inv/4DS3KFFD92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language model#KNJH, Benchmarks for natural language processing (unknown)
History
- 2026-11-02: add by m2/dev
Order topology 4DS491P9BN
| URI | m2://inv/4DS491P9BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order topology (functional analysis), Order topology (definition). Also Wikidata Q96397670
History
- 2026-11-02: add by m2/dev
4DS9WGMKJ5 4DS9WGMKJ5
| URI | m2://inv/4DS9WGMKJ5 |
|---|---|
| Kind | definition |
| 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 2609.39254#1OIX (definition). In A59MZ9H284/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
equator 4DSB1M79Z1
| URI | m2://inv/4DSB1M79Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23538, equator (definition). Also ProofWiki Definition:Geographical_Equator
History
- 2026-10-26: add by m2/dev
Leonard Digges 4DSCRQZ4PM
| URI | m2://inv/4DSCRQZ4PM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonard Digges (scientist), Leonard Digges (topic). Also Wikidata Q3068356
History
- 2026-11-02: add by m2/dev
Pseudoconvexity 4DSKNCK1H3
| URI | m2://inv/4DSKNCK1H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoconvexity, Pseudoconvexity (definition). Also Wikidata Q7254693
History
- 2026-11-02: add by m2/dev
Example 4DST606YNX
| URI | m2://inv/4DST606YNX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculator#MUGA, Example (example)
History
- 2026-11-02: add by m2/dev
4DSWV80BEP 4DSWV80BEP
| URI | m2://inv/4DSWV80BEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/relational-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Prediction (statistics) 4DT05NH0FP
| URI | m2://inv/4DT05NH0FP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prediction#75XZ, Prediction (statistics) (unknown)
History
- 2026-11-02: add by m2/dev
Constructive mathematics 4DT0XK1WH7
| URI | m2://inv/4DT0XK1WH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#R24V, Constructive mathematics (definition)
History
- 2026-11-02: add by m2/dev
Examples 4DT3JJ4Y6A
| URI | m2://inv/4DT3JJ4Y6A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz space#YC9Z, Examples (example)
History
- 2026-11-02: add by m2/dev
4DTDQ6WZ6G 4DTDQ6WZ6G
| URI | m2://inv/4DTDQ6WZ6G |
|---|---|
| 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.18084#XOGO (statement). In PKPT8NY665/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Battista della Porta 4DTS978ERN
| URI | m2://inv/4DTS978ERN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#79SL, Giovanni Battista della Porta (unknown)
History
- 2026-11-02: add by m2/dev
Calderón projector 4DTVHZQNWW
| URI | m2://inv/4DTVHZQNWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calderón projector, Calderón projector (definition). Also Wikidata Q25304637
History
- 2026-11-02: add by m2/dev
Adherent point 4DTYNJHQ4S
| URI | m2://inv/4DTYNJHQ4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#9P7R, Adherent point (definition)
History
- 2026-11-02: add by m2/dev
Polyhedral refinement 4DV558AC2S
| URI | m2://inv/4DV558AC2S |
|---|---|
| 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.11143#LEEK, Polyhedral refinement (statement). In 9CS15SV662/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
4DVC0YE9KY 4DVC0YE9KY
| URI | m2://inv/4DVC0YE9KY |
|---|---|
| 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.25129#SPS4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4DVN7QQZ1A 4DVN7QQZ1A
| URI | m2://inv/4DVN7QQZ1A |
|---|---|
| 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#07V3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
4DVYWPNCFJ 4DVYWPNCFJ
| URI | m2://inv/4DVYWPNCFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#J2U3 (statement). In ES1CVGG59Y/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Convergence of gradient descent under abstract row regularity 4DW5JD1Y2Q
| URI | m2://inv/4DW5JD1Y2Q |
|---|---|
| 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#BAQ5, Convergence of gradient descent under abstract row regularity (statement). In 6FY8BVP1F3/e1, theorem I.2
History
- 2026-10-29: add by m2/v0.4.12
Applications 4DW7NRPB9Y
| URI | m2://inv/4DW7NRPB9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy-based model#KS6S, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem 4DWHH7J6PZ
| URI | m2://inv/4DWHH7J6PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical quantization#ZKQY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
finitely generated algebra 4DWQHTRHT7
| URI | m2://inv/4DWQHTRHT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Finite type algebra AC5TFFQT9M |
Mentions
- wikidata: Wikidata Q2835968, finitely generated algebra (unknown). Also nLab finitely generated algebra
- wikipedia: Wikipedia Finitely generated algebra, Finitely generated algebra (definition). Also Wikidata Q2835968
History
- 2026-10-26: add by m2/dev
Capacitated Hall--Ore theorem 4DX2SBCZEX
| URI | m2://inv/4DX2SBCZEX |
|---|---|
| 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.30315#5LHC, Capacitated Hall--Ore theorem (statement). In FXTCVHYW5S/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
H-space 4DX7YAJHK5
| URI | m2://inv/4DX7YAJHK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#47T6, H-space (definition)
History
- 2026-11-02: add by m2/dev
Plackett–Burman design 4DXGNR85G7
| URI | m2://inv/4DXGNR85G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZXTL, Plackett–Burman design (definition)
History
- 2026-11-02: add by m2/dev
Jesper Lützen 4DXP3107M3
| URI | m2://inv/4DXP3107M3 |
|---|---|
| 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#4EV1, Jesper Lützen (unknown)
History
- 2026-11-02: add by m2/dev
Continuous linear functional 4DXPES382K
| URI | m2://inv/4DXPES382K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous linear operator#DPYP, Continuous linear functional (unknown)
History
- 2026-11-02: add by m2/dev
irreducible 4DXTYZ8BNM
| URI | m2://inv/4DXTYZ8BNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#A3AG, irreducible (definition)
History
- 2026-11-02: add by m2/dev
4DXX1EVK7B 4DXX1EVK7B
| URI | m2://inv/4DXX1EVK7B |
|---|---|
| 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.09882#RWLU (statement). In 7XV6T4N79V/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
4DY19HX6J4 4DY19HX6J4
| URI | m2://inv/4DY19HX6J4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#SWJM (example). In FTEA0TM35J/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
4DYB36ZVQE 4DYB36ZVQE
| URI | m2://inv/4DYB36ZVQE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
Charles James Hargreave 4DYJS755GJ
| URI | m2://inv/4DYJS755GJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles James Hargreave, Charles James Hargreave (topic). Also Wikidata Q3710082
History
- 2026-11-02: add by m2/dev
4DYQQWR982 4DYQQWR982
| URI | m2://inv/4DYQQWR982 |
|---|---|
| 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#V5LE (statement). In 4C5XHYTRT2/e1, lemma 1.8
History
- 2026-10-27: add by m2/v0.3.5
Statement 4DYQX25SCZ
| URI | m2://inv/4DYQX25SCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné's theorem#2PP8, Statement (statement)
History
- 2026-11-02: add by m2/dev
Quantum decision procedure 4DYWZ4N0Z5
| URI | m2://inv/4DYWZ4N0Z5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.29348#S0DA, Quantum decision procedure (definition)
History
- 2026-11-01: add by m2/v0.6.15
Four biased profiles 4DZ01TDNX6
| URI | m2://inv/4DZ01TDNX6 |
|---|---|
| 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.39408#8M60, Four biased profiles (statement). In T8E6F01RTM/e1, lemma L.1
History
- 2026-10-30: add by m2/v0.4.12
4DZ116A3QX 4DZ116A3QX
| URI | m2://inv/4DZ116A3QX |
|---|---|
| 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 2610.05784#9NM7 (statement). In 6NVP3YRWVA/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
special divisor 4DZ1STAPR3
| URI | m2://inv/4DZ1STAPR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#BTZO, special divisor (definition)
History
- 2026-11-02: add by m2/dev
4DZ3EKV0SG 4DZ3EKV0SG
| URI | m2://inv/4DZ3EKV0SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#lem:app-start (statement). In PKGMM3P5QY, lem, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
Statement of the formula 4DZ46EXK2W
| URI | m2://inv/4DZ46EXK2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius inversion formula#MA12, Statement of the formula (statement)
History
- 2026-11-02: add by m2/dev
502 (number) 4DZ5M7NKW0
| URI | m2://inv/4DZ5M7NKW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#YU28, 502 (number) (unknown)
History
- 2026-11-02: add by m2/dev
4DZQVE0YXQ 4DZQVE0YXQ
| URI | m2://inv/4DZQVE0YXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/second-incompleteness-thm.tex#thm:second-incompleteness-gen (statement). In PKGMM3P5QY, thm, section 28.5
History
- 2026-11-01: add by m2/v0.6.13