Inventory rows JH

JH00ATJXZV JH00ATJXZV

URI	`m2://inv/JH00ATJXZV`
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#8IC2 (statement). In DPT4P2BTEW/e1, proposition 6.7

History

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

Steven Hurder JH02E5JPYF

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

Mentions

wikipedia: Wikipedia Steven Hurder, Steven Hurder (topic). Also Wikidata Q102113058

History

2026-11-02: add by m2/dev

JH03T01AWD JH03T01AWD

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

Mentions

arxiv: arXiv 1904.08413#JJ7Y (example). In X88HPQ0W8C/e1, example 2.27

History

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

JH044EY6TR JH044EY6TR

URI	`m2://inv/JH044EY6TR`
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 1903.11969#7BYN (statement). In 9N4EV3GRM7/e1, lemma 4.3

History

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

topological, path JH04C75FBR

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

Mentions

hott_book: hott_book index/u1.u2/topological-path, topological, path (concept). In N54F33XE07, index, section u1.u2

History

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

Michael Entov JH089XVCEM

URI	`m2://inv/JH089XVCEM`
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#KIUS, Michael Entov (unknown)

History

2026-11-02: add by m2/dev

Paul Painlevé JH16YB7226

URI	`m2://inv/JH16YB7226`
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 Q315434, Paul Painlevé (unknown). Also nLab Painleve transcendent
wikipedia: Wikipedia Paul Painlevé, Paul Painlevé (topic). Also Wikidata Q315434

History

2026-10-26: add by m2/dev

JH1A9VZW94 JH1A9VZW94

URI	`m2://inv/JH1A9VZW94`
Kind	statement
Layer	research
MSC	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.21611#9OSF (statement)

History

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

JH1GE0PPZT JH1GE0PPZT

URI	`m2://inv/JH1GE0PPZT`
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 1004.4564#KTY9 (statement). In BZ54C9SKYS/e1, theorem 5.4

History

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

JH1M6TGEY2 JH1M6TGEY2

URI	`m2://inv/JH1M6TGEY2`
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.17677#GMDI (statement). In 5E9G06XJKC/e1, lemma G.1

History

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

Quantum Reed--Solomon code on $\mathbb{Z}_5$ JH1MYBWBBJ

URI	`m2://inv/JH1MYBWBBJ`
Kind	example
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#TBJD, Quantum Reed--Solomon code on $\mathbb{Z}_5$ (example). In YZNK67K060/e1, example 4.11

History

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

Classical/generalized trajectories JH1NXHFG89

URI	`m2://inv/JH1NXHFG89`
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 2508.18436#VY4A, Classical/generalized trajectories (definition). In 6W19Z58188/e1, definition 2.2

History

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

JH1PFKSJ7E JH1PFKSJ7E

URI	`m2://inv/JH1PFKSJ7E`
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.25973#YDRQ (statement)

History

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

Distance modulus JH1QWABGWF

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

Mentions

wikipedia: Wikipedia Distance modulus, Distance modulus (definition). Also Wikidata Q1193682

History

2026-11-02: add by m2/dev

Midpoint theorem JH1RHGKFNW

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

Mentions

wikipedia: Wikipedia Midpoint theorem (triangle), Midpoint theorem (statement). Also Wikidata Q3527240

History

2026-11-02: add by m2/dev

JH23D8RGNN JH23D8RGNN

URI	`m2://inv/JH23D8RGNN`
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 2610.12357#5ECP (problem). In 1F26AF81XP/e1, problem 1.7

History

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

JH2DXXZY4W JH2DXXZY4W

URI	`m2://inv/JH2DXXZY4W`
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.04993#AAJV (statement). In JQBWZPXKAV/e1, lemma 6.4

History

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

JH2FS6ZBA0 JH2FS6ZBA0

URI	`m2://inv/JH2FS6ZBA0`
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 2011.06637#FNDM (statement). In KFCJ5CFP3G/e1, lemma 2.2

History

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

Second incompleteness theorem JH2H0STZWF

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

Mentions

wikipedia: Wikipedia Gödel's incompleteness theorems#12GV, Second incompleteness theorem (statement)

History

2026-11-02: add by m2/dev

elliptic curve JH2MNG6FKN

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#7ABU, elliptic curve (definition)

History

2026-11-02: add by m2/dev

Algorithm JH2NGH9K0T

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

Mentions

wikipedia: Wikipedia Grover's algorithm#KKH6, Algorithm (definition)

History

2026-11-02: add by m2/dev

Lindley equation JH2P2F5XXV

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

Mentions

wikipedia: Wikipedia List of statistics articles#TDE6, Lindley equation (definition)

History

2026-11-02: add by m2/dev

Rich components JH2X2CB12Y

URI	`m2://inv/JH2X2CB12Y`
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.33327#769X, Rich components (statement). In A5R31P82BK/e1, corollary 8.2

History

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

Marianna Csörnyei JH30Z4ABJX

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

Mentions

wikipedia: Wikipedia Marianna Csörnyei, Marianna Csörnyei (topic). Also Wikidata Q238589

History

2026-11-02: add by m2/dev

JH3QNWJNXH JH3QNWJNXH

URI	`m2://inv/JH3QNWJNXH`
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.24640#AN47 (statement)

History

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

JH3T7WM5N7 JH3T7WM5N7

URI	`m2://inv/JH3T7WM5N7`
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.15088#BZO3 (statement). In 2BRTT5ZFC6/e1, lemma A.2

History

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

JH3Y815Q68 JH3Y815Q68

URI	`m2://inv/JH3Y815Q68`
Kind	statement
Layer	research
MSC	05-XX, 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.32860#MXN0 (statement). In H71AJ341B3/e1, proposition 7.1

