Inventory rows 6K

6K003RJZPJ 6K003RJZPJ

URI	`m2://inv/6K003RJZPJ`
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#382B (statement). In DPT4P2BTEW/e1, lemma 5.12

History

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

Molodyozhny, Moscow Oblast 6K01Y2401Q

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

Mentions

wikipedia: Wikipedia List of places with numeric names#9RF1, Molodyozhny, Moscow Oblast (unknown)

History

2026-11-02: add by m2/dev

Resolving the singular cone 6K05MMCGKG

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

Mentions

arxiv: arXiv 2609.27799#IQ7S, Resolving the singular cone (statement)

History

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

6K0XJSPYD1 6K0XJSPYD1

URI	`m2://inv/6K0XJSPYD1`
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.21472#QP3O (statement)

History

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

Seven Dials, London 6K18FEDNPF

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

Mentions

wikipedia: Wikipedia List of places with numeric names#FHRE, Seven Dials, London (unknown)

History

2026-11-02: add by m2/dev

6K1VD3DMA5 6K1VD3DMA5

URI	`m2://inv/6K1VD3DMA5`
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.03081#LDFN (statement). In TX0H26X4VX/e1, lemma 2.1

History

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

6K1VT9SDXB 6K1VT9SDXB

URI	`m2://inv/6K1VT9SDXB`
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 2610.13833#H0XR (statement). In VD4JP4HVBX/e1, corollary 10.11

History

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

Centre International de Rencontres Mathématiques 6K20KAYK5J

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

Mentions

wikipedia: Wikipedia Centre International de Rencontres Mathématiques, Centre International de Rencontres Mathématiques (definition). Also Wikidata Q32859637

History

2026-11-02: add by m2/dev

Dmitry Fuks 6K227GSNDV

URI	`m2://inv/6K227GSNDV`
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#9R9U, Dmitry Fuks (topic)

History

2026-11-02: add by m2/dev

6K237A9KE1 6K237A9KE1

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#prob:prove_factoring_algorithm (exercise). In RZP28ERRZV, problem, section 10.7

History

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

6K2793KS9F 6K2793KS9F

URI	`m2://inv/6K2793KS9F`
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.08664#R2HW (statement). In 1YY0P4ZS0T/e1, lemma 20

History

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

10-demicube 6K2BY3Y572

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#8PXW, 10-demicube (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EY49, 10-demicube (object)

History

2026-11-02: add by m2/dev

Finite volume method 6K2FGX8JN3

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

Mentions

wikipedia: Wikipedia Finite volume method, Finite volume method (definition). Also Wikidata Q1401936

History

2026-11-02: add by m2/dev

Decision tree model 6K2KBRJ81D

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

Mentions

wikipedia: Wikipedia Decision tree model, Decision tree model (definition). Also Wikidata Q5249246

History

2026-11-02: add by m2/dev

6K2KPQKAHJ 6K2KPQKAHJ

URI	`m2://inv/6K2KPQKAHJ`
Kind	example
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 2610.16554#WFET (example). In GWNT8HEZG1/e1, example 4.38

History

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

Special linear group 6K2M4SQDVN

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

Mentions

wikipedia: Wikipedia List of group theory topics#WLNR, Special linear group (definition)

History

2026-11-02: add by m2/dev

6K2Y05ZJZA 6K2Y05ZJZA

URI	`m2://inv/6K2Y05ZJZA`
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 2109.09268#V31G (statement). In SYZFEVFHC3/e1, lemma 3.8

History

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

6K30527AB1 6K30527AB1

URI	`m2://inv/6K30527AB1`
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 2510.09873#OZAQ (statement). In KNB3ZCNC9Q/e1, corollary 2.4

History

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

Schreier conjecture 6K35ZRGDGG

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

Mentions

wikipedia: Wikipedia Schreier conjecture, Schreier conjecture (statement). Also Wikidata Q2993334

History

2026-11-02: add by m2/dev

hyperfactorial 6K3BCFHYG7

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

Mentions

wikidata: Wikidata Q18450993, hyperfactorial (unknown). Also MathWorld Hyperfactorial, OEIS A002109
wikipedia: Wikipedia Hyperfactorial, Hyperfactorial (definition). Also Wikidata Q18450993

History

2026-10-26: add by m2/dev

6K3CN0N972 6K3CN0N972

URI	`m2://inv/6K3CN0N972`
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.01968#AD3U (statement). In 9QE553Z0J5/e1, theorem 2.1

History

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

6K3PH7AKCW 6K3PH7AKCW

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

Mentions

arxiv: arXiv 2610.05459#7D6F (definition). In VYW16D089Y/e1, definition 5.2

History

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

Dobrushin comparison, averaged form 6K3R18MB7Q

URI	`m2://inv/6K3R18MB7Q`
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 2609.22301#2K2O, Dobrushin comparison, averaged form (statement)

History

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

6K3Z84H5Z1 6K3Z84H5Z1

URI	`m2://inv/6K3Z84H5Z1`
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.10927#1C9M (statement). In DHEJP3YATV/e1, proposition 15

History

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

Jesús Mosterín 6K4457699X

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

Mentions

wikipedia: Wikipedia Jesús Mosterín, Jesús Mosterín (topic). Also Wikidata Q1398048

History

2026-11-02: add by m2/dev

Essentially algebraic existence criterion 6K45HA72FS

URI	`m2://inv/6K45HA72FS`
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.33469#52IP, Essentially algebraic existence criterion (statement). In TC5QA4AB4Z/e1, theorem 3.26

History

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

Xinping Cui 6K4FRC4TXG

URI	`m2://inv/6K4FRC4TXG`
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#HMKN, Xinping Cui (topic)

History

2026-11-02: add by m2/dev

Châtelet surface 6K4YJ88WTD

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

Mentions

wikipedia: Wikipedia Châtelet surface, Châtelet surface (definition). Also Wikidata Q5118892

History

2026-11-02: add by m2/dev

module homomorphism 6K50EQQ9WK

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

Mentions

