Inventory rows 5H

Mary de Lellis Gough 5H017RYH64

URI	`m2://inv/5H017RYH64`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mary de Lellis Gough, Mary de Lellis Gough (topic). Also Wikidata Q28648886

History

2026-11-02: add by m2/dev

Daniel Rudolph 5H09ETTME1

URI	`m2://inv/5H09ETTME1`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Daniel Rudolph, Daniel Rudolph (topic). Also Wikidata Q18702538

History

2026-11-02: add by m2/dev

second two-dimensional neural $H(\curll)$ class 5H0BBFRAW1

URI	`m2://inv/5H0BBFRAW1`
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.08016#19J9, second two-dimensional neural $H(\curll)$ class (statement). In YR3CSTYEJW/e1, corollary 5.2

History

2026-10-29: add by m2/v0.4.10

5H0CPNDDZH 5H0CPNDDZH

URI	`m2://inv/5H0CPNDDZH`
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.36418#2MLC (statement). In 7GBRPD97HY/e1, proposition 4.2

History

2026-10-30: add by m2/v0.4.12

Quantitative distance estimate 5H0DPZZ19T

URI	`m2://inv/5H0DPZZ19T`
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.22090#CYMS, Quantitative distance estimate (statement). In NKJWGF050C/e1, theorem 1.2

History

2026-10-27: add by m2/v0.4.0

Ando's convexity theorem 5H0E45H5TD

URI	`m2://inv/5H0E45H5TD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Trace inequality#UNNQ, Ando's convexity theorem (statement)

History

2026-11-02: add by m2/dev

Brooks' Theorem 5H0KAM3KVT

URI	`m2://inv/5H0KAM3KVT`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#theorem-3, Brooks' Theorem (statement). In Y91XFCEVHQ, theorem, section 5.4.1

History

2026-11-01: add by m2/v0.6.13

5H0NGECY8V 5H0NGECY8V

URI	`m2://inv/5H0NGECY8V`
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.06466#ZYZ6 (statement). In 6W451V3N75/e1, proposition 2.1

History

2026-10-29: add by m2/v0.4.10

Sahl ibn Bishr 5H0S5QMHVT

URI	`m2://inv/5H0S5QMHVT`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#87RL, Sahl ibn Bishr (unknown)

History

2026-11-02: add by m2/dev

Proposition 5H0VBW4J5M

URI	`m2://inv/5H0VBW4J5M`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#620J, Proposition (statement)

History

2026-11-02: add by m2/dev

Mathematica 5H0YJ1QVQ8

URI	`m2://inv/5H0YJ1QVQ8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of numerical-analysis software#ZGXH, Mathematica (definition)

History

2026-11-02: add by m2/dev

Texture mapping unit 5H0ZGHYT5K

URI	`m2://inv/5H0ZGHYT5K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#58J6, Texture mapping unit (unknown)

History

2026-11-02: add by m2/dev

5H17C34BTS 5H17C34BTS

URI	`m2://inv/5H17C34BTS`
Kind	statement
Layer	research
MSC	11-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.02111#32DD (statement). In NC5ZRF6F8N/e1, proposition 3.15

History

2026-10-29: add by m2/v0.4.12

5H1X9F61B2 5H1X9F61B2

URI	`m2://inv/5H1X9F61B2`
Kind	definition
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 2609.35396#JRJF (definition). In 51N4SF53EV/e1, definition 2.2

History

2026-10-30: add by m2/v0.4.12

Definition 5H1ZT4DFPN

URI	`m2://inv/5H1ZT4DFPN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Weierstrass elliptic function#IVGY, Definition (definition)

History

2026-11-02: add by m2/dev

Joint boundary-value--zero-product law 5H26951NEH

URI	`m2://inv/5H26951NEH`
Kind	problem
Layer	research
MSC	11-XX, 37-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 2609.27962#NGE7, Joint boundary-value--zero-product law (problem)

History

2026-11-01: add by m2/v0.6.15

dice 5H29426WEA

URI	`m2://inv/5H29426WEA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q45089, dice (definition). Also MathWorld Dice, ProofWiki Definition:Die

History

2026-10-26: add by m2/dev

Pencil 5H2DWXW5F2

URI	`m2://inv/5H2DWXW5F2`
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#YT56, Pencil (unknown)

History

2026-11-02: add by m2/dev

Bankruptcy law 5H2E5DTYFB

URI	`m2://inv/5H2E5DTYFB`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pro rata#S9SQ, Bankruptcy law (statement)

History

2026-11-02: add by m2/dev

5H2ECPFBMK 5H2ECPFBMK

URI	`m2://inv/5H2ECPFBMK`
Kind	example
Layer	research
MSC	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 2210.17066#ERAV (example). In X2AEJAQEP8/e1, example 4.15

History

2026-10-27: add by m2/v0.3.5

Centered problem and capacity 5H2G6B3935

URI	`m2://inv/5H2G6B3935`
Kind	statement
Layer	research
MSC	46-XX, 47-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.15180#RWXR, Centered problem and capacity (statement). In AMRWRJDNKJ/e1, theorem 1.4

History

2026-10-28: add by m2/v0.4.2

5H35HJ2CBZ 5H35HJ2CBZ

URI	`m2://inv/5H35HJ2CBZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-der.tex#defn-2 (definition). In E59CDZA4DP, defn, section 3.2.1

History

2026-11-01: add by m2/v0.6.13

Trichotomy theorem 5H362BN1C6

URI	`m2://inv/5H362BN1C6`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#2Y50, Trichotomy theorem (statement)

History

2026-11-02: add by m2/dev

denial 5H36V06DM0

URI	`m2://inv/5H36V06DM0`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/C.4/denial, denial (concept). In N54F33XE07, index, section C.4

History

2026-11-01: add by m2/v0.6.13

5H386JN062 5H386JN062

URI	`m2://inv/5H386JN062`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11048#52JM (statement). In H6TK4V0YVQ/e1, lemma 3.2

History

2026-10-28: add by m2/v0.4.3

Angle-resolved remote overlap 5H3EFG0HCT

URI	`m2://inv/5H3EFG0HCT`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17752#RV67, Angle-resolved remote overlap (statement). In 13N3N5WZWC/e1, lemma 3.2

History

2026-10-28: add by m2/v0.4.2

5H3NFBRVCX 5H3NFBRVCX

URI	`m2://inv/5H3NFBRVCX`
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 2610.14600#ZKHM (statement). In CJHTDS522P/e1, theorem A.1

History

2026-10-28: add by m2/v0.4.2

referent 5H3TZCEFSW

URI	`m2://inv/5H3TZCEFSW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#P07K, referent (definition)

History

2026-11-02: add by m2/dev

Definition 5H40WG4PKF

URI	`m2://inv/5H40WG4PKF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Coherent turbulent structure#BXCC, Definition (definition)

History

2026-11-02: add by m2/dev

Applications 5H41MD9X79

URI	`m2://inv/5H41MD9X79`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Complex number#MY6O, Applications (example)

History

2026-11-02: add by m2/dev

5H432AV42D 5H432AV42D

URI	`m2://inv/5H432AV42D`
Kind	example
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33238#68QR (example). In MVWXMDFP3P/e1, example 2.3

History

2026-10-30: add by m2/v0.4.12

Beatrice Shube 5H44KT82XB

URI	`m2://inv/5H44KT82XB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#PB9U, Beatrice Shube (unknown)

History

2026-11-02: add by m2/dev

Time-uniform localized mean accuracy 5H49CE9MSN

URI	`m2://inv/5H49CE9MSN`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23927#Z4CP, Time-uniform localized mean accuracy (statement)