History

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

Quasi-lumpability JH40K1J9M3

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

Mentions

wikipedia: Wikipedia Lumpability#54B6, Quasi-lumpability (unknown)

History

2026-11-02: add by m2/dev

JH41B15D3D JH41B15D3D

URI	`m2://inv/JH41B15D3D`
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.32393#I0HH (statement). In F4816HC2JH/e1, theorem 3.6

History

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

Airfoil JH468X4RK8

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

Mentions

wikipedia: Wikipedia Airfoil, Airfoil (definition). Also Wikidata Q4698744

History

2026-11-02: add by m2/dev

Sinensis Imperii Libri Classici Sex JH46CYMB2E

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

Mentions

wikipedia: Wikipedia François Noël (missionary)#LXWR, Sinensis Imperii Libri Classici Sex (unknown)

History

2026-11-02: add by m2/dev

Cuban prime JH47JVR9AD

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

Mentions

wikipedia: Wikipedia List of prime numbers#PMFF, Cuban prime (object)

History

2026-11-02: add by m2/dev

JH4NZB6SB8 JH4NZB6SB8

URI	`m2://inv/JH4NZB6SB8`
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.27771#E0KJ (statement)

History

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

JH50101MPV JH50101MPV

URI	`m2://inv/JH50101MPV`
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.20588#WDEJ (statement)

History

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

Georgian Mathematical Union JH562VC9MH

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

Mentions

wikipedia: Wikipedia Georgian Mathematical Union, Georgian Mathematical Union (definition). Also Wikidata Q12868953

History

2026-11-02: add by m2/dev

OpenBUGS JH5BDCRGGD

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

Mentions

wikipedia: Wikipedia List of statistical software#OGRI, OpenBUGS (definition)

History

2026-11-02: add by m2/dev

JH5RXJZGCM JH5RXJZGCM

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

Mentions

arxiv: arXiv 2604.07243#M8RE (statement). In 9RH8C8RYW3/e1, lemma 5.2

History

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

Passivity JH5TBKC0NT

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

Mentions

wikipedia: Wikipedia Passivity (engineering), Passivity (definition). Also Wikidata Q1045736

History

2026-11-02: add by m2/dev

JH5TK8KTB0 JH5TK8KTB0

URI	`m2://inv/JH5TK8KTB0`
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.25282#NAVT (definition)

History

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

Picard group JH5VV1MJN7

URI	`m2://inv/JH5VV1MJN7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Picard group 3Z9DCWYXQZ

Mentions

wikidata: Wikidata Q2042963, Picard group (unknown). Also MathWorld PicardGroup, nLab Picard group
wikipedia: Wikipedia Picard group, Picard group (definition). Also Wikidata Q2042963

History

2026-10-26: add by m2/dev

Uniform convergence and excess-loss bound JH6FB51HQJ

URI	`m2://inv/JH6FB51HQJ`
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.20274#FG5K, Uniform convergence and excess-loss bound (statement)

History

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

Formal definition of atlas JH6RSAJEGN

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

Mentions

wikipedia: Wikipedia Atlas (topology)#D9DW, Formal definition of atlas (definition)

History

2026-11-02: add by m2/dev

Bounds on Total Area JH6VBB0SBK

URI	`m2://inv/JH6VBB0SBK`
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.07671#EM8B, Bounds on Total Area (statement). In XHHBGCVG90/e1, theorem 5.3.1

History

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

Ross Anderson JH6YBM6FMJ

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

Mentions

wikipedia: Wikipedia List of cryptographers#8JDK, Ross Anderson (topic)

History

2026-11-02: add by m2/dev

JH79FXQ47Q JH79FXQ47Q

URI	`m2://inv/JH79FXQ47Q`
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.32903#E4JR (statement). In S8NB83KQX3/e1, lemma 6

History

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

Application JH79M2KJ47

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

Mentions

wikipedia: Wikipedia Quine's paradox#463I, Application (example)

History

2026-11-02: add by m2/dev

Attractor JH7GE1X3WR

URI	`m2://inv/JH7GE1X3WR`
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#IOA7, Attractor (definition)

History

2026-11-02: add by m2/dev

JH7GFBDRQ2 JH7GFBDRQ2

URI	`m2://inv/JH7GFBDRQ2`
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.03628#MICQ (statement). In P8KT6JV9N1/e1, theorem 5.11

History

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

Conditional hybrid collision-exclusion bound JH7NG94G8N

URI	`m2://inv/JH7NG94G8N`
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.37164#S119, Conditional hybrid collision-exclusion bound (statement). In B2PG75FSQJ/e1, theorem 6.11

History

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

Stationary comparison JH7QHDQQHC

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

Mentions

arxiv: arXiv 2610.12456#5Z0O, Stationary comparison (statement). In 5XPM4E03W6/e1, lemma 4.2

History

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

Properties JH7SYGPGS6

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

Mentions

wikipedia: Wikipedia Logical connective#730O, Properties (statement)

History

2026-11-02: add by m2/dev

Liouville form JH7V25RPCS

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

Mentions

wikipedia: Wikipedia Glossary of symplectic geometry#KX10, Liouville form (definition)

History

2026-11-02: add by m2/dev

JH7XBAFMRW JH7XBAFMRW

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

Mentions

arxiv: arXiv 2104.12015#DQYJ (statement). In ZZ2P08DVQW/e1, theorem 10.13

History

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

Balanced Gray code JH81NJ59CH

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

Mentions

wikipedia: Wikipedia Gray code#ZHP8, Balanced Gray code (unknown)

History

2026-11-02: add by m2/dev

