Inventory rows 1H

1H011JWGP2 1H011JWGP2

URI	`m2://inv/1H011JWGP2`
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 2609.32903#I1TT (definition). In S8NB83KQX3/e1, definition 3

History

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

1H02F6ZCS9 1H02F6ZCS9

URI	`m2://inv/1H02F6ZCS9`
Kind	statement
Layer	research
MSC	05-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.40200#5GU1 (statement). In VWNB6QJWFN/e1, lemma 2.1

History

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

List of scientific method topics 1H07D7D36W

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

Mentions

wikipedia: Wikipedia Lists of statistics topics#2EYG, List of scientific method topics (unknown)

History

2026-11-02: add by m2/dev

Construction 1H09E7FCS4

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

Mentions

wikipedia: Wikipedia Runcinated tesseracts#J5CI, Construction (definition)

History

2026-11-02: add by m2/dev

1H0FXWTGZ3 1H0FXWTGZ3

URI	`m2://inv/1H0FXWTGZ3`
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.05696#UTHW (statement). In MG81A9XJTQ/e1, theorem VI.1

History

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

1H0HTKDQZ4 1H0HTKDQZ4

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

Mentions

arxiv: arXiv 2610.20760#50CK (statement). In 6G9JSJ5JMP/e1, corollary 32

History

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

1H0XNE6S82 1H0XNE6S82

URI	`m2://inv/1H0XNE6S82`
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.26337#E0GL (statement)

History

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

1H0ZTJQ7P4 1H0ZTJQ7P4

URI	`m2://inv/1H0ZTJQ7P4`
Kind	statement
Layer	research
MSC	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 2406.06762#Q1FR (statement). In J99PFFJXPE/e1, proposition 4.5

History

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

Scritchmus 1H1136M2MA

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

Mentions

wikipedia: Wikipedia Banburismus#D5RM, Scritchmus (unknown)

History

2026-11-02: add by m2/dev

Benoit B. Mandelbrot 1H148BDDNT

URI	`m2://inv/1H148BDDNT`
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#LA1O, Benoit B. Mandelbrot (topic)

History

2026-11-02: add by m2/dev

Hadamard transform 1H173RBHW6

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

Mentions

wikipedia: Wikipedia List of transforms#GEPV, Hadamard transform (definition)

History

2026-11-02: add by m2/dev

1H17R106CM 1H17R106CM

URI	`m2://inv/1H17R106CM`
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.19535#S2JO (statement). In MJXSE9QR4X/e1, lemma 2.5

History

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

1H1BRTVKWJ 1H1BRTVKWJ

URI	`m2://inv/1H1BRTVKWJ`
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.25457#WPPN (statement)

History

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

1H1K7YH0NY 1H1K7YH0NY

URI	`m2://inv/1H1K7YH0NY`
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.33584#ULJE (example). In 3HFBAWQCA1/e1, example 8.6

History

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

1H1SD9QS8Q 1H1SD9QS8Q

URI	`m2://inv/1H1SD9QS8Q`
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 2401.15490#DWFR (statement). In AAY60GVERS/e1, theorem 3.5

History

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

1H1W4KTHBR 1H1W4KTHBR

URI	`m2://inv/1H1W4KTHBR`
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.13291#Q0D1 (statement). In D16PSAVVWV/e1, corollary 4.2

History

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

1H21MKE02C 1H21MKE02C

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

Mentions

napkin: napkin tex/topology/metric-top.tex#example-12 (example). In RZP28ERRZV, example, section 100.4

History

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

The standard strict nearly K\"ahler six-sphere 1H2AFCN2DE

URI	`m2://inv/1H2AFCN2DE`
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 2610.00078#TJ9E, The standard strict nearly K\"ahler six-sphere (example). In KXYGWSGP9M/e1, example 2.1

History

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

Symmetric convolution 1H2DXTM1RC

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

Mentions

wikipedia: Wikipedia Symmetric convolution, Symmetric convolution (definition). Also Wikidata Q7661304

History

2026-11-02: add by m2/dev

Liouville conjugation on analytic strip spaces 1H2N7SRMK1

URI	`m2://inv/1H2N7SRMK1`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.16094#RYPW, Liouville conjugation on analytic strip spaces (statement). In RHBS9QDHC3/e1, lemma 5.3

History

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

1H2PC0F7A2 1H2PC0F7A2

URI	`m2://inv/1H2PC0F7A2`
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 2610.03231#9JC1 (statement). In 3Y76AQQGF0/e1, lemma B.2

History

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

1H2VD63ZRR 1H2VD63ZRR

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

Mentions

arxiv: arXiv 2610.00914#JEL0 (statement). In TQ9CKHBTWN/e1, lemma 3.7

History

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

Samuel A. Stouffer 1H2VKX1WK5

URI	`m2://inv/1H2VKX1WK5`
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#TX5D, Samuel A. Stouffer (unknown)

History

2026-11-02: add by m2/dev

Max-regret online-to-batch 1H2YYJGXE2

URI	`m2://inv/1H2YYJGXE2`
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.20687#FER8, Max-regret online-to-batch (statement)

History

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

stabilization hypothesis 1H32AJCS38

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

Mentions

wikidata: Wikidata Q60792692, stabilization hypothesis (unknown). Also nLab stabilization hypothesis
wikipedia: Wikipedia Stabilization hypothesis, Stabilization hypothesis (statement). Also Wikidata Q60792692

History

2026-10-26: add by m2/dev

1H33MRC3QS 1H33MRC3QS

URI	`m2://inv/1H33MRC3QS`
Kind	statement
Layer	research
MSC	17-XX, 19-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 2504.00596#BVKR (statement). In F8RC6AENB0/e1, lemma 6.14

History

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

Principle of indifference 1H35VK0JNV

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

Mentions

wikipedia: Wikipedia Principle of indifference, Principle of indifference (statement). Also Wikidata Q1661371

History

2026-11-02: add by m2/dev

Hardy–Littlewood conjectures 1H3CN1YRC2

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

Mentions

wikipedia: Wikipedia Riemann hypothesis#RZ9Y, Hardy–Littlewood conjectures (statement)

History

2026-11-02: add by m2/dev

1H3CW01W12 1H3CW01W12

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

Mentions

arxiv: arXiv 2609.21052#80NN (definition)

History

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

1H3HG7BCSS 1H3HG7BCSS

URI	`m2://inv/1H3HG7BCSS`
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.20028#YE23 (definition)

History

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

List of PSPACE-complete problems 1H3QQQ4TH5

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems, List of PSPACE-complete problems (topic). Also Wikidata Q6593263

History

2026-11-02: add by m2/dev

