Inventory rows 1N

Dense set 1N06MAWPJW

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

Mentions

wikipedia: Wikipedia List of properties of sets of reals#NQ0W, Dense set (definition)
wikipedia: Wikipedia List of exceptional set concepts#PMTY, Dense set (definition)

History

2026-11-02: add by m2/dev

1N099BYD89 1N099BYD89

URI	`m2://inv/1N099BYD89`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#YU4F (unknown). In QNBFHFZ3H0/e1, unknown 7

History

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

Purity 1N0B2KAQ6G

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

Mentions

wikipedia: Wikipedia Purity (algebraic geometry), Purity (definition). Also Wikidata Q7261288

History

2026-11-02: add by m2/dev

1N0D90YC4S 1N0D90YC4S

URI	`m2://inv/1N0D90YC4S`
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.36717#4029 (statement). In 69FBWG9P3B/e1, theorem 1.1

History

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

Zipf, George Kingsley 1N0DHFF4XD

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

Mentions

wikipedia: Wikipedia List of statisticians#VG4Q, Zipf, George Kingsley (topic)

History

2026-11-02: add by m2/dev

☡ 1N0EZ6N1EE

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#F0RT, ☡ (definition)

History

2026-11-02: add by m2/dev

Catherine Doléans-Dade 1N0GXHSYE0

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#1DYA, Catherine Doléans-Dade (topic)

History

2026-11-02: add by m2/dev

q-derivative 1N0HKTTBEV

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

Mentions

wikipedia: Wikipedia List of q-analogs#8G7T, q-derivative (definition)

History

2026-11-02: add by m2/dev

Rank-matrix criterion for the Bruhat order 1N0HM8DG8D

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

Mentions

arxiv: arXiv 2610.04809#YI2Q, Rank-matrix criterion for the Bruhat order (statement). In 2VHV0RNTNV/e1, theorem 8.6

History

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

1N0MG8YA05 1N0MG8YA05

URI	`m2://inv/1N0MG8YA05`
Kind	example
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#DHFC (example). In FK89DQ9J4S/e1, example 5.8

History

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

1N0SA9AZSD 1N0SA9AZSD

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

Mentions

arxiv: arXiv 2609.36113#X7XH (statement). In FSGSVD0XYH/e1, lemma 20

History

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

1N0W1G5KF0 1N0W1G5KF0

URI	`m2://inv/1N0W1G5KF0`
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 2205.09049#U2EI (statement). In 37S7MNMZ2F/e1, proposition 51

History

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

Examples 1N14W7968V

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

Mentions

wikipedia: Wikipedia Affine transformation#HSDT, Examples (example)

History

2026-11-02: add by m2/dev

The first two weighted orders 1N1C2QBD0X

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

Mentions

arxiv: arXiv 2610.05652#IZP6, The first two weighted orders (statement). In 8BNPFYQDQX/e1, proposition 9.4

History

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

1N1D2Q1XV9 1N1D2Q1XV9

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

Mentions

arxiv: arXiv 2610.01208#SX0U (statement). In 317GZJ38HS/e1, lemma 4.1

History

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

1N1E7FNNGV 1N1E7FNNGV

URI	`m2://inv/1N1E7FNNGV`
Kind	statement
Layer	research
MSC	05-XX, 14-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 2610.19669#DC9B (statement). In 1QPAA94Q76/e1, lemma 39

History

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

Crypto-anarchy 1N1FV0VD2S

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

Mentions

wikipedia: Wikipedia Crypto-anarchy, Crypto-anarchy (definition). Also Wikidata Q794833

History

2026-11-02: add by m2/dev

Jane Pendergast 1N1H7M2WMB

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

Mentions

wikipedia: Wikipedia Jane Pendergast, Jane Pendergast (topic). Also Wikidata Q89782180

History

2026-11-02: add by m2/dev

1N1JZRX6Y0 1N1JZRX6Y0

URI	`m2://inv/1N1JZRX6Y0`
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#L2DG (statement)

History

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

Albert of Saxony 1N1P5XFCGZ

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

Mentions

wikipedia: Wikipedia List of logicians#V1KH, Albert of Saxony (unknown)

History

2026-11-02: add by m2/dev

Definition 1N1SM466CQ

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

Mentions

wikipedia: Wikipedia Hyperbolic angle#ZAZ6, Definition (definition)

History

2026-11-02: add by m2/dev

1N26K6VQ8M 1N26K6VQ8M

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

Mentions

arxiv: arXiv math/9807180#UJHV (definition). In VR3766BVE5/e1, definition 4.1

History

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

1N2AH11BVK 1N2AH11BVK

URI	`m2://inv/1N2AH11BVK`
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.01498#35DC (statement). In 75GDSC8460/e1, lemma 4.6

History

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

Categories 1N2B3NK781

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

Mentions

wikipedia: Wikipedia Categories (Aristotle), Categories (definition). Also Wikidata Q1735826

History

2026-11-02: add by m2/dev

Dold–Thom theorem 1N2C7S934N

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

Mentions

wikidata: Wikidata Q3527062, Dold–Thom theorem (statement). Also nLab Dold-Thom theorem
wikipedia: Wikipedia Dold–Thom theorem, Dold–Thom theorem (statement). Also Wikidata Q3527062

History

2026-10-26: add by m2/dev

Properties 1N2GNSM0G7

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

Mentions

wikipedia: Wikipedia Gyroelongated square bicupola#OYMP, Properties (statement)

History

2026-11-02: add by m2/dev

Definition 1N2HJBB1EH

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

Mentions

wikipedia: Wikipedia Root mean square#G97Z, Definition (definition)

History

2026-11-02: add by m2/dev

Władysław Orlicz 1N2NHMN161

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I9TS, Władysław Orlicz (topic)

History

2026-11-02: add by m2/dev

quantile function 1N2T0RBJEF

URI	`m2://inv/1N2T0RBJEF`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Quantile function 0B3Q3XDM5X

Mentions

wikidata: Wikidata Q3489473, quantile function (unknown). Also MathWorld QuantileFunction
wikipedia: Wikipedia Quantile function, Quantile function (definition). Also Wikidata Q3489473

History

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

1N2X4ADSH0 1N2X4ADSH0

URI	`m2://inv/1N2X4ADSH0`
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.15744#HZX0 (statement). In NV3PBZGBB7/e1, proposition 1.11

History

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

1N2ZG9M546 1N2ZG9M546

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

Mentions