JH84BD4MT2 JH84BD4MT2

URI	`m2://inv/JH84BD4MT2`
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.18033#HIVJ (statement). In 59VRB6Y27N/e1, lemma 3.4

History

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

Riemannian cobordism JH8937AFJW

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#5WRG, Riemannian cobordism (unknown)

History

2026-11-02: add by m2/dev

Pontryagin duality JH8DT1KSA3

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

Mentions

wikipedia: Wikipedia List of dualities#UYAQ, Pontryagin duality (definition)
wikipedia: Wikipedia List of harmonic analysis topics#L3RM, Pontryagin duality (definition)
wikipedia: Wikipedia List of Fourier analysis topics#J82U, Pontryagin duality (definition)

History

2026-11-02: add by m2/dev

Examples JH8S1XA8H3

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

Mentions

wikipedia: Wikipedia Perfect obstruction theory#044H, Examples (example)

History

2026-11-02: add by m2/dev

JH8V1VABZ4 JH8V1VABZ4

URI	`m2://inv/JH8V1VABZ4`
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.29469#YBT0 (statement)

History

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

Han Qi JH8XHS6SE0

URI	`m2://inv/JH8XHS6SE0`
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#SZBW, Han Qi (unknown)

History

2026-11-02: add by m2/dev

JH8YQKSE97 JH8YQKSE97

URI	`m2://inv/JH8YQKSE97`
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.28597#IHO9 (statement)

History

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

David Tao JH9626S7GD

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#9OSB, David Tao (unknown)

History

2026-11-02: add by m2/dev

Formulations JH963XD41F

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

Mentions

wikipedia: Wikipedia Maschke's theorem#U7X3, Formulations (definition)

History

2026-11-02: add by m2/dev

JH9JVF0ZHY JH9JVF0ZHY

URI	`m2://inv/JH9JVF0ZHY`
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.30771#QUMM (statement). In PQ5117EYN3/e1, lemma 4

History

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

Properties JH9ZV27XT0

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

Mentions

wikipedia: Wikipedia Countably barrelled space#EU4A, Properties (statement)

History

2026-11-02: add by m2/dev

JHA1W61CRQ JHA1W61CRQ

URI	`m2://inv/JHA1W61CRQ`
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.18033#Q8FV (statement). In 59VRB6Y27N/e1, lemma 4.5

History

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

Theorem one JHA35Y8W2V

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

Mentions

wikipedia: Wikipedia Stars and bars (combinatorics)#EVBX, Theorem one (statement)

History

2026-11-02: add by m2/dev

plurigenus JHA88PTH5R

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#DO1D, plurigenus (definition)

History

2026-11-02: add by m2/dev

Uniqueness of the first Move JHADT9934E

URI	`m2://inv/JHADT9934E`
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.17677#EISU, Uniqueness of the first Move (statement). In 5E9G06XJKC/e1, lemma D.22

History

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

Foucault pendulum JHAEHNKYSR

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

Mentions

wikipedia: Wikipedia Foucault pendulum, Foucault pendulum (definition). Also Wikidata Q178841

History

2026-11-02: add by m2/dev

Linearization covering JHARCCSYG8

URI	`m2://inv/JHARCCSYG8`
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.20285#E4BY, Linearization covering (statement). In RQA728RB77/e1, theorem 22

History

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

Sherman–Takeda theorem JHARMYR1MW

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

Mentions

wikipedia: Wikipedia Sherman–Takeda theorem, Sherman–Takeda theorem (statement). Also Wikidata Q7495288

History

2026-11-02: add by m2/dev

JHAXNBM1YW JHAXNBM1YW

URI	`m2://inv/JHAXNBM1YW`
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.24789#BFN7 (statement)

History

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

JHB0S90J6T JHB0S90J6T

URI	`m2://inv/JHB0S90J6T`
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.25897#1X37 (statement)

History

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

JHB97YXYQQ JHB97YXYQQ

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

Mentions

arxiv: arXiv 2610.01599#XF8G (statement). In K2KYNCWER3/e1, theorem 13

History

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

Example JHBGXPFVC2

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

Mentions

wikipedia: Wikipedia Divisor function#UZL8, Example (example)

History

2026-11-02: add by m2/dev

homotopy JHBJMSJC8Z

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

Mentions

hott_book: hott_book index/1.9/homotopy, homotopy (concept). In N54F33XE07, index, section 1.9

History

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

Countable chain condition JHBK54548N

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

Mentions

wikipedia: Wikipedia Glossary of general topology#YOHG, Countable chain condition (definition)

History

2026-11-02: add by m2/dev

Ivy Liu JHC2T96C1R

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

Mentions

wikipedia: Wikipedia Ivy Liu, Ivy Liu (topic). Also Wikidata Q41780334

History

2026-11-02: add by m2/dev

condensation lemma JHC497G69W

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

Mentions

wikipedia: Wikipedia Glossary of set theory#H8R9, condensation lemma (definition)

History

2026-11-02: add by m2/dev

Robert Stalnaker JHC4GCZ03W

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

Mentions

wikipedia: Wikipedia Robert Stalnaker, Robert Stalnaker (topic). Also Wikidata Q1364893

History

2026-11-02: add by m2/dev

Mertens' theorem JHC6DCGBYX

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

Mentions

wikipedia: Wikipedia Partial Euler Product#ICZ0, Mertens' theorem (statement)

History

2026-11-02: add by m2/dev

BVC-linearized cone JHCBFSJASE

URI	`m2://inv/JHCBFSJASE`
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.20368#EIUH, BVC-linearized cone (definition)

History

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

automated theorem prover JHCD4857X9

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

Mentions

