Inventory rows H8

Saint Petersburg Mathematical Society H802WCGVN7

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

Mentions

wikipedia: Wikipedia Saint Petersburg Mathematical Society, Saint Petersburg Mathematical Society (definition). Also Wikidata Q2222371

History

2026-11-02: add by m2/dev

H805XBTV4J H805XBTV4J

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

Mentions

arxiv: arXiv 2610.02983#0QXZ (statement). In HMNKENER22/e1, theorem 2.1

History

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

H80CV08DFQ H80CV08DFQ

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

Mentions

arxiv: arXiv 2609.33529#IBG7 (statement). In RQZGQG3PBR/e1, proposition 2.1

History

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

H80FDHFJJ6 H80FDHFJJ6

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

Mentions

arxiv: arXiv 2610.14377#08AL (statement). In WEZPNET90D/e1, lemma 4.3

History

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

H80JA86C1D H80JA86C1D

URI	`m2://inv/H80JA86C1D`
Kind	statement
Layer	research
MSC	14-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.24542#A3Z5 (statement)

History

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

H80N0414S3 H80N0414S3

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

Mentions

napkin: napkin tex/H113/quotient.tex#definition-4 (definition). In RZP28ERRZV, definition, section 3.3

History

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

Strictness beyond total Moore systems H80QZE3WP2

URI	`m2://inv/H80QZE3WP2`
Kind	statement
Layer	research
MSC	18-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.20207#KRHM, Strictness beyond total Moore systems (statement)

History

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

H80RQ991YN H80RQ991YN

URI	`m2://inv/H80RQ991YN`
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.14455#ZONX (statement). In 5KARPAJDCP/e1, proposition 4.6

History

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

H80ZHTWKP0 H80ZHTWKP0

URI	`m2://inv/H80ZHTWKP0`
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.27800#4PO6 (statement)

History

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

Volodymyr Zelenskyy H81120T9XN

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#N625, Volodymyr Zelenskyy (unknown)

History

2026-11-02: add by m2/dev

Anticlique H815BAW2FN

URI	`m2://inv/H815BAW2FN`
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 2610.09810#3ECM, Anticlique (definition). In B6PCH930FV/e1, definition 17

History

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

Example H81BGRVXKM

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

Mentions

wikipedia: Wikipedia Parallel all-pairs shortest path algorithm#SXN6, Example (example)

History

2026-11-02: add by m2/dev

H81H7Z6KHK H81H7Z6KHK

URI	`m2://inv/H81H7Z6KHK`
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.11965#7W0M (statement). In 48QX0QD0XR/e1, corollary 7.4

History

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

Marquois scales H81RRHJR0W

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

Mentions

wikipedia: Wikipedia Marquois scales, Marquois scales (definition). Also Wikidata Q110281315

History

2026-11-02: add by m2/dev

William Gemmell Cochran H81VMR5ZSV

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

Mentions

wikipedia: Wikipedia William Gemmell Cochran, William Gemmell Cochran (topic). Also Wikidata Q880924

History

2026-11-02: add by m2/dev

H820CWSG5G H820CWSG5G

URI	`m2://inv/H820CWSG5G`
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.29878#WZJP (statement)

History

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

Uniform auxiliary estimates H8211W8QVM

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

Mentions

arxiv: arXiv 2609.37615#21SJ, Uniform auxiliary estimates (statement). In T2B54J7121/e1, theorem A.1

History

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

H826FAKPRN H826FAKPRN

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

Mentions

arxiv: arXiv 2610.11395#QYJZ (statement). In T3W7SMWQ73/e1, theorem 1

History

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

H82D9RBHYP H82D9RBHYP

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

Mentions

arxiv: arXiv 2610.07957#YS7X (definition). In RXFKX8M8P0/e1, definition 4

History

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

Bin Yu H82J6J6MG0

URI	`m2://inv/H82J6J6MG0`
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#V1WZ, Bin Yu (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#PS9E, Bin Yu (topic)

History

2026-11-02: add by m2/dev

Uniform laws of large numbers H82KHVD121

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

Mentions

wikipedia: Wikipedia Law of large numbers#653S, Uniform laws of large numbers (statement)

History

2026-11-02: add by m2/dev

Weyl fermion H82N3P94AP

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#NJ5X, Weyl fermion (definition)

History

2026-11-02: add by m2/dev

Cumulativity H82YT0PPFX

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

Mentions

arxiv: arXiv 2610.21131#7XV8, Cumulativity (statement). In CPYWHRTPKC/e1, lemma 6.10

History

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

Warren Farrell H82Z3P0B6Z

URI	`m2://inv/H82Z3P0B6Z`
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#9GVJ, Warren Farrell (unknown)

History

2026-11-02: add by m2/dev

Single interval theorems H836NN6R13

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

Mentions

wikipedia: Wikipedia Cayley configuration space#VO6S, Single interval theorems (statement)

History

2026-11-02: add by m2/dev

H83A0T2C6F H83A0T2C6F

URI	`m2://inv/H83A0T2C6F`
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.37593#B8CP (statement). In YTF96VHKAH/e1, theorem 3.1

History

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

Applications H83BSAS49Y

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

Mentions

wikipedia: Wikipedia Continuous binomial distribution#VHC5, Applications (example)

History

2026-11-02: add by m2/dev

H83DF1D1TK H83DF1D1TK

URI	`m2://inv/H83DF1D1TK`
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.20165#38B7 (statement). In QTD3BP5GA0/e1, proposition 4.4

History

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

H83ENFRW1R H83ENFRW1R

URI	`m2://inv/H83ENFRW1R`
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.19455#K7PJ (statement). In CBF6TQS4DW/e1, lemma 2.4

History

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

H83ETXVBXJ H83ETXVBXJ

URI	`m2://inv/H83ETXVBXJ`
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#V62C (statement). In M4JGP708F4/e1, proposition 2.24

History

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

Alice Ambrose H83FYXNCP2

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

Mentions

wikipedia: Wikipedia List of women logicians#1X8M, Alice Ambrose (topic)

History

2026-11-02: add by m2/dev

Every subgroup is a point stabilizer H83GXPYVKF