arxiv: arXiv 2610.06310#UHWC (statement). In WR5S1V9V8J/e1, proposition 5.4

History

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

Statistical Society of Canada 1N321VTD4T

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

Mentions

wikipedia: Wikipedia Statistical Society of Canada, Statistical Society of Canada (topic). Also Wikidata Q3488678

History

2026-11-02: add by m2/dev

1N34WTA856 1N34WTA856

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

Mentions

napkin: napkin tex/H113/quotient.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 3.6

History

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

1N353BTSRE 1N353BTSRE

URI	`m2://inv/1N353BTSRE`
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.15504#6IOA (definition). In AZ8SEW6HAV/e1, definition 1

History

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

Retained-edge charge 1N35AZ29V7

URI	`m2://inv/1N35AZ29V7`
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.31811#MQ79, Retained-edge charge (statement). In A8ZBZW9RNA/e1, lemma 5.4

History

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

Prokhorov's theorem 1N3DQ0M4YX

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

Mentions

wikipedia: Wikipedia List of theorems#7Q9Q, Prokhorov's theorem (statement)

History

2026-11-02: add by m2/dev

Ambiguity aversion 1N3HYPYCVZ

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

Mentions

wikipedia: Wikipedia List of paradoxes#YATS, Ambiguity aversion (definition)

History

2026-11-02: add by m2/dev

1N3S7HF2QW 1N3S7HF2QW

URI	`m2://inv/1N3S7HF2QW`
Kind	statement
Layer	research
MSC	03-XX, 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.27872#O73Q (statement)

History

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

Specularity 1N3TACTSGT

URI	`m2://inv/1N3TACTSGT`
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#06L5, Specularity (unknown)

History

2026-11-02: add by m2/dev

1N3WPZ32BX 1N3WPZ32BX

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

Mentions

arxiv: arXiv 2610.21725#SD4X (statement). In BQDZN6GRGF/e1, theorem 3.1

History

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

Michelle L. Wachs 1N45FMAJZ5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IPPA, Michelle L. Wachs (topic)

History

2026-11-02: add by m2/dev

1N4908S3T5 1N4908S3T5

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 61.9

History

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

homotopy, group 1N4JBQZNCP

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

Mentions

hott_book: hott_book index/5.11/homotopy-group, homotopy, group (concept). In N54F33XE07, index, section 5.11

History

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

Example 1N4JGW2Y1E

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

Mentions

wikipedia: Wikipedia Størmer's theorem#EPZF, Example (example)

History

2026-11-02: add by m2/dev

1N4SK01CTY 1N4SK01CTY

URI	`m2://inv/1N4SK01CTY`
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.39745#7VEH (definition). In V276PQS61M/e1, definition 4.4

History

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

Shallow representation and approximation upper bounds, nonquantitative 1N53MWMCF4

URI	`m2://inv/1N53MWMCF4`
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.10875#4AQD, Shallow representation and approximation upper bounds, nonquantitative (statement). In N91F15MHW1/e1, theorem 6

History

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

Explicit representation of the Calabi--Yau metric 1N54G2CX6Q

URI	`m2://inv/1N54G2CX6Q`
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#CL8K, Explicit representation of the Calabi--Yau metric (statement). In 4333A6G5K5/e1, theorem 1.1

History

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

1N54GBHV81 1N54GBHV81

URI	`m2://inv/1N54GBHV81`
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 2306.17260#EII5 (statement). In V0T2SY4M6S/e1, proposition 4.4

History

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

Continuous-depth convergence from averaged margins 1N54PEKGQT

URI	`m2://inv/1N54PEKGQT`
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#2SGU, Continuous-depth convergence from averaged margins (statement). In 3VVGPXWH6R/e1, theorem 4.2

History

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

quasi-Frobenius 1N5B2XZH8K

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#148N, quasi-Frobenius (definition)

History

2026-11-02: add by m2/dev

Saadia Gaon 1N5BS4Y6B4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#I7XI, Saadia Gaon (unknown)

History

2026-11-02: add by m2/dev

sulfur-32 1N5C038E74

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

Mentions

wikidata: Wikidata Q2375775, sulfur-32 (definition). Also ProofWiki Definition:Sulphur/32

History

2026-10-26: add by m2/dev

Brauer's theorem on induced characters 1N5DD7HKFX

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

Mentions

wikipedia: Wikipedia List of theorems#ZTQP, Brauer's theorem on induced characters (statement)

History

2026-11-02: add by m2/dev

1N5H34H33R 1N5H34H33R

URI	`m2://inv/1N5H34H33R`
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#VRLI (conjecture)

History

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

1N5MQ6HFDA 1N5MQ6HFDA

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

Mentions

arxiv: arXiv 2303.09207#YS8L (definition). In 9DQKY7KGE8/e1, definition 3.14

History

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

Applications 1N5TJM3T28

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

Mentions

wikipedia: Wikipedia Salem–Spencer set#TBAL, Applications (example)

History

2026-11-02: add by m2/dev

Wegner 1N660TE2HW

URI	`m2://inv/1N660TE2HW`
Kind	conjecture
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.12640#T12A, Wegner (conjecture). In QP9FE1D6PG/e1, conjecture 1.1

History

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

1N67GZYRJW 1N67GZYRJW

URI	`m2://inv/1N67GZYRJW`
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#6VBU (statement). In H21X3FHNYJ/e1, theorem 2.8

History

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

1N67ZJJ6QB 1N67ZJJ6QB

URI	`m2://inv/1N67ZJJ6QB`
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.08357#5F8G (statement). In R9GRCAWHG0/e1, lemma 5.1

History

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

Ogburn, William Fielding 1N6D52XRCS

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

Mentions

wikipedia: Wikipedia List of statisticians#CIXK, Ogburn, William Fielding (unknown)

History

2026-11-02: add by m2/dev

Examples 1N6EWZTV8Q

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

Mentions

wikipedia: Wikipedia Handlebody#9U2P, Examples (example)

History

2026-11-02: add by m2/dev

1N6F3PQGVW 1N6F3PQGVW

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

Mentions

arxiv: arXiv 2601.15403#JE8F (statement). In BSWNH3NW1M/e1, lemma 6.5

History

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

1N6Q57XJRQ 1N6Q57XJRQ

URI	`m2://inv/1N6Q57XJRQ`
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.27393#YUSY (statement)

History

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

Definition 1N6YWG7DB5

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

Mentions

wikipedia: Wikipedia Fractional dominating set#ZXOI, Definition (definition)