wikidata: Wikidata Q140136520, automated theorem prover (unknown). Also EoM Theorem_prover

History

2026-10-26: add by m2/dev

Example JHCEVBBZAS

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

Mentions

wikipedia: Wikipedia Structure (mathematical logic)#0V87, Example (example)

History

2026-11-02: add by m2/dev

Edward Hubert Linfoot JHCNEE7XQS

URI	`m2://inv/JHCNEE7XQS`
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#QEJM, Edward Hubert Linfoot (topic)

History

2026-11-02: add by m2/dev

JHCNPV4RKE JHCNPV4RKE

URI	`m2://inv/JHCNPV4RKE`
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.06326#SIKH (statement). In DPR6B6X0JX/e1, proposition 10

History

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

JHCR86GHXQ JHCR86GHXQ

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#proof-1 (proof). In RZP28ERRZV, proof, section 28.3

History

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

JHCV2RX3E1 JHCV2RX3E1

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

Mentions

arxiv: arXiv 2609.25269#XGVD (statement)

History

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

JHCY30G0FF JHCY30G0FF

URI	`m2://inv/JHCY30G0FF`
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.16258#E5QK (statement). In AZ6QMVKFHD/e1, proposition 3.7

History

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

Cubic mean JHCZQ6WN2C

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

Mentions

wikipedia: Wikipedia Cubic mean, Cubic mean (definition). Also Wikidata Q1668413

History

2026-11-02: add by m2/dev

Ramaiyengar Sridharan JHCZXAFF1Z

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

Mentions

wikipedia: Wikipedia Ramaiyengar Sridharan, Ramaiyengar Sridharan (topic). Also Wikidata Q7288777

History

2026-11-02: add by m2/dev

Undergraduate Texts in Mathematics JHD1G45QZA

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

Mentions

wikipedia: Wikipedia Undergraduate Texts in Mathematics, Undergraduate Texts in Mathematics (definition). Also Wikidata Q7883592

History

2026-11-02: add by m2/dev

JHD200X9DG JHD200X9DG

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

Mentions

arxiv: arXiv 1509.00950#M04E (proof). In MDZFW5GACV/e1, proof

History

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

Mamokgethi Phakeng JHD3NGYYWY

URI	`m2://inv/JHD3NGYYWY`
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#2JI9, Mamokgethi Phakeng (unknown)

History

2026-11-02: add by m2/dev

Roger Horn JHD3ZEB315

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

Mentions

wikipedia: Wikipedia Roger Horn, Roger Horn (topic). Also Wikidata Q28794189

History

2026-11-02: add by m2/dev

JHD7HX093T JHD7HX093T

URI	`m2://inv/JHD7HX093T`
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.30519#Y5UH (statement). In GQQZNRYK15/e1, proposition 5.5

History

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

JHDDQEBAVF JHDDQEBAVF

URI	`m2://inv/JHDDQEBAVF`
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#F1HL (statement). In 3A4K47Y9F2/e1, lemma 3.7

History

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

matrix similarity JHDN4VPJ5F

URI	`m2://inv/JHDN4VPJ5F`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Similar matrices 0E89HQATM8

Mentions

wikidata: Wikidata Q254491, matrix similarity (unknown). Also MathWorld SimilarMatrices
wikipedia: Wikipedia Matrix similarity, Matrix similarity (definition). Also Wikidata Q254491

History

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

scheme JHE2EB6M9K

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

Mentions

mathlib_overview: mathlib_overview Geometry > Algebraic geometry > scheme, scheme (unknown). Also Mathlib AlgebraicGeometry.Scheme

History

2026-10-26: add by m2/dev

JHE3D3NDXV JHE3D3NDXV

URI	`m2://inv/JHE3D3NDXV`
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 2601.15403#UCNI (statement). In BSWNH3NW1M/e1, corollary 4.14

History

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

JHE4TP7N2R JHE4TP7N2R

URI	`m2://inv/JHE4TP7N2R`
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 2403.02207#ZFG1 (statement). In 1T3ZYPQZF0/e1, theorem 5.1

History

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

Formal definition JHE4Z1Z6WC

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

Mentions

wikipedia: Wikipedia Bernoulli process#QLLT, Formal definition (definition)

History

2026-11-02: add by m2/dev

Central limit theorem for the second class particle JHE6GHCAMB

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

Mentions

arxiv: arXiv 2610.18847#6GL6, Central limit theorem for the second class particle (statement). In DZ12XTTJSM/e1, theorem 1.4

History

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

Kummer theory JHEBMR7JPN

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

Mentions

wikipedia: Wikipedia Glossary of field theory#W4M0, Kummer theory (definition)

History

2026-11-02: add by m2/dev

Mackey's theorem, barrels, and closed convex sets JHEC65BVX5

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

Mentions

wikipedia: Wikipedia Dual system#GXI2, Mackey's theorem, barrels, and closed convex sets (statement)

History

2026-11-02: add by m2/dev

Lindblad resonance JHEJ25V0S9

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

Mentions

wikipedia: Wikipedia Lindblad resonance, Lindblad resonance (definition). Also Wikidata Q1825951

History

2026-11-02: add by m2/dev

JHEK9K8JJF JHEK9K8JJF

URI	`m2://inv/JHEK9K8JJF`
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.26386#4QZ5 (statement)

History

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

JHEMFMFCD4 JHEMFMFCD4

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#example-5 (example). In E59CDZA4DP, example, section 9.2.1

History

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

Eugene M. Luks JHF17WV5F7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RAEJ, Eugene M. Luks (unknown)

History

2026-11-02: add by m2/dev

Threshold equivalence JHFAC71QTN

