Inventory rows PW

Connection between stability assumptions PW011XXVNP

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

Mentions

arxiv: arXiv 2609.26951#CKCE, Connection between stability assumptions (statement)

History

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

PW07AEVY2N PW07AEVY2N

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

Mentions

arxiv: arXiv 2503.05873#9KBH (definition). In 2FY5P3FAS0/e1, definition 4

History

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

Bálint Virág PW0F5TJXKV

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#8LIO, Bálint Virág (topic)

History

2026-11-02: add by m2/dev

the waves converge to the tangent waveform PW0HKHJ9AC

URI	`m2://inv/PW0HKHJ9AC`
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.03728#U24N, the waves converge to the tangent waveform (statement). In NXR84SNM8F/e1, corollary A.6

History

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

Applications PW0QA2TXJK

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

Mentions

wikipedia: Wikipedia Michaelis–Menten kinetics#3P5B, Applications (example)

History

2026-11-02: add by m2/dev

PW0XCT98GD PW0XCT98GD

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

Mentions

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

History

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

PW10ZK9K0Y PW10ZK9K0Y

URI	`m2://inv/PW10ZK9K0Y`
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 2409.03423#4ZE4 (statement). In 8C5YCMN81V/e1, lemma 6

History

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

H. Neumann PW15WNJRG4

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

Mentions

wikipedia: Wikipedia List of group theory topics#Z1U9, H. Neumann (topic)

History

2026-11-02: add by m2/dev

PW19SDD6H9 PW19SDD6H9

URI	`m2://inv/PW19SDD6H9`
Kind	example
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 2511.12649#1Z8R (example). In RT27S2YZKJ/e1, example 2

History

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

Properties PW1A4ZD97K

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

Mentions

wikipedia: Wikipedia Algebraic element#8PHA, Properties (statement)

History

2026-11-02: add by m2/dev

Yong-Geun Oh PW1A84FGG8

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

Mentions

wikipedia: Wikipedia List of geometers#GPMR, Yong-Geun Oh (topic)

History

2026-11-02: add by m2/dev

Multivariate kernel density estimation PW1GH2SC2X

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

Mentions

wikipedia: Wikipedia List of statistics articles#OJQO, Multivariate kernel density estimation (definition)

History

2026-11-02: add by m2/dev

PW1X7XW844 PW1X7XW844

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

Mentions

arxiv: arXiv 2610.03628#Q2MT (statement). In P8KT6JV9N1/e1, theorem A.4

History

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

Doob's $h$-function PW2CJP6WX9

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

Mentions

arxiv: arXiv 2609.39531#CPOJ, Doob's $h$-function (definition). In SN9RSTHQ07/e1, definition A.1

History

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

the $1$-skeleton does not determine a quotient flag complex PW2DD74TPP

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

Mentions

arxiv: arXiv 2609.32733#9H6U, the $1$-skeleton does not determine a quotient flag complex (statement). In PCAS8S14J6/e1, proposition 2.6

History

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

Side-channel attack PW2FXWGCV9

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

Mentions

wikipedia: Wikipedia Side-channel attack, Side-channel attack (definition). Also Wikidata Q2267081

History

2026-11-02: add by m2/dev

PW2PW23RJZ PW2PW23RJZ

URI	`m2://inv/PW2PW23RJZ`
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#KTR0 (statement). In 5DFTVG7FFF/e1, lemma 2.14

History

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

PW2TM8F6Z5 PW2TM8F6Z5

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

Mentions

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

History

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

Integral PW2XJWH090

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#LJT5, Integral (definition)

History

2026-11-02: add by m2/dev

PW2YBMHSWP PW2YBMHSWP

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

Mentions

arxiv: arXiv 2610.15217#V8AI (definition). In G70Q2FB591/e1, definition 2.6

History

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

PW2ZMH0AM7 PW2ZMH0AM7

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

Mentions

napkin: napkin tex/complex-ana/holomorphic.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 39.7.1

History

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

Bernhard Friedrich Thibaut PW35JC86PR

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

Mentions

wikipedia: Wikipedia List of German mathematicians#X1AT, Bernhard Friedrich Thibaut (unknown)

History

2026-11-02: add by m2/dev

Invariants of tensors PW3GQ0NYM0

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

Mentions

wikipedia: Wikipedia Invariants of tensors, Invariants of tensors (definition). Also Wikidata Q9009080

History

2026-11-02: add by m2/dev

Laura Holmes PW3PC9PHHS

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

Mentions

wikipedia: Wikipedia List of cryptographers#Y6IG, Laura Holmes (unknown)

History

2026-11-02: add by m2/dev

PW3W38E36W PW3W38E36W

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

Mentions

arxiv: arXiv 2609.35030#XRBG (statement). In DPT4P2BTEW/e1, corollary 5.14

History

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

Extremum estimator PW3YV6JF4T

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

Mentions

wikipedia: Wikipedia List of statistics articles#VO37, Extremum estimator (definition)

History

2026-11-02: add by m2/dev

Weil conjecture on Tamagawa numbers PW4223WE8F

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

Mentions

wikidata: Wikidata Q7980185, Weil conjecture on Tamagawa numbers (statement). Also nLab Weil conjecture on Tamagawa numbers
wikipedia: Wikipedia Weil's conjecture on Tamagawa numbers, Weil's conjecture on Tamagawa numbers (statement). Also Wikidata Q7980185

History

2026-10-26: add by m2/dev

Definition PW44H37CDH

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

Mentions

wikipedia: Wikipedia Cut point#YHSJ, Definition (definition)

History

2026-11-02: add by m2/dev

711 (number) PW44T6V1ZS

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

Mentions

wikipedia: Wikipedia 700 (number)#R9O6, 711 (number) (unknown)

History

2026-11-02: add by m2/dev

Alternative definitions PW48Y7QC32

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

Mentions

wikipedia: Wikipedia Sectional curvature#7YV5, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

PW4EXPWERR PW4EXPWERR

URI	`m2://inv/PW4EXPWERR`
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.37026#99CY (statement). In QGZPH9W8GY/e1, proposition 2.2

History

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

orientation PW4JC7X5X3

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

Mentions

wikidata: Wikidata Q7102401, orientation (unknown). Also MathWorld GraphOrientation
wikipedia: Wikipedia Orientation (graph theory), Orientation (definition). Also Wikidata Q7102401

History

2026-10-26: add by m2/dev

PW4N341731 PW4N341731

URI	`m2://inv/PW4N341731`
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.07190#X4RS (statement). In ZWS6Q4467X/e1, theorem 5.2

History

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

Arity PW4R6WKREM

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

Mentions

wikipedia: Wikipedia Arity, Arity (definition). Also Wikidata Q1315869

History

2026-11-02: add by m2/dev

PW4S3CQFQQ PW4S3CQFQQ

URI	`m2://inv/PW4S3CQFQQ`
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.20242#KE94 (statement). In TAX627CRH2/e1, theorem 2

History

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

Conditioned disjunction PW4YVKMWHZ

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#F7MO, Conditioned disjunction (definition)

History

2026-11-02: add by m2/dev

PW51ZZEQ3N PW51ZZEQ3N

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