History

2026-11-02: add by m2/dev

1N75F26VYJ 1N75F26VYJ

URI	`m2://inv/1N75F26VYJ`
Kind	example
Layer	research
MSC	14-XX, 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 2610.21960#T7PN (example). In QX77AN49J0/e1, example 4.5

History

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

Associativity of symmetric tensor product 1N7AP36CK2

URI	`m2://inv/1N7AP36CK2`
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.08956#A8IS, Associativity of symmetric tensor product (statement). In DEE631KR3A/e1, lemma 9

History

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

homoiconicity 1N7CCY5SZQ

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

Mentions

wikidata: Wikidata Q925488, homoiconicity (unknown). Also nLab homoiconicity

History

2026-10-26: add by m2/dev

weak solution 1N7CMPRM27

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

Mentions

arxiv: arXiv 2609.35001#S0LJ, weak solution (definition). In 1PN6NESQER/e1, definition 2.1

History

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

1N7DSMJWXB 1N7DSMJWXB

URI	`m2://inv/1N7DSMJWXB`
Kind	statement
Layer	research
MSC	14-XX, 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.23884#L5A5 (statement)

History

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

Properties 1N7EJVDZXS

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

Mentions

wikipedia: Wikipedia Inverse image functor#XI2B, Properties (statement)

History

2026-11-02: add by m2/dev

1N7J0ARNJM 1N7J0ARNJM

URI	`m2://inv/1N7J0ARNJM`
Kind	definition
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.02901#0JBT (definition). In NSP90G5XCQ/e1, definition 2.9

History

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

prime 1N7PGCDS3Z

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#XW1Q, prime (definition)

History

2026-11-02: add by m2/dev

1N7V59HM86 1N7V59HM86

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

Mentions

arxiv: arXiv 2610.10930#CWCQ (example). In HX63A1PH1W/e1, example 3.24

History

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

Johannes Buchmann 1N80B40XF4

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

Mentions

wikipedia: Wikipedia Johannes Buchmann, Johannes Buchmann (topic). Also Wikidata Q1697321

History

2026-11-02: add by m2/dev

Wythoff symbol 1N866364KD

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

Mentions

wikidata: Wikidata Q2114050, Wythoff symbol (unknown). Also MathWorld WythoffSymbol
wikipedia: Wikipedia Wythoff symbol, Wythoff symbol (definition). Also Wikidata Q2114050

History

2026-10-26: add by m2/dev

Key Polynomial Stability 1N8CHV7QZB

URI	`m2://inv/1N8CHV7QZB`
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 2502.08738#3E6V, Key Polynomial Stability (statement). In 9GMTVSTAVN/e1, lemma 3.1

History

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

1N8E1NA76D 1N8E1NA76D

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 50.6

History

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

1N8JJADG46 1N8JJADG46

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#definition-6 (definition). In RZP28ERRZV, definition, section 10.6

History

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

Minimax Lower Bound 1N8RZBXZGW

URI	`m2://inv/1N8RZBXZGW`
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.10167#T92H, Minimax Lower Bound (statement). In SVMDSE7PKG/e1, theorem 4

History

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

Cyclic block optimization 1N8VPJ5JQM

URI	`m2://inv/1N8VPJ5JQM`
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.17006#P2O8, Cyclic block optimization (statement). In YY81ZEJ82P/e1, lemma 8.1

History

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

Boundary realization of the seam 1N8WR5D9SH

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

Mentions

arxiv: arXiv 2501.09848#L4WX, Boundary realization of the seam (statement). In HF7YNMW39N/e1, proposition 2.2

History

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

1N8ZHQES7X 1N8ZHQES7X

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-4 (example). In Y91XFCEVHQ, example, section 2.6.1

History

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

1N90R4V506 1N90R4V506

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

Mentions

arxiv: arXiv 2610.09678#Q1FM (statement). In 9VG7PNZHZT/e1, lemma 6.3

History

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

Properties 1N9E2DBDWW

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

Mentions

wikipedia: Wikipedia Complete group#K165, Properties (statement)

History

2026-11-02: add by m2/dev

1N9FYV8BFQ 1N9FYV8BFQ

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

Mentions

arxiv: arXiv 2610.04870#3MVE (definition). In X765ZXXVC3/e1, definition 2.10

History

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

Extensions 1N9QJ690G2

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

Mentions

wikipedia: Wikipedia Grzegorczyk hierarchy#U8VE, Extensions (statement)

History

2026-11-02: add by m2/dev

1N9SCA4KTC 1N9SCA4KTC

URI	`m2://inv/1N9SCA4KTC`
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.19273#41V6 (statement). In T3BY4TXYT4/e1, lemma 7.1

History

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

Apéry's theorem 1N9Y2K9RHN

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

Mentions

mathlib_1000: mathlib_1000 Q1095330, Apéry's theorem (statement). Also Wikidata Q1095330
thousand_plus: thousand_plus Q1095330, Apéry's theorem (statement). Also Wikidata Q1095330, Wikipedia Apéry's theorem
wikipedia: Wikipedia Apéry's theorem, Apéry's theorem (statement). Also Wikidata Q1095330

History

2026-10-26: add by m2/dev

Morrey's inequality 1NA1BQ5BN7

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

Mentions

wikipedia: Wikipedia Sobolev inequality#TCN4, Morrey's inequality (statement)

History

2026-11-02: add by m2/dev

Finite compiler at a fixed step size 1NA1G819F2

URI	`m2://inv/1NA1G819F2`
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.16248#Z4EE, Finite compiler at a fixed step size (statement). In TP61DYMBMK/e1, proposition 8

History

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

1NA9PRE7RK 1NA9PRE7RK

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

Mentions

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

History

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

Sichel distribution 1NAAVJP069

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

Mentions

wikipedia: Wikipedia List of statistics articles#DTSU, Sichel distribution (definition)

History

2026-11-02: add by m2/dev

1NABB2AZKR 1NABB2AZKR

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 49.1

History

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

1NAFPTWJGK 1NAFPTWJGK

URI	`m2://inv/1NAFPTWJGK`
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#1X9K (statement)

History

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

Remark 1NB0WGFKXY

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

Mentions

wikipedia: Wikipedia Hölder's inequality#2ZF2, Remark (unknown)

History

2026-11-02: add by m2/dev

1NB6HZ472R 1NB6HZ472R

URI	`m2://inv/1NB6HZ472R`
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.35442#ZJVN (statement). In C6R0DAA279/e1, lemma 3.7