URI	`m2://inv/H83GXPYVKF`
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.18154#YVWZ, Every subgroup is a point stabilizer (statement). In 4W7ARR1DAR/e1, fact 5.1

History

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

Theorem H83J316ZPY

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

Mentions

wikipedia: Wikipedia Bochner's theorem#HDRU, Theorem (statement)

History

2026-11-02: add by m2/dev

Forcing H83Z95YMDE

URI	`m2://inv/H83Z95YMDE`
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.07905#23OF, Forcing (statement). In 88GEN3Z5VG/e1, lemma 9.1

History

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

Partial differential equation H848QF9R1V

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

Mentions

lebl_diffyqs: lebl_diffyqs index/6.9/partial-differential-equation, Partial differential equation (concept). In E9HS8K3A52, index, section 6.9

History

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

H84CZYMTNP H84CZYMTNP

URI	`m2://inv/H84CZYMTNP`
Kind	definition
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.21060#NOSU (definition)

History

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

Conventions H84DPPDEGM

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

Mentions

wikipedia: Wikipedia Integral#377Q, Conventions (definition)

History

2026-11-02: add by m2/dev

H84DS8C7Y9 H84DS8C7Y9

URI	`m2://inv/H84DS8C7Y9`
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.36016#TTG6 (statement). In NAM9ZMPHZ9/e1, proposition D.10

History

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

Examples H84GBRNNEK

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

Mentions

wikipedia: Wikipedia Littlewood–Richardson rule#7W8X, Examples (example)

History

2026-11-02: add by m2/dev

Statement H84GJ61ESF

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

Mentions

wikipedia: Wikipedia Golden–Thompson inequality#CH6N, Statement (statement)

History

2026-11-02: add by m2/dev

H853Y3CBSJ H853Y3CBSJ

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

Mentions

open_logic: open_logic content/set-theory/spine/foundation.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 74.2

History

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

cocountable extension topology H8546B4RAW

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

Mentions

wikipedia: Wikipedia List of topologies#RN6W, cocountable extension topology (definition)

History

2026-11-02: add by m2/dev

Medial axis H8550PVK30

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

Mentions

wikipedia: Wikipedia Medial axis, Medial axis (definition). Also Wikidata Q1757407

History

2026-11-02: add by m2/dev

Statement H85FRXSCWP

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

Mentions

wikipedia: Wikipedia Lindeberg's condition#3AQ5, Statement (statement)

History

2026-11-02: add by m2/dev

Laminar set family H85KPCEFBY

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

Mentions

wikipedia: Wikipedia Laminar set family, Laminar set family (definition). Also Wikidata Q104868956

History

2026-11-02: add by m2/dev

Definition H85NPB7VP8

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

Mentions

wikipedia: Wikipedia Opposite simplicial set#W6G4, Definition (definition)

History

2026-11-02: add by m2/dev

H85NVCWSNP H85NVCWSNP

URI	`m2://inv/H85NVCWSNP`
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 2311.16205#XUOP (statement). In 3GE9PS9AH0/e1, theorem 3.0.1

History

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

H85NXGA6CS H85NXGA6CS

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

Mentions

arxiv: arXiv 2610.18070#N1AN (problem). In RASQS0FG8A/e1, problem 1.4

History

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

H85YZ0XFQN H85YZ0XFQN

URI	`m2://inv/H85YZ0XFQN`
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 2610.13833#LJF9 (definition). In VD4JP4HVBX/e1, definition 8.3

History

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

H85Z2ERNHH H85Z2ERNHH

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

Mentions

arxiv: arXiv 2610.17004#8QVR (example). In XNJGNMS6H0/e1, example 5.17

History

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

H865YSS9EP H865YSS9EP

URI	`m2://inv/H865YSS9EP`
Kind	statement
Layer	research
MSC	26-XX, 35-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.01958#2NM0 (statement). In NQFYT2M6YZ/e1, corollary 6.3

History

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

H86695A8CR H86695A8CR

URI	`m2://inv/H86695A8CR`
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 2211.16099#BIN5 (statement). In 91RRFW0K5D/e1, lemma 21

History

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

Table of Lie groups H86MKXM701

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

Mentions

wikipedia: Wikipedia Table of Lie groups, Table of Lie groups (definition). Also Wikidata Q3981612

History

2026-11-02: add by m2/dev

H86VWK7X95 H86VWK7X95

URI	`m2://inv/H86VWK7X95`
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 2404.05965#0UOL (statement). In GD1GED3FZ3/e1, proposition 8.2

History

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

H86W7R4PM0 H86W7R4PM0

URI	`m2://inv/H86W7R4PM0`
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.21622#59NO (statement). In H21X3FHNYJ/e1, lemma 6.7

History

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

Properties H8732QBXJH

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

Mentions

wikipedia: Wikipedia Circle#MAHS, Properties (statement)

History

2026-11-02: add by m2/dev

H875PFKQEC H875PFKQEC

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

Mentions

arxiv: arXiv 2406.06762#7A0W (statement). In J99PFFJXPE/e1, theorem 4.16

History

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

H87E3KNX6C H87E3KNX6C

URI	`m2://inv/H87E3KNX6C`
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.25843#RC5D (statement)

History

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

sequence H87M9A7W61

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

Mentions

applied_combinatorics: applied_combinatorics index/2.1/sequence, sequence (concept). In QKM9DD2H56, index, section 2.1

History

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

Lisa Bersales H87SHXE7PY

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

Mentions

wikipedia: Wikipedia Lisa Bersales, Lisa Bersales (topic). Also Wikidata Q98595365

History

2026-11-02: add by m2/dev

bounded above, sequence H87WMFRAEW

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

Mentions

lebl_ra: lebl_ra index/10.1/bounded-above-sequence, bounded above, sequence (concept). In E59CDZA4DP, index, section 10.1

History

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

H87WYV00XR H87WYV00XR

URI	`m2://inv/H87WYV00XR`
Kind	example
Layer	research
MSC	20-XX, 22-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.24777#2KI5 (example)

History

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

Gleason's theorem H881VCASER

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

Mentions

wikipedia: Wikipedia List of theorems#7E0R, Gleason's theorem (statement)

History