URI	`m2://inv/JHFAC71QTN`
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 2609.29524#2AXI, Threshold equivalence (statement)

History

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

Theorem JHFEN79YZX

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

Mentions

wikipedia: Wikipedia Theorem of the gnomon#S9AS, Theorem (statement)

History

2026-11-02: add by m2/dev

JHFERRKZGE JHFERRKZGE

URI	`m2://inv/JHFERRKZGE`
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.23327#I2OI (statement)

History

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

JHFET6P22G JHFET6P22G

URI	`m2://inv/JHFET6P22G`
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.11902#8GLP (statement). In K66QKM4N5E/e1, theorem 3.1

History

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

JHFHQXM5AD JHFHQXM5AD

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

Mentions

austin_ula: austin_ula src/section6-5.xml#activity-BFI (exercise). In 649HGZKE96, activity, section 6.5.4

History

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

Multi-objective optimization JHFM2X4NJN

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#XDR2, Multi-objective optimization (definition)

History

2026-11-02: add by m2/dev

JHFN70RGDE JHFN70RGDE

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

Mentions

arxiv: arXiv 2610.10930#JB65 (definition). In HX63A1PH1W/e1, definition 3.81

History

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

Exit time JHFX448YES

URI	`m2://inv/JHFX448YES`
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.39409#YQ3N, Exit time (statement). In CQ0Z7QA0A5/e1, lemma 5.3

History

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

JHG2CPEXD6 JHG2CPEXD6

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

Mentions

arxiv: arXiv 2610.16875#H294 (statement). In KS30K5JXGB/e1, lemma 2.6

History

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

JHG84A30PW JHG84A30PW

URI	`m2://inv/JHG84A30PW`
Kind	statement
Layer	research
MSC	05-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.07280#XOUU (statement). In 1FJKW4WGEN/e1, lemma 1.3

History

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

Jordan–Pólya number JHH0R8QKAR

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

Mentions

wikidata: Wikidata Q108899013, Jordan–Pólya number (object). Also OEIS A001013
wikipedia: Wikipedia Jordan–Pólya number, Jordan–Pólya number (definition). Also Wikidata Q108899013

History

2026-10-26: add by m2/dev

Definition JHH8PREXVA

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

Mentions

wikipedia: Wikipedia Exterior covariant derivative#JCDH, Definition (definition)

History

2026-11-02: add by m2/dev

JHHC4YSK47 JHHC4YSK47

URI	`m2://inv/JHHC4YSK47`
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.39449#E5U6 (statement). In GWC70X14RG/e1, lemma 8

History

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

Examples JHHFRKR96E

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

Mentions

wikipedia: Wikipedia Flat module#30TQ, Examples (example)

History

2026-11-02: add by m2/dev

JHHHZCRGVK JHHHZCRGVK

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

Mentions

hott_book: hott_book basics.tex#proof-21 (proof). In N54F33XE07, proof, section 1.4

History

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

The method JHHMPTQ5DY

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

Mentions

wikipedia: Wikipedia Inverse transform sampling#5GT6, The method (definition)

History

2026-11-02: add by m2/dev

Falconer's formula JHHY9SZ9WX

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

Mentions

wikipedia: Wikipedia List of statistics articles#ACZ1, Falconer's formula (statement)

History

2026-11-02: add by m2/dev

JHJ07RQF6N JHJ07RQF6N

URI	`m2://inv/JHJ07RQF6N`
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.39104#KR5P (statement). In V2NTW27MSJ/e1, lemma 3.3

History

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

Tukey–Duckworth test JHJ1RM4EDF

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

Mentions

wikipedia: Wikipedia Tukey–Duckworth test, Tukey–Duckworth test (definition). Also Wikidata Q21795340

History

2026-11-02: add by m2/dev

Mavis B. Carroll JHJ71BR5PE

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

Mentions

wikipedia: Wikipedia Mavis B. Carroll, Mavis B. Carroll (topic). Also Wikidata Q43830706

History

2026-11-02: add by m2/dev

Libfixmath JHJABH6G0R

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#WFI7, Libfixmath (unknown)

History

2026-11-02: add by m2/dev

JHJG3V81F5 JHJG3V81F5

URI	`m2://inv/JHJG3V81F5`
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.23803#CCXF (statement)

History

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

Non-strict evaluation JHK0AGRGY1

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

Mentions

wikipedia: Wikipedia Evaluation strategy#9YSB, Non-strict evaluation (unknown)

History

2026-11-02: add by m2/dev

JHK1NXCC4E JHK1NXCC4E

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

Mentions

arxiv: arXiv 2609.35678#7UUB (conjecture). In 4X4ZS7CEKD/e1, conjecture 1

History

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

JHK1RF2KDH JHK1RF2KDH

URI	`m2://inv/JHK1RF2KDH`
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.16323#0XAL (definition). In E215DFNY09/e1, definition

History

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

JHK4PAE86R JHK4PAE86R

URI	`m2://inv/JHK4PAE86R`
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#OGKO (statement). In DW7FVA587C/e1, fact 2.10

History

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

JHKAN22SYJ JHKAN22SYJ

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

Mentions

arxiv: arXiv 2610.20558#6UIH (statement). In 46370P3Y9S/e1, lemma 6.19

History

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

Consequences of Grönwall's inequality JHKG863PQJ

URI	`m2://inv/JHKG863PQJ`
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.21461#FGK3, Consequences of Grönwall's inequality (statement). In DWQANBV7B7/e1, lemma A.1

History

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

Fubini's theorem JHKGB2FRPR

URI	`m2://inv/JHKGB2FRPR`
Kind	statement
Layer	textbook
MSC	28-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Fubini's theorem 0R0T1VWH5X