1H3VJXK110 1H3VJXK110

URI	`m2://inv/1H3VJXK110`
Kind	statement
Layer	research
MSC	11-XX, 19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28677#5OG8 (statement)

History

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

integer programming 1H4094GMS7

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

Mentions

wikidata: Wikidata Q6042592, integer programming (unknown). Also EoM Integer_programming
wikipedia: Wikipedia Integer programming, Integer programming (definition). Also Wikidata Q6042592

History

2026-10-26: add by m2/dev

1H40Y93DH9 1H40Y93DH9

URI	`m2://inv/1H40Y93DH9`
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.20345#8QXU (statement). In WVRRST04WS/e1, lemma 15

History

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

stereographic projection 1H458CA7K2

URI	`m2://inv/1H458CA7K2`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Stereographic projection AXDKKVD18N

Mentions

wikidata: Wikidata Q866099, stereographic projection (unknown). Also MathWorld StereographicProjection, nLab stereographic projection
wikipedia: Wikipedia Stereographic projection, Stereographic projection (definition). Also Wikidata Q866099

History

2026-10-26: add by m2/dev

Theorem (E. Borel) 1H4ARZ5ECV

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

Mentions

wikipedia: Wikipedia Surjection of Fréchet spaces#2PNU, Theorem (E. Borel) (statement)

History

2026-11-02: add by m2/dev

1H4FVGA3S5 1H4FVGA3S5

URI	`m2://inv/1H4FVGA3S5`
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 1910.05504#X9VD (statement). In 6ZR1NC9Z1S/e1, lemma 1.1

History

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

Generalizations 1H4T726R4F

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

Mentions

wikipedia: Wikipedia Euler characteristic#TVO8, Generalizations (statement)

History

2026-11-02: add by m2/dev

Character comparison 1H4VN8XZV6

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

Mentions

arxiv: arXiv 2610.04189#XDS1, Character comparison (statement). In 1KRZ5ACTKE/e1, proposition 4.2

History

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

Anne Lemaître 1H4W8A6SDG

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

Mentions

wikipedia: Wikipedia Anne Lemaître, Anne Lemaître (topic). Also Wikidata Q102302710

History

2026-11-02: add by m2/dev

Independence of the parallel postulate 1H4ZF5WDV6

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

Mentions

wikipedia: Wikipedia List of theorems#T648, Independence of the parallel postulate (definition)

History

2026-11-02: add by m2/dev

1H4ZNB6QCN 1H4ZNB6QCN

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

Mentions

arxiv: arXiv 2610.08633#LRQB (statement). In 7MV7RGDVXF/e1, theorem D

History

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

R. L. Graham 1H552VEHKB

URI	`m2://inv/1H552VEHKB`
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#ODPV, R. L. Graham (topic)

History

2026-11-02: add by m2/dev

Donaldson invariant 1H5BMJQPMF

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

Mentions

wikipedia: Wikipedia Donaldson invariant, Donaldson invariant (definition). Also Wikidata Q140421121

History

2026-11-02: add by m2/dev

1H5EBAZKNR 1H5EBAZKNR

URI	`m2://inv/1H5EBAZKNR`
Kind	example
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.28265#GQDS (example)

History

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

Special cases 1H5FMVDMF4

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

Mentions

wikipedia: Wikipedia Prism (geometry)#SXC0, Special cases (statement)

History

2026-11-02: add by m2/dev

Donald A. Berry 1H5JDAN6W3

URI	`m2://inv/1H5JDAN6W3`
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#9H7M, Donald A. Berry (unknown)

History

2026-11-02: add by m2/dev

Sensitivity analysis 1H62CPM1F9

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

Mentions

wikipedia: Wikipedia List of statistics articles#HAP7, Sensitivity analysis (topic)

History

2026-11-02: add by m2/dev

Examples 1H62GSHFFN

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

Mentions

wikipedia: Wikipedia Galois connection#XAJW, Examples (example)

History

2026-11-02: add by m2/dev

Tukey's test of additivity 1H63HBJJZT

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

Mentions

wikipedia: Wikipedia Tukey's test of additivity, Tukey's test of additivity (definition). Also Wikidata Q7851833

History

2026-11-02: add by m2/dev

Size of the explicit sufficient threshold 1H65YCDP8K

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

Mentions

arxiv: arXiv 2609.22305#S5D0, Size of the explicit sufficient threshold (example). In P6FTXTV09Q/e1, example 5.15

History

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

1H68K4HKDY 1H68K4HKDY

URI	`m2://inv/1H68K4HKDY`
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.16821#LVT7 (statement). In EFSGMHG5BW/e1, lemma 2.1

History

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

Najiba Sbihi 1H6BX4K5EF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GVD1, Najiba Sbihi (topic)

History

2026-11-02: add by m2/dev

1H6HNPJV9X 1H6HNPJV9X

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

Mentions

arxiv: arXiv 2609.28669#0QUL (statement)

History

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

One-step operator bound 1H6JDMK569

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

Mentions

arxiv: arXiv 2609.23098#MAWE, One-step operator bound (statement)

History

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

1H71BH1KHZ 1H71BH1KHZ

URI	`m2://inv/1H71BH1KHZ`
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.16704#ERHA (statement). In Q7CWPC7PXY/e1, proposition 2.1

History

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

1H72JG1ZDD 1H72JG1ZDD

URI	`m2://inv/1H72JG1ZDD`
Kind	conjecture
Layer	research
MSC	05-XX, 11-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 2609.25168#WK6P (conjecture)

History

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

1H73TR8C1H 1H73TR8C1H

URI	`m2://inv/1H73TR8C1H`
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.18226#VMP0 (statement). In B3EHT1FRM5/e1, theorem 1.2

History

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

1H784CTG2T 1H784CTG2T

URI	`m2://inv/1H784CTG2T`
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 2006.12475#58E7 (statement). In 8YWBGQQGA3/e1, corollary 1

History

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

1H78YTTMZR 1H78YTTMZR

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

Mentions

arxiv: arXiv 2610.02495#AFPE (statement). In T4S7XVAJJC/e1, proposition 13.1

History

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

Discrete cosine transform 1H7BY32D03

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

Mentions

wikipedia: Wikipedia Discrete cosine transform, Discrete cosine transform (definition). Also Wikidata Q2877

History

2026-11-02: add by m2/dev

Master theorem, infinite horizon 1H7CQCWN7W

URI	`m2://inv/1H7CQCWN7W`
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.12713#2RCF, Master theorem, infinite horizon (statement). In F14A5HX20Q/e1, theorem 6.3

History

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

Isomorphism extension theorem 1H7F65A4MY

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

Mentions