History

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

Exit node 1NBBT8FYTT

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

Mentions

wikipedia: Wikipedia Tor (network)#RS6H, Exit node (unknown)

History

2026-11-02: add by m2/dev

Beta wavelet 1NBJAC3VSD

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

Mentions

wikipedia: Wikipedia Beta wavelet, Beta wavelet (definition). Also Wikidata Q4897310

History

2026-11-02: add by m2/dev

Weights on nested families 1NBMK8JK3J

URI	`m2://inv/1NBMK8JK3J`
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.25101#JFJX, Weights on nested families (statement)

History

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

error correction code 1NBP4YNZST

URI	`m2://inv/1NBP4YNZST`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Error-correcting code TAE6K8NQ46

Mentions

wikidata: Wikidata Q55611017, error correction code (unknown). Also MathWorld Error-CorrectingCode
wikipedia: Wikipedia Error correction code, Error correction code (definition). Also Wikidata Q55611017

History

2026-10-26: add by m2/dev

1NC2ME7B9D 1NC2ME7B9D

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

Mentions

arxiv: arXiv 2609.28189#E8JS (definition)

History

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

Self-dual 1NC418W1RR

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

Mentions

wikidata: Wikidata Q2872559, Self-dual (unknown). Also MathWorld Self-Dual

History

2026-10-26: add by m2/dev

G-ring 1NC4MTM3F0

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

Mentions

wikidata: Wikidata Q17097924, G-ring (concept). Also nLab Grothendieck ring

History

2026-10-26: add by m2/dev

Stata 1NCFPMK72F

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

Mentions

wikipedia: Wikipedia Stata, Stata (definition). Also Wikidata Q1204300

History

2026-11-02: add by m2/dev

Conway sphere 1NCN4HZX23

URI	`m2://inv/1NCN4HZX23`
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#HWHH, Conway sphere (definition)

History

2026-11-02: add by m2/dev

Adriaan Cornelis Zaanen 1NCRHDHS45

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RRY4, Adriaan Cornelis Zaanen (topic)

History

2026-11-02: add by m2/dev

Pentagonal number theorem 1NCVSK52F6

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

Mentions

wikipedia: Wikipedia List of partition topics#TTDC, Pentagonal number theorem (statement)

History

2026-11-02: add by m2/dev

Baudhayana 1ND07EKDNM

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#5ZM7, Baudhayana (topic)

History

2026-11-02: add by m2/dev

1ND6QDJQN6 1ND6QDJQN6

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

Mentions

arxiv: arXiv 2610.19658#D65V (statement). In G00EYA9DXG/e1, lemma 6.2

History

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

1NDAHGQ0Y6 1NDAHGQ0Y6

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

Mentions

arxiv: arXiv 2610.04870#GH32 (statement). In X765ZXXVC3/e1, lemma 4.17

History

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

1NDMFQA7H8 1NDMFQA7H8

URI	`m2://inv/1NDMFQA7H8`
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.21868#ER2P (statement). In WWAQEF0093/e1, theorem 1.2

History

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

Semidiscrete energy balance 1NDPWV4RRM

URI	`m2://inv/1NDPWV4RRM`
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.21991#SVMP, Semidiscrete energy balance (statement). In KRBDK9J44X/e1, theorem 3.1

History

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

1NDS6XR6T1 1NDS6XR6T1

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

Mentions

arxiv: arXiv 2609.38844#7D05 (statement). In PX8D91DQCX/e1, lemma 3.4

History

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

Zeta function and the Riemann hypothesis 1NDX27G9FZ

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

Mentions

wikipedia: Wikipedia Prime number#Z9LJ, Zeta function and the Riemann hypothesis (statement)

History

2026-11-02: add by m2/dev

1NE4RWFRSK 1NE4RWFRSK

URI	`m2://inv/1NE4RWFRSK`
Kind	statement
Layer	research
MSC	13-XX, 19-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 2505.05539#V4BY (statement). In 8SVVEVGMNE/e1, lemma 5.9

History

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

Partial regression plot 1NE8PRYJ57

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

Mentions

wikipedia: Wikipedia Partial regression plot, Partial regression plot (definition). Also Wikidata Q7140384

History

2026-11-02: add by m2/dev

1NEB24639S 1NEB24639S

URI	`m2://inv/1NEB24639S`
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.04948#AXUG (statement). In TKHA291X5N/e1, lemma 5

History

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

1NEB3SBYWP 1NEB3SBYWP

URI	`m2://inv/1NEB3SBYWP`
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#JE2Y (statement). In J99PFFJXPE/e1, proposition 4.15

History

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

David William Boyd 1NEDS0WM00

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

Mentions

wikipedia: Wikipedia David William Boyd, David William Boyd (topic). Also Wikidata Q4502269

History

2026-11-02: add by m2/dev

Existential axioms 1NEFWTV5SW

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

Mentions

wikipedia: Wikipedia Algebraic structure#A77K, Existential axioms (statement)

History

2026-11-02: add by m2/dev

Astérisque 1NEKTQ5QTR

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

Mentions

wikidata: Wikidata Q4811832, Astérisque (unknown). Also nLab Astérisque

History

2026-10-26: add by m2/dev

1NEP1DVQB4 1NEP1DVQB4

URI	`m2://inv/1NEP1DVQB4`
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.03460#DKXB (statement). In 54HWP298DG/e1, corollary 9

History

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

Laplace's method 1NEX1BWM0P

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

Mentions

wikipedia: Wikipedia Laplace's method, Laplace's method (definition). Also Wikidata Q2058297

History

2026-11-02: add by m2/dev

fundamental, $\infty$-groupoid 1NEYXEX5DC

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

Mentions

hott_book: hott_book index/1/fundamental-infty-groupoid, fundamental, $\infty$-groupoid (concept). In N54F33XE07, index, section 1

History

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

Cantor–Zassenhaus algorithm 1NFRJF2DFG

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

Mentions

wikipedia: Wikipedia List of algorithms#WPNV, Cantor–Zassenhaus algorithm (definition)

History

2026-11-02: add by m2/dev

1NFSRFD61G 1NFSRFD61G

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

Mentions

arxiv: arXiv 2609.25468#ULO4 (statement)

History

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

May's theorem 1NFVK54NTJ

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

Mentions