Mentions

arxiv: arXiv 2609.36321#X5SW (definition). In 3KTZ6Z615H/e1, definition 5.3

History

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

PW53KSNBR3 PW53KSNBR3

URI	`m2://inv/PW53KSNBR3`
Kind	definition
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.12108#OO4T (definition). In JQH3FHYPW3/e1, definition 3.11

History

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

Geometrical continuity PW53T9KECZ

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

Mentions

wikipedia: Wikipedia Geometrical continuity, Geometrical continuity (definition). Also Wikidata Q125576889

History

2026-11-02: add by m2/dev

Applications of free convolution PW54VRAYSN

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

Mentions

wikipedia: Wikipedia Free convolution#QXCH, Applications of free convolution (example)

History

2026-11-02: add by m2/dev

Jan Arnoldus Schouten PW58E5FZMY

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

Mentions

wikipedia: Wikipedia Jan Arnoldus Schouten, Jan Arnoldus Schouten (topic). Also Wikidata Q432443

History

2026-11-02: add by m2/dev

Shen Kuo PW5CQ7MQBN

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#BMLE, Shen Kuo (topic)

History

2026-11-02: add by m2/dev

Non-explosion \& Strong solution PW5HQKF14K

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

Mentions

arxiv: arXiv 2609.37944#302F, Non-explosion \& Strong solution (statement). In KP94WJVJXY/e1, proposition

History

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

weak equivalence, of precategories PW5ZS2W3B7

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

Mentions

hott_book: hott_book index/C.4/weak-equivalence-of-precategories, weak equivalence, of precategories (concept). In N54F33XE07, index, section C.4

History

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

Gyroelongated triangular prismatic honeycomb PW61BK9MX0

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#7NJ9, Gyroelongated triangular prismatic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OFX6, Gyroelongated triangular prismatic honeycomb (definition)

History

2026-11-02: add by m2/dev

quadrivium PW63HE8K84

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

Mentions

wikidata: Wikidata Q273822, quadrivium (unknown). Also MathWorld Quadrivium

History

2026-10-26: add by m2/dev

Uniqueness of identity proofs PW69FH3KNF

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

Mentions

wikipedia: Wikipedia Uniqueness of identity proofs, Uniqueness of identity proofs (statement). Also Wikidata Q132573452

History

2026-11-02: add by m2/dev

PW6BR253NN PW6BR253NN

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

Mentions

arxiv: arXiv 2610.00798#M3NM (statement). In FANG3A8NZ9/e1, theorem 1.3

History

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

Contribution from extra automorphisms PW6CCYFFA8

URI	`m2://inv/PW6CCYFFA8`
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.40207#BBKY, Contribution from extra automorphisms (statement). In JXTG8KP95P/e1, proposition 4.8

History

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

PW6JW2XVTK PW6JW2XVTK

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

Mentions

napkin: napkin tex/alg-geom/sheaves.tex#def:pre_sheaf (definition). In RZP28ERRZV, definition, section 25.2.1

History

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

Beckman–Quarles theorem PW6K7Y9SC9

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

Mentions

wikipedia: Wikipedia List of theorems#FUCW, Beckman–Quarles theorem (statement)

History

2026-11-02: add by m2/dev

Data imaginaries PW6RMGMGY4

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

Mentions

wikipedia: Wikipedia Data imaginaries, Data imaginaries (definition). Also Wikidata Q115821169

History

2026-11-02: add by m2/dev

Information criterion approach PW6VH5T364

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

Mentions

wikipedia: Wikipedia Determining the number of clusters in a data set#2C4W, Information criterion approach (statement)

History

2026-11-02: add by m2/dev

challenging PW6WA2S3Z4

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-11, challenging (exercise). In E9HS8K3A52, exercise, section 5.1.6

History

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

$L^2$ normalisation for $m=0$ PW6WFJP7K4

URI	`m2://inv/PW6WFJP7K4`
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.26537#PPHM, $L^2$ normalisation for $m=0$ (statement)

History

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

Properties PW734CER9C

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

Mentions

wikipedia: Wikipedia Effective topos#8M9X, Properties (statement)

History

2026-11-02: add by m2/dev

Jerzy Jurka PW75RMP4SV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SGID, Jerzy Jurka (unknown)

History

2026-11-02: add by m2/dev

FAME (database) PW781TPBWM

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

Mentions

wikipedia: Wikipedia List of statistical software#JZXK, FAME (database) (unknown)

History

2026-11-02: add by m2/dev

Research ethics PW7A4A7PG8

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

Mentions

wikipedia: Wikipedia Research ethics, Research ethics (definition). Also Wikidata Q1132684

History

2026-11-02: add by m2/dev

TSTST 2014 PW7BMYNDF1

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#problem-5, TSTST 2014 (exercise). In RZP28ERRZV, problem, section 62.11

History

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

PW7C12Y2JN PW7C12Y2JN

URI	`m2://inv/PW7C12Y2JN`
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.08370#OAEW (statement). In EQN3EZRZYQ/e1, corollary 5.3

History

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

Bonnet's theorem PW7E2BS4Q6

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

Mentions

wikipedia: Wikipedia Bonnet theorem#37B0, Bonnet's theorem (statement)

History

2026-11-02: add by m2/dev

Properties PW7GHA6G3A

URI	`m2://inv/PW7GHA6G3A`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Coset#GP68, Properties (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

primal PW7HZKZFQ9

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#Z5TH, primal (definition)

History

2026-11-02: add by m2/dev

direct numerical simulation PW7RP7WJR1

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

Mentions

wikidata: Wikidata Q1227572, direct numerical simulation (topic)

History

2026-10-26: add by m2/dev

PW8CZCYYJG PW8CZCYYJG

URI	`m2://inv/PW8CZCYYJG`
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.05268#GGB4 (statement). In GWB9Z7Y25N/e1, theorem 3.1

History

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

PW8E1QVP83 PW8E1QVP83

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

Mentions

arxiv: arXiv 2610.21921#JW9K (statement). In CM2YEK9T4F/e1, lemma 5.8

History

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

Pure-pair obstruction ranks PW8F9BNZBV

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

Mentions

arxiv: arXiv 2610.20649#32A1, Pure-pair obstruction ranks (definition). In XDTM624YPE/e1, definition 11.3

History

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

Existence and interval structure PW8RNV80C1

URI	`m2://inv/PW8RNV80C1`
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.08821#1DAN, Existence and interval structure (statement). In KP1THB2C09/e1, proposition 2.2

History

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

A Short Introduction to English Grammar PW8VTFN7XV

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

Mentions

wikipedia: Wikipedia Robert Lowth#GID4, A Short Introduction to English Grammar (unknown)

History

2026-11-02: add by m2/dev

PW9374ACZH PW9374ACZH

URI	`m2://inv/PW9374ACZH`
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 1512.06981#B5QP (statement). In X923ZEY423/e1, lemma 2.0.5

History

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

Energy distance PW96698J32

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

Mentions

wikipedia: Wikipedia List of statistics articles#B1IM, Energy distance (definition)

History

2026-11-02: add by m2/dev

Rayleigh theorem for eigenvalues PW9AA0FBQF

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