Mentions

mathlib_1000: mathlib_1000 Q1149022, Fubini's theorem (statement). Also Mathlib MeasureTheory.integral_prod, Wikidata Q1149022
mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Fubini's theorem, Fubini's theorem (unknown). Also Mathlib MeasureTheory.integral_prod
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > Fubini's theorem, Fubini's theorem (unknown). Also Mathlib MeasureTheory.integral_prod
thousand_plus: thousand_plus Q1149022, Fubini's theorem (statement). Also Mathlib MeasureTheory.integral_prod, Wikidata Q1149022, Wikipedia Fubini's theorem
wikidata: Wikidata Q1149022, Fubini's theorem (statement). Also MathWorld FubiniTheorem
wikipedia: Wikipedia Fubini's theorem, Fubini's theorem (statement). Also Wikidata Q1149022

History

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

JHKMA9M75R JHKMA9M75R

URI	`m2://inv/JHKMA9M75R`
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.17677#C124 (statement). In 5E9G06XJKC/e1, lemma C.25

History

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

Adaptive noisy binary search JHKQWHK289

URI	`m2://inv/JHKQWHK289`
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.35631#TD27, Adaptive noisy binary search (statement). In 9NCX0S6MTP/e1, lemma C.2

History

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

JHKX1DH282 JHKX1DH282

URI	`m2://inv/JHKX1DH282`
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#KCQB (statement). In B3EHT1FRM5/e1, corollary 3.11

History

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

History of bitcoin JHM2F28J9B

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

Mentions

wikipedia: Wikipedia History of bitcoin, History of bitcoin (definition). Also Wikidata Q15854247

History

2026-11-02: add by m2/dev

Cauchy elastic material JHM532JMPE

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

Mentions

wikipedia: Wikipedia Cauchy elastic material, Cauchy elastic material (definition). Also Wikidata Q5054339

History

2026-11-02: add by m2/dev

Laguerre \Poincare and Brascamp--Lieb Inequalities JHM5MCT8J5

URI	`m2://inv/JHM5MCT8J5`
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.23994#YMSL, Laguerre \Poincare and Brascamp--Lieb Inequalities (statement)

History

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

JHMA40ZB21 JHMA40ZB21

URI	`m2://inv/JHMA40ZB21`
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.03661#Z0RQ (statement). In ESDKTYDHC8/e1, lemma 12

History

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

Join JHMQXV49G2

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

Mentions

wikipedia: Wikipedia Join (category theory), Join (definition). Also Wikidata Q134300086

History

2026-11-02: add by m2/dev

JHMVZEG80G JHMVZEG80G

URI	`m2://inv/JHMVZEG80G`
Kind	statement
Layer	research
MSC	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 2509.20257#A2X2 (statement). In 9NDZ6GG9XZ/e1, lemma 2.3

History

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

Rader's FFT algorithm JHN1QHCYK1

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#3HTG, Rader's FFT algorithm (definition)

History

2026-11-02: add by m2/dev

JHN51NQ4ZH JHN51NQ4ZH

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

Mentions

arxiv: arXiv 2504.07573#2745 (example). In 78X5SKJX8J/e1, example 7.13

History

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

Definition 1 JHNAV2X1F2

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

Mentions

wikipedia: Wikipedia Generic-case complexity#44QG, Definition 1 (definition)

History

2026-11-02: add by m2/dev

JHNJBH6NZ6 JHNJBH6NZ6

URI	`m2://inv/JHNJBH6NZ6`
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.19010#2CDE (statement). In 6315NJBYJM/e1, lemma 13

History

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

JHNM15MR3X JHNM15MR3X

URI	`m2://inv/JHNM15MR3X`
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.07290#YELJ (statement). In WC7BN66XSN/e1, theorem 2

History

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

Fan's inequality JHNRXFC1TF

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

Mentions

arxiv: arXiv 2609.27766#15U7, Fan's inequality (statement)

History

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

Georg Tannstetter JHNXTMM1JA

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

Mentions

wikipedia: Wikipedia List of German mathematicians#F1DQ, Georg Tannstetter (unknown)

History

2026-11-02: add by m2/dev

Pay television JHNYWQNSRW

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

Mentions

wikipedia: Wikipedia Pay television, Pay television (definition). Also Wikidata Q721830

History

2026-11-02: add by m2/dev

JHP074J4PN JHP074J4PN

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

Mentions

arxiv: arXiv 2610.15111#KOHM (definition). In 6RE6JYE4GP/e1, definition 1

History

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

TREE function JHP4AJ10M8

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

Mentions

wikipedia: Wikipedia Kruskal's tree theorem#KK9S, TREE function (unknown)

History

2026-11-02: add by m2/dev

JHP621BT02 JHP621BT02

URI	`m2://inv/JHP621BT02`
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.33124#6XBH (definition). In P27HYGQDAN/e1, definition 11

History

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

modal realism JHP6C2X7MJ

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

Mentions

wikipedia: Wikipedia Glossary of logic#KBBJ, modal realism (definition)

History

2026-11-02: add by m2/dev

Grunwald–Wang theorem JHPETF1YWJ

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

Mentions

wikipedia: Wikipedia List of theorems#APWH, Grunwald–Wang theorem (statement)

History

2026-11-02: add by m2/dev

JHPVSCRJTB JHPVSCRJTB

URI	`m2://inv/JHPVSCRJTB`
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.06326#S275 (statement). In DPR6B6X0JX/e1, theorem 1

History

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

Don Coppersmith JHPWBCBG97

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

Mentions

wikipedia: Wikipedia List of cryptographers#C47W, Don Coppersmith (topic)