wikidata: Wikidata Q1942302, module homomorphism (unknown). Also MathWorld ModuleHomomorphism
wikipedia: Wikipedia Module homomorphism, Module homomorphism (definition). Also Wikidata Q1942302

History

2026-10-26: add by m2/dev

7-cube honeycomb 6K563P8S36

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#J8RF, 7-cube honeycomb (definition)

History

2026-11-02: add by m2/dev

6K59QW01MS 6K59QW01MS

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

Mentions

arxiv: arXiv 2610.18302#A172 (statement). In VJTRH1S4JA/e1, lemma 4.31

History

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

6K5A7ZH40S 6K5A7ZH40S

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

Mentions

arxiv: arXiv 2609.30098#IXX8 (statement)

History

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

6K5GC148KQ 6K5GC148KQ

URI	`m2://inv/6K5GC148KQ`
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 2105.13129#AKXQ (statement). In J5Z1JD5VKR/e1, proposition 2.3

History

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

Joseph Rizzo 6K5JSH2FWN

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

Mentions

wikipedia: Wikipedia Joseph Rizzo, Joseph Rizzo (definition). Also Wikidata Q6286582

History

2026-11-02: add by m2/dev

Schwarzschild radius 6K5KEWBCK3

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

Mentions

wikidata: Wikidata Q72755, Schwarzschild radius (unknown). Also nLab Schwarzschild radius
wikipedia: Wikipedia Schwarzschild radius, Schwarzschild radius (definition). Also Wikidata Q72755

History

2026-10-26: add by m2/dev

6K5MDYKG0M 6K5MDYKG0M

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/modal-validity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 54.4

History

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

Conditional proof of capacity 6K5Y819GVF

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

Mentions

wikipedia: Wikipedia Proof of space#QF5R, Conditional proof of capacity (unknown)

History

2026-11-02: add by m2/dev

Richard Ewen Borcherds 6K5Z5X8K1C

URI	`m2://inv/6K5Z5X8K1C`
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#LR9T, Richard Ewen Borcherds (topic)

History

2026-11-02: add by m2/dev

6K6323ATX2 6K6323ATX2

URI	`m2://inv/6K6323ATX2`
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.20165#LPAA (definition). In QTD3BP5GA0/e1, definition 3.1

History

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

6K6637S0WP 6K6637S0WP

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

Mentions

arxiv: arXiv 2609.24917#0VLP (statement)

History

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

Hendriks, Friedman-Witt 6K66W3PEKH

URI	`m2://inv/6K66W3PEKH`
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 2204.04820#CLDV, Hendriks, Friedman-Witt (statement). In 9EJ71MW89B/e1, theorem 2.5

History

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

Truncated hexagonal prismatic honeycomb 6K6D4ZA3NZ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#KBA1, Truncated hexagonal prismatic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4ZBS, Truncated hexagonal prismatic honeycomb (definition)

History

2026-11-02: add by m2/dev

Axisymmetric convolution 6K6EZ3YV1B

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

Mentions

arxiv: arXiv 2610.13892#T4JX, Axisymmetric convolution (statement). In HV9KKEBBDD/e1, proposition VI.3

History

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

6K6KY0S3K8 6K6KY0S3K8

URI	`m2://inv/6K6KY0S3K8`
Kind	statement
Layer	research
MSC	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 2610.09812#ISTP (statement). In NWWKD8YX57/e1, proposition 3.4

History

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

Charles George Broyden 6K6MDRE9H7

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

Mentions

wikipedia: Wikipedia Charles George Broyden, Charles George Broyden (topic). Also Wikidata Q5077997

History

2026-11-02: add by m2/dev

McMullen, 2000 6K6RXP6AVZ

URI	`m2://inv/6K6RXP6AVZ`
Kind	statement
Layer	research
MSC	11-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 2610.13347#IBRS, McMullen, 2000 (statement). In Z6QS82DPHE/e1, theorem 6.2

History

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

Blend modes 6K6SXV617B

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#GT98, Blend modes (unknown)

History

2026-11-02: add by m2/dev

6K6SZKNCXR 6K6SZKNCXR

URI	`m2://inv/6K6SZKNCXR`
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#76IU (statement). In DZ12XTTJSM/e1, lemma 5.10

History

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

Finite BTP equals PBF 6K6YRRHB1Y

URI	`m2://inv/6K6YRRHB1Y`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-XX, 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.08568#RA80, Finite BTP equals PBF (statement). In FDDA562VCA/e1, theorem 2.6

History

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

Fringe science 6K71D9M59F

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

Mentions

wikipedia: Wikipedia Fringe science, Fringe science (definition). Also Wikidata Q1140308

History

2026-11-02: add by m2/dev

6K74ZE5W3P 6K74ZE5W3P

URI	`m2://inv/6K74ZE5W3P`
Kind	statement
Layer	research
MSC	60-XX, 81-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.16267#JV4R (statement). In 65GKPZ15VH/e1, theorem 4.3

History

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

Examples 6K7NFQDTA1

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

Mentions

wikipedia: Wikipedia Convergence space#9ONC, Examples (example)

History

2026-11-02: add by m2/dev

Applications 6K7WNN3S5E

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

Mentions

wikipedia: Wikipedia Fink protocol#9HZD, Applications (example)

History

2026-11-02: add by m2/dev

Matthew Wyatt Joseph Fry 6K7XXZXN9T

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

Mentions

wikipedia: Wikipedia Matthew Wyatt Joseph Fry, Matthew Wyatt Joseph Fry (topic). Also Wikidata Q61968555

History

2026-11-02: add by m2/dev

6K81GQ5070 6K81GQ5070

URI	`m2://inv/6K81GQ5070`
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 2310.02073#FR8B (statement). In 3PNCRG6J62/e1, corollary 3.4

History

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

open 6K838TH15P

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#OGHJ, open (definition)

History

2026-11-02: add by m2/dev

6K84N8FS7N 6K84N8FS7N

URI	`m2://inv/6K84N8FS7N`
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 2606.20229#8SG2 (statement). In 1B85G2QJC2/e1, lemma 9.2

History

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

Feedback 6K85WS719S