Mentions

wikipedia: Wikipedia Rayleigh theorem for eigenvalues, Rayleigh theorem for eigenvalues (statement). Also Wikidata Q96401307

History

2026-11-02: add by m2/dev

PW9AVQWPC6 PW9AVQWPC6

URI	`m2://inv/PW9AVQWPC6`
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.10469#W5IW (statement). In Q39BEKW6D9/e1, theorem 5.6

History

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

\bf Replicated hard spectrum PW9CXJJXPX

URI	`m2://inv/PW9CXJJXPX`
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.02791#MRKU, \bf Replicated hard spectrum (statement). In TT9BA4VMTW/e1, lemma E.1

History

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

Null calibration of the calibration test PW9RGR45PT

URI	`m2://inv/PW9RGR45PT`
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.17403#6V2I, Null calibration of the calibration test (statement). In 9EMNMAW8YH/e1, theorem 25

History

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

Zeno of Sidon PWA3V7BYM5

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#FG5B, Zeno of Sidon (unknown)

History

2026-11-02: add by m2/dev

microbundle PWA5MTXNSR

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

Mentions

wikidata: Wikidata Q6839294, microbundle (unknown). Also nLab microbundle
wikipedia: Wikipedia Microbundle, Microbundle (definition). Also Wikidata Q6839294

History

2026-10-26: add by m2/dev

GSO projection PWA8X9S89A

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

Mentions

wikidata: Wikidata Q611375, GSO projection (unknown). Also nLab GSO projection

History

2026-10-26: add by m2/dev

PWACW901R3 PWACW901R3

URI	`m2://inv/PWACW901R3`
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.20817#B2GN (definition). In M1YRBSZT4H/e1, definition 9

History

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

PWADJ52TJ9 PWADJ52TJ9

URI	`m2://inv/PWADJ52TJ9`
Kind	statement
Layer	research
MSC	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 2609.32300#W7Q7 (statement). In VNE8N0D2FB/e1, proposition 3.4

History

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

PWAJRGMFXX PWAJRGMFXX

URI	`m2://inv/PWAJRGMFXX`
Kind	statement
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 2610.21092#QEX4 (statement). In AGJE43FTF8/e1, corollary 5.12

History

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

flower snark PWASWX9JK9

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

Mentions

wikidata: Wikidata Q5462247, flower snark (unknown). Also MathWorld FlowerSnark
wikipedia: Wikipedia Flower snark, Flower snark (definition). Also Wikidata Q5462247

History

2026-10-26: add by m2/dev

Equidiagonal quadrilateral PWAXYH6X9X

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

Mentions

wikipedia: Wikipedia Equidiagonal quadrilateral, Equidiagonal quadrilateral (definition). Also Wikidata Q5384444

History

2026-11-02: add by m2/dev

PWAYJ50EEH PWAYJ50EEH

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

Mentions

open_logic: open_logic content/proof-theory/propositions-as-types/types.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 61.5

History

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

Uniformity and independence of the output list PWAZTV7PP3

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

Mentions

arxiv: arXiv 2609.37482#MEZF, Uniformity and independence of the output list (statement). In 9QDRMZX8EY/e1, theorem 0.4

History

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

Lagrange form PWB0TFZQXC

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#RH49, Lagrange form (definition)

History

2026-11-02: add by m2/dev

Quasi-mean-value theorem PWB345TT3W

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

Mentions

wikipedia: Wikipedia Symmetric derivative#Y58S, Quasi-mean-value theorem (statement)

History

2026-11-02: add by m2/dev

PWB93PYNFC PWB93PYNFC

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

Mentions

napkin: napkin tex/riemann-surface/affine-projective.tex#example-1 (example). In RZP28ERRZV, example, section 82.1

History

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

General Relativity and Gravitation PWBBAYSXS1

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

Mentions

wikipedia: Wikipedia General Relativity and Gravitation, General Relativity and Gravitation (definition). Also Wikidata Q2482319

History

2026-11-02: add by m2/dev

PWBBCY78PX PWBBCY78PX

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

Mentions

arxiv: arXiv 2610.12329#F59W (statement). In ZJQB9W60T6/e1, lemma 2.9

History

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

Blockchain interoperability PWBE6WBETJ

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

Mentions

wikipedia: Wikipedia Blockchain#H76T, Blockchain interoperability (unknown)

History

2026-11-02: add by m2/dev

PWBEHF7CZ8 PWBEHF7CZ8

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

Mentions

arxiv: arXiv 2610.00856#9YTH (statement). In W6VHD4QBY4/e1, lemma 3.3

History

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

Examples PWBPB7QYG0

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

Mentions

wikipedia: Wikipedia Structural stability#02AS, Examples (example)

History

2026-11-02: add by m2/dev

Harold Widom PWBQ09025N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XRHJ, Harold Widom (unknown)

History

2026-11-02: add by m2/dev

Examples PWBS9PP9K3

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

Mentions

wikipedia: Wikipedia Matched filter#8Y70, Examples (example)

History

2026-11-02: add by m2/dev

PWBYNN070W PWBYNN070W

URI	`m2://inv/PWBYNN070W`
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.20409#BOTJ (statement)

History

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

PWC0YTQ41K PWC0YTQ41K

URI	`m2://inv/PWC0YTQ41K`
Kind	statement
Layer	research
MSC	20-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.21255#53KZ (statement)

History

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

Murdoch Campbell MacLean PWC12PJ7YV

URI	`m2://inv/PWC12PJ7YV`
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#DB1E, Murdoch Campbell MacLean (unknown)

History

2026-11-02: add by m2/dev

Indistinguishability obfuscation PWC45EHX8K

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

Mentions

wikipedia: Wikipedia Indistinguishability obfuscation, Indistinguishability obfuscation (definition). Also Wikidata Q56321094

History

2026-11-02: add by m2/dev

Shimshon Amitsur PWC7EB41BJ

URI	`m2://inv/PWC7EB41BJ`
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 Q454459, Shimshon Amitsur (unknown). Also nLab Shimshon Amitsur
wikipedia: Wikipedia Shimshon Amitsur, Shimshon Amitsur (topic). Also Wikidata Q454459

History

2026-10-26: add by m2/dev

Properties PWC7JPP6YD

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

Mentions

wikipedia: Wikipedia Polynomial identity ring#8LJL, Properties (statement)

History

2026-11-02: add by m2/dev

PWCBFH4ERY PWCBFH4ERY

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

Mentions

arxiv: arXiv 2610.08193#8O6R (statement). In 8XAKGH8S2D/e1, proposition 3.1

History

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

Examples PWCF9AYSNK

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

Mentions

wikipedia: Wikipedia Newton polynomial#E90L, Examples (example)

History

2026-11-02: add by m2/dev

Examples PWCFST4NPS

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

Mentions

wikipedia: Wikipedia Entire function#SB8G, Examples (example)

History

2026-11-02: add by m2/dev

Definitions PWCJEQA6SD

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

Mentions

wikipedia: Wikipedia Recursive language#YQAY, Definitions (definition)

History

2026-11-02: add by m2/dev

PWCPQN6RSE PWCPQN6RSE

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

Mentions