wikipedia: Wikipedia List of theorems#C7QZ, Isomorphism extension theorem (statement)

History

2026-11-02: add by m2/dev

Newton backward formula 1H7N4AXDYK

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

Mentions

wikipedia: Wikipedia Polynomial interpolation#3GPJ, Newton backward formula (statement)

History

2026-11-02: add by m2/dev

longest side 1H7PDBJV3Y

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

Mentions

lebl_ra: lebl_ra index/5.1.4/longest-side, longest side (concept). In E59CDZA4DP, index, section 5.1.4

History

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

Virial identity 1H7TQS8JKM

URI	`m2://inv/1H7TQS8JKM`
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.02933#LMDK, Virial identity (statement). In QSYZKPFRAN/e1, lemma 2.5

History

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

1H81ZM91CY 1H81ZM91CY

URI	`m2://inv/1H81ZM91CY`
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.06556#RDZJ (statement). In KW8C7VE9XR/e1, lemma 30

History

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

Elementary Number Theory, Group Theory and Ramanujan Graphs 1H86CJQXRG

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

Mentions

wikipedia: Wikipedia Elementary Number Theory, Group Theory and Ramanujan Graphs, Elementary Number Theory, Group Theory and Ramanujan Graphs (definition). Also Wikidata Q104829658

History

2026-11-02: add by m2/dev

1H8A5FCEZN 1H8A5FCEZN

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

Mentions

arxiv: arXiv 2610.17875#GUSO (statement). In AQX7DGD360/e1, theorem 1.4

History

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

1H8DB4QYPW 1H8DB4QYPW

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

Mentions

arxiv: arXiv 2610.21181#AXIX (statement). In 3D0GJXDY11/e1, lemma 3.2

History

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

Löb's theorem 1H8EW7DXMF

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

Mentions

wikipedia: Wikipedia Glossary of logic#8WQG, Löb's theorem (definition)

History

2026-11-02: add by m2/dev

James Lewin McGregor 1H8HM0KWTB

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

Mentions

wikipedia: Wikipedia James Lewin McGregor, James Lewin McGregor (topic). Also Wikidata Q6138024

History

2026-11-02: add by m2/dev

1H8J748V2A 1H8J748V2A

URI	`m2://inv/1H8J748V2A`
Kind	statement
Layer	research
MSC	05-XX, 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.05179#18C1 (statement). In 9EMCPF1F2T/e1, theorem 29

History

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

1H8T54KF4Q 1H8T54KF4Q

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

Mentions

arxiv: arXiv 2609.27056#9WY9 (statement)

History

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

Basel problem 1H8XE4F69A

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

Mentions

wikipedia: Wikipedia List of theorems#KGX9, Basel problem (problem)

History

2026-11-02: add by m2/dev

1H8YEDDWBA 1H8YEDDWBA

URI	`m2://inv/1H8YEDDWBA`
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.11395#9WZX (statement). In T3W7SMWQ73/e1, lemma 38

History

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

Herbert Busemann 1H9BJXX2P4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RDIU, Herbert Busemann (topic)

History

2026-11-02: add by m2/dev

Existence 1H9DC1YZYW

URI	`m2://inv/1H9DC1YZYW`
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.38031#20CA, Existence (statement). In RYSPG5TWYM/e1, theorem 4.1

History

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

Rotational work 1H9G05PNWB

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

Mentions

wikipedia: Wikipedia Work (physics)#SPVY, Rotational work (unknown)

History

2026-11-02: add by m2/dev

1H9HNET5B1 1H9HNET5B1

URI	`m2://inv/1H9HNET5B1`
Kind	problem
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#22W4 (problem). In RTW3GDYPND/e1, problem 2

History

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

An explicit period without successor periods 1H9KAT6QPA

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

Mentions

arxiv: arXiv 2610.06925#9CK3, An explicit period without successor periods (statement). In P0NV7337EK/e1, proposition 3.4

History

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

1H9KQ4VXQJ 1H9KQ4VXQJ

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

Mentions

austin_ula: austin_ula src/section6-3.xml#activity-3 (exercise). In 649HGZKE96, activity, section 6.3.3

History

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

Principle of least action 1H9N44RZH7

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

Mentions

wikipedia: Wikipedia Analytical mechanics#4CVY, Principle of least action (statement)

History

2026-11-02: add by m2/dev

1H9SSNPFZZ 1H9SSNPFZZ

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

Mentions

arxiv: arXiv 0810.2160#PKMU (example). In 3HYJ46TKX9/e1, example 2

History

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

1H9V7452W9 1H9V7452W9

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

Mentions

arxiv: arXiv 2609.27617#FDND (statement)

History

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

Applications 1H9VQ3FQC1

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

Mentions

wikipedia: Wikipedia Smoothed finite element method#9BKF, Applications (example)

History

2026-11-02: add by m2/dev

Leo Corry 1H9Z5H5BK5

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

Mentions

wikipedia: Wikipedia Leo Corry, Leo Corry (topic). Also Wikidata Q1410723

History

2026-11-02: add by m2/dev

Properties 1HA0DB9K63

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

Mentions

wikipedia: Wikipedia Uniform continuity#ZRFA, Properties (statement)

History

2026-11-02: add by m2/dev

Warsaw circle 1HA5KXVHEC

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

Mentions

wikidata: Wikidata Q130580931, Warsaw circle (unknown). Also nLab Warsaw circle

History

2026-10-26: add by m2/dev

1HA6BW7H5R 1HA6BW7H5R

URI	`m2://inv/1HA6BW7H5R`
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 2609.28195#NF27 (statement)

History

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

Relationship to Cayley's theorem 1HAB56MH5T

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

Mentions

wikipedia: Wikipedia Yoneda lemma#JC1U, Relationship to Cayley's theorem (statement)

History

2026-11-02: add by m2/dev

probability space 1HAC2AEWG6

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#42H4, probability space (definition)

History

2026-11-02: add by m2/dev

Gain operator 1HAE3SP0JT

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

Mentions

arxiv: arXiv 2610.08764#YCSM, Gain operator (definition). In QVFHS1C9BW/e1, definition \thethrm

History

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

Carnot's theorem 1HAGMAFMVD

URI	`m2://inv/1HAGMAFMVD`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1141747, Carnot's theorem (inradius, circumradius) (statement). Also Wikidata Q1141747
thousand_plus: thousand_plus Q1141747, Carnot's theorem (statement). Also Wikidata Q1141747, Wikipedia Carnot's theorem (inradius, circumradius)
wikidata: Wikidata Q1141747, Carnot's theorem (statement). Also MathWorld CarnotsTheorem
wikipedia: Wikipedia Carnot's theorem (inradius, circumradius), Carnot's theorem (statement). Also Wikidata Q1141747