URI	`m2://inv/6K85WS719S`
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#3DR3, Feedback (definition)

History

2026-11-02: add by m2/dev

Kagome crest 6K8D9KT3CF

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

Mentions

wikipedia: Wikipedia Trihexagonal tiling#15FJ, Kagome crest (unknown)

History

2026-11-02: add by m2/dev

Initial parameters for all positive factorizations 6K8EJD0PB5

URI	`m2://inv/6K8EJD0PB5`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-XX, 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.08568#TL6G, Initial parameters for all positive factorizations (statement). In FDDA562VCA/e1, proposition 2.7

History

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

Exponential midpoint upper bound 6K8P78KJZD

URI	`m2://inv/6K8P78KJZD`
Kind	statement
Layer	research
MSC	62-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.06308#UR9H, Exponential midpoint upper bound (statement). In HTWSDDAWGS/e1, theorem 4.1

History

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

6K8Y2S2PPF 6K8Y2S2PPF

URI	`m2://inv/6K8Y2S2PPF`
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.09765#7BTX (statement). In 79JJCQ63R3/e1, proposition 3.1

History

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

Contractible 6K92MQZAG3

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

Mentions

wikipedia: Wikipedia Glossary of general topology#I4FV, Contractible (definition)

History

2026-11-02: add by m2/dev

6K96YXT7YP 6K96YXT7YP

URI	`m2://inv/6K96YXT7YP`
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 2610.11043#5QG4 (statement). In R3NJYPZH52/e1, proposition 3.3

History

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

6K9JCNSPK0 6K9JCNSPK0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-2 (definition). In P1C114YBXG, definition, section u1

History

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

Faà di Bruno's formula 6K9JMPWYF9

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#8XUD, Faà di Bruno's formula (statement)
wikipedia: Wikipedia List of partition topics#D3R5, Faà di Bruno's formula (statement)

History

2026-11-02: add by m2/dev

Darboux frame 6K9RPWDXT2

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#U7CR, Darboux frame (definition)

History

2026-11-02: add by m2/dev

6K9SNGZSCB 6K9SNGZSCB

URI	`m2://inv/6K9SNGZSCB`
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.03835#B862 (statement). In KAYGQMQPGS/e1, lemma 4.4

History

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

6K9TZ4JZDM 6K9TZ4JZDM

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-26 (definition). In VNMV985MXX, defn, section 6.2

History

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

Examples 6KA0WFERSY

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

Mentions

wikipedia: Wikipedia Tessellation#AQIR, Examples (example)

History

2026-11-02: add by m2/dev

Spherical Bernstein's problem 6KA2D7H3WB

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

Mentions

wikipedia: Wikipedia Spherical Bernstein's problem, Spherical Bernstein's problem (conjecture). Also Wikidata Q65078441

History

2026-11-02: add by m2/dev

The sharp continuous boundary coefficient 6KA53D5EC5

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

Mentions

arxiv: arXiv 2610.19461#REZB, The sharp continuous boundary coefficient (statement). In D5X5P2QD6A/e1, proposition 6.1

History

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

Hypercubic honeycomb 6KAAB55CVV

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#B4AP, Hypercubic honeycomb (definition)
wikipedia: Wikipedia List of mathematical shapes#K3WS, Hypercubic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q6NU, Hypercubic honeycomb (definition)

History

2026-11-02: add by m2/dev

Three moment bounds 6KAHEJ7WBE

URI	`m2://inv/6KAHEJ7WBE`
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.09206#28X1, Three moment bounds (statement). In T7R1Q29DQK/e1, proposition 7

History

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

6KASPADS0A 6KASPADS0A

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

Mentions

arxiv: arXiv 2610.19214#ZJU7 (statement). In WZPD7TNNY9/e1, corollary 1.3

History

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

Fermat's Last Tango 6KAWS6NQ78

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

Mentions

wikipedia: Wikipedia Fermat's Last Tango, Fermat's Last Tango (definition). Also Wikidata Q118997245

History

2026-11-02: add by m2/dev

6KB6PCNM0D 6KB6PCNM0D

URI	`m2://inv/6KB6PCNM0D`
Kind	definition
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 2609.40096#YTPZ (definition). In XFE35F9NEV/e1, definition 1

History

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

Ferran Sunyer i Balaguer Prize 6KB6X2J9B4

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

Mentions

wikipedia: Wikipedia Ferran Sunyer i Balaguer Prize, Ferran Sunyer i Balaguer Prize (definition). Also Wikidata Q1407553

History

2026-11-02: add by m2/dev

6KBC5J9F7M 6KBC5J9F7M

URI	`m2://inv/6KBC5J9F7M`
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 2506.21337#PRNV (statement). In EPZN0JTG2Z/e1, lemma 3.19

History

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

6KBED46GJY 6KBED46GJY

URI	`m2://inv/6KBED46GJY`
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.12014#V6H7 (statement). In DR7BK4CQ0V/e1, theorem 5.31

History

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

General definition 6KBVB9SHK6

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

Mentions

wikipedia: Wikipedia Poisson boundary#MPDM, General definition (definition)

History

2026-11-02: add by m2/dev

6KBW08YMZQ 6KBW08YMZQ

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

Mentions

open_logic: open_logic content/second-order-logic/metatheory/compactness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 65.1

History

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

6KBWYB8PX6 6KBWYB8PX6

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

Mentions

arxiv: arXiv math/0406514#T70Z (statement). In CY1FE8W1ZW/e1, lemma 0.14

History

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

6KBYM53DZD 6KBYM53DZD

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-239 (exercise). In VNMV985MXX, exercise, section 4.5

History

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

6KC2F828GM 6KC2F828GM

URI	`m2://inv/6KC2F828GM`
Kind	statement
Layer	research
MSC	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.39246#EYZR (statement). In FVK0J9CFEF/e1, lemma 4.4

History

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

6KCDKWP1H8 6KCDKWP1H8

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 3

History

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

6KCHETMSC8 6KCHETMSC8

URI	`m2://inv/6KCHETMSC8`
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 math/9801068#LG4G (statement). In PMMWXCJVAZ/e1, proposition 5.6