arxiv: arXiv 2610.03619#JHX1 (statement). In 7SRERSS1PF/e1, lemma 3.2

History

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

Graph Theory, 1736–1936 PWCX0YZ104

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

Mentions

wikipedia: Wikipedia Graph Theory, 1736–1936, Graph Theory, 1736–1936 (definition). Also Wikidata Q98113934

History

2026-11-02: add by m2/dev

Formal definition PWCY9DW5BE

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

Mentions

wikipedia: Wikipedia Hereditarily finite set#D3DH, Formal definition (definition)

History

2026-11-02: add by m2/dev

PWDC544DGD PWDC544DGD

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#example-22 (example). In E59CDZA4DP, example, section 4.5.1

History

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

PWDDXSNW4D PWDDXSNW4D

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

Mentions

arxiv: arXiv 2610.10505#F3IK (statement). In JW8HH6EPG2/e1, lemma 4.9

History

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

Milnor–Wood inequality PWDMEH0EFG

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

Mentions

wikipedia: Wikipedia List of inequalities#DRX9, Milnor–Wood inequality (statement)

History

2026-11-02: add by m2/dev

Applications PWDPBSW44K

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

Mentions

wikipedia: Wikipedia Hybrid stochastic simulation#8U2T, Applications (example)

History

2026-11-02: add by m2/dev

Good primes PWDVXRV1T2

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

Mentions

arxiv: arXiv 2609.24544#52QZ, Good primes (definition)

History

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

Copenhagen interpretation PWDXM29Y8N

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

Mentions

wikipedia: Wikipedia List of paradoxes#Z5WY, Copenhagen interpretation (unknown)

History

2026-11-02: add by m2/dev

Examples of vector spaces PWE1VMJQKC

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

Mentions

wikipedia: Wikipedia Examples of vector spaces, Examples of vector spaces (definition). Also Wikidata Q3061902

History

2026-11-02: add by m2/dev

Schur–Zassenhaus theorem PWE3TX0BFX

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

Mentions

wikipedia: Wikipedia List of theorems#AAY6, Schur–Zassenhaus theorem (statement)

History

2026-11-02: add by m2/dev

Examples PWE4K27BYR

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

Mentions

wikipedia: Wikipedia Beta function (physics)#QX18, Examples (example)

History

2026-11-02: add by m2/dev

Chandler wobble PWE5D330YP

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

Mentions

wikipedia: Wikipedia Chandler wobble, Chandler wobble (definition). Also Wikidata Q2732048

History

2026-11-02: add by m2/dev

PWECF00J8F PWECF00J8F

URI	`m2://inv/PWECF00J8F`
Kind	statement
Layer	research
MSC	11-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.26771#38EI (statement)

History

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

Definition PWEGY7GET3

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

Mentions

wikipedia: Wikipedia Rand index#YDLJ, Definition (definition)

History

2026-11-02: add by m2/dev

Enriched boundary criterion PWEPCRYC44

URI	`m2://inv/PWEPCRYC44`
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#C92X, Enriched boundary criterion (statement)

History

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

PG(2,3) PWEPVMTNGF

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

Mentions

wikipedia: Wikipedia Hesse configuration#JG7R, PG(2,3) (unknown)

History

2026-11-02: add by m2/dev

PWEWKHZ8NN PWEWKHZ8NN

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

Mentions

arxiv: arXiv 2610.08193#PHOQ (statement). In 8XAKGH8S2D/e1, proposition 4.17

History

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

Hervé Moulin PWEX7PCNRW

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

Mentions

wikipedia: Wikipedia Hervé Moulin, Hervé Moulin (topic). Also Wikidata Q19897826

History

2026-11-02: add by m2/dev

Mary Graustein PWEZRKQTBS

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

Mentions

wikipedia: Wikipedia Mary Graustein, Mary Graustein (topic). Also Wikidata Q94575673

History

2026-11-02: add by m2/dev

Fixed-cutoff chart-to-Gaussian comparison PWF2X347PX

URI	`m2://inv/PWF2X347PX`
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#LQ40, Fixed-cutoff chart-to-Gaussian comparison (statement). In KVYG6R7CGJ/e1, proposition 3.15

History

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

Conjecture PWF5FEHKYN

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

Mentions

wikipedia: Wikipedia Ryu–Takayanagi conjecture#C2CQ, Conjecture (statement)

History

2026-11-02: add by m2/dev

Applications PWFB252V7R

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

Mentions

wikipedia: Wikipedia Hash chain#3B1I, Applications (example)

History

2026-11-02: add by m2/dev

Hironaka's theorem PWFFKQMJHE

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

Mentions

wikipedia: Wikipedia Complex algebraic variety#L7OZ, Hironaka's theorem (statement)

History

2026-11-02: add by m2/dev

Borel conjecture PWFWHG7R6R

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

Mentions

wikipedia: Wikipedia Borel conjecture, Borel conjecture (conjecture). Also Wikidata Q4138792

History

2026-11-02: add by m2/dev

Rossby wave PWG1AV1AKK

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

Mentions

wikipedia: Wikipedia Rossby wave, Rossby wave (definition). Also Wikidata Q1053589

History

2026-11-02: add by m2/dev

Properties PWG76Y9083

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

Mentions

wikipedia: Wikipedia Excluded point topology#NWIZ, Properties (statement)

History

2026-11-02: add by m2/dev

PWGAAG6BJC PWGAAG6BJC

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 36.3

History

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

Anatoly Fomenko PWGB0BATSZ

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

Mentions

wikipedia: Wikipedia Anatoly Fomenko, Anatoly Fomenko (topic). Also Wikidata Q158465

History

2026-11-02: add by m2/dev

Fred Galvin PWGCQV8EAE

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

Mentions

wikipedia: Wikipedia Fred Galvin, Fred Galvin (topic). Also Wikidata Q5495217

History

2026-11-02: add by m2/dev

Mireille Bousquet-Mélou PWGD8QHNG9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#A9K2, Mireille Bousquet-Mélou (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G088, Mireille Bousquet-Mélou (topic)

History

2026-11-02: add by m2/dev

Parallel curve PWGE5VDSEM

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#UPXV, Parallel curve (definition)
wikipedia: Wikipedia List of curves#PCV0, Parallel curve (definition)

History

2026-11-02: add by m2/dev

PWGGJHE22E PWGGJHE22E

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

Mentions

arxiv: arXiv 2609.25157#G8EA (statement)

History

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

Theorem PWGHH560EN

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

Mentions

wikipedia: Wikipedia Multiclass classification#JI96, Theorem (statement)

History

2026-11-02: add by m2/dev

Hall's conjecture PWGRNPTTK7

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

Mentions

wikipedia: Wikipedia Hall's conjecture, Hall's conjecture (conjecture). Also Wikidata Q1165804

History

2026-11-02: add by m2/dev

Symphonic theorem PWH2Q3YD2J

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

Mentions

wikipedia: Wikipedia List of theorems#X2DP, Symphonic theorem (definition)

History

2026-11-02: add by m2/dev

Eddington luminosity PWH76WKPH5

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

Mentions

wikipedia: Wikipedia Eddington luminosity, Eddington luminosity (definition). Also Wikidata Q853005