mathlib_1000: mathlib_1000 Q1056283, May's theorem (statement). Also Wikidata Q1056283
thousand_plus: thousand_plus Q1056283, May's theorem (statement). Also Wikidata Q1056283, Wikipedia May's theorem
wikidata: Wikidata Q1056283, May's theorem (statement). Also MathWorld MaysTheorem
wikipedia: Wikipedia May's theorem, May's theorem (statement). Also Wikidata Q1056283

History

2026-10-26: add by m2/dev

Jordan normal form 1NG4CSHNYY

URI	`m2://inv/1NG4CSHNYY`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Jordan normal form 085HQ5G5TE

Mentions

wikidata: Wikidata Q838495, Jordan normal form (concept). Also MathWorld JordanCanonicalForm
wikipedia: Wikipedia Jordan normal form, Jordan normal form (definition). Also Wikidata Q838495

History

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

Barbara 1NGWR8Y8HB

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#WZ1K, Barbara (definition)

History

2026-11-02: add by m2/dev

Morgan, William 1NGXMH0YCV

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

Mentions

wikipedia: Wikipedia List of statisticians#YQR8, Morgan, William (unknown)

History

2026-11-02: add by m2/dev

389 (number) 1NH2X8P4Q1

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

Mentions

wikipedia: Wikipedia 300 (number)#SSVZ, 389 (number) (unknown)

History

2026-11-02: add by m2/dev

Examples 1NH72K09C7

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

Mentions

wikipedia: Wikipedia Noncommutative unique factorization domain#2U5I, Examples (example)

History

2026-11-02: add by m2/dev

Definition 1NH9QM3WWZ

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

Mentions

wikipedia: Wikipedia Telescoping product#NT5Q, Definition (definition)

History

2026-11-02: add by m2/dev

1NH9YHPFYP 1NH9YHPFYP

URI	`m2://inv/1NH9YHPFYP`
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.01354#W6WI (statement). In BWD76W20W8/e1, lemma 5.5

History

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

1NHBKZ41VN 1NHBKZ41VN

URI	`m2://inv/1NHBKZ41VN`
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.07508#BAK4 (statement). In TPA3E67MKK/e1, proposition 9.11

History

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

Hypergeometric distribution 1NHFG1AAJJ

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

Mentions

wikipedia: Wikipedia List of probability distributions#4JRI, Hypergeometric distribution (definition)

History

2026-11-02: add by m2/dev

1NHG4WFCSN 1NHG4WFCSN

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

Mentions

arxiv: arXiv 2610.19459#GHJU (statement). In SATS9RFBX7/e1, proposition 4

History

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

1NHN1VCTX7 1NHN1VCTX7

URI	`m2://inv/1NHN1VCTX7`
Kind	example
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.25524#BKB0 (example)

History

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

Ruthmae Sears 1NHTSW0ZQF

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

Mentions

wikipedia: Wikipedia Ruthmae Sears, Ruthmae Sears (topic). Also Wikidata Q110770534

History

2026-11-02: add by m2/dev

1NJ67W1G2Y 1NJ67W1G2Y

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

Mentions

arxiv: arXiv 2610.16886#ID05 (statement). In Y8QQAH7VCF/e1, lemma C.5

History

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

Definition 1NJ87R4WR1

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

Mentions

wikipedia: Wikipedia De Rham invariant#YL54, Definition (definition)

History

2026-11-02: add by m2/dev