History

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

child 6KCPV6CKH8

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#46D5, child (definition)

History

2026-11-02: add by m2/dev

Rank of an abelian group 6KCTRB1ENR

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

Mentions

wikipedia: Wikipedia Rank of an abelian group, Rank of an abelian group (definition). Also Wikidata Q1260803

History

2026-11-02: add by m2/dev

6KCYTRNEQP 6KCYTRNEQP

URI	`m2://inv/6KCYTRNEQP`
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 2303.14022#J42F (statement). In NSYR6W27FP/e1, proposition 4.9

History

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

Jeffrey Shallit 6KCZN7XV02

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KEAR, Jeffrey Shallit (unknown)

History

2026-11-02: add by m2/dev

Definition 6KD95X7T63

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

Mentions

wikipedia: Wikipedia Electromagnetic four-potential#GSNK, Definition (definition)

History

2026-11-02: add by m2/dev

Examples 6KDA1SMPH0

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

Mentions

wikipedia: Wikipedia Van den Berg–Kesten inequality#3F1C, Examples (example)

History

2026-11-02: add by m2/dev

Bondi–Metzner–Sachs group 6KDHY0QVAV

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

Mentions

wikipedia: Wikipedia Bondi–Metzner–Sachs group, Bondi–Metzner–Sachs group (definition). Also Wikidata Q28456647

History

2026-11-02: add by m2/dev

Henry Walcott Farnam 6KDKZ2ZYNB

URI	`m2://inv/6KDKZ2ZYNB`
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#VT90, Henry Walcott Farnam (unknown)

History

2026-11-02: add by m2/dev

6KDVYEGFN6 6KDVYEGFN6

URI	`m2://inv/6KDVYEGFN6`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#HAI3 (statement). In JW8HH6EPG2/e1, lemma 4.19

History

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

Waclaw Sierpinski 6KDZ590YGP

URI	`m2://inv/6KDZ590YGP`
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#BKB9, Waclaw Sierpinski (topic)

History

2026-11-02: add by m2/dev

6KDZ8Y61RW 6KDZ8Y61RW

URI	`m2://inv/6KDZ8Y61RW`
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 2610.13833#XE6C (statement). In VD4JP4HVBX/e1, theorem 9.2

History

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

Method of support 6KE1PJ2T9N

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

Mentions

wikipedia: Wikipedia Maximum likelihood estimation#CY7K, Method of support (unknown)

History

2026-11-02: add by m2/dev

Maximum parsimony 6KE4RFG06M

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

Mentions

wikipedia: Wikipedia Maximum parsimony, Maximum parsimony (definition). Also Wikidata Q1805805

History

2026-11-02: add by m2/dev

Turn (geometry) 6KE5B20Y26

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

Mentions

wikipedia: Wikipedia List of topics related to π#I7QB, Turn (geometry) (definition)

History

2026-11-02: add by m2/dev

International Mathematical Olympiad 6KE8W11EBX

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#WFPW, International Mathematical Olympiad (definition)

History

2026-11-02: add by m2/dev

Conditional phase-energy decay 6KEBG3ZPHY

URI	`m2://inv/6KEBG3ZPHY`
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.09356#4388, Conditional phase-energy decay (statement). In 3VVGPXWH6R/e1, lemma C.24

History

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

Quasi-variance 6KED79ZE1J

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

Mentions

wikipedia: Wikipedia Quasi-variance, Quasi-variance (definition). Also Wikidata Q30594716

History

2026-11-02: add by m2/dev

Nautilus 6KEH1MH6VY

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

Mentions

wikipedia: Wikipedia Nautilus (secure telephone), Nautilus (definition). Also Wikidata Q6981514

History

2026-11-02: add by m2/dev

Sanov's theorem 6KEKGP1N20

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

Mentions

wikipedia: Wikipedia Sanov's theorem, Sanov's theorem (statement). Also Wikidata Q7418899

History

2026-11-02: add by m2/dev

equaliser 6KETPQS1JE

URI	`m2://inv/6KETPQS1JE`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Equalizer CTJ5AD8ST5

Mentions

wikidata: Wikidata Q1224487, equaliser (unknown). Also MathWorld Equalizer, nLab equalizer
wikipedia: Wikipedia Equaliser (mathematics), Equaliser (definition). Also Wikidata Q1224487

History

2026-10-26: add by m2/dev

6KEXBCQH8P 6KEXBCQH8P

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

Mentions

arxiv: arXiv 2609.24320#INQW (statement)

History

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

6KEYBTJRPD 6KEYBTJRPD

URI	`m2://inv/6KEYBTJRPD`
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#T9NE (statement). In BZ54C9SKYS/e1, lemma 4.10

History

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

6KEYZWKZRN 6KEYZWKZRN

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

Mentions

arxiv: arXiv 2610.06541#AVJI (statement). In R604B78EVK/e1, lemma 3.3

History

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

Netto's theorem 6KF227D73F

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

Mentions

wikipedia: Wikipedia List of theorems#J7D1, Netto's theorem (statement)

History

2026-11-02: add by m2/dev

Michele Rajna 6KF6J1YH09

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#48L9, Michele Rajna (topic)

History

2026-11-02: add by m2/dev

6KFA6HV0XA 6KFA6HV0XA

URI	`m2://inv/6KFA6HV0XA`
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.17070#WQFA (statement). In W3G9Z9B32N/e1, theorem 2.1

History

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

6KFBJPSF6F 6KFBJPSF6F

URI	`m2://inv/6KFBJPSF6F`
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.18620#OA8D (statement). In 6WJ0R9YEBR/e1, lemma 6.7

History

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

Definition 6KFN7HKJ1M

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

Mentions

wikipedia: Wikipedia Weyr canonical form#II7Y, Definition (definition)

History

2026-11-02: add by m2/dev

Tolman–Oppenheimer–Volkoff limit 6KFWHAKWA3

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

Mentions

wikipedia: Wikipedia Tolman–Oppenheimer–Volkoff limit, Tolman–Oppenheimer–Volkoff limit (definition). Also Wikidata Q1139232