2026-11-02: add by m2/dev

Peter Lynn H88Q4Y7QH0

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

Mentions

wikipedia: Wikipedia Peter Lynn (statistician), Peter Lynn (topic). Also Wikidata Q137571931

History

2026-11-02: add by m2/dev

Compound of ten tetrahedra H88T217DJ6

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#G6RF, Compound of ten tetrahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PV4W, Compound of ten tetrahedra (definition)

History

2026-11-02: add by m2/dev

H88WRWHSV9 H88WRWHSV9

URI	`m2://inv/H88WRWHSV9`
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.27524#7LDB (definition)

History

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

H890B46S6R H890B46S6R

URI	`m2://inv/H890B46S6R`
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.05506#654Y (statement). In FT53PMB1TE/e1, lemma 6.3.2

History

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

H893CBVNP4 H893CBVNP4

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 6.8.5

History

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

parsec H893G1NJ4S

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

Mentions

wikidata: Wikidata Q12129, parsec (definition). Also ProofWiki Definition:Astronomical_Distance_Units/Parsec

History

2026-10-26: add by m2/dev

Theorem H89C7YHKQ6

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

Mentions

wikipedia: Wikipedia Discharging method (discrete mathematics)#YP5H, Theorem (statement)

History

2026-11-02: add by m2/dev

H89GV2RATA H89GV2RATA

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

Mentions

arxiv: arXiv 2610.09672#PIFH (statement). In TXBXCPP0QH/e1, lemma 3

History

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

R. G. McLenaghan H89TM4085A

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#76DD, R. G. McLenaghan (unknown)

History

2026-11-02: add by m2/dev

Definition H89W9ADJ1X

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

Mentions

wikipedia: Wikipedia Discrete q-Hermite polynomials#UK9D, Definition (definition)

History

2026-11-02: add by m2/dev

H8AERFGKE3 H8AERFGKE3

URI	`m2://inv/H8AERFGKE3`
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.22551#0E29 (definition)

History

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

Extended Midy's theorem H8AF9SPMF8

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

Mentions

wikipedia: Wikipedia Midy's theorem#JP5P, Extended Midy's theorem (statement)

History

2026-11-02: add by m2/dev

H8AMQN5S8P H8AMQN5S8P

URI	`m2://inv/H8AMQN5S8P`
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.38396#VNCC (statement). In FGNNVKQR1Z/e1, corollary 2.6

History

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

Definition H8AP2TBFRQ

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

Mentions

wikipedia: Wikipedia Representation theory#CNB2, Definition (definition)

History

2026-11-02: add by m2/dev

The normalized level H8AVNH0ZVM

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

Mentions

arxiv: arXiv 2610.02933#4F1Q, The normalized level (statement). In QSYZKPFRAN/e1, theorem 1.1

History

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

Blossom (functional) H8B33FVJ0Y

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#DGTU, Blossom (functional) (definition)

History

2026-11-02: add by m2/dev

Wrench (screw theory) H8BC4AN89W

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

Mentions

wikipedia: Wikipedia Screw theory#821C, Wrench (screw theory) (unknown)

History

2026-11-02: add by m2/dev

Algorithm H8BE4TX1TY

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

Mentions

wikipedia: Wikipedia Bcrypt#F4B5, Algorithm (definition)

History

2026-11-02: add by m2/dev

H8BHMV8G0A H8BHMV8G0A

URI	`m2://inv/H8BHMV8G0A`
Kind	statement
Layer	research
MSC	54-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.33841#OW7S (statement). In 3CVQHT206K/e1, theorem 3.9

History

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

Furstenberg's proof of the infinitude of primes H8BTZNNJXS

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

Mentions

wikipedia: Wikipedia Furstenberg's proof of the infinitude of primes, Furstenberg's proof of the infinitude of primes (definition). Also Wikidata Q902630

History

2026-11-02: add by m2/dev

Interval finite element H8C18QGKTC

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

Mentions

wikipedia: Wikipedia Interval finite element, Interval finite element (definition). Also Wikidata Q6057275

History

2026-11-02: add by m2/dev

Morris-Thorne wormhole H8C1G6510A

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

Mentions

wikipedia: Wikipedia Wormhole#W4OH, Morris-Thorne wormhole (unknown)

History

2026-11-02: add by m2/dev

Thales' theorem H8C1YT1CGP

URI	`m2://inv/H8C1YT1CGP`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Thales's theorem 0GSDHYMA1T

Mentions

mathlib_1000: mathlib_1000 Q285719, Thales's theorem (statement). Also Mathlib EuclideanGeometry.Sphere.thales_theorem, Wikidata Q285719
thousand_plus: thousand_plus Q285719, Thales's theorem (statement). Also Mathlib EuclideanGeometry.Sphere.thales_theorem, Wikidata Q285719, Wikipedia Thales's theorem
wikidata: Wikidata Q285719, Thales' theorem (statement). Also MathWorld ThalesTheorem, ProofWiki Thales'_Theorem
wikipedia: Wikipedia Thales's theorem, Thales's theorem (statement). Also Wikidata Q285719

History

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

H8C425QDHH H8C425QDHH

URI	`m2://inv/H8C425QDHH`
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.40260#MKJS (statement). In 524FZAC6NB/e1, lemma 1

History

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

Examples H8C5STR5Q6

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

Mentions

wikipedia: Wikipedia Representation ring#YY1C, Examples (example)

History

2026-11-02: add by m2/dev

Artinian ring H8CBD2CSDB

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#Q1N6, Artinian ring (definition)

History

2026-11-02: add by m2/dev

H8CCYCRHNV H8CCYCRHNV

URI	`m2://inv/H8CCYCRHNV`
Kind	statement
Layer	research
MSC	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.30067#XJ5F (statement)

History

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

Pogson's ratio H8CGCXGH5W

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

Mentions

wikidata: Wikidata Q9199869, Pogson's ratio (unknown). Also MathWorld PogsonsRatio

History

2026-10-26: add by m2/dev

$L^p(\Omega)$-energy estimates in $L^2$ H8CGT6J45Z

URI	`m2://inv/H8CGT6J45Z`
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#5O6W, $L^p(\Omega)$-energy estimates in $L^2$ (statement)