History

2026-11-02: add by m2/dev

Probabilistic metric space PWH7K7VMMB

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

Mentions

wikipedia: Wikipedia Probabilistic metric space, Probabilistic metric space (definition). Also Wikidata Q7246858

History

2026-11-02: add by m2/dev

PWH8KXNZ4P PWH8KXNZ4P

URI	`m2://inv/PWH8KXNZ4P`
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 2609.34295#E0X9 (statement). In A93R925Z24/e1, proposition 5.4

History

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

Susan Hinkins PWHBBXD3YW

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

Mentions

wikipedia: Wikipedia Susan Hinkins, Susan Hinkins (topic). Also Wikidata Q102307158

History

2026-11-02: add by m2/dev

Henderson, Charles Roy PWHECP627W

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

Mentions

wikipedia: Wikipedia List of statisticians#NDD1, Henderson, Charles Roy (topic)

History

2026-11-02: add by m2/dev

Jackson q-Bessel function PWHF1YEK78

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

Mentions

wikipedia: Wikipedia List of q-analogs#62PL, Jackson q-Bessel function (definition)

History

2026-11-02: add by m2/dev

PWHPP77T7M PWHPP77T7M

URI	`m2://inv/PWHPP77T7M`
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 0909.0714#7LZA (statement). In XNNM92X6A8/e1, theorem 3.1

History

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

Regina PWJ1J6ASNE

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

Mentions

wikipedia: Wikipedia Regina (program), Regina (definition). Also Wikidata Q7308426

History

2026-11-02: add by m2/dev

PWJ1JFMHG2 PWJ1JFMHG2

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#defn-4 (definition). In E59CDZA4DP, defn, section 1.7.2

History

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

Distributed SQL processing PWJ4CD12SJ

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

Mentions

wikipedia: Wikipedia SQL#RE5I, Distributed SQL processing (unknown)

History

2026-11-02: add by m2/dev

PWJE0ZP0GQ PWJE0ZP0GQ

URI	`m2://inv/PWJE0ZP0GQ`
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 2609.26496#SZF3 (definition)

History

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

Vertical deflection PWJEH5VXCG

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

Mentions

wikipedia: Wikipedia Vertical deflection, Vertical deflection (definition). Also Wikidata Q159914

History

2026-11-02: add by m2/dev

Nuisance variable PWJF5D2GZS

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

Mentions

wikipedia: Wikipedia Nuisance variable, Nuisance variable (definition). Also Wikidata Q3823303

History

2026-11-02: add by m2/dev

H-infinity methods in control theory PWJG9FPM9E

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

Mentions

wikipedia: Wikipedia H-infinity methods in control theory, H-infinity methods in control theory (definition). Also Wikidata Q1293742

History

2026-11-02: add by m2/dev

2x2 subsquare magic array PWK521D9F5

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

Mentions

wikidata: Wikidata Q130301071, 2x2 subsquare magic array (object). Also OEIS A355256

History

2026-10-26: add by m2/dev

PWKG0CXTE3 PWKG0CXTE3

URI	`m2://inv/PWKG0CXTE3`
Kind	statement
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 2610.21092#AOKK (statement). In AGJE43FTF8/e1, lemma 4.6

History

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

Homotopy equivalent spaces have isomorphic fundamental groups PWKMZ1QRGM

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

Mentions

napkin: napkin tex/topology/fundamental-group.tex#thm:fundgrp_homotopy_invariant, Homotopy equivalent spaces have isomorphic fundamental groups (statement). In RZP28ERRZV, theorem, section 98.5

History

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

PWKP6EAAE6 PWKP6EAAE6

URI	`m2://inv/PWKP6EAAE6`
Kind	example
Layer	research
MSC	05-XX, 16-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 2408.01345#JAXR (example). In PT5PBPCS3P/e1, example 4.8

History

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

Jürgen Gärtner PWKPR99Z47

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

Mentions

wikipedia: Wikipedia Jürgen Gärtner, Jürgen Gärtner (topic). Also Wikidata Q30555488

History

2026-11-02: add by m2/dev

Mumford–Tate group PWKV5A273G

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

Mentions

wikipedia: Wikipedia Mumford–Tate group, Mumford–Tate group (definition). Also Wikidata Q6935407

History

2026-11-02: add by m2/dev

Semi-simplicity PWM27XN33D

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

Mentions

wikipedia: Wikipedia Semi-simplicity, Semi-simplicity (definition). Also Wikidata Q3478415

History

2026-11-02: add by m2/dev

PWM2S2WZ6K PWM2S2WZ6K

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

Mentions

arxiv: arXiv 2609.30648#1CSV (statement). In 2P83KYQCMA/e1, lemma 20

History

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

PWM4NYBSHF PWM4NYBSHF

URI	`m2://inv/PWM4NYBSHF`
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.20466#XWD0 (statement). In M4ZVJWM8YA/e1, corollary 5.16

History

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

annihilating polynomials PWM5B87FBR

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Endomorphism polynomials > annihilating polynomials, annihilating polynomials (unknown). Also Mathlib Polynomial.annIdeal

History

2026-10-26: add by m2/dev

Extensions PWMA4486QK

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

Mentions

wikipedia: Wikipedia Rådström's embedding theorem#YVBZ, Extensions (statement)

History

2026-11-02: add by m2/dev

Chunking PWMD5D1SQ0

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

Mentions

wikipedia: Wikipedia Chunking (division), Chunking (definition). Also Wikidata Q5116434

History

2026-11-02: add by m2/dev

PWMDWE4AXD PWMDWE4AXD

URI	`m2://inv/PWMDWE4AXD`
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.36818#PLW0 (statement). In SK6AP2B9JH/e1, theorem 6.6

History

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

PWMGEJCSGY PWMGEJCSGY

URI	`m2://inv/PWMGEJCSGY`
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.22855#OHAJ (statement)

History

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

D'Alembert's paradox PWMGM68Z00

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

Mentions

wikipedia: Wikipedia D'Alembert's paradox, D'Alembert's paradox (statement). Also Wikidata Q284938

History

2026-11-02: add by m2/dev

PWMHRG41ZM PWMHRG41ZM

URI	`m2://inv/PWMHRG41ZM`
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 2610.01467#E11J (statement). In 10GZB25WAC/e1, proposition 6.1

History

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

logarithmic integral PWMKHWFN8S

URI	`m2://inv/PWMKHWFN8S`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Logarithmic integral VP98WSTZWT

Mentions

wikidata: Wikidata Q1350206, logarithmic integral (unknown). Also MathWorld LogarithmicIntegral, nLab logarithmic integral function
wikipedia: Wikipedia Logarithmic integral function, Logarithmic integral function (definition). Also Wikidata Q1350206

History

2026-10-26: add by m2/dev

Depth truncation PWMPTQVNE4

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

Mentions

arxiv: arXiv 2609.39233#6A16, Depth truncation (statement). In Y7NC12TBNP/e1, corollary 1

History

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

PWMZR6SN1E PWMZR6SN1E

URI	`m2://inv/PWMZR6SN1E`
Kind	statement
Layer	research
MSC	49-XX, 62-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.11906#M14G (statement). In 8S9TEAPCDJ/e1, lemma 1