History

2026-10-26: add by m2/dev

1HAJJWQ566 1HAJJWQ566

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

Mentions

arxiv: arXiv 2609.39293#VEHG (definition). In S26QVW5613/e1, definition A.3.1

History

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

Tonelli 1HANF8FF2D

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-50, Tonelli (statement). In VNMV985MXX, thm, section E.1

History

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

Statistics Botswana 1HAT89JQ8T

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

Mentions

wikipedia: Wikipedia Statistics Botswana, Statistics Botswana (definition). Also Wikidata Q55741003

History

2026-11-02: add by m2/dev

1HATHFDXS3 1HATHFDXS3

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

Mentions

hott_book: hott_book reals.tex#proof-19 (proof). In N54F33XE07, proof, section B.3.2

History

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

Carlitz–Wan conjecture 1HB1502YNZ

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

Mentions

wikipedia: Wikipedia Carlitz–Wan conjecture, Carlitz–Wan conjecture (statement). Also Wikidata Q25305404

History

2026-11-02: add by m2/dev

Formal definition 1HB2TXPN3V

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

Mentions

wikipedia: Wikipedia Voronoi diagram#BIAL, Formal definition (definition)

History

2026-11-02: add by m2/dev

Examples 1HB3KEZDCV

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

Mentions

wikipedia: Wikipedia Homotopical connectivity#4P0S, Examples (example)

History

2026-11-02: add by m2/dev

1HB9MAJ7DN 1HB9MAJ7DN

URI	`m2://inv/1HB9MAJ7DN`
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.16886#X7GY (statement). In Y8QQAH7VCF/e1, theorem 3.6

History

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

1HBPAASGRF 1HBPAASGRF

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

Mentions

arxiv: arXiv 2610.06152#T2OC (definition). In HH35K7S17H/e1, definition 6.2

History

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

remainder 1HBPDZPJQT

URI	`m2://inv/1HBPDZPJQT`
Kind	definition
Layer	textbook
MSC	54D40
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q846677, remainder (topic). Also MathWorld Remainder
wikipedia: Wikipedia Remainder, Remainder (definition). Also Wikidata Q846677

History

2026-10-26: add by m2/dev

measurement based Quantum Computing 1HBR1NTD5W

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#5THH, measurement based Quantum Computing (unknown)

History

2026-11-02: add by m2/dev

1HBTT9QHW6 1HBTT9QHW6

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

Mentions

arxiv: arXiv 2609.31523#S6JD (statement). In 2BET1RE1F6/e1, proposition 4.7

History

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

Scientific formalism 1HBVTJ7W7X

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

Mentions

wikipedia: Wikipedia Scientific formalism, Scientific formalism (definition). Also Wikidata Q7433802

History

2026-11-02: add by m2/dev

η 1HC1ADHJMN

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

Mentions

wikipedia: Wikipedia Glossary of set theory#QOTL, η (definition)

History

2026-11-02: add by m2/dev

pentagram 1HC815QYYW

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

Mentions

wikidata: Wikidata Q182186, pentagram (unknown). Also MathWorld Pentagram
wikipedia: Wikipedia Pentagram, Pentagram (definition). Also Wikidata Q182186

History

2026-10-26: add by m2/dev

Weibull modulus 1HC8T6QMAV

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

Mentions

wikipedia: Wikipedia List of statistics articles#3RRP, Weibull modulus (definition)

History

2026-11-02: add by m2/dev

Orthogonal polynomials on the unit circle 1HCC887HWS

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

Mentions

wikipedia: Wikipedia Orthogonal polynomials on the unit circle, Orthogonal polynomials on the unit circle (definition). Also Wikidata Q7104532

History

2026-11-02: add by m2/dev

1HCJC12B4K 1HCJC12B4K

URI	`m2://inv/1HCJC12B4K`
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#JZCD (statement). In E7W2HDNEKJ/e1, theorem 6.16

History

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

1HCVJW82BH 1HCVJW82BH

URI	`m2://inv/1HCVJW82BH`
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.19921#L7NA (statement)

History

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

1HCXAYXVCR 1HCXAYXVCR

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 7.2.5

History

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

Example 1HDENH0SHD

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

Mentions

wikipedia: Wikipedia Strategy-stealing argument#444E, Example (example)

History

2026-11-02: add by m2/dev

informal) Path-dependent induced geometry 1HDGXH0RZ0

URI	`m2://inv/1HDGXH0RZ0`
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.02528#JS5S, informal) Path-dependent induced geometry (statement). In 5FQHVY6RXK/e1, theorem 3

History

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

1HDP549968 1HDP549968

URI	`m2://inv/1HDP549968`
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.24853#X0OO (statement)

History

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

1HDSJ44ZXF 1HDSJ44ZXF

URI	`m2://inv/1HDSJ44ZXF`
Kind	example
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.24795#OYVY (example)

History

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

1HDX4CDA4P 1HDX4CDA4P

URI	`m2://inv/1HDX4CDA4P`
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.19658#7EBE (statement). In G00EYA9DXG/e1, corollary 5.2

History

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

Moduli of algebraic curves 1HDZ8V9T5K

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

Mentions

wikipedia: Wikipedia Moduli of algebraic curves, Moduli of algebraic curves (definition). Also Wikidata Q6889798

History

2026-11-02: add by m2/dev

Realizability of the gluing model 1HE24FE6JH

URI	`m2://inv/1HE24FE6JH`
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.21131#VEYB, Realizability of the gluing model (statement). In CPYWHRTPKC/e1, theorem 7.32

History

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

1HECQB95CW 1HECQB95CW

URI	`m2://inv/1HECQB95CW`
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.04809#PK7U (statement). In 2VHV0RNTNV/e1, theorem 9.11

History

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

Example 1HEJDFE4NB

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

Mentions

wikipedia: Wikipedia Redundant proof#5CMP, Example (example)

History

2026-11-02: add by m2/dev

1HERKVTNHA 1HERKVTNHA

URI	`m2://inv/1HERKVTNHA`
Kind	statement
Layer	research
MSC	05-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.39593#7GNQ (statement). In BF0RYHPMS1/e1, theorem 2.8

History

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

1HERY2NJD3 1HERY2NJD3

URI	`m2://inv/1HERY2NJD3`
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.38051#6FAA (statement). In 81CGKD8RTP/e1, theorem 3

History

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

1HESWPEZ38 1HESWPEZ38

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

Mentions

arxiv: arXiv 2610.01802#UBJL (example). In XGPZ0G9E1Q/e1, example 8.6

History

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