Grigori Perelman 1NJCZ906EE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J3AO, Grigori Perelman (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#42ZP, Grigori Perelman (topic)

History

2026-11-02: add by m2/dev

1NJDHS9PHG 1NJDHS9PHG

URI	`m2://inv/1NJDHS9PHG`
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.29699#2X4T (statement)

History

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

Nicolas Fizes 1NJWVC65DT

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

Mentions

wikipedia: Wikipedia Nicolas Fizes, Nicolas Fizes (topic). Also Wikidata Q18170070

History

2026-11-02: add by m2/dev

1NJZAYG339 1NJZAYG339

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

Mentions

arxiv: arXiv 2609.20900#DV5P (statement)

History

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

1NK2FW7C60 1NK2FW7C60

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-256 (exercise). In VNMV985MXX, exercise, section 5.2

History

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

Assaf Naor 1NKBKVEBCP

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#OIAW, Assaf Naor (topic)

History

2026-11-02: add by m2/dev

1NKEVR4FAT 1NKEVR4FAT

URI	`m2://inv/1NKEVR4FAT`
Kind	statement
Layer	research
MSC	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.08594#NB32 (statement). In FEE70SSD96/e1, proposition 6.3

History

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

1NKF0GDF3M 1NKF0GDF3M

URI	`m2://inv/1NKF0GDF3M`
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.12169#SDUP (statement). In 645GF9SFWM/e1, lemma 16

History

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

1NKPGGFWJW 1NKPGGFWJW

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

Mentions

arxiv: arXiv 2610.16580#9CX4 (statement). In MQPBZX4DR6/e1, theorem 4.8

History

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

Use 1NKQ6NRVKQ

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

Mentions

wikipedia: Wikipedia Ground field#LT8I, Use (example)

History

2026-11-02: add by m2/dev

1NKT0PX0XW 1NKT0PX0XW

URI	`m2://inv/1NKT0PX0XW`
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.16505#HNE9 (statement). In P9V43TXCJ3/e1, lemma 4.10

History

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

Correlation function (quantum field theory) 1NKV0C0X2T

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#U1RB, Correlation function (quantum field theory) (unknown)

History

2026-11-02: add by m2/dev

Presentation of a monoid 1NKXHBF2WY

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

Mentions

wikipedia: Wikipedia Presentation of a monoid, Presentation of a monoid (definition). Also Wikidata Q7240991

History

2026-11-02: add by m2/dev

1NM1MQ22W0 1NM1MQ22W0

URI	`m2://inv/1NM1MQ22W0`
Kind	statement
Layer	research
MSC	11-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 2610.02961#PFZR (statement). In 986DENWM1D/e1, proposition 4.5

History

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

1NM3223CKY 1NM3223CKY

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

Mentions

arxiv: arXiv 2610.20207#GHXR (statement). In 1MPH7GCFJ2/e1, lemma 5.2

History

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

singular solution 1NMFEF3E66

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.3.2/singular-solution, singular solution (concept). In E9HS8K3A52, index, section 4.3.2

History

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

1NMH89VCDS 1NMH89VCDS

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

Mentions

arxiv: arXiv 2610.17798#DMZO (example). In 66H5YPQCYV/e1, example 3.4

History

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

Applied Econometrics and International Development 1NMNY0G88N

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

Mentions

wikipedia: Wikipedia Applied Econometrics and International Development, Applied Econometrics and International Development (definition). Also Wikidata Q4781530

History

2026-11-02: add by m2/dev

Clique game 1NMR5YJG6Z

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

Mentions

wikipedia: Wikipedia Clique game, Clique game (definition). Also Wikidata Q60791352

History

2026-11-02: add by m2/dev

1NMYK3R61Z 1NMYK3R61Z

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

Mentions

arxiv: arXiv 2609.39293#HQ0X (definition). In S26QVW5613/e1, definition 2.3.4

History

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

1NN3E11CP3 1NN3E11CP3

URI	`m2://inv/1NN3E11CP3`
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.17883#NSR0 (statement). In 9WSJV2WY2S/e1, proposition 3.3

History

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

1NN3ZH4GWT 1NN3ZH4GWT

URI	`m2://inv/1NN3ZH4GWT`
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#Y0A4 (statement). In NAM9ZMPHZ9/e1, proposition C.6

History

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

Diederik Korteweg 1NN7K9BMKP

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#D7EF, Diederik Korteweg (topic)

History

2026-11-02: add by m2/dev

Applications 1NN8Z0QT0E

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

Mentions

wikipedia: Wikipedia Fourier shell correlation#EEDI, Applications (example)

History

2026-11-02: add by m2/dev

Properties 1NNDA9BHFF

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

Mentions

wikipedia: Wikipedia Schubert calculus#XR7B, Properties (statement)

History

2026-11-02: add by m2/dev

Examples 1NNF6SMBMD

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

Mentions

wikipedia: Wikipedia Composition (combinatorics)#K5PP, Examples (example)

History

2026-11-02: add by m2/dev

Runge–Kutta–Fehlberg method 1NNFHH595Y

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

Mentions

wikipedia: Wikipedia Runge–Kutta–Fehlberg method, Runge–Kutta–Fehlberg method (definition). Also Wikidata Q7379856

History

2026-11-02: add by m2/dev

1NNH3SYFW9 1NNH3SYFW9

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

Mentions

arxiv: arXiv 2610.09897#UTXH (statement). In NYA085FW0M/e1, lemma 3.11

History

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

Bühlmann model 1NNM86TRBH

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

Mentions

wikipedia: Wikipedia List of statistics articles#2WJR, Bühlmann model (definition)

History

2026-11-02: add by m2/dev

1NNSY4YMJE 1NNSY4YMJE

URI	`m2://inv/1NNSY4YMJE`
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#Q2DQ (statement). In FK89DQ9J4S/e1, proposition 5.3

History

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

1NNW4S0FSZ 1NNW4S0FSZ

URI	`m2://inv/1NNW4S0FSZ`
Kind	example
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.23834#UQ39 (example)

History

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

continuous 1NPFPR5NAN

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#RD1I, continuous (definition)

History

2026-11-02: add by m2/dev

1NPHFZAJWF 1NPHFZAJWF

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

Mentions

arxiv: arXiv 2609.32338#RDPX (statement). In HVY45JQRNK/e1, theorem 6.7

History

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

fibrant 1NPHV7HPVX

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

Mentions

wikipedia: Wikipedia Glossary of category theory#899I, fibrant (definition)

History

2026-11-02: add by m2/dev

1NPHZY05QT 1NPHZY05QT

URI	`m2://inv/1NPHZY05QT`
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.19449#VALZ (statement). In 8ZKPJ3CBDF/e1, proposition 4.16

History

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

1NPKMKFQ96 1NPKMKFQ96

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

Mentions

arxiv: arXiv 2609.28141#PPIE (statement)

History

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

1NPWTXCPMQ 1NPWTXCPMQ

URI	`m2://inv/1NPWTXCPMQ`
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.34474#C7O2 (statement). In R8417G6ABM/e1, lemma 3.2

History

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

1NPYK6HS5B 1NPYK6HS5B

URI	`m2://inv/1NPYK6HS5B`
Kind	example
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.14985#N4A4 (example). In DGXJW3SCBR/e1, example 11

History

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

Robinson–Ursescu theorem 1NPZY19T4B

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

Mentions

wikipedia: Wikipedia Ursescu theorem#77NS, Robinson–Ursescu theorem (statement)

History

2026-11-02: add by m2/dev

Cut locus 1NQ2TGBEBS

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

Mentions

wikipedia: Wikipedia Cut locus, Cut locus (definition). Also Wikidata Q55951116

History

2026-11-02: add by m2/dev

holographic principle 1NQ5ZXE2MJ

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

Mentions

wikidata: Wikidata Q911473, holographic principle (unknown). Also nLab holographic principle
wikipedia: Wikipedia Holographic principle, Holographic principle (statement). Also Wikidata Q911473

History

2026-10-26: add by m2/dev

Dehn function 1NQ6A1WAC4

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

Mentions

wikipedia: Wikipedia Dehn function, Dehn function (definition). Also Wikidata Q4493444

History

2026-11-02: add by m2/dev

Global shipping network 1NQFPSDWN4

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

Mentions

wikipedia: Wikipedia List of network theory topics#HLGV, Global shipping network (unknown)

History

2026-11-02: add by m2/dev

1NQJVAK9HM 1NQJVAK9HM

URI	`m2://inv/1NQJVAK9HM`
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 2204.01073#1TSO (statement). In W4TYN4PGE8/e1, proposition 3.25

History

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

List of presidents of the American Statistical Association 1NQK09V85N

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

Mentions

wikipedia: Wikipedia List of presidents of the American Statistical Association, List of presidents of the American Statistical Association (topic). Also Wikidata Q6634832

History

2026-11-02: add by m2/dev

Single-subject design 1NQMC38YFZ

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

Mentions

wikipedia: Wikipedia Single-subject design, Single-subject design (definition). Also Wikidata Q7523781

History

2026-11-02: add by m2/dev

Weyl 1NQMZAR8Z5

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#TGCL, Weyl (definition)

History

2026-11-02: add by m2/dev

Church boolean 1NQP2WVWHE

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

Mentions

wikipedia: Wikipedia Church encoding#1SUQ, Church boolean (unknown)

History

2026-11-02: add by m2/dev

Kaitai Fang 1NR2C7CCMA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SY6L, Kaitai Fang (topic)

History

2026-11-02: add by m2/dev

Extraction 1NR31MGCR1

URI	`m2://inv/1NR31MGCR1`
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 2610.21662#YG28, Extraction (statement). In 25B3WHEKH2/e1, lemma 6.3

History

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

1NR5284WY6 1NR5284WY6

URI	`m2://inv/1NR5284WY6`
Kind	statement
Layer	research
MSC	19-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.01473#MLH0 (statement). In ABS9M47F4K/e1, corollary 2.6

History

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

Second generation wavelet transform 1NR70JHZW4

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

Mentions

wikipedia: Wikipedia List of wavelet-related transforms#WQMH, Second generation wavelet transform (definition)

History

2026-11-02: add by m2/dev

1NR86KX3YP 1NR86KX3YP

URI	`m2://inv/1NR86KX3YP`
Kind	definition
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 2207.12181#O3RY (definition). In FSD8NE3XSR/e1, definition 2.11

History

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

1NR8KEYBYP 1NR8KEYBYP

URI	`m2://inv/1NR8KEYBYP`
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#FGIM (statement). In CBF6TQS4DW/e1, lemma 5.5

History

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

Vincenty's formulae 1NR9NBMEG1

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

Mentions

wikipedia: Wikipedia List of algorithms#BNNH, Vincenty's formulae (definition)

History

2026-11-02: add by m2/dev

1NRG3969RK 1NRG3969RK

URI	`m2://inv/1NRG3969RK`
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#22JJ (statement). In 5DFTVG7FFF/e1, lemma 2.5

History

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

Ingram 1NRNFQS60N

URI	`m2://inv/1NRNFQS60N`
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.10643#DYC0, Ingram (statement). In 1FJSQAGF8R/e1, theorem 2

History

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

decomposition into transpositions 1NRPVDQ4YE

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

Mentions

mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > decomposition into transpositions, decomposition into transpositions (unknown). Also Mathlib Equiv.Perm.truncSwapFactors

History

2026-10-26: add by m2/dev

1NRV3A5E2H 1NRV3A5E2H

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-66 (exercise). In E59CDZA4DP, exercise, section 4.5.6

History

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

1NRVZFJGR9 1NRVZFJGR9

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

Mentions

wikipedia: Wikipedia Polycube#M2KX (problem)

History

2026-11-02: add by m2/dev

inverse proportionality 1NRWQJGR5R

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

Mentions

wikidata: Wikidata Q1091245, inverse proportionality (unknown). Also MathWorld InverselyProportional

History

2026-10-26: add by m2/dev

1NS0Y651G7 1NS0Y651G7

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

Mentions

arxiv: arXiv 2610.02686#NLIJ (statement). In 5QWPNXQ32J/e1, theorem 3.2

History

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

Universal splitting function 1NS4AYYMGE

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

Mentions

arxiv: arXiv 2610.05652#6FQS, Universal splitting function (definition). In 8BNPFYQDQX/e1, definition 3.14

History

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

1NS50BB6DG 1NS50BB6DG

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

Mentions

arxiv: arXiv 2609.27635#MTSZ (statement)

History

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

coend 1NSFF42MDK

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

Mentions

wikipedia: Wikipedia Glossary of category theory#GUOJ, coend (definition)

History

2026-11-02: add by m2/dev

1NSHAETMR9 1NSHAETMR9

URI	`m2://inv/1NSHAETMR9`
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.13613#MWXB (statement). In 3HCT4TQ5PM/e1, lemma 2.2

History

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

N-category number 1NSKQ1SRSN

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

Mentions

wikipedia: Wikipedia N-category number, N-category number (definition). Also Wikidata Q16965129

History

2026-11-02: add by m2/dev

1NSV9H665W 1NSV9H665W

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#defn-5 (definition). In E59CDZA4DP, defn, section 8.5

History

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

Unknown population smoothness 1NT4QG12VP

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

Mentions

arxiv: arXiv 2610.15202#XL2Y, Unknown population smoothness (statement). In X1FPG0KYBM/e1, corollary L.6

History

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

1NT5G6ZDYZ 1NT5G6ZDYZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 5.2

History

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

1NT5N0N3DW 1NT5N0N3DW

URI	`m2://inv/1NT5N0N3DW`
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 2407.12231#CAZR (statement). In W44N3VEC6H/e1, theorem 11

History

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

Daniel Spielman 1NTC1HNRCT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#N858, Daniel Spielman (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#00TW, Daniel Spielman (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IW9P, Daniel Spielman (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NWY0, Daniel Spielman (unknown)

History

2026-11-02: add by m2/dev

Superprocess 1NTD4BT1HV

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

Mentions

wikipedia: Wikipedia Superprocess, Superprocess (definition). Also Wikidata Q7644117

History

2026-11-02: add by m2/dev

Latin subjunctive 1NTJNK4HSR

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

Mentions

wikipedia: Wikipedia Latin syntax#H73V, Latin subjunctive (unknown)

History

2026-11-02: add by m2/dev

Kostas Skenderis 1NTPMGDEV6

URI	`m2://inv/1NTPMGDEV6`
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 Q91825807, Kostas Skenderis (unknown). Also nLab Kostas Skenderis

History

2026-10-26: add by m2/dev

418 (number) 1NTT5XJBH0

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

Mentions

wikipedia: Wikipedia 400 (number)#BXLI, 418 (number) (unknown)

History

2026-11-02: add by m2/dev

1NTW0CA864 1NTW0CA864

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

Mentions

arxiv: arXiv 2610.01888#HKKH (statement). In A89G9GMPC9/e1, corollary 4.2

History

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

Definition 1NTW85JQMY

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

Mentions

wikipedia: Wikipedia Unfolding (functions)#I4EI, Definition (definition)

History

2026-11-02: add by m2/dev

1NV1PSMT8R 1NV1PSMT8R

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

Mentions

arxiv: arXiv 2610.17875#VZ3Y (statement). In AQX7DGD360/e1, lemma 7.6

History

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

1NV6DJC2H3 1NV6DJC2H3

URI	`m2://inv/1NV6DJC2H3`
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.33108#68EV (statement). In 5JK5N2RRMS/e1, lemma 4.1

History

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

1NVCMVN1A2 1NVCMVN1A2

URI	`m2://inv/1NVCMVN1A2`
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.14080#B2K5 (statement). In 1DRD5FAJ4C/e1, theorem 3.4

History

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

Solovay–Kitaev theorem 1NVDY7M8ZH

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

Mentions

wikipedia: Wikipedia List of theorems#7LZZ, Solovay–Kitaev theorem (statement)

History

2026-11-02: add by m2/dev

1NVQ9ANSX0 1NVQ9ANSX0

URI	`m2://inv/1NVQ9ANSX0`
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.05427#QTYW (statement). In 4VC60HRHH9/e1, lemma 4.2

History

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

1NW02YMMCS 1NW02YMMCS

URI	`m2://inv/1NW02YMMCS`
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 2207.05628#V1QC (statement). In 9JPKTEWW4W/e1, theorem 3.15

History

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

1NW19KVY77 1NW19KVY77

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

Mentions

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

History

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

1NW6ST8KT5 1NW6ST8KT5

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/frame-completeness.tex#thm:completeframeprops (statement). In PKGMM3P5QY, thm, section 51.1

History

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

Diophantine approximation 1NW75PJJP5

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

Mentions

mathlib_1000: mathlib_1000 Q1227061, Khinchin's theorem on Diophantine approximations (statement). Also Wikidata Q1227061
thousand_plus: thousand_plus Q1227061, Khinchin's theorem (statement). Also Wikidata Q1227061, Wikipedia Khinchin's theorem on Diophantine approximations
wikipedia: Wikipedia Diophantine approximation, Diophantine approximation (definition). Also Wikidata Q1227061

History

2026-10-26: add by m2/dev

1NW76KV281 1NW76KV281

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

Mentions

arxiv: arXiv 2108.10246#2JQ1 (definition). In XD0YT3XCW2/e1, definition 2.24

History

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

General conservation law 1NW7HD9HFR

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

Mentions

wikipedia: Wikipedia Finite volume method#ET5E, General conservation law (statement)

History

2026-11-02: add by m2/dev

Nome power theorems 1NWC4Y1A0J

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

Mentions

wikipedia: Wikipedia Theta function#470Y, Nome power theorems (statement)

History

2026-11-02: add by m2/dev

p-adic function 1NWG1Q3PH8

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

Mentions

wikipedia: Wikipedia List of types of functions#Z00O, p-adic function (topic)

History

2026-11-02: add by m2/dev

Moishezon deformation limit 1NWG9JYAQ6

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

Mentions

arxiv: arXiv 2407.02022#V91X, Moishezon deformation limit (statement). In RZDNWV9E29/e1, corollary 1.4

History

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

Asymptotic theory (statistics) 1NWJ2E2EQB

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

Mentions

wikipedia: Wikipedia List of statistics articles#EXP6, Asymptotic theory (statistics) (topic)

History

2026-11-02: add by m2/dev

Digby's H 1NWNQ3SN7K

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

Mentions

wikipedia: Wikipedia Digby's H, Digby's H (definition). Also Wikidata Q141331117

History

2026-11-02: add by m2/dev

Malament–Hogarth spacetime 1NWSXY7AEA

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

Mentions

wikidata: Wikidata Q6741225, Malament–Hogarth spacetime (unknown). Also nLab Malament–Hogarth spacetime

History

2026-10-26: add by m2/dev

Path integral formulation 1NWW0TYS04

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#636N, Path integral formulation (definition)

History

2026-11-02: add by m2/dev

1NX1MQ2H88 1NX1MQ2H88

URI	`m2://inv/1NX1MQ2H88`
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.17127#T4OW (statement). In NZJ5B5KSDQ/e1, corollary 5

History

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

1NXEXREMGW 1NXEXREMGW

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

Mentions

arxiv: arXiv 2604.10080#V595 (definition). In KM2FWKP93A/e1, definition 7.1

History

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

1NXK1B4AB6 1NXK1B4AB6

URI	`m2://inv/1NXK1B4AB6`
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.09735#UZFY (statement). In C518KB563H/e1, theorem 2.1

History

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

1NYBMN8PZY 1NYBMN8PZY

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

Mentions

arxiv: arXiv 2609.37520#24RN (definition). In BDN507RN7J/e1, definition 3.6.2

History

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

1NYFP3X6VN 1NYFP3X6VN

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

Mentions

arxiv: arXiv 2609.35574#TQ4V (statement). In 3Q70DMD7Z7/e1, theorem 2.2

History

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

1NYHD137P6 1NYHD137P6

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

Mentions

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

History

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

Higman's embedding theorem 1NYS37BFMR

URI	`m2://inv/1NYS37BFMR`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	4
Outcome	open
Node	Higman embedding theorem P7TZ694FCM

Mentions

mathlib_1000: mathlib_1000 Q17029787, Higman's embedding theorem (statement). Also Wikidata Q17029787
thousand_plus: thousand_plus Q17029787, Higman's embedding theorem (statement). Also Wikidata Q17029787, Wikipedia Higman's embedding theorem
wikidata: Wikidata Q17029787, Higman's embedding theorem (statement). Also nLab Higman's embedding theorem
wikipedia: Wikipedia Higman's embedding theorem, Higman's embedding theorem (statement). Also Wikidata Q17029787

History

2026-10-26: add by m2/dev

Applications 1NYSJXW8EM

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

Mentions

wikipedia: Wikipedia Psephology#KE2Y, Applications (example)

History

2026-11-02: add by m2/dev

Lee–Yang theorem 1NYSXWDS41

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

Mentions

mathlib_1000: mathlib_1000 Q6516611, Lee–Yang theorem (statement). Also Wikidata Q6516611
thousand_plus: thousand_plus Q6516611, Lee–Yang theorem (statement). Also Wikidata Q6516611, Wikipedia Lee–Yang theorem
wikipedia: Wikipedia Lee–Yang theorem, Lee–Yang theorem (statement). Also Wikidata Q6516611

History

2026-10-26: add by m2/dev

Jan Denef 1NZ3TE78SV

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

Mentions

wikipedia: Wikipedia Jan Denef, Jan Denef (topic). Also Wikidata Q1681710

History

2026-11-02: add by m2/dev

Regulus 1NZGMZKBGZ

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

Mentions

wikipedia: Wikipedia List of surfaces#Q53S, Regulus (definition)

History

2026-11-02: add by m2/dev

1NZGRZGXGB 1NZGRZGXGB

URI	`m2://inv/1NZGRZGXGB`
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.09810#UFYC (statement). In B6PCH930FV/e1, proposition 2

History

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

1NZSM23EP5 1NZSM23EP5

URI	`m2://inv/1NZSM23EP5`
Kind	problem
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.21399#0RNI (problem)

History

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

1NZWVJR8ZD 1NZWVJR8ZD

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

Mentions

arxiv: arXiv 2609.20513#OCNA (statement)

History

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