History

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

PWN0E7T8BP PWN0E7T8BP

URI	`m2://inv/PWN0E7T8BP`
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.25742#NEV9 (statement)

History

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

Fisher information PWN0NTEPHJ

URI	`m2://inv/PWN0NTEPHJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Fisher information G1Z3WSTE8Q

Mentions

wikidata: Wikidata Q1420659, Fisher information (unknown). Also MathWorld FisherInformation
wikipedia: Wikipedia Fisher information, Fisher information (definition). Also Wikidata Q1420659

History

2026-10-26: add by m2/dev

Tonelli and Fubini PWN6MF3TM5

URI	`m2://inv/PWN6MF3TM5`
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.18907#QHBD, Tonelli and Fubini (statement). In 4SSZ4PF2P2/e1, theorem A.3

History

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

PWN9YZ0SHB PWN9YZ0SHB

URI	`m2://inv/PWN9YZ0SHB`
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.37897#37B9 (statement). In RBQ5FNCVNZ/e1, theorem D.1

History

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

Theorem PWNA5MYT37

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

Mentions

wikipedia: Wikipedia Mercer's theorem#9XBO, Theorem (statement)

History

2026-11-02: add by m2/dev

PWNACGK9QV PWNACGK9QV

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

Mentions

arxiv: arXiv 2610.09390#EGTX (statement). In 7SSKW778T8/e1, corollary 3.9

History

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

Examples PWNAZNCBM2

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

Mentions

wikipedia: Wikipedia Matroid polytope#9VU2, Examples (example)

History

2026-11-02: add by m2/dev

Franz Aepinus PWNB1S6SG0

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

Mentions

wikipedia: Wikipedia Franz Aepinus, Franz Aepinus (topic). Also Wikidata Q61224

History

2026-11-02: add by m2/dev

Selberg integral PWNCHS7TW3

URI	`m2://inv/PWNCHS7TW3`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Selberg integral S8VTVSJ6EX

Mentions

wikidata: Wikidata Q7447525, Selberg integral (concept). Also nLab Selberg integral
wikipedia: Wikipedia Selberg integral, Selberg integral (definition). Also Wikidata Q7447525

History

2026-10-26: add by m2/dev

João Tilly PWNDTGBAC2

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

Mentions

wikipedia: Wikipedia João Tilly, João Tilly (topic). Also Wikidata Q124977518

History

2026-11-02: add by m2/dev

History of analytic geometry PWNMJCQQHY

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

Mentions

wikipedia: Wikipedia Analytic geometry#FHNW, History of analytic geometry (unknown)

History

2026-11-02: add by m2/dev

PWNNJ3WX2N PWNNJ3WX2N

URI	`m2://inv/PWNNJ3WX2N`
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 2609.23040#RR18 (statement)

History

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

PWNS9Z7745 PWNS9Z7745

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

Mentions

arxiv: arXiv 2609.39293#E7PP (statement). In S26QVW5613/e1, lemma 4.8.5

History

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

PWP2RMDJV0 PWP2RMDJV0

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

Mentions

arxiv: arXiv 2112.10058#ZPN3 (definition). In YQKKA47GS9/e1, definition 2.5

History

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

PWP91WF6QG PWP91WF6QG

URI	`m2://inv/PWP91WF6QG`
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 2205.13464#BGCH (statement). In JPYGC2R3FC/e1, lemma 9.2

History

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

PWP93SC2YB PWP93SC2YB

URI	`m2://inv/PWP93SC2YB`
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.19023#FWYJ (statement). In QFA8TMJPHZ/e1, theorem 1.3

History

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

compass PWPC93SD33

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

Mentions

wikidata: Wikidata Q103896, compass (unknown). Also MathWorld Compass
wikipedia: Wikipedia Compass (drawing tool), Compass (definition). Also Wikidata Q103896

History

2026-10-26: add by m2/dev

Efficient dominating set PWPCAW8AER

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

Mentions

wikipedia: Wikipedia Efficient dominating set, Efficient dominating set (definition). Also Wikidata Q137258572

History

2026-11-02: add by m2/dev

Quasiconformal mapping PWPN9W492J

URI	`m2://inv/PWPN9W492J`
Kind	statement
Layer	textbook
MSC	30-XX, 30C65, 32-XX, 37-XX
Sources	5
Outcome	open
Node	Quasiconformal mapping SB8KG46NHP

Mentions

arxiv: arXiv 2609.36377#YK13, Measurable Riemann Mapping Theorem (statement). In M98F6VRPZ2/e1, theorem 2.1
mathlib_1000: mathlib_1000 Q380576, Measurable Riemann mapping theorem (statement). Also Wikidata Q380576
thousand_plus: thousand_plus Q380576, Measurable Riemann mapping theorem (statement). Also Wikidata Q380576
wikidata: Wikidata Q380576, Quasiconformal mapping (topic)
wikipedia: Wikipedia Quasiconformal mapping, Quasiconformal mapping (definition). Also Wikidata Q380576

History

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

PWQ4NDVTC3 PWQ4NDVTC3

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

Mentions

arxiv: arXiv 2610.15378#0NDG (statement). In W4J7ZF6EDN/e1, proposition 5

History

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

PWQDP87658 PWQDP87658

URI	`m2://inv/PWQDP87658`
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 dg-ga/9612010#GZR0 (statement). In CM39SWC4A6/e1, lemma 2.4

History

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

Uniform 9-honeycomb PWQFRGYNCE

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

Mentions

wikipedia: Wikipedia Uniform 10-polytope#EZSI, Uniform 9-honeycomb (unknown)

History

2026-11-02: add by m2/dev

Equivalence principle PWQM1HQCY9

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

Mentions

wikipedia: Wikipedia Falsifiability#V62H, Equivalence principle (statement)

History

2026-11-02: add by m2/dev

Conic section PWQM9J2W0G

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#TTKR, Conic section (definition)

History

2026-11-02: add by m2/dev

PWQMC948RJ PWQMC948RJ

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

Mentions

arxiv: arXiv 2405.14678#ZGNR (example). In 9ZSNSJRJ5N/e1, example 53

History

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

PWQVH6DAW7 PWQVH6DAW7

URI	`m2://inv/PWQVH6DAW7`
Kind	example
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#OUW5 (example). In 9DQKY7KGE8/e1, example 6.3

History

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

Euclidean PWQZTE8ZQ8

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

Mentions

wikipedia: Wikipedia Glossary of logic#8VNH, Euclidean (definition)

History

2026-11-02: add by m2/dev

Conway–Maxwell–Poisson distribution PWR042RBHX

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

Mentions

wikipedia: Wikipedia List of statistics articles#0OQS, Conway–Maxwell–Poisson distribution (definition)

History

2026-11-02: add by m2/dev

cf.\ PWR6J1BS0B

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

Mentions

arxiv: arXiv 2610.20345#FN6D, cf.\ (statement). In WVRRST04WS/e1, proposition 2

History

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

PWR89NKA8P PWR89NKA8P