History

2026-11-02: add by m2/dev

Compound of twenty tetrahemihexahedra JHPXCK2J5N

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#729Y, Compound of twenty tetrahemihexahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3TP3, Compound of twenty tetrahemihexahedra (definition)

History

2026-11-02: add by m2/dev

Erdős distinct distances problem JHPYGN0MKE

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

Mentions

wikipedia: Wikipedia Erdős distinct distances problem, Erdős distinct distances problem (conjecture). Also Wikidata Q3406261

History

2026-11-02: add by m2/dev

JHQ9KJCGSY JHQ9KJCGSY

URI	`m2://inv/JHQ9KJCGSY`
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#NM35 (statement)

History

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

Definition JHQA7NG342

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

Mentions

wikipedia: Wikipedia Lebesgue–Stieltjes integration#XDXR, Definition (definition)

History

2026-11-02: add by m2/dev

Victor Katz JHQBG8VVVY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#J608, Victor Katz (topic)

History

2026-11-02: add by m2/dev

Discounted hitting potential JHQHNEHWYN

URI	`m2://inv/JHQHNEHWYN`
Kind	statement
Layer	research
MSC	05-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.31535#FQYZ, Discounted hitting potential (statement). In BAWCMJQGVA/e1, theorem 2.3

History

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

JHR3QXAQ6K JHR3QXAQ6K

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

Mentions

arxiv: arXiv 2609.28993#N0LJ (definition)

History

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

Matrix splitting JHR4AQB0MB

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

Mentions

wikipedia: Wikipedia Matrix splitting, Matrix splitting (definition). Also Wikidata Q6787891

History

2026-11-02: add by m2/dev

Stephen Jackson JHR6QE13XP

URI	`m2://inv/JHR6QE13XP`
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#A82S, Stephen Jackson (topic)

History

2026-11-02: add by m2/dev

JHR6XVSTQ1 JHR6XVSTQ1

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#prop:G3c-cont-adm (statement). In PKGMM3P5QY, prop, section 61.9

History

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

Summary of folk theorems JHRDKXE2ZB

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

Mentions

wikipedia: Wikipedia Folk theorem (game theory)#SBPQ, Summary of folk theorems (statement)

History

2026-11-02: add by m2/dev

Louis Carré JHRHNX49CQ

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

Mentions

wikipedia: Wikipedia Louis Carré (mathematician), Louis Carré (topic). Also Wikidata Q3261435

History

2026-11-02: add by m2/dev

Atomic measure JHRTKPTAPP

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

Mentions

wikipedia: Wikipedia Atom (measure theory)#SK9Q, Atomic measure (unknown)

History

2026-11-02: add by m2/dev

Telescoping effect JHS32QW2RD

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

Mentions

wikipedia: Wikipedia List of cognitive biases#0CH0, Telescoping effect (unknown)

History

2026-11-02: add by m2/dev

Paula Roberson JHS3TRYVSW

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#ADOW, Paula Roberson (topic)

History

2026-11-02: add by m2/dev

Helmut Wielandt JHS78GKKT1

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

Mentions

wikipedia: Wikipedia List of group theory topics#E5LA, Helmut Wielandt (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D30F, Helmut Wielandt (unknown)
wikipedia: Wikipedia List of German mathematicians#281I, Helmut Wielandt (unknown)

History

2026-11-02: add by m2/dev

JHSF660W0T JHSF660W0T

URI	`m2://inv/JHSF660W0T`
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.04993#OX1W (statement). In JQBWZPXKAV/e1, lemma 5.1

History

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

freedom JHSTF5J7QZ

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#GDYN, freedom (definition)

History

2026-11-02: add by m2/dev

Characterization JHSWCA4M2S

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

Mentions

wikipedia: Wikipedia Analytic semigroup#0OTA, Characterization (statement)

History

2026-11-02: add by m2/dev

Applications JHSXPEXMP3

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

Mentions

wikipedia: Wikipedia Gyroid#3TSO, Applications (example)

History

2026-11-02: add by m2/dev

Nicola Fusco JHT1CMVPKM

URI	`m2://inv/JHT1CMVPKM`
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#78DP, Nicola Fusco (topic)

History

2026-11-02: add by m2/dev

List of relativistic equations JHT99XZZSC

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

Mentions

wikipedia: Wikipedia List of mathematics reference tables#CVC9, List of relativistic equations (unknown)

History

2026-11-02: add by m2/dev

JHTBGFSN3C JHTBGFSN3C

URI	`m2://inv/JHTBGFSN3C`
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#KDXZ (statement). In H7DMRWBBJN/e1, lemma 3.1

History

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

lax colimit JHTRQ7S3SY

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

Mentions

hott_book: hott_book index/5.12/lax-colimit, lax colimit (concept). In N54F33XE07, index, section 5.12

History

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

JHTRT6T0P0 JHTRT6T0P0

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

Mentions

arxiv: arXiv 2609.36113#7WSQ (statement). In FSGSVD0XYH/e1, theorem 3

History

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

JHTSW42883 JHTSW42883

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

Mentions

arxiv: arXiv 2610.05388#N54X (statement). In 4HJK1986EJ/e1, theorem 2.2

History

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

JHTX7GZ31P JHTX7GZ31P

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 1.1.4

History

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

Examples JHVEX1QMMX

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

Mentions

wikipedia: Wikipedia Irrationality measure#7N1I, Examples (example)

History

2026-11-02: add by m2/dev

JHVFMKTKV9 JHVFMKTKV9

URI	`m2://inv/JHVFMKTKV9`
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.20008#YGZ3 (statement)

History

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