History

2026-11-02: add by m2/dev

Johann Samuel König 6KG5PDGKZE

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

Mentions

wikipedia: Wikipedia Johann Samuel König, Johann Samuel König (topic). Also Wikidata Q64773

History

2026-11-02: add by m2/dev

6KGCGQTET4 6KGCGQTET4

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 22.10

History

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

Blocks influenced by trajectories with large range 6KGCZXV8MG

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

Mentions

arxiv: arXiv 2609.39699#XN32, Blocks influenced by trajectories with large range (statement). In 6M4TMC8G6X/e1, lemma 8

History

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

6KGMRKV3HB 6KGMRKV3HB

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_intro.ptx#exa_strings_ga-plate (example). In QKM9DD2H56, example, section 2.1

History

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

Fedor Nazarov 6KGNY76QNS

URI	`m2://inv/6KGNY76QNS`
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#YSCT, Fedor Nazarov (topic)

History

2026-11-02: add by m2/dev

Properties 6KGRJRK94K

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

Mentions

wikipedia: Wikipedia Bilunabirotunda#ZQI0, Properties (statement)

History

2026-11-02: add by m2/dev

Examples 6KGXR2FGQK

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

Mentions

wikipedia: Wikipedia Sperner family#SVNH, Examples (example)

History

2026-11-02: add by m2/dev

6KH2EKB2P8 6KH2EKB2P8

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-1 (exercise). In P1C114YBXG, problem, section F

History

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

Formulation 6KHN46TAGV

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

Mentions

wikipedia: Wikipedia Exponential sum#2J5F, Formulation (definition)

History

2026-11-02: add by m2/dev

6KHYMMRQFX 6KHYMMRQFX

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

Mentions

arxiv: arXiv 2512.07340#Z6KL (statement). In WXE3PVAZBT/e1, lemma 3.7

History

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

Clopen set 6KJ1YGGW1F

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

Mentions

wikipedia: Wikipedia List of types of sets#NH8X, Clopen set (definition)

History

2026-11-02: add by m2/dev

shifted symplectic structure 6KJ5NPHA9Q

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

Mentions

wikipedia: Wikipedia Glossary of symplectic geometry#7992, shifted symplectic structure (definition)

History

2026-11-02: add by m2/dev

6KJ8J8T280 6KJ8J8T280

URI	`m2://inv/6KJ8J8T280`
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#WFOM (conjecture)

History

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

Yoshiharu Kohayakawa 6KJ8VP4Z9E

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

Mentions

wikipedia: Wikipedia Yoshiharu Kohayakawa, Yoshiharu Kohayakawa (topic). Also Wikidata Q20021278

History

2026-11-02: add by m2/dev

6KJZJM1Z3X 6KJZJM1Z3X

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

Mentions

arxiv: arXiv 2610.17240#IFYE (statement). In 59BZ4V9RQW/e1, lemma 7.2

History

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

Inequality 6KJZRQCAAZ

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

Mentions

wikipedia: Wikipedia Demographics of Armenia#1JA2, Inequality (statement)

History

2026-11-02: add by m2/dev

Kasner metric 6KK80RNQ96

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

Mentions

wikipedia: Wikipedia Kasner metric, Kasner metric (definition). Also Wikidata Q3333767

History

2026-11-02: add by m2/dev

6KK8MD909R 6KK8MD909R

URI	`m2://inv/6KK8MD909R`
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.36045#VQDZ (statement). In F0E8YBV0Z0/e1, lemma 3.3

History

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

6KK9CM56CX 6KK9CM56CX

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

Mentions

napkin: napkin tex/calculus/limits.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 32.8

History

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

Definition 6KKBRZ0KPZ

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

Mentions

wikipedia: Wikipedia Redheffer star product#WFRE, Definition (definition)

History

2026-11-02: add by m2/dev

splitting $K$ along $d$ 6KKCQ4XFJC

URI	`m2://inv/6KKCQ4XFJC`
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.01029#568T, splitting $K$ along $d$ (statement). In KA8VS65Z9G/e1, proposition 11

History

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

Tropical geometry 6KKD01K9B6

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#3C2F, Tropical geometry (definition)

History

2026-11-02: add by m2/dev

6KKN02WGZV 6KKN02WGZV

URI	`m2://inv/6KKN02WGZV`
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.09765#2JRU (statement). In 79JJCQ63R3/e1, theorem 2.1

History

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

Closed 6KKYBCV2VA

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#QMP1, Closed (definition)

History

2026-11-02: add by m2/dev

6KM4TXQDKZ 6KM4TXQDKZ

URI	`m2://inv/6KM4TXQDKZ`
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.12012#YVDB (statement). In 1RXGXBQAHS/e1, lemma 2.4

History

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

6KM6ZJQQGT 6KM6ZJQQGT

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

Mentions

arxiv: arXiv 2609.32585#AK5S (example). In FJFJ3WR1SS/e1, example

History

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

6KM8088NX8 6KM8088NX8

URI	`m2://inv/6KM8088NX8`
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.24041#MWGK (statement)

History

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

Langlands 6KMF5F6K49

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#QYQH, Langlands (definition)

History

2026-11-02: add by m2/dev

6KMFQKWFV8 6KMFQKWFV8

URI	`m2://inv/6KMFQKWFV8`
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.08202#CPPD (statement). In N7XJ16700B/e1, theorem 2

History

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

Immerman–Szelepcsényi theorem 6KMJJ9C6C2

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

Mentions

wikipedia: Wikipedia List of theorems#TVC4, Immerman–Szelepcsényi theorem (statement)

History

2026-11-02: add by m2/dev

6KMV6423CE 6KMV6423CE

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

Mentions

wikipedia: Wikipedia Hadwiger conjecture (graph theory)#Y35L (problem)

History

2026-11-02: add by m2/dev

6KMWZXK8YM 6KMWZXK8YM

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-69 (exercise). In E59CDZA4DP, exercise, section 1.8.7

History

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

Uwe Grimm 6KMY5S3ENR

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