Jasper Hugunin 1HEXFAPRSM

URI	`m2://inv/1HEXFAPRSM`
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 1904.09810#203R, Jasper Hugunin (statement). In T1VFA7TXPA/e1, theorem 73

History

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

CHAMP 1HF5NK4VG8

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

Mentions

wikipedia: Wikipedia CHAMP (mathematics outreach program), CHAMP (definition). Also Wikidata Q104849224

History

2026-11-02: add by m2/dev

1HF5PVDNGJ 1HF5PVDNGJ

URI	`m2://inv/1HF5PVDNGJ`
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.15877#WABG (definition). In F3W750X9N6/e1, definition 2.9

History

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

flips 1HF5V01G2X

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#IUJS, flips (definition)

History

2026-11-02: add by m2/dev

Relative risk reduction 1HFCDGHAFE

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

Mentions

wikipedia: Wikipedia List of statistics articles#EBLI, Relative risk reduction (definition)

History

2026-11-02: add by m2/dev

function 1HFERFJXMP

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#QLA8, function (definition)

History

2026-11-02: add by m2/dev

Mandelbrot set 1HFPTKYRPF

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#RIWA, Mandelbrot set (topic)
wikipedia: Wikipedia List of dynamical systems and differential equations topics#GQKI, Mandelbrot set (topic)

History

2026-11-02: add by m2/dev

1HFPZ90M3Q 1HFPZ90M3Q

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

Mentions

arxiv: arXiv 2609.35027#P023 (statement). In MEA7NHMQKB/e1, lemma 3.2

History

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

1HFQV98KMC 1HFQV98KMC

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

Mentions

arxiv: arXiv 2610.17547#4937 (definition). In XJ59TDP4HA/e1, definition 2.8

History

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

Tabular critic upper bound, detailed form 1HFS5QCKTN

URI	`m2://inv/1HFS5QCKTN`
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.04117#CENY, Tabular critic upper bound, detailed form (statement). In 65E9N3DFYP/e1, lemma C.2

History

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

Example 1HFVR37XT0

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

Mentions

wikipedia: Wikipedia System of imprimitivity#8C3C, Example (example)

History

2026-11-02: add by m2/dev

B 1HFZ3MC61P

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

Mentions

wikipedia: Wikipedia Glossary of set theory#FQAD, B (definition)

History

2026-11-02: add by m2/dev

1HGEZ8PPZN 1HGEZ8PPZN

URI	`m2://inv/1HGEZ8PPZN`
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.21682#ZGR9 (statement)

History

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

1HGMT7WNBR 1HGMT7WNBR

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

Mentions

arxiv: arXiv 2609.28289#46S4 (statement)

History

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

One-window continuation 1HH1HN615T

URI	`m2://inv/1HH1HN615T`
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.02721#7MRW, One-window continuation (statement). In XXFYVDVPPE/e1, proposition 4.5

History

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

Valentin Asmus 1HH1WZNGDW

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

Mentions

wikipedia: Wikipedia Valentin Asmus (philosopher), Valentin Asmus (topic). Also Wikidata Q731904

History

2026-11-02: add by m2/dev

Conjecture 2 1HH27SQ7BN

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

Mentions

wikipedia: Wikipedia Gil Kalai#171B, Conjecture 2 (statement)

History

2026-11-02: add by m2/dev

1HH4ZGCVG3 1HH4ZGCVG3

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

Mentions

arxiv: arXiv 2610.05986#QVB8 (statement). In N5ZM8MXJXH/e1, lemma B.6

History

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

1HHA0CY4XR 1HHA0CY4XR

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

Mentions

arxiv: arXiv 2609.25915#WRQC (definition)

History

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

1HHB7KFPDG 1HHB7KFPDG

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

Mentions

arxiv: arXiv 2208.06310#1ZIN (definition). In 9YR0E0T9XA/e1, definition

History

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

1HHBGYQFPN 1HHBGYQFPN

URI	`m2://inv/1HHBGYQFPN`
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.20225#NIFM (statement)

History

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

Singular function 1HHCRSNEZW

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

Mentions

wikipedia: Wikipedia List of types of functions#O0JU, Singular function (definition)

History

2026-11-02: add by m2/dev

1HHE8VGGV9 1HHE8VGGV9

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

Mentions

arxiv: arXiv 2610.12810#P248 (statement). In DR35633CPN/e1, proposition 2.2

History

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

Ostilio Ricci 1HHGZGMHWR

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

Mentions

wikipedia: Wikipedia Ostilio Ricci, Ostilio Ricci (topic). Also Wikidata Q926531

History

2026-11-02: add by m2/dev

The entire invariant radical 1HHRTW1XSF

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

Mentions

arxiv: arXiv 2609.38212#GC1R, The entire invariant radical (statement). In 5821K2RD8J/e1, proposition 4.2

History

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

Small next-block pseudoentropy gap gives samplers 1HHS3DF6PD

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

Mentions

arxiv: arXiv 2610.14615#MIGO, Small next-block pseudoentropy gap gives samplers (statement). In 7D5MMP8XB5/e1, lemma 3.5

History

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

Edward Rowe Mores 1HHYX7FKNE

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

Mentions

wikipedia: Wikipedia List of actuaries#D87J, Edward Rowe Mores (unknown)

History

2026-11-02: add by m2/dev

List of tessellations 1HJ0TYBZ00

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

Mentions

wikipedia: Wikipedia List of tessellations, List of tessellations (topic). Also Wikidata Q48805305

History

2026-11-02: add by m2/dev

Collapsing algebra 1HJV11NWSG

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

Mentions

wikipedia: Wikipedia Collapsing algebra, Collapsing algebra (definition). Also Wikidata Q18348285

History

2026-11-02: add by m2/dev

1HK0QGHSCK 1HK0QGHSCK

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

Mentions

levin_dmoi: levin_dmoi ptx/ch_graphtheory.ptx#example-1 (example). In Y91XFCEVHQ, example, section 5

History

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

1HK0TH43P8 1HK0TH43P8

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

Mentions

arxiv: arXiv 2605.02634#AXAI (statement). In EZ6PAF0MXH/e1, lemma 5.7

History

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

Sujit Sahu 1HK8SQDRZ3

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

Mentions

wikipedia: Wikipedia Sujit Sahu, Sujit Sahu (topic). Also Wikidata Q102394857

History

2026-11-02: add by m2/dev

Equivocation 1HK974CR6F

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

Mentions

wikipedia: Wikipedia List of fallacies#GZRO, Equivocation (definition)

History

2026-11-02: add by m2/dev

Steric tesseractic honeycomb 1HKB0HNPPW

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

Mentions