URI	`m2://inv/PWR89NKA8P`
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.10413#D1MG (statement). In 68MTQ59QTQ/e1, lemma 2.1

History

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

PWRA8PQ94P PWRA8PQ94P

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

Mentions

arxiv: arXiv 2610.09506#2IAH (statement). In AQC7E6RAT4/e1, proposition 4.6

History

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

PWRG07K4RK PWRG07K4RK

URI	`m2://inv/PWRG07K4RK`
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#4RU9 (statement). In S284XRA4WK/e1, lemma B.5

History

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

Cyclic closure of positive bidiagonal factorizations PWRH27KC2K

URI	`m2://inv/PWRH27KC2K`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 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 2609.26066#LO60, Cyclic closure of positive bidiagonal factorizations (statement)

History

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

PWRH7JZRNK PWRH7JZRNK

URI	`m2://inv/PWRH7JZRNK`
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 2306.08237#DCUL (statement). In E22A2MFR4Y/e1, lemma 5.1

History

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

Conditional high-order estimate with an improved input PWRS7K970K

URI	`m2://inv/PWRS7K970K`
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.05312#SIAJ, Conditional high-order estimate with an improved input (statement). In 1CMMK399WQ/e1, proposition 9.1

History

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

Constructions PWRSQM1S1D

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

Mentions

wikipedia: Wikipedia Presentation of a group#I9SQ, Constructions (definition)

History

2026-11-02: add by m2/dev

PWRT197BWF PWRT197BWF

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

Mentions

arxiv: arXiv 2610.02174#FPAA (statement). In 7JPHSV4NXW/e1, theorem A

History

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

Lenstra–Pomerance–Wagstaff conjecture PWRYC80RTV

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

Mentions

wikipedia: Wikipedia Mersenne conjectures#SRX9, Lenstra–Pomerance–Wagstaff conjecture (statement)

History

2026-11-02: add by m2/dev

Smoothness PWS2CKKXKC

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

Mentions

wikipedia: Wikipedia Smoothness (probability theory), Smoothness (definition). Also Wikidata Q7546461

History

2026-11-02: add by m2/dev

PWS2YDX8DV PWS2YDX8DV

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

Mentions

arxiv: arXiv 2610.15432#8YCK (statement). In D1DFM4WYEW/e1, corollary 5.2

History

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

maximum principle PWS4AK6Y9X

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

Mentions

lebl_scv: lebl_scv index/B/maximum-principle, maximum principle (concept). In VNMV985MXX, index, section B

History

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

Theorem PWS5X1DMQ6

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

Mentions

wikipedia: Wikipedia Hartogs's extension theorem#EO2P, Theorem (statement)

History

2026-11-02: add by m2/dev

Kolmogorov continuity theorem PWS62KK6S7

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

Mentions

wikipedia: Wikipedia Kolmogorov continuity theorem, Kolmogorov continuity theorem (statement). Also Wikidata Q5638321

History

2026-11-02: add by m2/dev

Challenging PWSKPJR7T5

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-34, Challenging (exercise). In E59CDZA4DP, exercise, section 2.3.3

History

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

Confocal PWSN5JA8HM

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

Mentions

wikipedia: Wikipedia List of curves topics#AVIM, Confocal (definition)

History

2026-11-02: add by m2/dev

Explication de l'Arithmétique Binaire PWSQPE9WH1

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

Mentions

wikipedia: Wikipedia Gottfried Wilhelm Leibniz#REG1, Explication de l'Arithmétique Binaire (unknown)

History

2026-11-02: add by m2/dev

Polywater PWSRR3TQGB

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#3MOH, Polywater (unknown)

History

2026-11-02: add by m2/dev

PWSXHFPDYY PWSXHFPDYY

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

Mentions

hott_book: hott_book homotopy.tex#eg-1 (example). In N54F33XE07, eg, section 7.7.2

History

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

Chaïm Perelman PWSXWK67MZ

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

Mentions

wikipedia: Wikipedia Chaïm Perelman, Chaïm Perelman (topic). Also Wikidata Q456301

History

2026-11-02: add by m2/dev

Formal definition PWT34DHHVZ

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

Mentions

wikipedia: Wikipedia Degree-constrained spanning tree#J3D9, Formal definition (definition)

History

2026-11-02: add by m2/dev

Generalizations PWT3B0DR4F

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

Mentions

wikipedia: Wikipedia Matrix chain multiplication#MI69, Generalizations (statement)

History

2026-11-02: add by m2/dev

Bogomolov conjecture PWT3XWM0E3

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

Mentions

wikipedia: Wikipedia Bogomolov conjecture, Bogomolov conjecture (statement). Also Wikidata Q4937703

History

2026-11-02: add by m2/dev

Definition 4 PWT4Z7MX82

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

Mentions

wikipedia: Wikipedia Caccioppoli set#B482, Definition 4 (definition)

History

2026-11-02: add by m2/dev

PWTC6JPSR1 PWTC6JPSR1

URI	`m2://inv/PWTC6JPSR1`
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.12295#I2TA (statement). In 6DZPR52HRP/e1, lemma 4.6

History

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

Jane M. Hawkins PWTHDH8FVG

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

Mentions

wikipedia: Wikipedia Jane M. Hawkins, Jane M. Hawkins (topic). Also Wikidata Q18686626

History

2026-11-02: add by m2/dev

T1 PWTN1PRXRP

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

Mentions

wikipedia: Wikipedia Glossary of general topology#WADM, T1 (definition)

History

2026-11-02: add by m2/dev

PWTXPT561C PWTXPT561C

URI	`m2://inv/PWTXPT561C`
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.00525#D5FE (statement). In JN34PDDXH8/e1, lemma 2.6

History

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

PWV1T7F04X PWV1T7F04X

URI	`m2://inv/PWV1T7F04X`
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 2310.14879#RZOZ (statement). In 3VZ55B2N0D/e1, theorem 1.3

History

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

Symmetry PWV27T3V93

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

Mentions

wikipedia: Wikipedia 3-7 kisrhombille#PXUG, Symmetry (statement)

History

2026-11-02: add by m2/dev

List of Greenlandic regions by income per capita PWV2PMGZ2S

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

Mentions

wikipedia: Wikipedia List of Greenlandic regions by income per capita, List of Greenlandic regions by income per capita (topic). Also Wikidata Q136668313

History

2026-11-02: add by m2/dev

Generic simplicity at prime length PWVCY21P2S

URI	`m2://inv/PWVCY21P2S`
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#F941, Generic simplicity at prime length (statement). In YY81ZEJ82P/e1, corollary 6.6

History

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

PWVDNTR4V2 PWVDNTR4V2

URI	`m2://inv/PWVDNTR4V2`
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#9XH7 (statement). In HVY45JQRNK/e1, lemma 2.28

History

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

Sharaf al-Din al-Tusi PWVFJJ7804

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

Mentions

wikipedia: Wikipedia Sharaf al-Din al-Tusi, Sharaf al-Din al-Tusi (topic). Also Wikidata Q2342579

History

2026-11-02: add by m2/dev

Special cases PWVGBNW0SS

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

Mentions

wikipedia: Wikipedia Fuss–Catalan number#WA34, Special cases (statement)

History