Mentions

wikipedia: Wikipedia Uwe Grimm, Uwe Grimm (topic). Also Wikidata Q50906413

History

2026-11-02: add by m2/dev

6KMZBXBMFY 6KMZBXBMFY

URI	`m2://inv/6KMZBXBMFY`
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.29623#HHF8 (statement)

History

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

Optical phonon 6KN3REDAYK

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

Mentions

wikipedia: Wikipedia Phonon#0POQ, Optical phonon (unknown)

History

2026-11-02: add by m2/dev

6KN6CV63QZ 6KN6CV63QZ

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

Mentions

arxiv: arXiv 2609.32174#6ZCB (statement). In GHKR740SG3/e1, proposition 17.7

History

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

Sample skewness 6KNA1MC9JG

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

Mentions

wikipedia: Wikipedia Skewness#1KCR, Sample skewness (unknown)

History

2026-11-02: add by m2/dev

MC1R 6KND4J15BJ

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#5SB0, MC1R (unknown)

History

2026-11-02: add by m2/dev

Kosnita Point 6KNKRHEA7D

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

Mentions

wikidata: Wikidata Q1785070, Kosnita Point (unknown). Also MathWorld KosnitaPoint
wikipedia: Wikipedia Kosnita's theorem, Kosnita's theorem (statement). Also Wikidata Q1785070

History

2026-10-26: add by m2/dev

6KPDZ9CM0K 6KPDZ9CM0K

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

Mentions

arxiv: arXiv 2610.17139#344G (statement). In AQWX60Z563/e1, lemma 4.10

History

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

6KPJFEWR9K 6KPJFEWR9K

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

Mentions

arxiv: arXiv 2505.04593#E0NY (statement). In PEXJPV3NP8/e1, theorem 6.4

History

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

6KPKA8XR4A 6KPKA8XR4A

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

Mentions

arxiv: arXiv 2610.17240#2NHU (example). In 59BZ4V9RQW/e1, example 9.4

History

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

composite function 6KPP4SVNCS

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

Mentions

wikidata: Wikidata Q78076954, composite function (unknown). Also EoM Composite_function

History

2026-10-26: add by m2/dev

Differential soliton constraint 6KPVFKQ7HF

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

Mentions

arxiv: arXiv 2610.00077#PIO4, Differential soliton constraint (statement). In C04B15GH1T/e1, proposition 4.15

History

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

6KPZ2613SK 6KPZ2613SK

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

Mentions

arxiv: arXiv 2609.32829#YE24 (definition). In RYWAX33Z51/e1, definition 5.4

History

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

Applications 6KQ4XD1XK0

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

Mentions

wikipedia: Wikipedia Rheology#AL18, Applications (example)

History

2026-11-02: add by m2/dev

6KQ6K4PX0Q 6KQ6K4PX0Q

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

Mentions

wikidata: Wikidata Q1079749 (unknown). Also nLab Christian Fronsdal

History

2026-10-26: add by m2/dev

product notation 6KQ6NAEXSB

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

Mentions

levin_dmoi: levin_dmoi index/3.1/product-notation, product notation (concept). In Y91XFCEVHQ, index, section 3.1

History

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

6KQDF300KX 6KQDF300KX

URI	`m2://inv/6KQDF300KX`
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#ZPTZ (statement)

History

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

6KQGJ4DAT0 6KQGJ4DAT0

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

Mentions

arxiv: arXiv 2610.13658#OHMB (statement). In R9BC934K3E/e1, proposition 6.3

History

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

Isaac Namioka 6KQK3BAS6N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#93UY, Isaac Namioka (unknown)

History

2026-11-02: add by m2/dev

Properties 6KQSF32TYX

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

Mentions

wikipedia: Wikipedia Dyakis dodecahedron#1F3K, Properties (statement)

History

2026-11-02: add by m2/dev

6KQZ8FEH5X 6KQZ8FEH5X

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

Mentions

arxiv: arXiv 2610.15887#LOD5 (problem). In 87QYNZZ67Z/e1, problem 12.2

History

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

Transport of the Legendre form 6KR7J6966T

URI	`m2://inv/6KR7J6966T`
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.10813#5KPD, Transport of the Legendre form (statement). In G8F4P7GDMA/e1, lemma 4.12

History

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

6KRA8D64EX 6KRA8D64EX

URI	`m2://inv/6KRA8D64EX`
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.10581#YCVG (statement). In 6V42A71SPC/e1, theorem 2.5

History

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

Computational complexity of graph coloring 6KRH2341SW

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

Mentions

wikipedia: Wikipedia Graph coloring#U7GL, Computational complexity of graph coloring (unknown)

History

2026-11-02: add by m2/dev

Rob Reitzen 6KRTC52NNN

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

Mentions

wikipedia: Wikipedia Rob Reitzen, Rob Reitzen (topic). Also Wikidata Q124093278

History

2026-11-02: add by m2/dev

6KRZR5PQ4F 6KRZR5PQ4F

URI	`m2://inv/6KRZR5PQ4F`
Kind	definition
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.22657#RXD0 (definition)

History

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

6KS1EBFR48 6KS1EBFR48

URI	`m2://inv/6KS1EBFR48`
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.01924#XCKO (statement). In CB89152EQW/e1, theorem 0.1

History

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

Uniform empirical-moment and tensor CUSUM bounds 6KS6YHNESE

URI	`m2://inv/6KS6YHNESE`
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.36594#0RMS, Uniform empirical-moment and tensor CUSUM bounds (statement). In 8JDQ9FWFRK/e1, theorem 7

History

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

6KSC1EP3VB 6KSC1EP3VB

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

Mentions

arxiv: arXiv math/0406514#N3VP (statement). In CY1FE8W1ZW/e1, corollary 0.162

History

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

Theorem (Maltsev, 1954) 6KSD8RNFMP

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

Mentions

wikipedia: Wikipedia Congruence-permutable algebra#OOV9, Theorem (Maltsev, 1954) (statement)

History

2026-11-02: add by m2/dev

6KSDZ6F7Q8 6KSDZ6F7Q8