History

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

Finite first moment of the integrated estimator H8CHE8V79R

URI	`m2://inv/H8CHE8V79R`
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.11760#SE4R, Finite first moment of the integrated estimator (statement). In NBNERWXW53/e1, lemma S13.1

History

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

Nobuo Yoneda H8CM8R3WMP

URI	`m2://inv/H8CM8R3WMP`
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 Q1995135, Nobuo Yoneda (unknown). Also nLab Nobuo Yoneda, ProofWiki Mathematician:Nobuo_Yoneda

History

2026-10-26: add by m2/dev

Linear trend H8CMCWZZQ8

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

Mentions

wikipedia: Wikipedia Linear regression#KM41, Linear trend (unknown)

History

2026-11-02: add by m2/dev

H8CRWXE3EM H8CRWXE3EM

URI	`m2://inv/H8CRWXE3EM`
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.24235#3V6P (statement)

History

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

H8CW29WG35 H8CW29WG35

URI	`m2://inv/H8CW29WG35`
Kind	statement
Layer	research
MSC	18-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.20049#56ZA (statement)

History

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

H8CYNSV6QF H8CYNSV6QF

URI	`m2://inv/H8CYNSV6QF`
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.35691#H67Y (definition). In G7R61RPWE2/e1, definition 3.7

History

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

Example H8D610378P

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

Mentions

wikipedia: Wikipedia Stochastic approximation#7I4V, Example (example)

History

2026-11-02: add by m2/dev

Applicable mathematics H8D7D9586K

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

Mentions

wikipedia: Wikipedia Applied mathematics#A76U, Applicable mathematics (unknown)

History

2026-11-02: add by m2/dev

H8DBB8J5AM H8DBB8J5AM

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-143 (exercise). In VNMV985MXX, exercise, section 2.6

History

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

``functoriality'' of functions in type theory H8DCKZGSP2

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

Mentions

hott_book: hott_book index/1.9/functoriality-of-functions-in-type-theory, ``functoriality'' of functions in type theory (concept). In N54F33XE07, index, section 1.9

History

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

H8DD24Z3H1 H8DD24Z3H1

URI	`m2://inv/H8DD24Z3H1`
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.35396#KVN1 (statement). In 51N4SF53EV/e1, lemma 2.8

History

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

Uniform gradient bound H8DHGA8F3T

URI	`m2://inv/H8DHGA8F3T`
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.11077#6HT1, Uniform gradient bound (statement). In 4333A6G5K5/e1, lemma 4.8

History

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

H8DT61HNZX H8DT61HNZX

URI	`m2://inv/H8DT61HNZX`
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.16081#0XO4 (statement). In RS6WWZKMT6/e1, proposition 2.3

History

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

Convex drawing H8DVEYPPAF

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

Mentions

wikipedia: Wikipedia Convex drawing, Convex drawing (definition). Also Wikidata Q97738372

History

2026-11-02: add by m2/dev

Johannes de Sacrobosco H8DVHKDFTC

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

Mentions

wikipedia: Wikipedia Johannes de Sacrobosco, Johannes de Sacrobosco (topic). Also Wikidata Q433841

History

2026-11-02: add by m2/dev

Example H8DX7VS799

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

Mentions

wikipedia: Wikipedia Jet bundle#0J5N, Example (example)

History

2026-11-02: add by m2/dev

Applications H8DYP0K7MS

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

Mentions

wikipedia: Wikipedia Wald–Wolfowitz runs test#JPMI, Applications (example)

History

2026-11-02: add by m2/dev

Galia Dafni H8E69KQ75E

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

Mentions

wikipedia: Wikipedia Galia Dafni, Galia Dafni (topic). Also Wikidata Q102178387

History

2026-11-02: add by m2/dev

H8E6V33182 H8E6V33182

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

Mentions

arxiv: arXiv 2610.07001#HXKS (statement). In 5DFTVG7FFF/e1, lemma 4.4

History

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

H8E9A0X62Q H8E9A0X62Q

URI	`m2://inv/H8E9A0X62Q`
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.07092#SEIB (statement). In JWNYJVH8XG/e1, lemma 2.2

History

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

Gauss theorem H8EBD7A12M

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

Mentions

wikipedia: Wikipedia List of theorems#5O9A, Gauss theorem (statement)

History

2026-11-02: add by m2/dev

Definition H8EBW9T4ZM

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

Mentions

wikipedia: Wikipedia 2-group#2CD1, Definition (definition)

History

2026-11-02: add by m2/dev

MAX-CSP H8EQBHM751

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

Mentions

wikipedia: Wikipedia Constraint satisfaction problem#NQQ8, MAX-CSP (unknown)

History

2026-11-02: add by m2/dev

Applications H8ERYV1K84

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

Mentions

wikipedia: Wikipedia Inference#32LB, Applications (example)

History

2026-11-02: add by m2/dev

sieve of Eratosthenes H8F55AHH6Y

URI	`m2://inv/H8F55AHH6Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Sieve of Eratosthenes 0XM8ZA9RNM

Mentions

wikidata: Wikidata Q177898, sieve of Eratosthenes (unknown). Also EoM Eratosthenes,_sieve_of, MathWorld SieveofEratosthenes
wikipedia: Wikipedia Sieve of Eratosthenes, Sieve of Eratosthenes (definition). Also Wikidata Q177898

History

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

Marsaglia polar method H8F837RWNA

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

Mentions

wikipedia: Wikipedia Marsaglia polar method, Marsaglia polar method (definition). Also Wikidata Q1670367

History

2026-11-02: add by m2/dev

Weil divisor H8FBYGK0B2

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#A6VZ, Weil divisor (definition)

History

2026-11-02: add by m2/dev

Related results H8FFB7FN2M

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

Mentions

wikipedia: Wikipedia Ax–Grothendieck theorem#NMDV, Related results (statement)

History

2026-11-02: add by m2/dev

Hjorth parameters H8FGV2DRE0

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

Mentions

wikipedia: Wikipedia Hjorth parameters, Hjorth parameters (definition). Also Wikidata Q21072524

History

2026-11-02: add by m2/dev

Generalized randomized block design H8FPMMRE21

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

Mentions

wikipedia: Wikipedia Generalized randomized block design, Generalized randomized block design (definition). Also Wikidata Q5532506

History

2026-11-02: add by m2/dev

Factor scores H8FS5H7P9D

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

Mentions

wikipedia: Wikipedia Factor analysis#EB43, Factor scores (definition)

History

2026-11-02: add by m2/dev

H8FVXAE8GJ H8FVXAE8GJ

URI	`m2://inv/H8FVXAE8GJ`
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.22308#NYML (statement). In 4QN87R0P1G/e1, proposition 15