2026-11-02: add by m2/dev

Behrens–Fisher problem PWVVD318GX

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

Mentions

wikipedia: Wikipedia List of statistics articles#91QR, Behrens–Fisher problem (conjecture)

History

2026-11-02: add by m2/dev

PWVXJ4F64E PWVXJ4F64E

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

Mentions

arxiv: arXiv 2610.14615#5O2O (statement). In 7D5MMP8XB5/e1, theorem 1.1

History

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

PWVYZC5S4C PWVYZC5S4C

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

Mentions

arxiv: arXiv 2609.28742#5KJR (definition)

History

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

PWW18TTVF5 PWW18TTVF5

URI	`m2://inv/PWW18TTVF5`
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 1002.0879#JCSI (definition). In M0SQY5EZN5/e1, definition 2.9.1

History

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

Column Norms PWW7HA2M66

URI	`m2://inv/PWW7HA2M66`
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.13222#SM23, Column Norms (statement). In Z6WA2R0J50/e1, lemma C.2

History

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

PWW8RK6VCK PWW8RK6VCK

URI	`m2://inv/PWW8RK6VCK`
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.03488#ILRG (statement). In 9GXR1WEYWT/e1, lemma 4.5

History

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

Jenő Szép PWWW0YCCQH

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

Mentions

wikipedia: Wikipedia Jenő Szép, Jenő Szép (topic). Also Wikidata Q15429553

History

2026-11-02: add by m2/dev

PWWX1GSYAA PWWX1GSYAA

URI	`m2://inv/PWWX1GSYAA`
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.11199#FIHD (statement). In RQ51P6W9C0/e1, theorem 2.1

History

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

Alexander Zamolodchikov PWWX7F61ZR

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

Mentions

wikipedia: Wikipedia List of string theory topics#705C, Alexander Zamolodchikov (unknown)

History

2026-11-02: add by m2/dev

Kasper Peeters PWX2PM450C

URI	`m2://inv/PWX2PM450C`
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 Q62066525, Kasper Peeters (unknown). Also nLab Kasper Peeters

History

2026-10-26: add by m2/dev

PWX3XYRZ80 PWX3XYRZ80

URI	`m2://inv/PWX3XYRZ80`
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.11440#Q5N9 (statement). In KBV6TD64F1/e1, lemma 3

History

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

PWX4SCVF0K PWX4SCVF0K

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#definition-2 (definition). In RZP28ERRZV, definition, section 8.3

History

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

Gregory R. Hancock PWX5KXQGYQ

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

Mentions

wikipedia: Wikipedia Gregory R. Hancock, Gregory R. Hancock (topic). Also Wikidata Q5607124

History

2026-11-02: add by m2/dev

\lean{Rule.coherent PWX5ZKBRHM

URI	`m2://inv/PWX5ZKBRHM`
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.23143#SKJX, \lean{Rule.coherent (statement)

History

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

Uniform relative speed PWX68AX0KT

URI	`m2://inv/PWX68AX0KT`
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.05204#6UA4, Uniform relative speed (statement). In ET0TQ8YF7Z/e1, lemma 6.4

History

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

cf.\ PWX6ACH8K4

URI	`m2://inv/PWX6ACH8K4`
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.25524#XR4B, cf.\ (statement)

History

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

Examples PWX6QAVQ47

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

Mentions

wikipedia: Wikipedia Growth function#1U8G, Examples (example)

History

2026-11-02: add by m2/dev

Westchester PWX9D39MP3

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#KM8Z, Westchester (unknown)

History

2026-11-02: add by m2/dev

Trying to find a physical explanation of the law PWXGHCREZZ

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

Mentions

wikipedia: Wikipedia Planck's law#GT1A, Trying to find a physical explanation of the law (statement)

History

2026-11-02: add by m2/dev

PWXKZV26E9 PWXKZV26E9

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

Mentions

arxiv: arXiv 2609.22784#E8D4 (definition)

History

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

Systems Biology Graphical Notation PWXM4DBGXJ

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

Mentions

wikipedia: Wikipedia List of graphical methods#BHCJ, Systems Biology Graphical Notation (unknown)

History

2026-11-02: add by m2/dev

PWXYZTXHJM PWXYZTXHJM

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

Mentions

arxiv: arXiv 2609.25703#7FEG (statement)

History

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

PWY00WKRF1 PWY00WKRF1

URI	`m2://inv/PWY00WKRF1`
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.07164#Y244 (statement). In Q1XJ5VWE1N/e1, proposition 4.15

History

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

irregular pair PWY5CHX5XH

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

Mentions

wikidata: Wikidata Q133868602, irregular pair (unknown). Also MathWorld IrregularPair, OEIS A189683

History

2026-10-26: add by m2/dev

PWYAKEMVR6 PWYAKEMVR6

URI	`m2://inv/PWYAKEMVR6`
Kind	statement
Layer	research
MSC	26-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.14811#TDM2 (statement). In QA5CM6HNM1/e1, lemma 12.1

History

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

A five-state obstruction and its exact correction PWYHW3S3B1

URI	`m2://inv/PWYHW3S3B1`
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.38228#MYMF, A five-state obstruction and its exact correction (statement). In 9YAE8FNQST/e1, proposition 27.10

History

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

Definition PWYN3JQRAJ

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

Mentions

wikipedia: Wikipedia Kan extension#HZ4A, Definition (definition)

History

2026-11-02: add by m2/dev

François Nicole PWYS1487G3

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

Mentions

wikipedia: Wikipedia François Nicole, François Nicole (topic). Also Wikidata Q3085476

History

2026-11-02: add by m2/dev

PWZ46T3QXP PWZ46T3QXP

URI	`m2://inv/PWZ46T3QXP`
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 2508.08809#04GS (statement). In X5NX1YEABW/e1, lemma 5.7

History

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

PWZ5PBSJ4E PWZ5PBSJ4E

URI	`m2://inv/PWZ5PBSJ4E`
Kind	definition
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 2610.09201#JAYL (definition). In JQFPH09JG8/e1, definition 2.3

History

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

PWZ6KQ2Y58 PWZ6KQ2Y58

URI	`m2://inv/PWZ6KQ2Y58`
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 2601.01000#41X4 (statement). In RYFV9HGWWZ/e1, proposition 6

History

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

Statement of the theorem PWZHCM2H9M

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

Mentions

wikipedia: Wikipedia Maximum principle#2IN0, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Bach tensor PWZPGJWFF9

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

Mentions

wikipedia: Wikipedia Bach tensor, Bach tensor (definition). Also Wikidata Q4454675

History

2026-11-02: add by m2/dev

PWZRQ6B5M7 PWZRQ6B5M7

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

Mentions

arxiv: arXiv 2609.21098#DZIM (statement)

History

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

Chromatic equivalence PWZXWXW5EB

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

Mentions

wikipedia: Wikipedia Chromatic polynomial#PB2E, Chromatic equivalence (unknown)

History

2026-11-02: add by m2/dev

PWZZJZTCJF PWZZJZTCJF

URI	`m2://inv/PWZZJZTCJF`
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.37124#USQC (definition). In 2QF1YG9DD0/e1, definition 2.7

History

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