wikipedia: Wikipedia Steric tesseractic honeycomb, Steric tesseractic honeycomb (definition). Also Wikidata Q17078382

History

2026-11-02: add by m2/dev

Proportionality bias 1HKK8PTRPK

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

Mentions

wikipedia: Wikipedia List of cognitive biases#3Q43, Proportionality bias (unknown)

History

2026-11-02: add by m2/dev

1HKTEYFKVA 1HKTEYFKVA

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

Mentions

hott_book: hott_book hits.tex#proof-12 (proof). In N54F33XE07, proof, section 5.5

History

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

Definition 1HKWHGV2KQ

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

Mentions

wikipedia: Wikipedia Padé approximant#9JKW, Definition (definition)

History

2026-11-02: add by m2/dev

1HM07YG1R5 1HM07YG1R5

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

Mentions

arxiv: arXiv 2610.10860#SGTK (statement). In PBYNV2WF2H/e1, proposition 5.3

History

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

1HM28ZW2KH 1HM28ZW2KH

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

Mentions

arxiv: arXiv 2609.35543#M9ZC (statement). In WSG1ZW956E/e1, lemma 6.8

History

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

Generalizations 1HM46K10V8

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

Mentions

wikipedia: Wikipedia 0.999...#TJX7, Generalizations (statement)

History

2026-11-02: add by m2/dev

Soundness 1HM5NM8QA5

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/soundness.tex#thm:soundness, Soundness (statement). In PKGMM3P5QY, thm, section 62.8

History

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

1HMB8YG5QP 1HMB8YG5QP

URI	`m2://inv/1HMB8YG5QP`
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.12329#V99B (statement). In ZJQB9W60T6/e1, lemma 5.5

History

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

Approximate Busemann functions 1HMD8QQQ18

URI	`m2://inv/1HMD8QQQ18`
Kind	definition
Layer	research
MSC	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.10051#XCQZ, Approximate Busemann functions (definition). In VCHH2AC34R/e1, definition 3.13

History

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

Combinatorial matrix theory 1HMP597X3A

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

Mentions

wikipedia: Wikipedia Combinatorial matrix theory, Combinatorial matrix theory (definition). Also Wikidata Q60791559

History

2026-11-02: add by m2/dev

Hall–Witt identity 1HMS2N1HV8

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

Mentions

wikipedia: Wikipedia List of things named after Ernst Witt#VB2X, Hall–Witt identity (statement)

History

2026-11-02: add by m2/dev

Notation 1HN001G9ZR

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

Mentions

wikipedia: Wikipedia Inner product space#QOWK, Notation (definition)

History

2026-11-02: add by m2/dev

1HN5EJVMQN 1HN5EJVMQN

URI	`m2://inv/1HN5EJVMQN`
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.23362#BQAL (statement)

History

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

Kleene's Normal Form Theorem 1HNAJMKEEE

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

Mentions

open_logic: open_logic content/computability/recursive-functions/normal-form.tex#thm:kleene-nf, Kleene's Normal Form Theorem (statement). In PKGMM3P5QY, thm, section 3.25

History

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

Poincaré series (modular form) 1HNEXKM0X2

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#1HUA, Poincaré series (modular form) (definition)

History

2026-11-02: add by m2/dev

Opposite oracle rare-risk orderings 1HNFFJ9FMS

URI	`m2://inv/1HNFFJ9FMS`
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.16845#9I81, Opposite oracle rare-risk orderings (statement). In 5BHBZF91HS/e1, theorem 3.1

History

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

Methods of analytic number theory 1HNS6HP7MF

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

Mentions

wikipedia: Wikipedia Analytic number theory#MCGB, Methods of analytic number theory (definition)

History

2026-11-02: add by m2/dev

S wave 1HNVBVVNPX

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

Mentions

wikipedia: Wikipedia S wave, S wave (definition). Also Wikidata Q2053186

History

2026-11-02: add by m2/dev

1HP3ZNSF31 1HP3ZNSF31

URI	`m2://inv/1HP3ZNSF31`
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 2406.07116#G3E6 (statement). In 5B030CB2RK/e1, proposition 7.6

History

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

God's algorithm 1HP9DQ71A3

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

Mentions

wikipedia: Wikipedia God's algorithm, God's algorithm (definition). Also Wikidata Q951050

History

2026-11-02: add by m2/dev

Abstract polytope 1HPESG6SFC

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#ED5L, Abstract polytope (object)

History

2026-11-02: add by m2/dev

improper fraction 1HPEW5Z72A

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

Mentions

wikipedia: Wikipedia Glossary of calculus#YS22, improper fraction (definition)

History

2026-11-02: add by m2/dev

Finite-field Gauss-sum magnitude 1HPFJYDR6G

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

Mentions

arxiv: arXiv 2610.10583#BNBQ, Finite-field Gauss-sum magnitude (statement). In 5BZQS1KY9A/e1, lemma 5.1

History

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

Generalizations 1HPFSHQP6W

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

Mentions

wikipedia: Wikipedia Variance#XP3Q, Generalizations (statement)

History

2026-11-02: add by m2/dev

Hyperplane bundle 1HPREYX7DJ

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

Mentions

wikipedia: Wikipedia Tautological bundle#WYGT, Hyperplane bundle (unknown)

History

2026-11-02: add by m2/dev

Exact relation to the kernel 1HPRW3C6GD

URI	`m2://inv/1HPRW3C6GD`
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#5LD4, Exact relation to the kernel (statement)

History

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

1HPSED97NT 1HPSED97NT

URI	`m2://inv/1HPSED97NT`
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.31276#EP2Y (statement). In WYDHWYFRFK/e1, lemma 3.10

History

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

Pathwise strong trace on a degenerate interval 1HPZSP2JPN

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

Mentions

arxiv: arXiv 2609.20735#S3XS, Pathwise strong trace on a degenerate interval (statement)

History

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

Pierre-Arnaud Raviart 1HQ5RXFXK9

URI	`m2://inv/1HQ5RXFXK9`
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#RJAD, Pierre-Arnaud Raviart (unknown)

History

2026-11-02: add by m2/dev

1HQ9EZ4GKV 1HQ9EZ4GKV

URI	`m2://inv/1HQ9EZ4GKV`
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.35682#R23E (statement). In 7XM8WXVBWK/e1, corollary 3.7

History

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

Game without a value 1HQDTAWTGY

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

Mentions

wikipedia: Wikipedia Game without a value, Game without a value (definition). Also Wikidata Q5419308

History

2026-11-02: add by m2/dev

1HQF6DW1QD 1HQF6DW1QD