History

2026-11-02: add by m2/v0.6.17

Pāṇini 5H4B0ZPD3K

URI	`m2://inv/5H4B0ZPD3K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Indian mathematicians#WWBO, Pāṇini (unknown)

History

2026-11-02: add by m2/dev

Hermite polynomial 5H4R6FB9TP

URI	`m2://inv/5H4R6FB9TP`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Hermite polynomials MGACY98E9H

Mentions

wikidata: Wikidata Q658574, Hermite polynomial (concept). Also MathWorld HermitePolynomial
wikipedia: Wikipedia Hermite polynomials, Hermite polynomials (definition). Also Wikidata Q658574

History

2026-10-26: add by m2/dev

Centered feature estimate 5H4WVMBK61

URI	`m2://inv/5H4WVMBK61`
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.29147#Z2JR, Centered feature estimate (statement)

History

2026-11-01: add by m2/v0.6.15

Uniform sampling 5H4WWHABHN

URI	`m2://inv/5H4WWHABHN`
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.16605#APS5, Uniform sampling (statement). In KZ175036B5/e1, lemma 3.5

History

2026-10-28: add by m2/v0.4.2

5H526F12W1 5H526F12W1

URI	`m2://inv/5H526F12W1`
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 2202.10920#D8KH (statement). In 6TTFGK6ZV0/e1, lemma 3.5

History

2026-10-27: add by m2/v0.3.5

Compound of five cubes 5H5MQMQRW4

URI	`m2://inv/5H5MQMQRW4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#MZVT, Compound of five cubes (definition)

History

2026-11-02: add by m2/dev

Prim's algorithm 5H5NK4D3C6

URI	`m2://inv/5H5NK4D3C6`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics index/12.1.3/prim-s-algorithm, Prim's algorithm (concept). In QKM9DD2H56, index, section 12.1.3

History

2026-11-01: add by m2/v0.6.13

product dif\/feology 5H5TDYZ5TG

URI	`m2://inv/5H5TDYZ5TG`
Kind	definition
Layer	research
MSC	53-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1408.1555#J5N5, product dif\/feology (definition). In S1F2QW24YW/e1, definition 2.10

History

2026-10-27: add by m2/v0.3.5

The negative-curvature kernel obstruction 5H5Y29366R

URI	`m2://inv/5H5Y29366R`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25762#9NPT, The negative-curvature kernel obstruction (statement)

History

2026-11-01: add by m2/v0.6.15

Law 5H5ZB97MA7

URI	`m2://inv/5H5ZB97MA7`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Approximation#7TZL, Law (statement)

History

2026-11-02: add by m2/dev

Helen Popova Alderson 5H690VVA68

URI	`m2://inv/5H690VVA68`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Helen Popova Alderson, Helen Popova Alderson (topic). Also Wikidata Q56640538

History

2026-11-02: add by m2/dev

5H6E8TNDXE 5H6E8TNDXE

URI	`m2://inv/5H6E8TNDXE`
Kind	statement
Layer	research
MSC	01-XX, 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 2609.28552#TAF5 (statement)

History

2026-11-01: add by m2/v0.6.15

5H6JE0EKQD 5H6JE0EKQD

URI	`m2://inv/5H6JE0EKQD`
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.35467#M759 (statement). In FK89DQ9J4S/e1, theorem B

History

2026-10-30: add by m2/v0.4.12

Sigma-ring 5H6XMD2GTX

URI	`m2://inv/5H6XMD2GTX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sigma-ring, Sigma-ring (definition). Also Wikidata Q3123369

History

2026-11-02: add by m2/dev

5H6Y065RQ4 5H6Y065RQ4

URI	`m2://inv/5H6Y065RQ4`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#lem:str (statement). In PKGMM3P5QY, lem, section 35.1

History

2026-11-01: add by m2/v0.6.13

graded manifold 5H7009Z0XM

URI	`m2://inv/5H7009Z0XM`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Graded manifold E1CA8QFEHB

Mentions

wikidata: Wikidata Q5591875, graded manifold (unknown). Also nLab graded manifold
wikipedia: Wikipedia Graded manifold, Graded manifold (definition). Also Wikidata Q5591875

History

2026-10-26: add by m2/dev

Marissa Loving 5H75FXNZ37

URI	`m2://inv/5H75FXNZ37`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Marissa Loving, Marissa Loving (topic). Also Wikidata Q141196435

History

2026-11-02: add by m2/dev

profinite 5H79K01CB3

URI	`m2://inv/5H79K01CB3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of number theory#D7BJ, profinite (definition)

History

2026-11-02: add by m2/dev

Deflationary theory of truth 5H7F1XTYMD

URI	`m2://inv/5H7F1XTYMD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Deflationary theory of truth, Deflationary theory of truth (definition). Also Wikidata Q988450

History

2026-11-02: add by m2/dev

Example 5H7K79TX5H

URI	`m2://inv/5H7K79TX5H`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kőnig's theorem (graph theory)#65VI, Example (example)

History

2026-11-02: add by m2/dev

5H7KKBH7TK 5H7KKBH7TK

URI	`m2://inv/5H7KKBH7TK`
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.32033#7ZHV (statement). In 17W5G060QX/e1, lemma 5.5

History

2026-10-31: add by m2/v0.5.6

5H7V5KGPFA 5H7V5KGPFA

URI	`m2://inv/5H7V5KGPFA`
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 2512.07470#FG6K (statement). In XPF72KTPMZ/e1, theorem 1

History

2026-10-27: add by m2/v0.3.5

Bernstein's little theorem 5H858QM77B

URI	`m2://inv/5H858QM77B`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#BF4H, Bernstein's little theorem (statement)

History

2026-11-02: add by m2/dev

Balanced hypergraph 5H868N2ZNW

URI	`m2://inv/5H868N2ZNW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Balanced hypergraph, Balanced hypergraph (definition). Also Wikidata Q97186440

History

2026-11-02: add by m2/dev

Hille-Yosida 5H86DAGFGT

URI	`m2://inv/5H86DAGFGT`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#BFLY, Hille-Yosida (statement). In 9B5TNEBJHV/e1, theorem 4.4

History

2026-10-29: add by m2/v0.4.10

5H88RWRYR0 5H88RWRYR0

URI	`m2://inv/5H88RWRYR0`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29152#NMFZ (statement)

History

2026-11-01: add by m2/v0.6.15

5H88TJRAJ6 5H88TJRAJ6

URI	`m2://inv/5H88TJRAJ6`
Kind	statement
Layer	research
MSC	16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#M0P1 (statement). In H52QQS8WZA/e1, corollary 6.6

History

2026-10-27: add by m2/v0.3.5

Fundamental theorem of Galois theory 5H8B2K186X

URI	`m2://inv/5H8B2K186X`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#Y9AT, Fundamental theorem of Galois theory (statement)

History

2026-11-02: add by m2/dev

past 5H8BDYECK3

URI	`m2://inv/5H8BDYECK3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q192630, past (definition). Also ProofWiki Definition:Past

History

2026-10-26: add by m2/dev

Ilya Kabakov 5H8NS24Y21

URI	`m2://inv/5H8NS24Y21`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#8GPB, Ilya Kabakov (unknown)

History

2026-11-02: add by m2/dev

5H8PGA6QCS 5H8PGA6QCS

URI	`m2://inv/5H8PGA6QCS`
Kind	statement
Layer	research
MSC	46-XX, 51-XX, 52-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 2609.24131#DKIW (statement)