History

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

H8FXANSRF8 H8FXANSRF8

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

Mentions

arxiv: arXiv 2609.35467#NJD5 (statement). In FK89DQ9J4S/e1, proposition 4.13

History

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

H8G37FVP15 H8G37FVP15

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

Mentions

open_logic: open_logic content/sets-functions-relations/functions/function-kinds.tex#ex-1 (example). In PKGMM3P5QY, ex, section 78.10

History

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

H8G50TXBJA H8G50TXBJA

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

Mentions

arxiv: arXiv 2610.21358#QCBU (statement). In XV70TXYS5A/e1, theorem 3

History

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

\coqident{term_fun_structure H8GERM4FSQ

URI	`m2://inv/H8GERM4FSQ`
Kind	definition
Layer	research
MSC	03-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 1705.04310#JJC0, \coqident{term_fun_structure (definition). In MG51GG0QZN/e1, definition 3.5

History

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

Hessian estimates H8GGN62TKE

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

Mentions

arxiv: arXiv 2610.12203#LORI, Hessian estimates (statement). In F4YTAZSCS2/e1, lemma A.4

History

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

H8GVNM1N6Q H8GVNM1N6Q

URI	`m2://inv/H8GVNM1N6Q`
Kind	statement
Layer	research
MSC	11-XX, 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 2508.21045#O85D (statement). In CGA36VE1C5/e1, corollary 1.0.2

History

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

H8H2EG7WB4 H8H2EG7WB4

URI	`m2://inv/H8H2EG7WB4`
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.11886#2JKF (statement). In T0APQY74CA/e1, proposition 11

History

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

Alexander Esenin-Volpin H8H91VAYB4

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

Mentions

wikipedia: Wikipedia Alexander Esenin-Volpin, Alexander Esenin-Volpin (topic). Also Wikidata Q620823

History

2026-11-02: add by m2/dev

mathematics, formalized H8HK5Q96PS

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

Mentions

hott_book: hott_book index/8.7/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section 8.7

History

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

Related conjectures H8HN4R28YM

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

Mentions

wikipedia: Wikipedia Sumner's conjecture#2F6E, Related conjectures (statement)

History

2026-11-02: add by m2/dev

H8HPK7QJZE H8HPK7QJZE

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

Mentions

arxiv: arXiv 2512.16003#C7KL (statement). In BJGS6ZCQ12/e1, lemma 4.8

History

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

William Thurston H8HXAHTM7S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QKX8, William Thurston (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NMBD, William Thurston (topic)

History

2026-11-02: add by m2/dev

Class kappa function H8J12GHH9N

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

Mentions

wikipedia: Wikipedia Class kappa function, Class kappa function (definition). Also Wikidata Q5128021

History

2026-11-02: add by m2/dev

Theorem H8J7BP28SY

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

Mentions

wikipedia: Wikipedia Liouville–Arnold theorem#N2G3, Theorem (statement)

History

2026-11-02: add by m2/dev

Definition H8J7X23QK8

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

Mentions

wikipedia: Wikipedia Laplace–Runge–Lenz vector#RKOO, Definition (definition)

History

2026-11-02: add by m2/dev

H8J88GS4JC H8J88GS4JC

URI	`m2://inv/H8J88GS4JC`
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.26948#OXRS (statement)

History

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

Bound for the policy drift H8JFT1PK51

URI	`m2://inv/H8JFT1PK51`
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.39837#UPFW, Bound for the policy drift (statement). In MDQXTBEK0F/e1, lemma B.4

History

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

Bounded, totally bounded, compact H8JYH4PFVR

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

Mentions

arxiv: arXiv 2610.17400#WFP4, Bounded, totally bounded, compact (definition). In 8VDXGR4SVD/e1, definition 2.1

History

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

H8K19XKZR7 H8K19XKZR7

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

Mentions

arxiv: arXiv 2610.19357#THEQ (statement). In RGXQ50RWXV/e1, theorem 2.3

History

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

varieties H8KA058A21

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#AL14, varieties (definition)

History

2026-11-02: add by m2/dev

Statement of the theorem H8KBMFD4ST

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

Mentions

wikipedia: Wikipedia Alexandrov's theorem on polyhedra#CZ62, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

H8KCEKQ90V H8KCEKQ90V

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

Mentions

arxiv: arXiv 2610.07285#5WRK (statement). In S284XRA4WK/e1, lemma F.3

History

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

DPP $\Theta_k$ on $(X,\phi)$ H8KDSQV0QH

URI	`m2://inv/H8KDSQV0QH`
Kind	definition
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.17669#2GUD, DPP $\Theta_k$ on $(X,\phi)$ (definition). In RAWXJ72WWA/e1, definition 3.3

History

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

Monomial order H8KENM2V3W

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

Mentions

wikipedia: Wikipedia List of order theory topics#ZI58, Monomial order (definition)

History

2026-11-02: add by m2/dev

H8KFDSGXSV H8KFDSGXSV

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/proving-things.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 15.7

History

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

Nondegenerate mass H8KGGEGDQJ

URI	`m2://inv/H8KGGEGDQJ`
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.38268#RY7N, Nondegenerate mass (statement). In TQ18V9TDQS/e1, lemma 5.6

History

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

H8KJ5XXYYZ H8KJ5XXYYZ

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#example-2 (example). In E59CDZA4DP, example, section 4.1

History

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

Statement H8KKJB1W1B

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

Mentions

wikipedia: Wikipedia Snake lemma#Y7WJ, Statement (statement)

History

2026-11-02: add by m2/dev

No locally sharp $C^1$ bound from finitely many observations H8KNTNQGDP

URI	`m2://inv/H8KNTNQGDP`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#INZU, No locally sharp $C^1$ bound from finitely many observations (statement). In JY6RYSNXMJ/e1, theorem 6.1

History

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

H8KT48RVPB H8KT48RVPB

URI	`m2://inv/H8KT48RVPB`
Kind	definition
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#UUZW (definition). In GHKR740SG3/e1, definition 17.6

History

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

H8M2DRYRBD H8M2DRYRBD

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

Mentions

arxiv: arXiv 2609.33018#2TGJ (statement). In 8XVS0QJ2AH/e1, fact 9

History

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

H8MHKW9Y7T H8MHKW9Y7T

URI	`m2://inv/H8MHKW9Y7T`
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 2602.07485#5OVQ (statement). In 8KAC1E81JQ/e1, lemma 2

History

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

H8MHWF9JTT H8MHWF9JTT

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

Mentions

arxiv: arXiv 2303.09207#L9HZ (statement). In 9DQKY7KGE8/e1, lemma 5.6

History

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

H8MXJ2AJ7M H8MXJ2AJ7M

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

Mentions

arxiv: arXiv 2609.36884#S19U (definition). In Z7E16PFFCP/e1, definition 5.13

History

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

H8N4XJMVDV H8N4XJMVDV

URI	`m2://inv/H8N4XJMVDV`
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 2410.10337#YHID (statement). In RBBF0XNZ5E/e1, lemma 26

History

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

Examples H8N7Q3354Y

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

Mentions

wikipedia: Wikipedia Tangent bundle#H43R, Examples (example)

History

2026-11-02: add by m2/dev

H8NAZ32ZC3 H8NAZ32ZC3

URI	`m2://inv/H8NAZ32ZC3`
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.35683#X5WH (statement). In A4S9A3X494/e1, lemma 5

History

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

H8NF9NK26Z H8NF9NK26Z

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

Mentions

arxiv: arXiv 2610.06152#3TK6 (statement). In HH35K7S17H/e1, proposition 3.13

History

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

Stability of the Dyson equation H8NMMPB2QG

URI	`m2://inv/H8NMMPB2QG`
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.14616#1UAA, Stability of the Dyson equation (statement). In 17ACAG0N9C/e1, lemma 9.4

History

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

H8P0HB0K5X H8P0HB0K5X

URI	`m2://inv/H8P0HB0K5X`
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#5Y3D (statement). In 3A4K47Y9F2/e1, lemma 2.41

History

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

Cyparissos Stephanos H8P7AVA2MK

URI	`m2://inv/H8P7AVA2MK`
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#46GM, Cyparissos Stephanos (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#69IB, Cyparissos Stephanos (unknown)

History

2026-11-02: add by m2/dev

H8PBMAZCAB H8PBMAZCAB

URI	`m2://inv/H8PBMAZCAB`
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 2208.07401#UFYP (statement). In GJD7HKCE56/e1, proposition 3.9

History

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

H8PF5YAXGZ H8PF5YAXGZ

URI	`m2://inv/H8PF5YAXGZ`
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.29521#QHAU (statement)

History

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

H8PG2MY86F H8PG2MY86F

URI	`m2://inv/H8PG2MY86F`
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#4TMI (statement). In DZ12XTTJSM/e1, lemma 5.5

History

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

H8PM2RKQGS H8PM2RKQGS

URI	`m2://inv/H8PM2RKQGS`
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 2407.08976#HO67 (statement). In ZVNM9X4NNG/e1, lemma 12

History

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

H8PN8BHDPV H8PN8BHDPV

URI	`m2://inv/H8PN8BHDPV`
Kind	definition
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#SHCN (definition). In ESDKTYDHC8/e1, definition 7

History

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

Roger D. Nussbaum H8PRAD74FZ

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

Mentions

wikipedia: Wikipedia Roger D. Nussbaum, Roger D. Nussbaum (topic). Also Wikidata Q15842834

History

2026-11-02: add by m2/dev

Schur H8PYQ5QYCH

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

Mentions

wikipedia: Wikipedia Glossary of module theory#F1J9, Schur (definition)

History

2026-11-02: add by m2/dev

Digital Morse theory H8QD7E11D0

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

Mentions

wikipedia: Wikipedia Digital Morse theory, Digital Morse theory (definition). Also Wikidata Q5275931

History

2026-11-02: add by m2/dev

H8QF7T4VTQ H8QF7T4VTQ

URI	`m2://inv/H8QF7T4VTQ`
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.07927#DXSE (definition). In GKM19DHQTM/e1, definition 8.5

History

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

H8QK9BWTBD H8QK9BWTBD

URI	`m2://inv/H8QK9BWTBD`
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.30760#F8AO (statement). In MMVNRRE7N0/e1, lemma 3.3

History

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

technicolor H8QNKZH2CE

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

Mentions

wikidata: Wikidata Q1045880, technicolor (unknown). Also nLab technicolor

History

2026-10-26: add by m2/dev

Log-Laplace distribution H8QTBH83WS

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

Mentions

wikipedia: Wikipedia Log-Laplace distribution, Log-Laplace distribution (definition). Also Wikidata Q2421579

History

2026-11-02: add by m2/dev

Extension of a topological group H8QY3YJY4S

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

Mentions

wikipedia: Wikipedia Extension of a topological group, Extension of a topological group (definition). Also Wikidata Q18206963

History

2026-11-02: add by m2/dev

Nir Shavit H8R7BP983H

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#X2XO, Nir Shavit (unknown)

History

2026-11-02: add by m2/dev

H8RBPKBY4X H8RBPKBY4X

URI	`m2://inv/H8RBPKBY4X`
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.06381#I1BU (statement). In X9JKBDHACW/e1, lemma 5.5

History

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

Clifford's theorem H8RDWT7DWG

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

Mentions

wikipedia: Wikipedia Clifford theory#KW0Q, Clifford's theorem (statement)

History

2026-11-02: add by m2/dev

George Jardine H8RY1QN7V4

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

Mentions

wikipedia: Wikipedia George Jardine, George Jardine (topic). Also Wikidata Q5541070

History

2026-11-02: add by m2/dev

Hughes phenomenon H8S2QJ8CG2

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

Mentions

wikipedia: Wikipedia Curse of dimensionality#9FZD, Hughes phenomenon (unknown)

History

2026-11-02: add by m2/dev

Weak continuity property H8S6VSSB38

URI	`m2://inv/H8S6VSSB38`
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.17519#NNS2, Weak continuity property (statement). In H2DNTQ5MKV/e1, proposition 3.11

History

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

bitangential H8S89XHGND

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#LYZD, bitangential (definition)

History

2026-11-02: add by m2/dev

Lexicographic code H8SCMBBQYR

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#PIQJ, Lexicographic code (unknown)

History

2026-11-02: add by m2/dev

Examples H8SG4TX1GK

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

Mentions

wikipedia: Wikipedia Behrend sequence#WR1I, Examples (example)

History

2026-11-02: add by m2/dev

Iterative method H8STVXHYFN

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#620C, Iterative method (definition)

History

2026-11-02: add by m2/dev

Midy's theorem H8SVPM04W9

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

Mentions

mathlib_1000: mathlib_1000 Q856158, Midy's theorem (statement). Also Wikidata Q856158
thousand_plus: thousand_plus Q856158, Midy's theorem (statement). Also Wikidata Q856158, Wikipedia Midy's theorem
wikidata: Wikidata Q856158, Midy's theorem (statement). Also MathWorld MidysTheorem
wikipedia: Wikipedia Midy's theorem, Midy's theorem (statement). Also Wikidata Q856158

History

2026-10-26: add by m2/dev

H8T0P11ZGG H8T0P11ZGG

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

Mentions

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

History

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

Heightmap H8T34HXM4D

URI	`m2://inv/H8T34HXM4D`
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#MWLQ, Heightmap (unknown)

History

2026-11-02: add by m2/dev

Two asymptotic regimes H8T6VDS7T7

URI	`m2://inv/H8T6VDS7T7`
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.30730#CH5F, Two asymptotic regimes (statement). In 7R7ANDMWG4/e1, proposition 7.1

History

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

Willis Lamb H8T7T273M8

URI	`m2://inv/H8T7T273M8`
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 Q186497, Willis Lamb (unknown). Also nLab Willis Lamb

History

2026-10-26: add by m2/dev

Construction H8TENK6WRV

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

Mentions

wikipedia: Wikipedia Schild's ladder#0PG3, Construction (definition)

History

2026-11-02: add by m2/dev

John Edmund Kerrich H8TFVFG7NR

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

Mentions

wikipedia: Wikipedia John Edmund Kerrich, John Edmund Kerrich (topic). Also Wikidata Q6231228

History

2026-11-02: add by m2/dev

Nate Silver H8TR6TGAQ8

URI	`m2://inv/H8TR6TGAQ8`
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 Q562521, Nate Silver (unknown). Also ProofWiki Mathematician:Nathaniel_Read_Silver
wikipedia: Wikipedia Nate Silver, Nate Silver (topic). Also Wikidata Q562521

History

2026-10-26: add by m2/dev

square root H8TS7ZX7T3

URI	`m2://inv/H8TS7ZX7T3`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Square root 0F7FQS6XY6

Mentions

wikidata: Wikidata Q134237, square root (unknown). Also MathWorld SquareRoot
wikipedia: Wikipedia Square root, Square root (definition). Also Wikidata Q134237

History

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

H8TTCRZS0Y H8TTCRZS0Y

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#proof-2 (proof). In RZP28ERRZV, proof, section 29.6

History

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

Source coding theorem for symbol codes H8TTPSFJ72

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

Mentions

wikipedia: Wikipedia Shannon's source coding theorem#ZYVG, Source coding theorem for symbol codes (statement)

History

2026-11-02: add by m2/dev

H8V263PQ17 H8V263PQ17

URI	`m2://inv/H8V263PQ17`
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.21655#8H58 (statement). In 3Q0387SH7Q/e1, lemma 9

History

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

Guidobaldo del Monte H8V63THPNM

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#ZQS1, Guidobaldo del Monte (unknown)

History

2026-11-02: add by m2/dev

H8VFVAR5C0 H8VFVAR5C0

URI	`m2://inv/H8VFVAR5C0`
Kind	definition
Layer	research
MSC	16-XX, 18-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.21507#7FYR (definition). In 879ZDHVK7N/e1, definition 4.1

History

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

H8VTWACXPZ H8VTWACXPZ

URI	`m2://inv/H8VTWACXPZ`
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.14821#6Q20 (statement). In B0B2P7JEAQ/e1, proposition 3.2

History

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

Conway triangle notation H8VWNFKZAE

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

Mentions

wikipedia: Wikipedia List of things named after John Horton Conway#KD7O, Conway triangle notation (definition)

History

2026-11-02: add by m2/dev

Laurie Heyer H8W0HE8RF5

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

Mentions

wikipedia: Wikipedia Laurie Heyer, Laurie Heyer (topic). Also Wikidata Q66857295

History

2026-11-02: add by m2/dev

Ingham's Tauberian theorem H8W1MQHJ7R

URI	`m2://inv/H8W1MQHJ7R`
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.31104#7MM4, Ingham's Tauberian theorem (statement). In 67NFPNF39Y/e1, theorem 2.3

History

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

Weighted composition operator H8W9QCZ81F

URI	`m2://inv/H8W9QCZ81F`
Kind	example
Layer	research
MSC	37-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 2510.05499#KHHJ, Weighted composition operator (example). In WRMNCC8VBC/e1, example 22

History

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

Boundedness of the cavity increment H8WCFRH2NA

URI	`m2://inv/H8WCFRH2NA`
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.32710#AL6Q, Boundedness of the cavity increment (statement). In KVYG6R7CGJ/e1, lemma 3.6

History

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

pullback of the basis functions H8WMEZZ2WK

URI	`m2://inv/H8WMEZZ2WK`
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.39511#FEOM, pullback of the basis functions (statement). In 6W9H24A378/e1, theorem 12

History

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

List of statistical packages H8WNN6WJ43

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

Mentions

wikipedia: Wikipedia List of statistics articles#0YC3, List of statistical packages (topic)

History

2026-11-02: add by m2/dev

H8WQJ1738Y H8WQJ1738Y

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

Mentions

arxiv: arXiv 2609.39700#PHNR (statement). In E7W2HDNEKJ/e1, theorem 1.1

History

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

H8WXV45QZ4 H8WXV45QZ4

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

Mentions

arxiv: arXiv 2609.21914#PIMU (definition)

History

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

Discrete element method H8X1C8FG35

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#7FU3, Discrete element method (definition)

History

2026-11-02: add by m2/dev

challenging H8X1ZK97QZ

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-78, challenging (exercise). In E9HS8K3A52, exercise, section 2.6.1

History

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

Direct reciprocal packing H8X2PNHYFQ

URI	`m2://inv/H8X2PNHYFQ`
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.13365#5UK7, Direct reciprocal packing (statement). In YMBTSX10FF/e1, lemma 3.3

History

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

The Treachery of Images H8X3NYZ38W

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

Mentions

wikipedia: Wikipedia The Treachery of Images, The Treachery of Images (definition). Also Wikidata Q1061035

History

2026-11-02: add by m2/dev

H8X4EXQB03 H8X4EXQB03

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 3.1

History

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

Sobel test H8X7QS8QE8

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

Mentions

wikipedia: Wikipedia List of statistics articles#1F14, Sobel test (definition)

History

2026-11-02: add by m2/dev

gyrobicupolae H8X9PBMCG3

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

Mentions

wikidata: Wikidata Q27577914, gyrobicupolae (unknown). Also MathWorld Gyrobicupola

History

2026-10-26: add by m2/dev

Dirichlet density H8XAKP7YPT

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

Mentions

wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#GWM2, Dirichlet density (definition)

History

2026-11-02: add by m2/dev

Bridget Tenner H8XK6HP53J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J0TW, Bridget Tenner (topic)

History

2026-11-02: add by m2/dev

H8XS2RDXEJ H8XS2RDXEJ

URI	`m2://inv/H8XS2RDXEJ`
Kind	statement
Layer	research
MSC	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 2610.00312#ZOTB (statement). In 41NFABHFXH/e1, lemma 3.1

History

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

Definition H8XW632N1M

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

Mentions

wikipedia: Wikipedia Dwork family#OVZT, Definition (definition)

History

2026-11-02: add by m2/dev

CKRS Coverage Guarantee H8XWX4SSQ4

URI	`m2://inv/H8XWX4SSQ4`
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 2601.01076#RF9R, CKRS Coverage Guarantee (statement). In 2E8DDPAZN3/e1, theorem 1

History

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

Enriched finite-limit-preserving Kan replacement H8XYFNYXCQ

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

Mentions

arxiv: arXiv 2609.28220#H999, Enriched finite-limit-preserving Kan replacement (statement)

History

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

Bry and Boschan routine H8Y00G7WJS

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

Mentions

wikipedia: Wikipedia Bry and Boschan routine, Bry and Boschan routine (definition). Also Wikidata Q65082261

History

2026-11-02: add by m2/dev

Existence II H8Y4E3SPFE

URI	`m2://inv/H8Y4E3SPFE`
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.32561#C0WH, Existence II (statement). In NBT0ZCHBB6/e1, theorem 6

History

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

H8Y4P65Q2W H8Y4P65Q2W

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

History

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

Definitions H8YDBZ33CN

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

Mentions

wikipedia: Wikipedia Imaginary element#JQXL, Definitions (definition)

History

2026-11-02: add by m2/dev

H8YDJVZNA3 H8YDJVZNA3

URI	`m2://inv/H8YDJVZNA3`
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.03358#3CTK (statement). In KCXEY7HJ8V/e1, proposition 3.2

History

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

Boundary module H8YEP8DQ5T

URI	`m2://inv/H8YEP8DQ5T`
Kind	definition
Layer	research
MSC	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 2609.30637#Y8KO, Boundary module (definition). In 6G1KBA0SXV/e1, definition 4.1

History

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

Low-dimensional rigidity H8YQJGH4XA

URI	`m2://inv/H8YQJGH4XA`
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.02790#4SWQ, Low-dimensional rigidity (statement). In NB7HZ8W2K2/e1, theorem 3

History

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

Chaplygin's equation H8Z58H88B2

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

Mentions

wikidata: Wikidata Q5073247, Chaplygin's equation (unknown). Also MathWorld ChaplyginsEquation
wikipedia: Wikipedia Chaplygin's equation, Chaplygin's equation (definition). Also Wikidata Q5073247

History

2026-10-26: add by m2/dev

Theorem H8Z5EKWR9Z

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

Mentions

wikipedia: Wikipedia Uniform boundedness principle#DJ7L, Theorem (statement)

History

2026-11-02: add by m2/dev

H8Z6VCMA7C H8Z6VCMA7C

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

History

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

H8Z9WFYX0B H8Z9WFYX0B

URI	`m2://inv/H8Z9WFYX0B`
Kind	statement
Layer	research
MSC	05-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 2411.00562#T0NS (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm

History

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

Uniform inverse in the direction $n$ H8ZDF0D2P2

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

Mentions

arxiv: arXiv 2610.12238#1MNJ, Uniform inverse in the direction $n$ (statement). In E31CZYM2H8/e1, proposition 4.5

History

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

Gain function view of PML H8ZE1WE5TM

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

Mentions

arxiv: arXiv 2609.28297#PYH2, Gain function view of PML (definition)

History

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

Type inhabitation problem H8ZFG9QFMP

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#S5Q1, Type inhabitation problem (unknown)

History

2026-11-02: add by m2/dev

Applications H8ZFYV04SR

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

Mentions

wikipedia: Wikipedia Discrete Poisson equation#ARSF, Applications (example)

History

2026-11-02: add by m2/dev

Probability cooperad H8ZKX6YC1Q

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

Mentions

arxiv: arXiv 2610.15006#SNPZ, Probability cooperad (definition). In 8XZGF33HQX/e1, definition 6.1

History

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

Josef Meixner H8ZV6MEDEP

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#BZKP, Josef Meixner (unknown)

History

2026-11-02: add by m2/dev