Properties JHVKZ4BVPZ

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

Mentions

wikipedia: Wikipedia Shifted Gompertz distribution#N8EV, Properties (statement)

History

2026-11-02: add by m2/dev

Zero-truncated Poisson distribution JHVQ75XWJD

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

Mentions

wikipedia: Wikipedia Zero-truncated Poisson distribution, Zero-truncated Poisson distribution (definition). Also Wikidata Q17093544

History

2026-11-02: add by m2/dev

Sharpe ratio JHW18RA1YP

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

Mentions

wikipedia: Wikipedia List of statistics articles#WD5A, Sharpe ratio (definition)

History

2026-11-02: add by m2/dev

JHW3XB59FQ JHW3XB59FQ

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

Mentions

arxiv: arXiv 2610.08935#5TZS (definition). In G02N9D40B9/e1, definition 1.2.1

History

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

Sdom JHW61ZY27X

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

Mentions

wikipedia: Wikipedia Standard deviation#4Z6Y, Sdom (unknown)

History

2026-11-02: add by m2/dev

JHW8VP3V3N JHW8VP3V3N

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

Mentions

arxiv: arXiv 2609.37815#TFH0 (definition). In SVJYA0171G/e1, definition 2.1

History

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

JHW988ZHRF JHW988ZHRF

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-45 (exercise). In E9HS8K3A52, exercise, section 4.3.4

History

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

David Mount JHWECYWHMT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J9KC, David Mount (unknown)

History

2026-11-02: add by m2/dev

Hyperplane conjecture JHWTBJZ5QW

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

Mentions

wikipedia: Wikipedia Asymptotic geometry#5QFU, Hyperplane conjecture (statement)

History

2026-11-02: add by m2/dev

Empirical orthogonal functions JHWWEGQD29

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

Mentions

wikipedia: Wikipedia List of statistics articles#35VM, Empirical orthogonal functions (definition)

History

2026-11-02: add by m2/dev

FOSLS-deRhaNN method JHWWGMRSNB

URI	`m2://inv/JHWWGMRSNB`
Kind	definition
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#MI9V, FOSLS-deRhaNN method (definition). In YR3CSTYEJW/e1, definition 6.2

History

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

JHWX93NC8R JHWX93NC8R

URI	`m2://inv/JHWX93NC8R`
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.29326#3T3D (statement). In 3F83V6VKKA/e1, lemma 3.6

History

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

Caccioppoli inequality 1 JHX7FHMP6E

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

Mentions

arxiv: arXiv 2609.25801#Y5D3, Caccioppoli inequality 1 (statement)

History

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

JHXK2Q56JC JHXK2Q56JC

URI	`m2://inv/JHXK2Q56JC`
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 1712.02437#UK5P (statement). In GZDFK652T9/e1, proposition 5.1

History

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

Great icosidodecahedron JHXPNKSYPX

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1DIK, Great icosidodecahedron (object)

History

2026-11-02: add by m2/dev

Algorithm JHXT321G3N

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

Mentions

wikipedia: Wikipedia Quickhull#TYLC, Algorithm (definition)

History

2026-11-02: add by m2/dev

List of harmonic analysis topics JHXWGGAV0K

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics, List of harmonic analysis topics (topic). Also Wikidata Q6622016

History

2026-11-02: add by m2/dev

JHYB4Q3KK3 JHYB4Q3KK3

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#ex:quadratic_vector_space (example). In RZP28ERRZV, example, section 62.2

History

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

JHYB6YCJAT JHYB6YCJAT

URI	`m2://inv/JHYB6YCJAT`
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 2609.22759#UMGZ (definition)

History

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

JHYBXZVH2W JHYBXZVH2W

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

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 66.6

History

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

Sinh-Gordon JHYCTZGESB

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

Mentions

wikipedia: Wikipedia Sine-Gordon equation#0IER, Sinh-Gordon (unknown)

History

2026-11-02: add by m2/dev

Applications JHYGWCRET4

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

Mentions

wikipedia: Wikipedia Grötzsch graph#DQS9, Applications (example)

History

2026-11-02: add by m2/dev

circulant codes to Weldon Ensemble JHYYW3KKJM

URI	`m2://inv/JHYYW3KKJM`
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 2507.13548#O7MJ, circulant codes to Weldon Ensemble (statement). In 4NVVK50D1P/e1, lemma 5.1

History

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

Derivative JHZ2RYQJFV

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

Mentions

wikipedia: Wikipedia List of limits#S4C5, Derivative (definition)

History

2026-11-02: add by m2/dev

Pseudo-coherent complex JHZ5DS9GSY

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

Mentions

wikipedia: Wikipedia Perfect complex#QCQI, Pseudo-coherent complex (unknown)

History

2026-11-02: add by m2/dev

Non-degenerate and expanding gluing data JHZ5J81R9D

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

Mentions

arxiv: arXiv 2609.35102#2XCQ, Non-degenerate and expanding gluing data (definition). In XK6H7F2F13/e1, definition 3.5

History

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

JHZ7T7S30J JHZ7T7S30J

URI	`m2://inv/JHZ7T7S30J`
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.01737#R0NC (statement). In M4JGP708F4/e1, lemma 3.5

History

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

amphichiral knot JHZS67Y4D4

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

Mentions

wikidata: Wikidata Q20873948, amphichiral knot (unknown). Also MathWorld AmphichiralKnot

History

2026-10-26: add by m2/dev

The transition on the rational generator JHZW6E9Z12

URI	`m2://inv/JHZW6E9Z12`
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 2609.33808#9QMH, The transition on the rational generator (statement). In 328KGRNN0W/e1, lemma 5.8

History

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