URI	`m2://inv/1HQF6DW1QD`
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.07445#DSEX (definition). In F1BM3Q8125/e1, definition 2.7

History

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

1HQM5T1RXH 1HQM5T1RXH

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

Mentions

arxiv: arXiv 2610.06310#SRHX (statement). In WR5S1V9V8J/e1, proposition 6.3

History

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

1HQTWHDM36 1HQTWHDM36

URI	`m2://inv/1HQTWHDM36`
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 2609.21403#L0A4 (definition)

History

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

1HRA6MH1VQ 1HRA6MH1VQ

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

Mentions

arxiv: arXiv 2609.31269#7V6J (statement). In ZPT9XCCAPQ/e1, lemma 2.1.5

History

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

Geoffrey H. Moore 1HRPMZYF82

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

Mentions

wikipedia: Wikipedia Geoffrey H. Moore, Geoffrey H. Moore (topic). Also Wikidata Q24680526

History

2026-11-02: add by m2/dev

1HRS3NJC6B 1HRS3NJC6B

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 8.3.3

History

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

1HRY658VZ3 1HRY658VZ3

URI	`m2://inv/1HRY658VZ3`
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.19288#38QD (statement). In 1EA6AM9V01/e1, theorem 1.2

History

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

1HS0QBEFYR 1HS0QBEFYR

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

Mentions

arxiv: arXiv 2609.31274#V9D4 (statement). In RK0ZMDJ23T/e1, lemma 2.2.13

History

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

Bhargav Bhatt 1HS1GYGNX9

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#ZHD7, Bhargav Bhatt (topic)

History

2026-11-02: add by m2/dev

1HS5CFGNXX 1HS5CFGNXX

URI	`m2://inv/1HS5CFGNXX`
Kind	statement
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 2609.28411#ZISJ (statement)

History

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

The finite field of nine elements 1HSBYM0E9Y

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#example-2, The finite field of nine elements (example). In RZP28ERRZV, example, section 12.1

History

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

A truncation estimate 1HSNS0KFT7

URI	`m2://inv/1HSNS0KFT7`
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.24716#38C1, A truncation estimate (statement)

History

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

1HSQ8VJ1AY 1HSQ8VJ1AY

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-25 (proof). In E59CDZA4DP, proof, section 10.5.3

History

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

1HSVVF9HXV 1HSVVF9HXV

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

Mentions

arxiv: arXiv 1002.0879#7MHV (statement). In M0SQY5EZN5/e1, corollary 2.7.6

History

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

1HT4ADNCV5 1HT4ADNCV5

URI	`m2://inv/1HT4ADNCV5`
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#TPMJ (statement). In KZ175036B5/e1, lemma 3.4

History

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

enveloping algebra 1HT9B281PS

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#WQ42, enveloping algebra (definition)

History

2026-11-02: add by m2/dev

Full-rankness 1HTGYVMG5D

URI	`m2://inv/1HTGYVMG5D`
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.11210#K4SW, Full-rankness (statement). In CRFDGFZHBF/e1, theorem 8.5

History

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

Theorem 1HTPNH2FHG

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

Mentions

wikipedia: Wikipedia Median voter theorem#ZLAB, Theorem (statement)

History

2026-11-02: add by m2/dev

1HTZCRJ16Q 1HTZCRJ16Q

URI	`m2://inv/1HTZCRJ16Q`
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 0807.1652#X9N7 (statement). In 6RC18PTSTT/e1, theorem 3

History

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

1HTZM0TM8Q 1HTZM0TM8Q

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-4 (example). In E9HS8K3A52, example, section 10.2.4

History

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

1HV5T1BDV1 1HV5T1BDV1

URI	`m2://inv/1HV5T1BDV1`
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 math/0003117#0WFO (statement). In WD2NCBV9F0/e1, lemma 21.12

History

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

1HV6T40XXZ 1HV6T40XXZ

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

Mentions

arxiv: arXiv 2505.10801#L1PK (statement). In BWJS3H55WH/e1, corollary 3

History

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

1HV8GP46ZA 1HV8GP46ZA

URI	`m2://inv/1HV8GP46ZA`
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.19658#TO3O (statement). In G00EYA9DXG/e1, theorem 9.1

History

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

Formal definition 1HVBZHZ6P9

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

Mentions

wikipedia: Wikipedia Graph dynamical system#VMSW, Formal definition (definition)

History

2026-11-02: add by m2/dev

Sharp convergence threshold 1HVES8J6X7

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

Mentions

arxiv: arXiv 2610.09912#4NKW, Sharp convergence threshold (statement). In 65TJENWK7X/e1, theorem 2

History

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

1HVVBRY9AK 1HVVBRY9AK

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

History

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

Florence Goodenough 1HW3NP10AT

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

Mentions

wikipedia: Wikipedia Florence Goodenough, Florence Goodenough (topic). Also Wikidata Q466219

History

2026-11-02: add by m2/dev

Journal of the Royal Statistical Society Series A: Statistics in Society 1HW43MJYCV

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

Mentions

wikipedia: Wikipedia Journal of the Royal Statistical Society#VH0D, Journal of the Royal Statistical Society Series A: Statistics in Society (unknown)

History

2026-11-02: add by m2/dev

1HWGY6BRN8 1HWGY6BRN8

URI	`m2://inv/1HWGY6BRN8`
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#AUHZ (statement). In 672XAVEQ34/e1, lemma 5.10

History

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

1HWMPR23HH 1HWMPR23HH

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

Mentions

arxiv: arXiv 2609.32729#GGZA (definition). In PGJ37WRB1K/e1, definition

History

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

1HWP4CFT4A 1HWP4CFT4A

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

Mentions

arxiv: arXiv 2610.20801#JSYX (definition). In A1GWWGRXPA/e1, definition 5.23

History

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

1HWRSENMX1 1HWRSENMX1

URI	`m2://inv/1HWRSENMX1`
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.35682#J5NH (statement). In 7XM8WXVBWK/e1, theorem 1.1

History

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

Theorem 1HWWF890F2

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

Mentions

wikipedia: Wikipedia Block design#8F85, Theorem (statement)

History

2026-11-02: add by m2/dev

1HXJWKT1Y1 1HXJWKT1Y1

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-69 (exercise). In E9HS8K3A52, exercise, section 6.5.4

History

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

Quantitative partial slope stability 1HXNVTJSAT

URI	`m2://inv/1HXNVTJSAT`
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.05652#SBZH, Quantitative partial slope stability (statement). In 8BNPFYQDQX/e1, theorem 1.8

History

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

1HXSXPQJTJ 1HXSXPQJTJ

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

Mentions

arxiv: arXiv 2609.33590#95AE (statement). In WRE0P7V6Z3/e1, lemma 10.4