URI	`m2://inv/6KSDZ6F7Q8`
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.37815#LZUS (statement). In SVJYA0171G/e1, proposition 2.3

History

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

Roberts, Gareth O. 6KSNEYPYKD

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

Mentions

wikipedia: Wikipedia List of statisticians#NR54, Roberts, Gareth O. (topic)

History

2026-11-02: add by m2/dev

6KSR3FEQQZ 6KSR3FEQQZ

URI	`m2://inv/6KSR3FEQQZ`
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.15982#ROKD (statement). In KB50SHR229/e1, lemma C.3

History

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

6KSWV7N18R 6KSWV7N18R

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

Mentions

arxiv: arXiv 2609.27360#HYW5 (statement)

History

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

Charles Garabedian 6KT54HEZ0K

URI	`m2://inv/6KT54HEZ0K`
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#IZFM, Charles Garabedian (unknown)

History

2026-11-02: add by m2/dev

Orders of magnitude (one cubic gigametre and greater) 6KT6RF11TE

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

Mentions

wikipedia: Wikipedia Orders of magnitude (volume)#QHCW, Orders of magnitude (one cubic gigametre and greater) (unknown)

History

2026-11-02: add by m2/dev

6KTR3ZFCNT 6KTR3ZFCNT

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

Mentions

arxiv: arXiv 2609.26723#LOOZ (statement)

History

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

Mix network 6KTS1JB8X6

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

Mentions

wikipedia: Wikipedia Mix network, Mix network (definition). Also Wikidata Q497516

History

2026-11-02: add by m2/dev

6KV3ZKYPW9 6KV3ZKYPW9

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

Mentions

hott_book: hott_book hits.tex#proof-31 (proof). In N54F33XE07, proof, section 5.12

History

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

Runcitruncated cubic honeycomb 6KVCDBQ97K

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#ES7R, Runcitruncated cubic honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6BS1, Runcitruncated cubic honeycomb (object)

History

2026-11-02: add by m2/dev

6KVCQMCJ81 6KVCQMCJ81

URI	`m2://inv/6KVCQMCJ81`
Kind	statement
Layer	research
MSC	60-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.34570#D6RH (statement). In EVFX1R7ZDD/e1, lemma 4

History

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

6KVF7PNH4K 6KVF7PNH4K

URI	`m2://inv/6KVF7PNH4K`
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.11905#M4KG (statement). In QQFXT31CA5/e1, theorem 1.4

History

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

Roberto Markarian 6KVFYBSVRM

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

Mentions

wikipedia: Wikipedia Roberto Markarian, Roberto Markarian (topic). Also Wikidata Q20016039

History

2026-11-02: add by m2/dev

6KVGF79RYE 6KVGF79RYE

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

Mentions

hott_book: hott_book reals.tex#thm:NO-set (statement). In N54F33XE07, cor, section B.6

History

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

Lefschetz hyperplane theorem 6KVRY6R688

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

Mentions

wikipedia: Wikipedia List of theorems#1BT5, Lefschetz hyperplane theorem (statement)

History

2026-11-02: add by m2/dev

6KW444H3ZK 6KW444H3ZK

URI	`m2://inv/6KW444H3ZK`
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.14741#UKJM (statement). In RK1VPWWX9E/e1, lemma 3.9

History

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

6KW4MDNVFA 6KW4MDNVFA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-76 (exercise). In E9HS8K3A52, exercise, section 5.6.4

History

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

6KW8HYC7NN 6KW8HYC7NN

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

Mentions

napkin: napkin tex/linalg/fourier.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 59.7

History

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

Henri Cartan 6KWF20QXXE

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#5OLR, Henri Cartan (topic)

History

2026-11-02: add by m2/dev

squeeze theorem 6KWF371ZBN

URI	`m2://inv/6KWF371ZBN`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Squeeze theorem 0XMF00T4XQ

Mentions

mathlib_1000: mathlib_1000 Q1065257, Squeeze theorem (statement). Also Mathlib tendsto_of_tendsto_of_tendsto_of_le_of_le', Wikidata Q1065257
thousand_plus: thousand_plus Q1065257, Squeeze theorem (statement). Also Mathlib tendsto_of_tendsto_of_tendsto_of_le_of_le', Wikidata Q1065257, Wikipedia Squeeze theorem
wikidata: Wikidata Q1065257, squeeze theorem (statement). Also MathWorld SqueezeTheorem, MathWorld SqueezingTheorem, ProofWiki Squeeze_Theorem
wikipedia: Wikipedia Squeeze theorem, Squeeze theorem (statement). Also Wikidata Q1065257

History

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

6KWG8G7FA7 6KWG8G7FA7

URI	`m2://inv/6KWG8G7FA7`
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 2610.04398#MYW7 (statement). In DFZWC9HY0T/e1, theorem D

History

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

6KWNX90X0J 6KWNX90X0J

URI	`m2://inv/6KWNX90X0J`
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 2309.15424#17NV (statement). In NXYZ1EAWKN/e1, theorem 2.2

History

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

Complete 6KWRVSHGYG

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

Mentions

wikipedia: Wikipedia Glossary of general topology#SA2H, Complete (definition)

History

2026-11-02: add by m2/dev

Outline of regression analysis 6KWSRYVCB7

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

Mentions

wikipedia: Wikipedia Outline of regression analysis, Outline of regression analysis (topic). Also Wikidata Q7112712

History

2026-11-02: add by m2/dev

Generalization 6KWVRECG7R

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

Mentions

wikipedia: Wikipedia Ring (mathematics)#SF6A, Generalization (statement)

History

2026-11-02: add by m2/dev

nonassociative ring 6KWWFKEJBQ

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

Mentions

wikidata: Wikidata Q13512116, nonassociative ring (unknown). Also EoM Non-associative_rings_and_algebras, nLab nonassociative ring
wikidata: Wikidata Q4391941, non-associative algebra (unknown). Also EoM Non-associative_rings_and_algebras, MathWorld NonassociativeAlgebra, nLab nonassociative algebra
wikipedia: Wikipedia Non-associative algebra, Non-associative algebra (definition). Also Wikidata Q4391941