History

2026-11-02: add by m2/v0.6.17

\coqident{Partiality}{PartialElements}{lift_embedding 5H8QYCHDG4

URI	`m2://inv/5H8QYCHDG4`
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#QLDD, \coqident{Partiality}{PartialElements}{lift_embedding (definition). In T1VFA7TXPA/e1, definition 20

History

2026-10-27: add by m2/v0.3.5

Weyl–Schouten theorem 5H8TAN86E0

URI	`m2://inv/5H8TAN86E0`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Weyl–Schouten theorem, Weyl–Schouten theorem (statement). Also Wikidata Q7990339

History

2026-11-02: add by m2/dev

Marchenko equation 5H8WGNJ6YV

URI	`m2://inv/5H8WGNJ6YV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Marchenko equation, Marchenko equation (definition). Also Wikidata Q17378628

History

2026-11-02: add by m2/dev

Pragma-dialectics 5H8WNBQ282

URI	`m2://inv/5H8WNBQ282`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pragma-dialectics, Pragma-dialectics (definition). Also Wikidata Q301604

History

2026-11-02: add by m2/dev

5H8ZPZ4CWX 5H8ZPZ4CWX

URI	`m2://inv/5H8ZPZ4CWX`
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.09044#NNTF (statement). In 4KYENHR0J8/e1, theorem 8

History

2026-10-29: add by m2/v0.4.10

Adélia Sequeira 5H9JP2QPGC

URI	`m2://inv/5H9JP2QPGC`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Adélia Sequeira, Adélia Sequeira (topic). Also Wikidata Q56826526

History

2026-11-02: add by m2/dev

5H9NET8B8X 5H9NET8B8X

URI	`m2://inv/5H9NET8B8X`
Kind	example
Layer	research
MSC	16-XX, 17-XX, 20-XX, 22-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21860#ZRG0 (example)

History

2026-11-02: add by m2/v0.6.18

5H9XSH6PFJ 5H9XSH6PFJ

URI	`m2://inv/5H9XSH6PFJ`
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 2605.09717#P6YX (definition). In W7QSDK6YPM/e1, definition 2.1

History

2026-10-27: add by m2/v0.3.6

Lemma 1 5H9Y4WP4X5

URI	`m2://inv/5H9Y4WP4X5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Schur–Weyl duality#X382, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

5HA0YMNR8D 5HA0YMNR8D

URI	`m2://inv/5HA0YMNR8D`
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.02506#MS1I (statement). In 3JKRBZWJ33/e1, lemma 3.10

History

2026-10-29: add by m2/v0.4.12

5HA9T7H4Z6 5HA9T7H4Z6

URI	`m2://inv/5HA9T7H4Z6`
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 2208.05288#XK51 (statement). In RTW3GDYPND/e1, theorem 3.11

History

2026-10-27: add by m2/v0.4.0

Formal definition 5HAAXV2FRD

URI	`m2://inv/5HAAXV2FRD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Riordan array#O4GK, Formal definition (definition)

History

2026-11-02: add by m2/dev

5HAB61ZM8P 5HAB61ZM8P

URI	`m2://inv/5HAB61ZM8P`
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#AJB1 (statement). In TZXEMCBK5V/e1, theorem 1.3

History

2026-10-30: add by m2/v0.4.12

conditional statement 5HACFFQ77M

URI	`m2://inv/5HACFFQ77M`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q141504884, conditional statement (unknown). Also MathWorld Conditional

History

2026-10-26: add by m2/dev

Catherine A. Lozupone 5HAKA551W1

URI	`m2://inv/5HAKA551W1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#J2V8, Catherine A. Lozupone (unknown)

History

2026-11-02: add by m2/dev

5HAN4HD44X 5HAN4HD44X

URI	`m2://inv/5HAN4HD44X`
Kind	example
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.02944#S40P (example). In 1F99Z64AB7/e1, example

History

2026-10-29: add by m2/v0.4.12

Polynomial differential form 5HANEKQ63J

URI	`m2://inv/5HANEKQ63J`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polynomial differential form, Polynomial differential form (definition). Also Wikidata Q85793889

History

2026-11-02: add by m2/dev

Griess algebra 5HAR5MAQ3A

URI	`m2://inv/5HAR5MAQ3A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algebras#O9C2, Griess algebra (definition)

History

2026-11-02: add by m2/dev

5HAWVE48PK 5HAWVE48PK

URI	`m2://inv/5HAWVE48PK`
Kind	problem
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Uniform honeycombs in hyperbolic space#D2OP (problem)

History

2026-11-02: add by m2/dev

5HB0V7HSBZ 5HB0V7HSBZ

URI	`m2://inv/5HB0V7HSBZ`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2011.07352#IPAI (statement). In 3VPC1GGZ3E/e1, lemma 4.12

History

2026-10-27: add by m2/v0.3.5

Terminology 5HB5V05T47

URI	`m2://inv/5HB5V05T47`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rational number#FUVL, Terminology (definition)

History

2026-11-02: add by m2/dev

5HB96C4JVX 5HB96C4JVX

URI	`m2://inv/5HB96C4JVX`
Kind	definition
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.14308#A1NO (definition). In F67Y6BZVV8/e1, definition 2

History

2026-10-28: add by m2/v0.4.2

Revenue equivalence 5HBBH7GDVN

URI	`m2://inv/5HBBH7GDVN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Revenue equivalence, Revenue equivalence (definition). Also Wikidata Q431186

History

2026-11-02: add by m2/dev

5HBK17MC9C 5HBK17MC9C

URI	`m2://inv/5HBK17MC9C`
Kind	definition
Layer	research
MSC	13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17875#8F7V (definition). In AQX7DGD360/e1, definition 7.1

History

2026-10-28: add by m2/v0.4.2

5HBKFZ7VKF 5HBKFZ7VKF

URI	`m2://inv/5HBKFZ7VKF`
Kind	statement
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38206#DDCP (statement). In F71MS1F637/e1, corollary 3.14

History

2026-10-30: add by m2/v0.4.12

Glyphs used with the Arabic numeral system 5HBPSGE9AX

URI	`m2://inv/5HBPSGE9AX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hindu–Arabic numeral system#QUJD, Glyphs used with the Arabic numeral system (unknown)

History

2026-11-02: add by m2/dev

Gary Lorden 5HBQ6ZYP8A

URI	`m2://inv/5HBQ6ZYP8A`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gary Lorden, Gary Lorden (topic). Also Wikidata Q95765317

History

2026-11-02: add by m2/dev

5HBQFWN51C 5HBQFWN51C

URI	`m2://inv/5HBQFWN51C`
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.03488#KMJ5 (statement). In 9GXR1WEYWT/e1, lemma 4.1

History

2026-10-29: add by m2/v0.4.12

5HC3YM5S86 5HC3YM5S86

URI	`m2://inv/5HC3YM5S86`
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#DVFD (statement). In X765ZXXVC3/e1, theorem 5.10

History

2026-10-29: add by m2/v0.4.12

Hadamard product 5HC8NDR7HJ

URI	`m2://inv/5HC8NDR7HJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#H3L6, Hadamard product (definition)

History

2026-11-02: add by m2/dev

5HCBGQGXN1 5HCBGQGXN1

URI	`m2://inv/5HCBGQGXN1`
Kind	definition
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 2609.21414#QLFV (definition)

History

2026-11-02: add by m2/v0.6.18

5HCDRHFP18 5HCDRHFP18

URI	`m2://inv/5HCDRHFP18`
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 2412.14956#EOYE (statement). In T8BQ6HHZYT/e1, proposition 6.15

History

2026-10-27: add by m2/v0.3.5

5HCDZ421JK 5HCDZ421JK

URI	`m2://inv/5HCDZ421JK`
Kind	statement
Layer	research
MSC	46-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 1204.5958#B105 (statement). In XYCBKM4WKY/e1, lemma 48

History

2026-10-27: add by m2/v0.3.5

Igor Frenkel 5HCGDZVBJX

URI	`m2://inv/5HCGDZVBJX`
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 Q1657690, Igor Frenkel (unknown). Also nLab Igor Frenkel
wikipedia: Wikipedia Igor Frenkel, Igor Frenkel (topic). Also Wikidata Q1657690

History

2026-10-26: add by m2/dev

5HCGKFKKRW 5HCGKFKKRW

URI	`m2://inv/5HCGKFKKRW`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2603.07541#G692 (statement). In X3RFXWN6FW/e1, proposition 2.6

History

2026-10-27: add by m2/v0.3.6

5HCKKWYV8F 5HCKKWYV8F

URI	`m2://inv/5HCKKWYV8F`
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.26713#C9PR (statement)

History

2026-11-01: add by m2/v0.6.15

Cronbach's alpha 5HCM9RGZ9X

URI	`m2://inv/5HCM9RGZ9X`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cronbach's alpha, Cronbach's alpha (definition). Also Wikidata Q1140909

History

2026-11-02: add by m2/dev

5HCPVYQT6D 5HCPVYQT6D

URI	`m2://inv/5HCPVYQT6D`
Kind	statement
Layer	research
MSC	30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20675#TF8M (statement)

History

2026-11-02: add by m2/v0.6.18

Table of divisors 5HCRJJ2ECM

URI	`m2://inv/5HCRJJ2ECM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematics reference tables#7SV7, Table of divisors (definition)

History

2026-11-02: add by m2/dev

Small stellated truncated dodecahedron 5HCYJCB0K1

URI	`m2://inv/5HCYJCB0K1`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PQQS, Small stellated truncated dodecahedron (object)

History

2026-11-02: add by m2/dev

Thomas M. Cover 5HCYV5Y2Q5

URI	`m2://inv/5HCYV5Y2Q5`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#C9BR, Thomas M. Cover (unknown)

History

2026-11-02: add by m2/dev

Picard–Fuchs equation 5HCZ9M2BS6

URI	`m2://inv/5HCZ9M2BS6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Picard–Fuchs equation, Picard–Fuchs equation (definition). Also Wikidata Q7877856

History

2026-11-02: add by m2/dev

Quenched shell covariance 5HD4EHN518

URI	`m2://inv/5HD4EHN518`
Kind	definition
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00453#UDXQ, Quenched shell covariance (definition). In ESPJMBH2R2/e1, definition 2.4

History

2026-10-30: add by m2/v0.4.12

5HD4HMRM51 5HD4HMRM51

URI	`m2://inv/5HD4HMRM51`
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.03175#MEXS (definition). In VMVNYKZ9GG/e1, definition 3.1

History

2026-10-29: add by m2/v0.4.12

Precision-aware parameterization 5HD6BHRNZS

URI	`m2://inv/5HD6BHRNZS`
Kind	problem
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31641#FF8X, Precision-aware parameterization (problem). In XC2HE3KXPM/e1, problem 8.1

History

2026-10-31: add by m2/v0.5.6

5HDBERY1K7 5HDBERY1K7

URI	`m2://inv/5HDBERY1K7`
Kind	statement
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20740#77ME (statement)

History

2026-11-02: add by m2/v0.6.18

Properties 5HDC0HN5W5

URI	`m2://inv/5HDC0HN5W5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Homothety#WN9X, Properties (statement)

History

2026-11-02: add by m2/dev

5HDE2PHCN9 5HDE2PHCN9

URI	`m2://inv/5HDE2PHCN9`
Kind	statement
Layer	research
MSC	20-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.16834#HY8H (statement). In Q0DTV6PJJW/e1, theorem B

History

2026-10-28: add by m2/v0.4.2

5HDHSB6D2Z 5HDHSB6D2Z

URI	`m2://inv/5HDHSB6D2Z`
Kind	problem
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.36412#LD3J (problem). In 6HKGGCMBCK/e1, problem

History

2026-10-30: add by m2/v0.4.12

constant, primitive 5HDMZTWFXV

URI	`m2://inv/5HDMZTWFXV`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/4.1/constant-primitive, constant, primitive (concept). In N54F33XE07, index, section 4.1

History

2026-11-01: add by m2/v0.6.13

5HDZNZ64HF 5HDZNZ64HF

URI	`m2://inv/5HDZNZ64HF`
Kind	definition
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2303.14022#7OG5 (definition). In NSYR6W27FP/e1, definition 2.10

History

2026-10-27: add by m2/v0.3.5

Non-existence theorem in separable Banach spaces 5HE1PTKVMP

URI	`m2://inv/5HE1PTKVMP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Infinite-dimensional Lebesgue measure#M7CV, Non-existence theorem in separable Banach spaces (statement)

History

2026-11-02: add by m2/dev

Ethics in mathematics 5HE4PCS72E

URI	`m2://inv/5HE4PCS72E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ethics in mathematics, Ethics in mathematics (definition). Also Wikidata Q42417320

History

2026-11-02: add by m2/dev

5HE986S3HH 5HE986S3HH

URI	`m2://inv/5HE986S3HH`
Kind	conjecture
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 2610.17135#ALDW (conjecture). In XX1J2REXY2/e1, conjecture 1.1

History

2026-10-28: add by m2/v0.4.2

Finite mathematics 5HEEQME0NH

URI	`m2://inv/5HEEQME0NH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Finite mathematics, Finite mathematics (definition). Also Wikidata Q5450402

History

2026-11-02: add by m2/dev

5HEH561YTK 5HEH561YTK

URI	`m2://inv/5HEH561YTK`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2510.12502#7G1U (statement). In 3A4K47Y9F2/e1, lemma 6.19

History

2026-10-27: add by m2/v0.4.0

Differential equation 5HEJZ837CB

URI	`m2://inv/5HEJZ837CB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of calculus topics#CLQ4, Differential equation (definition)

History

2026-11-02: add by m2/dev

No polynomial improvement at any stopping time 5HEM7DTER6

URI	`m2://inv/5HEM7DTER6`
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.09044#JM5A, No polynomial improvement at any stopping time (statement). In 4KYENHR0J8/e1, proposition 2

History

2026-10-29: add by m2/v0.4.10

tiny 5HEPQG9F91

URI	`m2://inv/5HEPQG9F91`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of category theory#5DKJ, tiny (definition)

History

2026-11-02: add by m2/dev

Riemann–Lebesgue lemma 5HEPQH9KDM

URI	`m2://inv/5HEPQH9KDM`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Riemann–Lebesgue lemma WVKDC011KP

Mentions

wikidata: Wikidata Q9363284, Riemann–Lebesgue lemma (statement). Also MathWorld Riemann-LebesgueLemma
wikipedia: Wikipedia Riemann–Lebesgue lemma, Riemann–Lebesgue lemma (statement). Also Wikidata Q9363284

History

2026-10-26: add by m2/dev

5HEW2M5V80 5HEW2M5V80

URI	`m2://inv/5HEW2M5V80`
Kind	example
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.17137#FQ3J (example). In GKHSE92M91/e1, example 21

History

2026-10-28: add by m2/v0.4.2

Quantum $n$-coloring 5HF27PZ2HX

URI	`m2://inv/5HF27PZ2HX`
Kind	definition
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.05280#1HC7, Quantum $n$-coloring (definition). In K05CHVKH1B/e1, definition 2.1

History

2026-10-29: add by m2/v0.4.10

5HF6BHRSYK 5HF6BHRSYK

URI	`m2://inv/5HF6BHRSYK`
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.14842#7F2X (statement). In MQXT5RQE0C/e1, lemma 2.5

History

2026-10-28: add by m2/v0.4.2

Erdős–Dushnik–Miller theorem 5HF6TDQ4TQ

URI	`m2://inv/5HF6TDQ4TQ`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q96377355, Erdős–Dushnik–Miller theorem (statement). Also Wikidata Q96377355
thousand_plus: thousand_plus Q96377355, Erdős–Dushnik–Miller theorem (statement). Also Wikidata Q96377355, Wikipedia Erdős–Dushnik–Miller theorem
wikipedia: Wikipedia Erdős–Dushnik–Miller theorem, Erdős–Dushnik–Miller theorem (statement). Also Wikidata Q96377355

History

2026-10-26: add by m2/dev

Alexandre Joel Chorin 5HFAS63MPX

URI	`m2://inv/5HFAS63MPX`
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#VBTI, Alexandre Joel Chorin (unknown)

History

2026-11-02: add by m2/dev

Exterior angle theorem 5HFXPT11AC

URI	`m2://inv/5HFXPT11AC`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Exterior angle theorem 0NTSE7EREA

Mentions

mathlib_1000: mathlib_1000 Q5421989, Exterior angle theorem (statement). Also Mathlib EuclideanGeometry.exterior_angle_eq_angle_add_angle, Wikidata Q5421989
thousand_plus: thousand_plus Q5421989, Exterior angle theorem (statement). Also Mathlib EuclideanGeometry.exterior_angle_eq_angle_add_angle, Wikidata Q5421989, Wikipedia Exterior angle theorem
wikipedia: Wikipedia Exterior angle theorem, Exterior angle theorem (statement). Also Wikidata Q5421989

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Certaine Errors in Navigation 5HG08GFDFV

URI	`m2://inv/5HG08GFDFV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Edward Wright (mathematician)#DQHG, Certaine Errors in Navigation (unknown)

History

2026-11-02: add by m2/dev

Michael Stifel 5HGQCRK0ET

URI	`m2://inv/5HGQCRK0ET`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of German mathematicians#FISO, Michael Stifel (topic)

History

2026-11-02: add by m2/dev

Action estimate 5HGWK2HF53

URI	`m2://inv/5HGWK2HF53`
Kind	statement
Layer	research
MSC	35-XX, 46-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.21775#MB3I, Action estimate (statement). In KM3Q791JY0/e1, lemma 4.29

History

2026-10-27: add by m2/v0.4.2

Compound of two snub cubes 5HH1SN9H3G

URI	`m2://inv/5HH1SN9H3G`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#7CHV, Compound of two snub cubes (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MISO, Compound of two snub cubes (definition)

History

2026-11-02: add by m2/dev

5HH7RSHEY3 5HH7RSHEY3

URI	`m2://inv/5HH7RSHEY3`
Kind	unknown
Layer	research
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv math/0512416#KGIO (proof). In WJD9YPGGYH/e1, proof

History

2026-10-27: add by m2/v0.3.5

A rank-two block estimate 5HH93J17ND

URI	`m2://inv/5HH93J17ND`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25762#RHNG, A rank-two block estimate (statement)

History

2026-11-01: add by m2/v0.6.15

Sokhotski–Plemelj theorem 5HHRH9QNT5

URI	`m2://inv/5HHRH9QNT5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of complex analysis topics#LNRB, Sokhotski–Plemelj theorem (statement)

History

2026-11-02: add by m2/dev

Immigrant crime in Australia 5HHXC3GX28

URI	`m2://inv/5HHXC3GX28`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Immigration and crime#65YT, Immigrant crime in Australia (unknown)

History

2026-11-02: add by m2/dev

5HHYSPXS4Z 5HHYSPXS4Z

URI	`m2://inv/5HHYSPXS4Z`
Kind	statement
Layer	research
MSC	35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08052#MBP9 (statement). In 672XAVEQ34/e1, theorem 7.5

History

2026-10-29: add by m2/v0.4.10

National Cyber Security Centre 5HJ1K79G9X

URI	`m2://inv/5HJ1K79G9X`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia National Cyber Security Centre (Ireland), National Cyber Security Centre (definition). Also Wikidata Q21015843

History

2026-11-02: add by m2/dev

5HJ2X6R2SQ 5HJ2X6R2SQ

URI	`m2://inv/5HJ2X6R2SQ`
Kind	statement
Layer	research
MSC	05-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18061#33KE (statement). In Y8A35AV31M/e1, proposition 6.3

History

2026-10-28: add by m2/v0.4.2

Examples 5HJ5WH4S1E

URI	`m2://inv/5HJ5WH4S1E`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multimodal distribution#W2PI, Examples (example)

History

2026-11-02: add by m2/dev

Example (CF2) 5HJ67XW2Q5

URI	`m2://inv/5HJ67XW2Q5`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#Z2S5, Example (CF2) (example)

History

2026-11-02: add by m2/dev

Johann Rosenhain 5HJBHPQRWW

URI	`m2://inv/5HJBHPQRWW`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#HVK5, Johann Rosenhain (topic)

History

2026-11-02: add by m2/dev

5HJDZDYNWW 5HJDZDYNWW

URI	`m2://inv/5HJDZDYNWW`
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 2608.00864#BNDX (statement). In PRF0P3D637/e1, lemma 7.2

History

2026-10-27: add by m2/v0.3.5

5HJEZA7MDD 5HJEZA7MDD

URI	`m2://inv/5HJEZA7MDD`
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.01561#1TD3 (statement). In W4G7BCHYEW/e1, theorem 1.2

History

2026-10-29: add by m2/v0.4.12

5HJHYZWDQY 5HJHYZWDQY

URI	`m2://inv/5HJHYZWDQY`
Kind	statement
Layer	research
MSC	37-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35632#RBWJ (statement). In Q74G3BVZAQ/e1, lemma 2.4

History

2026-10-27: add by m2/v0.3.5

Christine Bachoc 5HJVBTXC70

URI	`m2://inv/5HJVBTXC70`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#45ZG, Christine Bachoc (unknown)

History

2026-11-02: add by m2/dev

5HJZM92DJS 5HJZM92DJS

URI	`m2://inv/5HJZM92DJS`
Kind	statement
Layer	research
MSC	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.38211#IXW1 (statement). In KWKK0S9YJN/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

Formation matrix 5HK3JT9G6E

URI	`m2://inv/5HK3JT9G6E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Formation matrix, Formation matrix (definition). Also Wikidata Q5470034

History

2026-11-02: add by m2/dev

5HK4KAX6YB 5HK4KAX6YB

URI	`m2://inv/5HK4KAX6YB`
Kind	example
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 2609.20516#GDVL (example)

History

2026-11-02: add by m2/v0.6.18

5HK9FC4M9X 5HK9FC4M9X

URI	`m2://inv/5HK9FC4M9X`
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.14681#U0K6 (statement). In 459W0NBS5Q/e1, theorem 15

History

2026-10-28: add by m2/v0.4.2

Henry's law volatility constants Hv 5HKCEJ2H55

URI	`m2://inv/5HKCEJ2H55`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Henry's law#ZULS, Henry's law volatility constants Hv (statement)

History

2026-11-02: add by m2/dev

5HKF5749TR 5HKF5749TR

URI	`m2://inv/5HKF5749TR`
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 2002.01498#ORSB (statement). In 2H7TQ695XW/e1, lemma 4.7

History

2026-10-27: add by m2/v0.3.5

5HKX3QP1YS 5HKX3QP1YS

URI	`m2://inv/5HKX3QP1YS`
Kind	definition
Layer	research
MSC	11-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15432#ETA1 (definition). In D1DFM4WYEW/e1, definition 5.3

History

2026-10-28: add by m2/v0.4.2

Theorem 5HKXYEWK34

URI	`m2://inv/5HKXYEWK34`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hypercomplex number#950P, Theorem (statement)

History

2026-11-02: add by m2/dev

Cipher disk 5HM14ACX76

URI	`m2://inv/5HM14ACX76`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cipher disk, Cipher disk (definition). Also Wikidata Q176481

History

2026-11-02: add by m2/dev

444 (number) 5HM1KBJ202

URI	`m2://inv/5HM1KBJ202`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 400 (number)#07C6, 444 (number) (unknown)

History

2026-11-02: add by m2/dev

Exponential distribution 5HM6771XNQ

URI	`m2://inv/5HM6771XNQ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of probability distributions#WESN, Exponential distribution (definition)

History

2026-11-02: add by m2/dev

Fixed-projection representation 5HMFEGJRG3

URI	`m2://inv/5HMFEGJRG3`
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.02166#AUBP, Fixed-projection representation (statement). In R6RF3P6D5A/e1, lemma 5.3

History

2026-10-29: add by m2/v0.4.12

Results 5HMS3MPG1A

URI	`m2://inv/5HMS3MPG1A`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 2024 Moldovan census#HXJB, Results (statement)

History

2026-11-02: add by m2/dev

5HMSMHMXTE 5HMSMHMXTE

URI	`m2://inv/5HMSMHMXTE`
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.31604#87I9 (statement). In GSN5YTQS2K/e1, lemma 1.22

History

2026-10-31: add by m2/v0.5.6

Harry J. Khamis 5HMVM0MY49

URI	`m2://inv/5HMVM0MY49`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Harry J. Khamis, Harry J. Khamis (topic). Also Wikidata Q121752547

History

2026-11-02: add by m2/dev

Linear strictification criterion 5HN0VFD24G

URI	`m2://inv/5HN0VFD24G`
Kind	statement
Layer	research
MSC	53-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27799#VKER, Linear strictification criterion (statement)

History

2026-11-01: add by m2/v0.6.15

Convergent scheme for generic regularity 5HN77DA65M

URI	`m2://inv/5HN77DA65M`
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 2410.06788#HVUF, Convergent scheme for generic regularity (statement). In B2VE3JQZD3/e1, corollary 28

History

2026-10-27: add by m2/v0.3.5

Common zero-residual limit 5HN9YK4SKS

URI	`m2://inv/5HN9YK4SKS`
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.25545#6SID, Common zero-residual limit (statement)

History

2026-11-01: add by m2/v0.6.15

5HNF9A4HVZ 5HNF9A4HVZ

URI	`m2://inv/5HNF9A4HVZ`
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.37337#A7BL (statement). In 813JGZV08G/e1, theorem 5.1

History

2026-10-30: add by m2/v0.4.12

5HNG0XMP0E 5HNG0XMP0E

URI	`m2://inv/5HNG0XMP0E`
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.12295#IFWS (statement). In 6DZPR52HRP/e1, proposition 6.2

History

2026-10-28: add by m2/v0.4.2

Statement 5HNSSRKABF

URI	`m2://inv/5HNSSRKABF`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Denjoy–Koksma inequality#903T, Statement (statement)

History

2026-11-02: add by m2/dev

5HNT8RQ7Z3 5HNT8RQ7Z3

URI	`m2://inv/5HNT8RQ7Z3`
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 1707.06795#94CO (statement). In 32MMSEVHYN/e1, theorem 2.10

History

2026-10-27: add by m2/v0.3.5

5HNTEF3EQJ 5HNTEF3EQJ

URI	`m2://inv/5HNTEF3EQJ`
Kind	statement
Layer	research
MSC	46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35740#OQB2 (statement). In N7C6C0QGJM/e1, corollary 3.6

History

2026-10-30: add by m2/v0.4.12

Argument to moderation 5HNWPJ3W3Q

URI	`m2://inv/5HNWPJ3W3Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fallacies#S4DW, Argument to moderation (definition)

History

2026-11-02: add by m2/dev

Geodetic positioning 5HNY2VZ01W

URI	`m2://inv/5HNY2VZ01W`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geodesy#EKWU, Geodetic positioning (unknown)

History

2026-11-02: add by m2/dev

5HP0Y011MF 5HP0Y011MF

URI	`m2://inv/5HP0Y011MF`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/composition-representable.tex#prop:rep2 (statement). In PKGMM3P5QY, prop, section 29.8

History

2026-11-01: add by m2/v0.6.13

Laughlin wavefunction 5HP1T7ER6V

URI	`m2://inv/5HP1T7ER6V`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Laughlin wavefunction, Laughlin wavefunction (definition). Also Wikidata Q6498183

History

2026-11-02: add by m2/dev

Henry Perigal 5HP1ZM3BN8

URI	`m2://inv/5HP1ZM3BN8`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Henry Perigal, Henry Perigal (topic). Also Wikidata Q5726895

History

2026-11-02: add by m2/dev

5HP4SBWVNQ 5HP4SBWVNQ

URI	`m2://inv/5HP4SBWVNQ`
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 2002.01498#XSZE (statement). In 2H7TQ695XW/e1, lemma 2.3

History

2026-10-27: add by m2/v0.3.5

5HP5WKAXR5 5HP5WKAXR5

URI	`m2://inv/5HP5WKAXR5`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16779#GOWG (statement). In 1R7H0ZAHWA/e1, corollary 3.9

History

2026-10-28: add by m2/v0.4.2

Möbius–Kantor configuration 5HPAH6S446

URI	`m2://inv/5HPAH6S446`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Möbius–Kantor configuration TB0ZRTX7DT

Mentions

wikidata: Wikidata Q6950325, Möbius–Kantor configuration (unknown). Also MathWorld Moebius-KantorConfiguration
wikipedia: Wikipedia Möbius–Kantor configuration, Möbius–Kantor configuration (definition). Also Wikidata Q6950325

History

2026-10-26: add by m2/dev

5HPBMPD2VV 5HPBMPD2VV

URI	`m2://inv/5HPBMPD2VV`
Kind	example
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.29274#L0AX (example)

History

2026-11-01: add by m2/v0.6.15

5HPGSK1Y7M 5HPGSK1Y7M

URI	`m2://inv/5HPGSK1Y7M`
Kind	statement
Layer	research
MSC	26-XX, 35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12565#OIUR (statement). In 9RYQ164FWA/e1, lemma 9

History

2026-10-28: add by m2/v0.4.2

Three-state collapse outside $\cU,\cQ$ 5HPPZPJ62Y

URI	`m2://inv/5HPPZPJ62Y`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10002#GT4Q, Three-state collapse outside $\cU,\cQ$ (statement). In 5ZYWF6HAXJ/e1, proposition 12

History

2026-10-29: add by m2/v0.4.10

5HPSQNSD8B 5HPSQNSD8B

URI	`m2://inv/5HPSQNSD8B`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35183#R1FE (statement). In FYM5XFD9RR/e1, corollary 2.7

History

2026-10-30: add by m2/v0.4.12

Positive-definite function on a group 5HPYQM6TQ2

URI	`m2://inv/5HPYQM6TQ2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Positive-definite function on a group, Positive-definite function on a group (definition). Also Wikidata Q7233206

History

2026-11-02: add by m2/dev

Examples 5HQ0KJBXNZ

URI	`m2://inv/5HQ0KJBXNZ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dual graph#YJF7, Examples (example)

History

2026-11-02: add by m2/dev

5HQ2DG5S23 5HQ2DG5S23

URI	`m2://inv/5HQ2DG5S23`
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.11210#QSCB (definition). In CRFDGFZHBF/e1, definition 7.6

History

2026-10-28: add by m2/v0.4.3

propositional, equality 5HQ483YBME

URI	`m2://inv/5HQ483YBME`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/A.1/propositional-equality, propositional, equality (concept). In N54F33XE07, index, section A.1

History

2026-11-01: add by m2/v0.6.13

Special orthogonal classes 5HQ7EPXE2G

URI	`m2://inv/5HQ7EPXE2G`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16931#TIGP, Special orthogonal classes (statement). In H7DMRWBBJN/e1, proposition 7.6

History

2026-10-28: add by m2/v0.4.2

Companion map and local staircase 5HQ7QCGEWC

URI	`m2://inv/5HQ7QCGEWC`
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.16351#OPGL, Companion map and local staircase (statement). In 1QSV7EQE3T/e1, lemma S63

History

2026-10-28: add by m2/v0.4.2

A System of Moral Philosophy, in Three Books 5HQ9DS4537

URI	`m2://inv/5HQ9DS4537`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia A System of Moral Philosophy, in Three Books, A System of Moral Philosophy, in Three Books (definition). Also Wikidata Q42196200

History

2026-11-02: add by m2/dev

Hal Abelson 5HQAMSRTW6

URI	`m2://inv/5HQAMSRTW6`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hal Abelson, Hal Abelson (topic). Also Wikidata Q770584

History

2026-11-02: add by m2/dev

Circles of Apollonius 5HQHWWER4M

URI	`m2://inv/5HQHWWER4M`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Circles of Apollonius, Circles of Apollonius (definition). Also Wikidata Q20781897

History

2026-11-02: add by m2/dev

Connect Four (Microvision) 5HQNH5GARX

URI	`m2://inv/5HQNH5GARX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Connect Four#PIKJ, Connect Four (Microvision) (unknown)

History

2026-11-02: add by m2/dev

5HR5ZNJMX7 5HR5ZNJMX7

URI	`m2://inv/5HR5ZNJMX7`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27301#82C7 (statement)

History

2026-11-01: add by m2/v0.6.15

Examples 5HRCXBX4TE

URI	`m2://inv/5HRCXBX4TE`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Greatest element and least element#VIQC, Examples (example)

History

2026-11-02: add by m2/dev

5HREQA1TGG 5HREQA1TGG

URI	`m2://inv/5HREQA1TGG`
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 2111.08123#H3X5 (statement). In TAAB0QAKAG/e1, lemma 4.2

History

2026-10-27: add by m2/v0.3.5

5HRKA9GHYN 5HRKA9GHYN

URI	`m2://inv/5HRKA9GHYN`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2201.12479#LXGJ (statement). In ZDWR95TW99/e1, lemma 2.3

History

2026-10-27: add by m2/v0.3.5

Discrete Poisson equation 5HRT7ASTMC

URI	`m2://inv/5HRT7ASTMC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Discrete Poisson equation, Discrete Poisson equation (definition). Also Wikidata Q5282040

History

2026-11-02: add by m2/dev

5HRWM752GV 5HRWM752GV

URI	`m2://inv/5HRWM752GV`
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.35030#5HFX (statement). In DPT4P2BTEW/e1, lemma 7.8

History

2026-10-30: add by m2/v0.4.12

5HRWN8THRE 5HRWN8THRE

URI	`m2://inv/5HRWN8THRE`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14914#7XHP (statement). In CHC3T113Y4/e1, proposition 7.1

History

2026-10-28: add by m2/v0.4.2

Properties 5HRXS2ZAYW

URI	`m2://inv/5HRXS2ZAYW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tsirelson space#P73F, Properties (statement)

History

2026-11-02: add by m2/dev

Theorem 5HRY55TYKD

URI	`m2://inv/5HRY55TYKD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kolmogorov complexity#WUVH, Theorem (statement)

History

2026-11-02: add by m2/dev

Theorem 5HRZZS71VQ

URI	`m2://inv/5HRZZS71VQ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multinomial distribution#MSMF, Theorem (statement)

History

2026-11-02: add by m2/dev

5HS4JK27J6 5HS4JK27J6

URI	`m2://inv/5HS4JK27J6`
Kind	statement
Layer	research
MSC	13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12330#JU3L (statement). In XHSKEPT3VD/e1, corollary 5.3

History

2026-10-28: add by m2/v0.4.2

5HS5A0V6C4 5HS5A0V6C4

URI	`m2://inv/5HS5A0V6C4`
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.24374#PH0X (statement)

History

2026-11-01: add by m2/v0.6.15

General form of the mechanism 5HSEFC7EV7

URI	`m2://inv/5HSEFC7EV7`
Kind	statement
Layer	research
MSC	37-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27966#4EA9, General form of the mechanism (statement)

History

2026-11-01: add by m2/v0.6.15

Archimedean ordered field 5HSMJKCE9E

URI	`m2://inv/5HSMJKCE9E`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Archimedes#CV25, Archimedean ordered field (definition)

History

2026-11-02: add by m2/dev

dragon curve 5HSW7DNRV1

URI	`m2://inv/5HSW7DNRV1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q643749, dragon curve (unknown). Also MathWorld DragonCurve
wikipedia: Wikipedia Dragon curve, Dragon curve (definition). Also Wikidata Q643749

History

2026-10-26: add by m2/dev

5HSZ5HB9EX 5HSZ5HB9EX

URI	`m2://inv/5HSZ5HB9EX`
Kind	example
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.22317#PWPP (example). In 2W5Z97BBW4/e1, example 2.40

History

2026-10-27: add by m2/v0.4.0

golden triangle 5HT02AN8HC

URI	`m2://inv/5HT02AN8HC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1535522, golden triangle (unknown). Also MathWorld GoldenTriangle
wikipedia: Wikipedia Golden triangle (mathematics), Golden triangle (definition). Also Wikidata Q1535522

History

2026-10-26: add by m2/dev

Susanne Langer 5HT343GN8W

URI	`m2://inv/5HT343GN8W`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of women logicians#FRTS, Susanne Langer (unknown)

History

2026-11-02: add by m2/dev

Gaussian reduction for $2$-QW barycenters 5HT47389AE

URI	`m2://inv/5HT47389AE`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01855#IN3A, Gaussian reduction for $2$-QW barycenters (statement). In MM8P5CJR18/e1, theorem 2.5

History

2026-10-29: add by m2/v0.4.12

5HT6D6J9FY 5HT6D6J9FY

URI	`m2://inv/5HT6D6J9FY`
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.12371#B2TT (statement). In 8TTFQH19QR/e1, theorem 8

History

2026-10-28: add by m2/v0.4.2

5HT6S31RKK 5HT6S31RKK

URI	`m2://inv/5HT6S31RKK`
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.09567#P3VL (statement). In 7RV6BDZAFK/e1, theorem 1.5

History

2026-10-29: add by m2/v0.4.10

Sketch of proof 5HT7EFWHER

URI	`m2://inv/5HT7EFWHER`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book induction.tex#proof-4, Sketch of proof (proof). In N54F33XE07, proof, section 8.4

History

2026-11-01: add by m2/v0.6.13

Slow profile, exact far field and symmetry 5HT9QT8JHS

URI	`m2://inv/5HT9QT8JHS`
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#ECST, Slow profile, exact far field and symmetry (statement). In ZRG6NY1ECH/e1, theorem 43

History

2026-10-30: add by m2/v0.4.12

Frequency 5HTF78F0GC

URI	`m2://inv/5HTF78F0GC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Frequency, Frequency (definition). Also Wikidata Q11652

History

2026-11-02: add by m2/dev

5HTGJ8XV9B 5HTGJ8XV9B

URI	`m2://inv/5HTGJ8XV9B`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

active_calculus: active_calculus source/activities/act-2-2-2.xml#act-2-2-2 (exercise). In 907G4C4EJ1, activity, section 2.2.2

History

2026-11-01: add by m2/v0.6.13

Adversarial machine learning 5HTNYBXEK3

URI	`m2://inv/5HTNYBXEK3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Adversarial machine learning, Adversarial machine learning (definition). Also Wikidata Q20312394

History

2026-11-02: add by m2/dev

Off-diagonal estimates on temporal supports 5HTWAR9A60

URI	`m2://inv/5HTWAR9A60`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21949#YO1T, Off-diagonal estimates on temporal supports (statement)

History

2026-11-02: add by m2/v0.6.17

Liénard's theorem 5HV435GBHG

URI	`m2://inv/5HV435GBHG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#E111, Liénard's theorem (definition)

History

2026-11-02: add by m2/dev

Shiba Inu 5HV4RX4G4W

URI	`m2://inv/5HV4RX4G4W`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Shiba Inu (cryptocurrency), Shiba Inu (definition). Also Wikidata Q106853490

History

2026-11-02: add by m2/dev

Mathematical fiction 5HVCX05Z3R

URI	`m2://inv/5HVCX05Z3R`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mathematical fiction, Mathematical fiction (definition). Also Wikidata Q24255733

History

2026-11-02: add by m2/dev

nitrogen 5HVJSCRNHM

URI	`m2://inv/5HVJSCRNHM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q627, nitrogen (definition). Also ProofWiki Definition:Nitrogen

History

2026-10-26: add by m2/dev

Examples 5HVK2ZNVJD

URI	`m2://inv/5HVK2ZNVJD`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Monad (category theory)#OWGE, Examples (example)

History

2026-11-02: add by m2/dev

Routh–Hurwitz stability criterion 5HVPGH8SRC

URI	`m2://inv/5HVPGH8SRC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Routh–Hurwitz theorem#CWVH, Routh–Hurwitz stability criterion (statement)

History

2026-11-02: add by m2/dev

5HVSG9PTCC 5HVSG9PTCC

URI	`m2://inv/5HVSG9PTCC`
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 1805.04646#XJG5 (statement). In WDDY7P9T66/e1, theorem 6.1

History

2026-10-27: add by m2/v0.3.5

5HVT3SRQ45 5HVT3SRQ45

URI	`m2://inv/5HVT3SRQ45`
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 2608.24190#GIIP (statement). In DW7FVA587C/e1, theorem 1.2

History

2026-10-27: add by m2/v0.3.5

Milankovitch cycles 5HVW81R9PT

URI	`m2://inv/5HVW81R9PT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Milankovitch cycles, Milankovitch cycles (definition). Also Wikidata Q211446

History

2026-11-02: add by m2/dev

Independence of scalar pullbacks 5HW2WMXNVP

URI	`m2://inv/5HW2WMXNVP`
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#VVJI, Independence of scalar pullbacks (statement). In QPJ6FWG5HD/e1, proposition 2.62

History

2026-10-29: add by m2/v0.4.12

Examples 5HWENXZJ13

URI	`m2://inv/5HWENXZJ13`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tensor product of algebras#QGJV, Examples (example)

History

2026-11-02: add by m2/dev

5HWJTQ4BFX 5HWJTQ4BFX

URI	`m2://inv/5HWJTQ4BFX`
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.20311#643H (statement). In SW758TCN31/e1, lemma 4.2

History

2026-10-27: add by m2/v0.4.2

Dean, Charmaine 5HWKP34NM3

URI	`m2://inv/5HWKP34NM3`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#FXT6, Dean, Charmaine (topic)

History

2026-11-02: add by m2/dev

Alexander Lytchak 5HWNSG65TE

URI	`m2://inv/5HWNSG65TE`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Alexander Lytchak, Alexander Lytchak (topic). Also Wikidata Q27527501

History

2026-11-02: add by m2/dev

Weak field approximation 5HWZCD6EZF

URI	`m2://inv/5HWZCD6EZF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Linearized gravity#21T8, Weak field approximation (unknown)

History

2026-11-02: add by m2/dev

5HWZHNA90R 5HWZHNA90R

URI	`m2://inv/5HWZHNA90R`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18562#WHMV (statement). In 793KXAR957/e1, proposition 4.7

History

2026-10-28: add by m2/v0.4.2

Examples 5HX1PDQ987

URI	`m2://inv/5HX1PDQ987`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Semilattice#T72E, Examples (example)

History

2026-11-02: add by m2/dev

5HX9GHC7RZ 5HX9GHC7RZ

URI	`m2://inv/5HX9GHC7RZ`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book homotopy.tex#proof-26 (proof). In N54F33XE07, proof, section 7.5.3

History

2026-11-01: add by m2/v0.6.13

Samuel Mimram 5HXDZTZEHM

URI	`m2://inv/5HXDZTZEHM`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q102349384, Samuel Mimram (unknown). Also nLab Samuel Mimram

History

2026-10-26: add by m2/dev

William Lawvere 5HXJ1WKAH6

URI	`m2://inv/5HXJ1WKAH6`
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 Q290932, William Lawvere (unknown). Also nLab William Lawvere
wikipedia: Wikipedia William Lawvere, William Lawvere (topic). Also Wikidata Q290932

History

2026-10-26: add by m2/dev

5HYERDC5QG 5HYERDC5QG

URI	`m2://inv/5HYERDC5QG`
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.28489#D016 (statement)

History

2026-11-01: add by m2/v0.6.15

Randomized experiment 5HYKYK76FK

URI	`m2://inv/5HYKYK76FK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Randomized experiment, Randomized experiment (definition). Also Wikidata Q1231081

History

2026-11-02: add by m2/dev

5HYYYWEQE2 5HYYYWEQE2

URI	`m2://inv/5HYYYWEQE2`
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.09390#546G (statement). In 7SSKW778T8/e1, corollary 9.9

History

2026-10-29: add by m2/v0.4.10

Diagonal stratum 5HZ4PGTNEZ

URI	`m2://inv/5HZ4PGTNEZ`
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#B23S, Diagonal stratum (statement). In QPJ6FWG5HD/e1, theorem 2.9

History

2026-10-29: add by m2/v0.4.12

One branching step as a controlled unitary 5HZPR2DT9Q

URI	`m2://inv/5HZPR2DT9Q`
Kind	example
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.37375#B5RS, One branching step as a controlled unitary (example). In PV4Z2FRXRZ/e1, example 2.6

History

2026-10-30: add by m2/v0.4.12

Applications 5HZTMTSP4R

URI	`m2://inv/5HZTMTSP4R`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stable matching problem#U0D9, Applications (example)

History

2026-11-02: add by m2/dev