History

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

1HXT09SGFE 1HXT09SGFE

URI	`m2://inv/1HXT09SGFE`
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 2511.17751#RLDN (statement). In J39X0NB31S/e1, theorem 7.8

History

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

1HXWK9W912 1HXWK9W912

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

Mentions

napkin: napkin tex/H113/quotient.tex#proof-1 (proof). In RZP28ERRZV, proof, section 3.2

History

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

rigor (rigour) 1HXWNHG8TW

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#O22Q, rigor (rigour) (definition)

History

2026-11-02: add by m2/dev

1HY2ANQC26 1HY2ANQC26

URI	`m2://inv/1HY2ANQC26`
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.00144#2MKI (statement). In HAZGBX88B3/e1, theorem 2

History

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

Fundamental theorem of calculus 1HY388DDGD

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

Mentions

wikipedia: Wikipedia List of theorems#3I5Q, Fundamental theorem of calculus (statement)

History

2026-11-02: add by m2/dev

Blossom algorithm 1HY552XKP4

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

Mentions

wikipedia: Wikipedia List of algorithms#A7BX, Blossom algorithm (definition)

History

2026-11-02: add by m2/dev

1HY5A7BGJ5 1HY5A7BGJ5

URI	`m2://inv/1HY5A7BGJ5`
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.34522#XLI0 (statement). In 1HJGW3Z6Q8/e1, theorem 1.1

History

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

Rubik's Clock 1HY5WNSF5H

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

Mentions

wikidata: Wikidata Q1759004, Rubik's Clock (unknown). Also MathWorld RubiksClock

History

2026-10-26: add by m2/dev

TI 89 Titanium 1HY7YB5V6G

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

Mentions

wikipedia: Wikipedia TI-89 series#968O, TI 89 Titanium (unknown)

History

2026-11-02: add by m2/dev

1HY8V7WTGP 1HY8V7WTGP

URI	`m2://inv/1HY8V7WTGP`
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 2609.40207#UXCK (definition). In JXTG8KP95P/e1, definition 2.22

History

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

1HY9DPT0KV 1HY9DPT0KV

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

Mentions

arxiv: arXiv 2609.30648#3HUA (statement). In 2P83KYQCMA/e1, lemma 17

History

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

Properties 1HYAQSKQRF

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

Mentions

wikipedia: Wikipedia Direct image functor#ANXT, Properties (statement)

History

2026-11-02: add by m2/dev

Ultrahyperbolic equation 1HYC1CKZWQ

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

Mentions

wikipedia: Wikipedia Ultrahyperbolic equation, Ultrahyperbolic equation (definition). Also Wikidata Q17097801

History

2026-11-02: add by m2/dev

W. Edwards Deming 1HYDK9Q3JW

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#XPHR, W. Edwards Deming (topic)

History

2026-11-02: add by m2/dev

Properties 1HYG6H996W

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

Mentions

wikipedia: Wikipedia Null semigroup#U3PB, Properties (statement)

History

2026-11-02: add by m2/dev

residual representation 1HYGCG8HCZ

URI	`m2://inv/1HYGCG8HCZ`
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.17678#JQIZ, residual representation (statement). In V753EAWQ3S/e1, corollary 3.3

History

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

Winter's second $\mathcal Z$-stability theorem 1HYNJR1K25

URI	`m2://inv/1HYNJR1K25`
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#S9OT, Winter's second $\mathcal Z$-stability theorem (statement). In 7SSKW778T8/e1, theorem

History

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

1HYTR0TFY4 1HYTR0TFY4

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

Mentions

arxiv: arXiv 2108.11265#DVY2 (example). In GEYKEPZ8WF/e1, example A.1

History

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

Unknown variance and original distance 1HYV67PQW5

URI	`m2://inv/1HYV67PQW5`
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.15202#8IQI, Unknown variance and original distance (statement). In X1FPG0KYBM/e1, corollary 6.2

History

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

sine wave 1HYXQP8T4W

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

Mentions

wikidata: Wikidata Q207527, sine wave (unknown). Also EoM Sinusoid, MathWorld Sinusoid
wikipedia: Wikipedia Sine wave, Sine wave (definition). Also Wikidata Q207527

History

2026-10-26: add by m2/dev

1HZ461BBS9 1HZ461BBS9

URI	`m2://inv/1HZ461BBS9`
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.21298#RJSY (statement). In AXWM2MBYXV/e1, proposition 3.2

History

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

Procesi bundle 1HZCBP6S49

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

Mentions

wikipedia: Wikipedia Procesi bundle, Procesi bundle (definition). Also Wikidata Q131783147

History

2026-11-02: add by m2/dev

1HZG0H0RJG 1HZG0H0RJG

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

Mentions

arxiv: arXiv 2312.14319#H1RO (definition). In V0S2EZ53GB/e1, definition 1.1

History

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

Converse 1HZG70H5AM

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

Mentions

wikipedia: Wikipedia Expander mixing lemma#S3Q0, Converse (statement)

History

2026-11-02: add by m2/dev

Local index formula 1HZKX8XV10

URI	`m2://inv/1HZKX8XV10`
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#98XE, Local index formula (statement). In H7DMRWBBJN/e1, theorem 5.1

History

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

1HZPAGRDCY 1HZPAGRDCY

URI	`m2://inv/1HZPAGRDCY`
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.33241#XLV2 (statement). In NX6QV01PCE/e1, lemma 3.7

History

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

1HZSBGST02 1HZSBGST02

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

Mentions

arxiv: arXiv 2303.09207#OGWJ (definition). In 9DQKY7KGE8/e1, definition B.27

History

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

1HZSWRFJJF 1HZSWRFJJF

URI	`m2://inv/1HZSWRFJJF`
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.36423#9N4C (statement). In Q5Z178SAHP/e1, lemma 5.3

History

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

Properties 1HZVQN6QGB

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

Mentions

wikipedia: Wikipedia Euler function#GPSE, Properties (statement)

History

2026-11-02: add by m2/dev

Properties 1HZWAD3K1P

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

Mentions

wikipedia: Wikipedia Gamma function#FKPG, Properties (statement)

History

2026-11-02: add by m2/dev

Volume-preserving automorphisms 1HZWXX726Y

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

Mentions

arxiv: arXiv 2609.38013#PC3R, Volume-preserving automorphisms (statement). In DQ6P0P6N78/e1, theorem 5.2

History

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

Q-RASAR 1HZX23RZZV

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

Mentions

wikipedia: Wikipedia Q-RASAR, Q-RASAR (definition). Also Wikidata Q121775232

History

2026-11-02: add by m2/dev