History

2026-10-26: add by m2/dev

Findicator 6KWZSRW1MV

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

Mentions

wikipedia: Wikipedia Findicator, Findicator (definition). Also Wikidata Q5449929

History

2026-11-02: add by m2/dev

Variants 6KX2PBMTXE

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

Mentions

wikipedia: Wikipedia Davenport constant#3DQ3, Variants (statement)

History

2026-11-02: add by m2/dev

6KX4WQ17J4 6KX4WQ17J4

URI	`m2://inv/6KX4WQ17J4`
Kind	example
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 2312.06581#5WI7 (example). In WXJ2V3HA2R/e1, example E.3

History

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

Shoichiro Sakai 6KX6BG6TGK

URI	`m2://inv/6KX6BG6TGK`
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#O85Q, Shoichiro Sakai (topic)

History

2026-11-02: add by m2/dev

Theorem 6KX75JZJR1

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

Mentions

wikipedia: Wikipedia Trigenus#GAGD, Theorem (statement)

History

2026-11-02: add by m2/dev

Florence Lewis 6KX75Q7S1N

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

Mentions

wikipedia: Wikipedia Florence Lewis, Florence Lewis (topic). Also Wikidata Q22096443

History

2026-11-02: add by m2/dev

No low-error trivial states theorem 6KXBBKRDZN

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

Mentions

wikipedia: Wikipedia NLTS conjecture#QC9D, No low-error trivial states theorem (statement)

History

2026-11-02: add by m2/dev

Early absorption 6KXPQJ7DN9

URI	`m2://inv/6KXPQJ7DN9`
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.21328#9RF8, Early absorption (statement). In BJXVV4ZF7B/e1, lemma 8.4

History

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

Example 6KXQ77BQ53

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

Mentions

wikipedia: Wikipedia Barsotti–Tate group#0ZX5, Example (example)

History

2026-11-02: add by m2/dev

6KXRP30D57 6KXRP30D57

URI	`m2://inv/6KXRP30D57`
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.01441#X000 (statement). In V678XY1P9A/e1, theorem 4

History

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

Gelfand's formula 6KY1PW9ED0

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

Mentions

wikipedia: Wikipedia Spectral radius#N50S, Gelfand's formula (statement)

History

2026-11-02: add by m2/dev

Exponential rate on the real line 6KY6MAH9MP

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

Mentions

arxiv: arXiv 2609.32585#BO4G, Exponential rate on the real line (statement). In FJFJ3WR1SS/e1, corollary B.1

History

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

6KY9YB8YKY 6KY9YB8YKY

URI	`m2://inv/6KY9YB8YKY`
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#2QGV (statement). In DPR6B6X0JX/e1, theorem 2

History

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

6KYFW9BK8T 6KYFW9BK8T

URI	`m2://inv/6KYFW9BK8T`
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.08658#5CXV (statement). In 7PK5WS7246/e1, lemma 4.3

History

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

6KYJ3N0SRD 6KYJ3N0SRD

URI	`m2://inv/6KYJ3N0SRD`
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 2108.03672#OEB3 (statement). In EZZSZ1F071/e1, lemma 1.20

History

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

6KYNG212SN 6KYNG212SN

URI	`m2://inv/6KYNG212SN`
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 2206.05392#LLGF (statement). In 58D1ZC82DW/e1, proposition 29

History

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

6KYR8Q89EG 6KYR8Q89EG

URI	`m2://inv/6KYR8Q89EG`
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 2504.13516#7XKC (statement). In Z9JWKWH7CJ/e1, theorem 4.2

History

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

Salvatore Rocco Rappoccio 6KZ08PHYC3

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

Mentions

wikidata: Wikidata Q64860291, Salvatore Rocco Rappoccio (unknown). Also nLab Salvatore Rappoccio

History

2026-10-26: add by m2/dev

Armenian eternity sign 6KZ1WZEC3V

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

Mentions

wikipedia: Wikipedia Armenian eternity sign, Armenian eternity sign (definition). Also Wikidata Q36713

History

2026-11-02: add by m2/dev

John T. Graves 6KZ33ZS66N

URI	`m2://inv/6KZ33ZS66N`
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 Q940427, John T. Graves (unknown). Also ProofWiki Mathematician:John_Thomas_Graves
wikipedia: Wikipedia John T. Graves, John T. Graves (topic). Also Wikidata Q940427

History

2026-10-26: add by m2/dev

6KZDFGJTK1 6KZDFGJTK1

URI	`m2://inv/6KZDFGJTK1`
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#DKH8 (statement). In CRFDGFZHBF/e1, proposition 9.12

History

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

The mesh score is a conditional expectation 6KZJ058883

URI	`m2://inv/6KZJ058883`
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.00117#BJIQ, The mesh score is a conditional expectation (statement). In 4G2BDP206S/e1, lemma 20

History

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

Gregory Chaitin 6KZP624KSG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OX9F, Gregory Chaitin (topic)

History

2026-11-02: add by m2/dev

Martin Scharlemann 6KZRHMZNX4

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

Mentions

wikipedia: Wikipedia Martin Scharlemann, Martin Scharlemann (topic). Also Wikidata Q23771700

History

2026-11-02: add by m2/dev

Number 6KZT2X1DHN

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

Mentions

wikipedia: Wikipedia Space group#ZAZ7, Number (definition)

History

2026-11-02: add by m2/dev

Algorithms Unlocked 6KZXYRC34D

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

Mentions

wikipedia: Wikipedia List of mathematics books#T99K, Algorithms Unlocked (unknown)

History

2026-11-02: add by m2/dev

6KZZAXSHWN 6KZZAXSHWN

URI	`m2://inv/6KZZAXSHWN`
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.37739#QZIJ (statement). In F5XF5VXTXY/e1, lemma 3.1

History

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

Monotonicity formula 6KZZVWK2RP

URI	`m2://inv/6KZZVWK2RP`
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.24011#86IJ, Monotonicity formula (statement)

History

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