Inventory rows PJ

centroid PJ03FQ68S2

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#MUHA, centroid (definition)

History

2026-11-02: add by m2/dev

logic programming PJ0AXB74C7

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

Mentions

wikidata: Wikidata Q275603, logic programming (unknown). Also EoM Logic_programming

History

2026-10-26: add by m2/dev

Science and Hypothesis PJ0C0JVFV6

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

Mentions

wikipedia: Wikipedia Science and Hypothesis, Science and Hypothesis (statement). Also Wikidata Q3212744

History

2026-11-02: add by m2/dev

PJ0N341VCD PJ0N341VCD

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

Mentions

arxiv: arXiv 2011.06637#ENMQ (statement). In KFCJ5CFP3G/e1, theorem 5.1

History

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

Examples PJ0N526V0S

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

Mentions

wikipedia: Wikipedia Lambda-mu calculus#IHPU, Examples (example)

History

2026-11-02: add by m2/dev

PJ0XS8MM60 PJ0XS8MM60

URI	`m2://inv/PJ0XS8MM60`
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.34613#9YE8 (statement). In JPR86T9Y78/e1, theorem 3.1

History

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

Uniform truncation bounds PJ0ZYQ7NK4

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

Mentions

arxiv: arXiv 2609.37615#HAV2, Uniform truncation bounds (statement). In T2B54J7121/e1, lemma A.3

History

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

Grand coalition PJ170ZYE38

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

Mentions

wikipedia: Wikipedia Glossary of game theory#31BB, Grand coalition (definition)

History

2026-11-02: add by m2/dev

Ronald L. Rivest PJ1D88QEV6

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

Mentions

wikipedia: Wikipedia List of cryptographers#HL63, Ronald L. Rivest (unknown)

History

2026-11-02: add by m2/dev

PJ1QKSH7MN PJ1QKSH7MN

URI	`m2://inv/PJ1QKSH7MN`
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 2610.03373#S1WM (statement). In ZA7DBT3NWR/e1, proposition 3.7

History

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

PJ1QM45Y0K PJ1QM45Y0K

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

Mentions

arxiv: arXiv 2610.16362#IT5C (statement). In 4NJ4T3DEQB/e1, proposition 3.1

History

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

Doris Fischer-Colbrie PJ1YV9BMQ8

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

Mentions

wikipedia: Wikipedia Doris Fischer-Colbrie, Doris Fischer-Colbrie (topic). Also Wikidata Q97109437

History

2026-11-02: add by m2/dev

PJ21H9SK9R PJ21H9SK9R

URI	`m2://inv/PJ21H9SK9R`
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.15167#RMI1 (statement). In 4ME94TPA7R/e1, proposition 2.1

History

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

355 (number) PJ27VR5HBP

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

Mentions

wikipedia: Wikipedia 300 (number)#MPPX, 355 (number) (unknown)

History

2026-11-02: add by m2/dev

Resolvent blocks for the cyclic Darboux transforms PJ2FD8JKTZ

URI	`m2://inv/PJ2FD8JKTZ`
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#VQ8K, Resolvent blocks for the cyclic Darboux transforms (statement)

History

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

Core-satellite hypothesis PJ2Q4EG831

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

Mentions

wikipedia: Wikipedia Occupancy frequency distribution#F4IC, Core-satellite hypothesis (statement)

History

2026-11-02: add by m2/dev

Matching preclusion PJ2TW38TB7

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

Mentions

wikipedia: Wikipedia Matching preclusion, Matching preclusion (definition). Also Wikidata Q17135100

History

2026-11-02: add by m2/dev

Toshio Oshima PJ31VDGS9A

URI	`m2://inv/PJ31VDGS9A`
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#BUG1, Toshio Oshima (unknown)

History

2026-11-02: add by m2/dev

PJ32AZPV7G PJ32AZPV7G

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

Mentions

arxiv: arXiv 2410.18564#0ALZ (problem). In MC8ZBZ14PM/e1, problem 5.2

History

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

Finite flat group scheme PJ35B91P4Q

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

Mentions

wikipedia: Wikipedia Group scheme#FCOL, Finite flat group scheme (unknown)

History

2026-11-02: add by m2/dev

Probabilistic forecasting PJ37CD3SCR

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

Mentions

wikipedia: Wikipedia List of statistics articles#JPTQ, Probabilistic forecasting (definition)

History

2026-11-02: add by m2/dev

G. S. Carr PJ3JF3GJNA

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

Mentions

wikipedia: Wikipedia G. S. Carr, G. S. Carr (topic). Also Wikidata Q5512452

History

2026-11-02: add by m2/dev

Giuseppe Pompilj PJ3JZ8XGKG

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

Mentions

wikipedia: Wikipedia Giuseppe Pompilj, Giuseppe Pompilj (topic). Also Wikidata Q5565507

History

2026-11-02: add by m2/dev

Key-scheduling algorithm PJ3W9EV4RK

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

Mentions

wikipedia: Wikipedia RC4#Y7O3, Key-scheduling algorithm (unknown)

History

2026-11-02: add by m2/dev

Gap-preserving curvature approximation PJ3X12XXHZ

URI	`m2://inv/PJ3X12XXHZ`
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.01812#MZ48, Gap-preserving curvature approximation (statement). In FQPVSYXAGC/e1, lemma 2.2

History

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

PJ42111CRN PJ42111CRN

URI	`m2://inv/PJ42111CRN`
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.19660#053T (statement). In YKVVY2BW1B/e1, proposition 4.2

History

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

Examples PJ476WJTK4

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

Mentions

wikipedia: Wikipedia Projective line#WOQI, Examples (example)

History

2026-11-02: add by m2/dev

PJ47QYQSC5 PJ47QYQSC5

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 21.8

History

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

PJ4J7YB91T PJ4J7YB91T

URI	`m2://inv/PJ4J7YB91T`
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 2610.12777#RDE4 (statement). In 1YFK2FB3JY/e1, proposition 2.1

History

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

$\exch$-independence PJ4TY5SSDQ

URI	`m2://inv/PJ4TY5SSDQ`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#QE4R, $\exch$-independence (definition). In 7V3HG30ZGW/e1, definition 2.12

History

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

Alternative definitions PJ53GPMR3P

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

Mentions

wikipedia: Wikipedia Lie groupoid#LYVQ, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

PJ54DEXNC3 PJ54DEXNC3

URI	`m2://inv/PJ54DEXNC3`
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.27078#RMR7 (statement)

History

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

Fact PJ559EX6BV

URI	`m2://inv/PJ559EX6BV`
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 2609.26337#VIGF, Fact (definition)

History

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

Proposition PJ5A8B9YF4

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

Mentions

wikipedia: Wikipedia Triple product rule#TI1R, Proposition (statement)

History

2026-11-02: add by m2/dev

PJ5E8JD28V PJ5E8JD28V

URI	`m2://inv/PJ5E8JD28V`
Kind	statement
Layer	research
MSC	05-XX, 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 2608.17785#2CJA (statement). In H3FDP8S1Z7/e1, theorem 3.8

History

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

PJ5KDKYPMV PJ5KDKYPMV

URI	`m2://inv/PJ5KDKYPMV`
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.05953#VRWL (statement). In P3XHJ1VB8C/e1, lemma 12

History

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

PJ5TR71HP5 PJ5TR71HP5

URI	`m2://inv/PJ5TR71HP5`
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 2503.08018#NV2V (statement). In TN93YFN45W/e1, lemma 8.3

History

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

PJ69Z838JJ PJ69Z838JJ

URI	`m2://inv/PJ69Z838JJ`
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#E2X4 (statement). In JXTG8KP95P/e1, proposition 5.17

History

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

PJ6B85P800 PJ6B85P800

URI	`m2://inv/PJ6B85P800`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-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 2609.35543#48YK (statement). In WSG1ZW956E/e1, corollary 6.10

History

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

Feebly compact space PJ6E6SDG7A

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

Mentions

wikipedia: Wikipedia Feebly compact space, Feebly compact space (definition). Also Wikidata Q5441165

History

2026-11-02: add by m2/dev

Heinz Bauer PJ6E7AP6MK

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W21G, Heinz Bauer (topic)

History

2026-11-02: add by m2/dev

PJ6FK48DMN PJ6FK48DMN

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

Mentions

arxiv: arXiv 2404.14312#P23F (definition). In SEPBZN2DRH/e1, definition 4

History

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

Ultraviolet divergence PJ6GB2VDYC

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#68YU, Ultraviolet divergence (unknown)

History

2026-11-02: add by m2/dev

Near-diagonal multi-index PJ6J3G57X1

URI	`m2://inv/PJ6J3G57X1`
Kind	definition
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 2609.22027#VMLM, Near-diagonal multi-index (definition)

History

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

δ-cluster point, δ-closed, δ-open PJ6JA8ZX19

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

Mentions

wikipedia: Wikipedia Glossary of general topology#1VKO, δ-cluster point, δ-closed, δ-open (definition)

History

2026-11-02: add by m2/dev

Ernst Kummer PJ6RHJH1BE

URI	`m2://inv/PJ6RHJH1BE`
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 Q57245, Ernst Kummer (unknown). Also nLab Ernst Kummer
wikipedia: Wikipedia Ernst Kummer, Ernst Kummer (topic). Also Wikidata Q57245

History

2026-10-26: add by m2/dev

odd perfect number PJ6YY0V4V8

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

Mentions

wikidata: Wikidata Q117009395, odd perfect number (unknown). Also MathWorld OddPerfectNumber

History

2026-10-26: add by m2/dev

PJ70M8SYSY PJ70M8SYSY

URI	`m2://inv/PJ70M8SYSY`
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 2312.05005#NEK4 (statement). In SMJMAQ2S3J/e1, proposition 10

History

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

PJ70MT9HDK PJ70MT9HDK

URI	`m2://inv/PJ70MT9HDK`
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.03437#LC20 (statement). In EDTV1EDV7M/e1, proposition 3.7

History

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

Three Rivers, Massachusetts PJ769RDKXV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#FVTR, Three Rivers, Massachusetts (unknown)

History

2026-11-02: add by m2/dev

Definitions PJ76YQAB6E

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

Mentions

wikipedia: Wikipedia Exponential integral#67GM, Definitions (definition)

History

2026-11-02: add by m2/dev

Topological bootstrap PJ77Q710A0

URI	`m2://inv/PJ77Q710A0`
Kind	problem
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.08787#OQMB, Topological bootstrap (problem). In CCQ5XXWYDZ/e1, problem 1

History

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

PJ7EQ187KQ PJ7EQ187KQ

URI	`m2://inv/PJ7EQ187KQ`
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.36423#WHQZ (statement). In Q5Z178SAHP/e1, lemma 6.3

History

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

PJ7YVTMZPF PJ7YVTMZPF

URI	`m2://inv/PJ7YVTMZPF`
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.20687#G4QM (statement)

History

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

PJ82V3DEYG PJ82V3DEYG

URI	`m2://inv/PJ82V3DEYG`
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 2604.02255#TUMH (statement). In 14NGZPH8B9/e1, lemma 2

History

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

Fa-Yueh Wu PJ847V8RT7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UWM4, Fa-Yueh Wu (unknown)

History

2026-11-02: add by m2/dev

Neighborly polytope PJ8PBN5T60

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

Mentions

wikipedia: Wikipedia Neighborly polytope, Neighborly polytope (definition). Also Wikidata Q17099348

History

2026-11-02: add by m2/dev

Roman Sikorski PJ8T7QSAZP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VA8Q, Roman Sikorski (topic)

History

2026-11-02: add by m2/dev

PJ8VSMZ6AP PJ8VSMZ6AP

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

Mentions

arxiv: arXiv 2610.12619#TH9R (statement). In 7F8KACT5AJ/e1, lemma 2.5

History

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

Census Information Center PJ8XAGV3MD

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

Mentions

wikipedia: Wikipedia Census Information Center, Census Information Center (definition). Also Wikidata Q5058960

History

2026-11-02: add by m2/dev

PJ92GZKMR1 PJ92GZKMR1

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

Mentions

arxiv: arXiv 2609.37606#6L3I (statement). In WNFW6GY38C/e1, lemma 9.1

History

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

Bass-Guirvarc'h formula PJ92NAT3GZ

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

Mentions

wikipedia: Wikipedia List of theorems#I5D5, Bass-Guirvarc'h formula (statement)

History

2026-11-02: add by m2/dev

Inductive inference PJ9A3X083M

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

Mentions

wikipedia: Wikipedia List of statistics articles#8RMS, Inductive inference (definition)

History

2026-11-02: add by m2/dev

Centroid and pairwise forms PJ9K1TZWZ6

URI	`m2://inv/PJ9K1TZWZ6`
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.31816#KHRH, Centroid and pairwise forms (statement). In Z86Q8YDPZS/e1, proposition 7.1

History

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

PJ9T1JZ1Z2 PJ9T1JZ1Z2

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

Mentions

arxiv: arXiv 2504.19468#BZ4W (statement). In EY54F2SX08/e1, theorem 5.6

History

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

PJ9VCHD9NX PJ9VCHD9NX

URI	`m2://inv/PJ9VCHD9NX`
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 2609.26496#CD47 (statement)

History

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

Cantor space PJA0MFTFTW

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

Mentions

wikipedia: Wikipedia List of general topology topics#FJ2I, Cantor space (definition)
wikipedia: Wikipedia List of examples in general topology#T1C7, Cantor space (definition)

History

2026-11-02: add by m2/dev

Definitions PJA4Q2YB64

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

Mentions

wikipedia: Wikipedia Prestack#9GCP, Definitions (definition)

History

2026-11-02: add by m2/dev

Basic properties PJA4TD79K9

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

Mentions

wikipedia: Wikipedia Radon measure#TXP0, Basic properties (statement)

History

2026-11-02: add by m2/dev

essentially unique PJAED0184K

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

Mentions

wikidata: Wikidata Q5399590, essentially unique (unknown). Also nLab essentially unique
wikipedia: Wikipedia Essentially unique, Essentially unique (definition). Also Wikidata Q5399590

History

2026-10-26: add by m2/dev

PJAEZ12Y8D PJAEZ12Y8D

URI	`m2://inv/PJAEZ12Y8D`
Kind	statement
Layer	research
MSC	05-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 2310.17520#B4JN (statement). In 93AJXFH963/e1, lemma 4

History

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

Pseudospectral optimal control PJAM5YW5HG

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#MUPY, Pseudospectral optimal control (definition)

History

2026-11-02: add by m2/dev

KL chain rule for Markov chains PJAPMF5176

URI	`m2://inv/PJAPMF5176`
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#YIWW, KL chain rule for Markov chains (statement). In 7D5MMP8XB5/e1, fact 2.8

History

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

Tony Robinson PJAWZ72FT3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5X8P, Tony Robinson (unknown)

History

2026-11-02: add by m2/dev

PJB0NJND94 PJB0NJND94

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

Mentions

open_logic: open_logic content/proof-theory/normalization/translations.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 59.4

History

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

Gladys H. Reynolds PJB27BFFG2

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#5F00, Gladys H. Reynolds (topic)

History

2026-11-02: add by m2/dev

Christoph Rudolff PJBBF23YV5

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

Mentions

wikipedia: Wikipedia Christoph Rudolff, Christoph Rudolff (topic). Also Wikidata Q27337

History

2026-11-02: add by m2/dev

Mary DeCongé-Watson PJBCHDCBH9

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

Mentions

wikipedia: Wikipedia Mary DeCongé-Watson, Mary DeCongé-Watson (topic). Also Wikidata Q18356699

History

2026-11-02: add by m2/dev

Jane Piore Gilman PJBHST24WC

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

Mentions

wikipedia: Wikipedia Jane Piore Gilman, Jane Piore Gilman (topic). Also Wikidata Q17279317

History

2026-11-02: add by m2/dev

correlation PJBM7TVWHS

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

Mentions

wikidata: Wikidata Q186290, correlation (concept). Also MathWorld StatisticalCorrelation
wikipedia: Wikipedia Correlation, Correlation (definition). Also Wikidata Q186290

History

2026-10-26: add by m2/dev

Interaction picture PJBQBWW7AE

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#RGAZ, Interaction picture (definition)

History

2026-11-02: add by m2/dev

PJBS2TQXAM PJBS2TQXAM

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-110 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

Knight PJBXSSMMNT

URI	`m2://inv/PJBXSSMMNT`
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.06653#7IR6, Knight (statement). In 9D2N76AJAT/e1, theorem D.10

History

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

Irregular points PJBZXR3RD1

URI	`m2://inv/PJBZXR3RD1`
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.13753#9781, Irregular points (statement). In AHM0PBKZZN/e1, lemma 4.4

History

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

PJC4Q0PB8E PJC4Q0PB8E

URI	`m2://inv/PJC4Q0PB8E`
Kind	statement
Layer	research
MSC	05-XX, 37-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 2601.04559#STWP (statement). In WWMHZKWZSM/e1, corollary 8

History

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

Fu, Han, Wang, Yan, Zhang and Zhou PJC76HM0JQ

URI	`m2://inv/PJC76HM0JQ`
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.16203#B388, Fu, Han, Wang, Yan, Zhang and Zhou (statement). In 43TBS9P2PX/e1, lemma 5.4

History

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

Euclid's exterior angle theorem PJCA5X3ZAZ

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

Mentions

wikipedia: Wikipedia Exterior angle theorem#J8R1, Euclid's exterior angle theorem (statement)

History

2026-11-02: add by m2/dev

PJCAQRGSX3 PJCAQRGSX3

URI	`m2://inv/PJCAQRGSX3`
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.10205#K9GD (statement). In PQGS7NDMDQ/e1, lemma 5

History

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

Sketch PJCJZKYS1D

URI	`m2://inv/PJCJZKYS1D`
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#AP04, Sketch (definition). In 9DQKY7KGE8/e1, definition B.20

History

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

Kappa Mu Epsilon PJCKK7BHHY

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

Mentions

wikipedia: Wikipedia Kappa Mu Epsilon, Kappa Mu Epsilon (definition). Also Wikidata Q15995232

History

2026-11-02: add by m2/dev

PJCM3T7C2Q PJCM3T7C2Q

URI	`m2://inv/PJCM3T7C2Q`
Kind	statement
Layer	research
MSC	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.21892#ZYE4 (statement)

History

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

Mordecai Comtino PJCQHWNN1H

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#HNT0, Mordecai Comtino (unknown)

History

2026-11-02: add by m2/dev

Generalized normal distribution PJCXCZTJGD

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

Mentions

wikipedia: Wikipedia List of statistics articles#31CQ, Generalized normal distribution (definition)

History

2026-11-02: add by m2/dev

REVSTAT PJD6DWHBJR

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

Mentions

wikipedia: Wikipedia List of statistics journals#QQ1Y, REVSTAT (definition)

History

2026-11-02: add by m2/dev

PJDA4S4TT5 PJDA4S4TT5

URI	`m2://inv/PJDA4S4TT5`
Kind	statement
Layer	research
MSC	16-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.09544#UNLF (statement). In DYBM6Q2K6R/e1, proposition B.2

History

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

Waking up a sleepwalker does not harm them PJDC9AX5HW

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#9DVA, Waking up a sleepwalker does not harm them (unknown)

History

2026-11-02: add by m2/dev

PJDEHZQG4G PJDEHZQG4G

URI	`m2://inv/PJDEHZQG4G`
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 2610.18078#0GBZ (statement). In YVK8EFSYNJ/e1, lemma 6.4

History

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

Euler integral (thermodynamics) PJDGPE0QJ0

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

Mentions

wikipedia: Wikipedia Thermodynamic potential#9CQD, Euler integral (thermodynamics) (unknown)

History

2026-11-02: add by m2/dev

PJDKXRBX0E PJDKXRBX0E

URI	`m2://inv/PJDKXRBX0E`
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 2501.17850#VOXU (statement). In WS5KWBEG5Q/e1, lemma 4

History

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

PJE0SR43SW PJE0SR43SW

URI	`m2://inv/PJE0SR43SW`
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 2502.02777#NO5F (statement). In D8T5GDXERW/e1, proposition 4

History

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

Boundary values of the moment comparison function PJE1SQKYP8

URI	`m2://inv/PJE1SQKYP8`
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.02531#QHQ7, Boundary values of the moment comparison function (statement). In 44EQ0MZE8G/e1, lemma 5.5

History

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

PJE96WVM25 PJE96WVM25

URI	`m2://inv/PJE96WVM25`
Kind	statement
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 2609.21052#R8KL (statement)

History

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

Definition PJEAH7BGTP

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

Mentions

wikipedia: Wikipedia Complemented subspace#5QNJ, Definition (definition)

History

2026-11-02: add by m2/dev

Torqued vector fields PJEKYMP1WT

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

Mentions

arxiv: arXiv 2504.13516#Y3RO, Torqued vector fields (example). In Z9JWKWH7CJ/e1, example 3.1

History

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

Dirac comb PJEM22XS79

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

Mentions

wikipedia: Wikipedia List of probability distributions#Z1T1, Dirac comb (definition)

History

2026-11-02: add by m2/dev

Morally correct definition of norm and trace PJEXKD3D3V

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#theorem-1, Morally correct definition of norm and trace (statement). In RZP28ERRZV, theorem, section 15.1

History

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

PJF1BJJNZ1 PJF1BJJNZ1

URI	`m2://inv/PJF1BJJNZ1`
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 2609.37313#0DCF (statement). In Z1F6SXQ6XW/e1, theorem 1.4

History

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

Definition PJF1CQ21P1

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

Mentions

wikipedia: Wikipedia Rank-maximal allocation#WAJF, Definition (definition)

History

2026-11-02: add by m2/dev

Tetrated dodecahedron PJF3G9WQ14

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

Mentions

wikipedia: Wikipedia Tetrated dodecahedron, Tetrated dodecahedron (definition). Also Wikidata Q7706756

History

2026-11-02: add by m2/dev

Strong law of large numbers PJF4FFCCDM

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

Mentions

napkin: napkin tex/measure/large-laws.tex#theorem-1, Strong law of large numbers (statement). In RZP28ERRZV, theorem, section 64.3.2

History

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

PJFGY4W4JG PJFGY4W4JG

URI	`m2://inv/PJFGY4W4JG`
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#UKG4 (definition). In G70Q2FB591/e1, definition 3.12

History

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

PJFXKTESCR PJFXKTESCR

URI	`m2://inv/PJFXKTESCR`
Kind	definition
Layer	research
MSC	05-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.27366#30YD (definition)

History

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

PJFZE51Y6Q PJFZE51Y6Q

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

Mentions

arxiv: arXiv 2605.30679#4ZQ9 (definition). In Z31GMHMG7B/e1, definition 1.2

History

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

PJFZN1GD7W PJFZN1GD7W

URI	`m2://inv/PJFZN1GD7W`
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#WI5E (statement). In S26QVW5613/e1, proposition 3.9.1

History

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

PJFZXFZYD3 PJFZXFZYD3

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

Mentions

arxiv: arXiv 2609.21914#PXS9 (definition)

History

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

Landauer's principle PJGAH3AFGC

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

Mentions

wikipedia: Wikipedia Entropy in thermodynamics and information theory#5PUW, Landauer's principle (statement)

History

2026-11-02: add by m2/dev

scruple PJGGW4B76A

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

Mentions

wikidata: Wikidata Q1573593, scruple (unknown). Also MathWorld Scruple

History

2026-10-26: add by m2/dev

Cotangent space and the pairing PJGKJSEGMT

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

Mentions

arxiv: arXiv 2609.26270#9D7T, Cotangent space and the pairing (definition)

History

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

PJGR19P6PX PJGR19P6PX

URI	`m2://inv/PJGR19P6PX`
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 2610.06488#KVYC (statement). In XG3BJ2QXXP/e1, lemma 2.6

History

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

PJGZZ0N89X PJGZZ0N89X

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise:otherlogbases (exercise). In E59CDZA4DP, exercise, section 8.4.3

History

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

PJH1JYGR8H PJH1JYGR8H

URI	`m2://inv/PJH1JYGR8H`
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.13691#FSUJ (statement). In 3YTKTYTHT6/e1, lemma 2.2

History

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

Frederic M. Lord PJH25HZAMF

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#3D6I, Frederic M. Lord (topic)

History

2026-11-02: add by m2/dev

PJH8ATJTVJ PJH8ATJTVJ

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

Mentions

hott_book: hott_book equivalences.tex#proof-13 (proof). In N54F33XE07, proof, section 3.3

History

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

Examples PJHFMEY4EV

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

Mentions

wikipedia: Wikipedia Image (mathematics)#P2T6, Examples (example)

History

2026-11-02: add by m2/dev

PJHHVH452M PJHHVH452M

URI	`m2://inv/PJHHVH452M`
Kind	example
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.20632#AQ7M (example)

History

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

PJHKQ2FHBN PJHKQ2FHBN

URI	`m2://inv/PJHKQ2FHBN`
Kind	definition
Layer	research
MSC	16-XX, 18-XX, 55-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.30262#DOCX (definition). In FWA5QW6FCF/e1, definition 6.1

History

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

Kepler's Supernova PJHNS11YGM

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

Mentions

wikipedia: Wikipedia List of things named after Johannes Kepler#P7AY, Kepler's Supernova (unknown)

History

2026-11-02: add by m2/dev

Mitchell's embedding theorem PJHNZJPK0R

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

Mentions

mathlib_1000: mathlib_1000 Q1148215, Mitchell's embedding theorem (statement). Also Mathlib CategoryTheory.Abelian.freyd_mitchell, Wikidata Q1148215
thousand_plus: thousand_plus Q1148215, Mitchell's embedding theorem (statement). Also Mathlib CategoryTheory.Abelian.freyd_mitchell, Wikidata Q1148215, Wikipedia Mitchell's embedding theorem
wikipedia: Wikipedia Mitchell's embedding theorem, Mitchell's embedding theorem (statement). Also Wikidata Q1148215

History

2026-10-26: add by m2/dev

Properties PJHSH6HX9A

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

Mentions

wikipedia: Wikipedia Centering matrix#5JNZ, Properties (statement)

History

2026-11-02: add by m2/dev

Applications PJHZE2Y1QM

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

Mentions

wikipedia: Wikipedia Hadamard product (matrices)#7O6U, Applications (example)

History

2026-11-02: add by m2/dev

PJJ7ZT66RS PJJ7ZT66RS

URI	`m2://inv/PJJ7ZT66RS`
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 1612.08394#237M (statement). In 1P8D88DKG5/e1, lemma 3.3

History

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

PJJAZTF3C0 PJJAZTF3C0

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

Mentions

arxiv: arXiv 2609.34570#HLKG (statement). In EVFX1R7ZDD/e1, proposition 4

History

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

q-binomial theorem PJJBRKVY1P

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

Mentions

wikipedia: Wikipedia Gaussian binomial coefficient#9Y2I, q-binomial theorem (statement)

History

2026-11-02: add by m2/dev

Special cases PJJGMNKCQC

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

Mentions

wikipedia: Wikipedia Energy–momentum relation#Q5XV, Special cases (statement)

History

2026-11-02: add by m2/dev

Transported lower bounds PJJTJEBRG0

URI	`m2://inv/PJJTJEBRG0`
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#CAC3, Transported lower bounds (statement). In 3VVGPXWH6R/e1, proposition 2.3

History

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

PJJVMFN0JS PJJVMFN0JS

URI	`m2://inv/PJJVMFN0JS`
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.20050#96QR (statement). In T41GD0Y0GX/e1, theorem 3.1

History

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

equals sign PJJVP4W13G

URI	`m2://inv/PJJVP4W13G`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q214796, equals sign (unknown). Also ProofWiki Symbols:General/Equals
wikipedia: Wikipedia Equals sign, Equals sign (definition). Also Wikidata Q214796

History

2026-10-26: add by m2/dev

Carl Böhm PJJZVE092B

URI	`m2://inv/PJJZVE092B`
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#9V8K, Carl Böhm (unknown)

History

2026-11-02: add by m2/dev

Unirationality conjecture PJK6M4KPEE

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

Mentions

wikipedia: Wikipedia Moduli of algebraic curves#R87A, Unirationality conjecture (statement)

History

2026-11-02: add by m2/dev

PJK72FPPRC PJK72FPPRC

URI	`m2://inv/PJK72FPPRC`
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 2512.24812#GTBH (statement). In F4JB0RR5JV/e1, theorem 3.3

History

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

PJK92EQ1ZG PJK92EQ1ZG

URI	`m2://inv/PJK92EQ1ZG`
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 2604.10080#JTCB (statement). In KM2FWKP93A/e1, lemma 3.6

History

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

PJK9JQE4GM PJK9JQE4GM

URI	`m2://inv/PJK9JQE4GM`
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.03856#VP7V (statement). In HTBRYNPHSJ/e1, theorem 7.5

History

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

Archimedean absolute value PJKABH2JBX

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

Mentions

wikipedia: Wikipedia Absolute value (algebra)#718A, Archimedean absolute value (unknown)

History

2026-11-02: add by m2/dev

PJKAQFZ356 PJKAQFZ356

URI	`m2://inv/PJKAQFZ356`
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.16853#BV9L (statement). In Y43AAKZ7E6/e1, proposition 2.3

History

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

SCH PJKM4BK6J1

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

Mentions

wikipedia: Wikipedia Glossary of set theory#4KP4, SCH (definition)

History

2026-11-02: add by m2/dev

Joseph H. M. Steenbrink PJKNAYM97K

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

Mentions

wikipedia: Wikipedia Joseph H. M. Steenbrink, Joseph H. M. Steenbrink (topic). Also Wikidata Q15454968

History

2026-11-02: add by m2/dev

monadic predicate PJKNXQS52Q

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

Mentions

wikipedia: Wikipedia Glossary of logic#SW5Y, monadic predicate (definition)

History

2026-11-02: add by m2/dev

Goormaghtigh conjecture PJKQZMAV1Z

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#QQKB, Goormaghtigh conjecture (conjecture)

History

2026-11-02: add by m2/dev

Conan Gray PJKTZP3PN4

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#ZO0Z, Conan Gray (unknown)

History

2026-11-02: add by m2/dev

PJM8YG25ZV PJM8YG25ZV

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

Mentions

arxiv: arXiv 2610.01346#NDKH (definition). In 44DQ7W1NW9/e1, definition 2.17

History

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

PJMA8QHGQ5 PJMA8QHGQ5

URI	`m2://inv/PJMA8QHGQ5`
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.02893#3Z0H (statement). In DQ9TAGM5XP/e1, proposition P7

History

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

Hermite's criterion PJMKXFZJZB

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#BWTW, Hermite's criterion (definition)

History

2026-11-02: add by m2/dev

PJMNTDREY5 PJMNTDREY5

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

Mentions

arxiv: arXiv 2610.14783#OCE2 (statement). In Y3X5XY2J65/e1, theorem 9.2

History

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

Sakura Schafer-Nameki PJN2DQGMYH

URI	`m2://inv/PJN2DQGMYH`
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 Q97477590, Sakura Schafer-Nameki (unknown). Also nLab Sakura Schäfer-Nameki
wikipedia: Wikipedia Sakura Schafer-Nameki, Sakura Schafer-Nameki (topic). Also Wikidata Q97477590

History

2026-10-26: add by m2/dev

PJN3G39MH6 PJN3G39MH6

URI	`m2://inv/PJN3G39MH6`
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.18436#L47Z (statement). In M0Z0XAXZYW/e1, theorem 1.4

History

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

scatter plot PJN3VS8827

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#RMQK, scatter plot (definition)

History

2026-11-02: add by m2/dev

Fernando Codá Marques PJN90W1542

URI	`m2://inv/PJN90W1542`
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#4QPN, Fernando Codá Marques (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6S7B, Fernando Codá Marques (unknown)

History

2026-11-02: add by m2/dev

PJNFKGYZHH PJNFKGYZHH

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#proposition-1 (statement). In QKM9DD2H56, proposition, section B.11

History

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

PJNGQ08BGV PJNGQ08BGV

URI	`m2://inv/PJNGQ08BGV`
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.01197#437H (statement). In WDWDY0VP18/e1, lemma 11

History

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

Sato–Kimura theorem PJNHDFRJYW

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

Mentions

wikipedia: Wikipedia Semi-invariant of a quiver#HRCG, Sato–Kimura theorem (statement)

History

2026-11-02: add by m2/dev

Strict 2-category PJNTJC4G3D

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

Mentions

arxiv: arXiv 2610.10930#8R8O, Strict 2-category (definition). In HX63A1PH1W/e1, definition 8.2

History

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

PJNYDGF1Q0 PJNYDGF1Q0

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

Mentions

arxiv: arXiv 2610.04834#I392 (statement). In YZNK67K060/e1, proposition 7.12

History

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

Julius Wolff PJNZ4W0J7K

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8AOS, Julius Wolff (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8P85, Julius Wolff (topic)

History

2026-11-02: add by m2/dev

amalgamated free product PJP33YWHE7

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

Mentions

hott_book: hott_book index/7.7.2/amalgamated-free-product, amalgamated free product (concept). In N54F33XE07, index, section 7.7.2

History

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

Essentially undecidable PJP8TEEK0T

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

Mentions

wikipedia: Wikipedia Decidability (logic)#RLUR, Essentially undecidable (unknown)

History

2026-11-02: add by m2/dev

PJPGGKBVPJ PJPGGKBVPJ

URI	`m2://inv/PJPGGKBVPJ`
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.08567#OIDP (statement). In CMJE9V2BJ0/e1, lemma 4.3

History

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

PJPNMYZY0V PJPNMYZY0V

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

Mentions

arxiv: arXiv 2505.04593#GAMR (definition). In PEXJPV3NP8/e1, definition 2.13

History

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

Susan Friedlander PJPS46KY08

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

Mentions

wikipedia: Wikipedia Susan Friedlander, Susan Friedlander (topic). Also Wikidata Q14942999

History

2026-11-02: add by m2/dev

Helen Almira Shafer PJPVZX2KY9

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

Mentions

wikipedia: Wikipedia Helen Almira Shafer, Helen Almira Shafer (topic). Also Wikidata Q5701799

History

2026-11-02: add by m2/dev

Bureau of Transportation Statistics PJPYBGVT3S

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

Mentions

wikipedia: Wikipedia Bureau of Transportation Statistics, Bureau of Transportation Statistics (definition). Also Wikidata Q4998432

History

2026-11-02: add by m2/dev

kernel, pair PJPZDXZ6S6

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

Mentions

hott_book: hott_book index/7.7.2/kernel-pair, kernel, pair (concept). In N54F33XE07, index, section 7.7.2

History

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

Small-complement cases PJQ1NS6N28

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

Mentions

arxiv: arXiv 2610.20649#G9RZ, Small-complement cases (statement). In XDTM624YPE/e1, lemma 15.3

History

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

Alekseev--Liu--Thom PJQ2M6YKFK

URI	`m2://inv/PJQ2M6YKFK`
Kind	statement
Layer	research
MSC	20-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 2609.37761#OUTT (statement). In 4TAQ65KZKN/e1, theorem B
arxiv: arXiv 2610.03424#2UWG, Alekseev--Liu--Thom (statement). In Q6HRJP4AWA/e1, theorem 2.2

History

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

PJQAYDQZ48 PJQAYDQZ48

URI	`m2://inv/PJQAYDQZ48`
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.10928#HWGM (statement). In 8M7BFVQYMM/e1, lemma 5.2

History

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

PJQB1FJRNE PJQB1FJRNE

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 22.2

History

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

Six Mile Creek PJQB5CY1HG

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

Mentions

wikipedia: Wikipedia List of places with numeric names#SUXZ, Six Mile Creek (unknown)

History

2026-11-02: add by m2/dev

Simultaneous Authentication of Equals PJQCD8D406

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

Mentions

wikipedia: Wikipedia Simultaneous Authentication of Equals, Simultaneous Authentication of Equals (definition). Also Wikidata Q60773926

History

2026-11-02: add by m2/dev

Examples PJQD0P4R1D

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

Mentions

wikipedia: Wikipedia Balanced prime#GLXJ, Examples (example)

History

2026-11-02: add by m2/dev

Cyclic support PJQQAEXVJY

URI	`m2://inv/PJQQAEXVJY`
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 2610.20087#DYE3, Cyclic support (definition). In ZRE2WQR5XA/e1, definition III.3

History

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

PJQS8A4EK2 PJQS8A4EK2

URI	`m2://inv/PJQS8A4EK2`
Kind	definition
Layer	research
MSC	16-XX, 20-XX, 22-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.21703#0HQ7 (definition)

History

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

Donagi--Pantev PJQSGPDXZC

URI	`m2://inv/PJQSGPDXZC`
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 2609.21914#OU1C, Donagi--Pantev (statement)

History

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

Fujisaki–Okamoto transformation PJQV2B6RJZ

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

Mentions

wikipedia: Wikipedia Fujisaki–Okamoto transformation, Fujisaki–Okamoto transformation (definition). Also Wikidata Q141446750

History

2026-11-02: add by m2/dev

PJQWFCXAJ2 PJQWFCXAJ2

URI	`m2://inv/PJQWFCXAJ2`
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.14321#IFEQ (statement). In 7EGFPFKD5T/e1, theorem 2.1

History

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

PJR1B0N541 PJR1B0N541

URI	`m2://inv/PJR1B0N541`
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.13103#KS7V (statement). In GG2ZZV6KEQ/e1, lemma 3.4

History

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

PJR3JNT4KK PJR3JNT4KK

URI	`m2://inv/PJR3JNT4KK`
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.12817#86WR (statement). In FPSGZ5S6YF/e1, proposition 4.4

History

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

Iwasawa decomposition PJR80E0SX6

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

Mentions

wikipedia: Wikipedia List of theorems#QVX8, Iwasawa decomposition (definition)

History

2026-11-02: add by m2/dev

PJRAMDR45H PJRAMDR45H

URI	`m2://inv/PJRAMDR45H`
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.08261#15SQ (statement). In QD68GYRWNS/e1, theorem 3.7

History

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

Examples PJRDCZM5T9

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

Mentions

wikipedia: Wikipedia Primitive recursive function#71MR, Examples (example)

History

2026-11-02: add by m2/dev

Risk perception PJRK2Y79AG

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

Mentions

wikipedia: Wikipedia List of statistics articles#QRXW, Risk perception (definition)

History

2026-11-02: add by m2/dev

PJRNER6S5R PJRNER6S5R

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

Mentions

arxiv: arXiv 2610.14821#PMSQ (statement). In B0B2P7JEAQ/e1, lemma A.2

History

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

Epoch $Q$-learning with resets PJRQF22MC9

URI	`m2://inv/PJRQF22MC9`
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.14988#GKJQ, Epoch $Q$-learning with resets (statement). In B29M4E6KGC/e1, theorem J.2

History

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

Principal operator's uniform continuity estimate PJRW04NWG8

URI	`m2://inv/PJRW04NWG8`
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.22513#MB7S, Principal operator's uniform continuity estimate (statement)

History

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

Jochen Heinloth PJRX08RA72

URI	`m2://inv/PJRX08RA72`
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 Q28035760, Jochen Heinloth (unknown). Also nLab Jochen Heinloth

History

2026-10-26: add by m2/dev

Satellite knot PJS3AVYJDK

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

Mentions

wikipedia: Wikipedia List of knot theory topics#ZDVI, Satellite knot (definition)

History

2026-11-02: add by m2/dev

Katherine J. Thompson PJS78H7757

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

Mentions

wikipedia: Wikipedia Katherine J. Thompson, Katherine J. Thompson (topic). Also Wikidata Q70438626

History

2026-11-02: add by m2/dev

PJSGAVGFV8 PJSGAVGFV8

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

Mentions

arxiv: arXiv 2610.15088#AMLD (statement). In 2BRTT5ZFC6/e1, proposition 2.1

History

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

Psychological Methods PJSMJYV8GQ

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

Mentions

wikipedia: Wikipedia Psychological Methods, Psychological Methods (definition). Also Wikidata Q7256363

History

2026-11-02: add by m2/dev

Fraňková–Helly selection theorem PJSTF75KYN

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

Mentions

mathlib_1000: mathlib_1000 Q5494134, Fraňková–Helly selection theorem (statement). Also Wikidata Q5494134
thousand_plus: thousand_plus Q5494134, Fraňková–Helly selection theorem (statement). Also Wikidata Q5494134, Wikipedia Fraňková–Helly selection theorem
wikipedia: Wikipedia Fraňková–Helly selection theorem, Fraňková–Helly selection theorem (statement). Also Wikidata Q5494134

History

2026-10-26: add by m2/dev

PJSYX2FZ5C PJSYX2FZ5C

URI	`m2://inv/PJSYX2FZ5C`
Kind	statement
Layer	research
MSC	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.13817#EQU4 (statement). In BMSAXTDV47/e1, lemma 5.3

History

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

From Gershgorin circle theorem PJT49X9DFW

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

Mentions

wikipedia: Wikipedia Geometrical properties of polynomial roots#OA65, From Gershgorin circle theorem (statement)

History

2026-11-02: add by m2/dev

Albert Einstein PJT54EM9GY

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#16C8, Albert Einstein (topic)

History

2026-11-02: add by m2/dev

PJT6RZBKAS PJT6RZBKAS

URI	`m2://inv/PJT6RZBKAS`
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#VXGD (statement). In 3Q70DMD7Z7/e1, theorem

History

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

Niels Bohr PJTGM6X7QW

URI	`m2://inv/PJTGM6X7QW`
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 Q7085, Niels Bohr (unknown). Also nLab Niels Bohr, ProofWiki Mathematician:Niels_Henrik_David_Bohr

History

2026-10-26: add by m2/dev

Definition PJTQEWM0TZ

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

Mentions

wikipedia: Wikipedia Separation oracle#9PYX, Definition (definition)

History

2026-11-02: add by m2/dev

Damped sine wave PJTTJBSAZ6

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

Mentions

wikipedia: Wikipedia Damping#MYF2, Damped sine wave (unknown)

History

2026-11-02: add by m2/dev

PJTTW9G10E PJTTW9G10E

URI	`m2://inv/PJTTW9G10E`
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.22657#N5YW (statement)

History

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

PJTVAKHFJK PJTVAKHFJK

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 10.5.1

History

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

PJTWXQG17E PJTWXQG17E

URI	`m2://inv/PJTWXQG17E`
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 2207.12181#6VG3 (statement). In FSD8NE3XSR/e1, proposition 7.11

History

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

hyperflex PJTZ5RMFTY

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#I85L, hyperflex (definition)

History

2026-11-02: add by m2/dev

asymptotic distribution PJV1HPX10M

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

Mentions

wikidata: Wikidata Q12345341, asymptotic distribution (topic)
wikipedia: Wikipedia Asymptotic distribution, Asymptotic distribution (definition). Also Wikidata Q12345341

History

2026-10-26: add by m2/dev

PJV72T5G35 PJV72T5G35

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

Mentions

arxiv: arXiv 2610.22317#YDG1 (definition). In 2W5Z97BBW4/e1, definition 2.18

History

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

Decimal PJV9D3PWNG

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

Mentions

wikipedia: Wikipedia List of types of numbers#Z5NV, Decimal (definition)

History

2026-11-02: add by m2/dev

Butterfly curve PJVBB0NQK0

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#6AKR, Butterfly curve (definition)
wikipedia: Wikipedia List of mathematical shapes#NRA0, Butterfly curve (definition)

History

2026-11-02: add by m2/dev

PJVBKHTKQG PJVBKHTKQG

URI	`m2://inv/PJVBKHTKQG`
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.10107#KRY6 (statement). In ZHNJ8MSXHW/e1, theorem 3.1

History

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

PJVED5VBB5 PJVED5VBB5

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

Mentions

arxiv: arXiv 2312.06581#GBL3 (statement). In WXJ2V3HA2R/e1, lemma D.14

History

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

PJVKR6ASDS PJVKR6ASDS

URI	`m2://inv/PJVKR6ASDS`
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.21501#9DA5 (example). In 1H64QT301C/e1, example 5.2

History

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

PJVPDPGH4A PJVPDPGH4A

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

Mentions

hott_book: hott_book hlevels.tex#proof-27 (proof). In N54F33XE07, proof, section 6.3

History

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

directed edge PJVZ2VS394

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#EEJZ, directed edge (definition)

History

2026-11-02: add by m2/dev

potential PJW2H8Q8RK

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

Mentions

wikidata: Wikidata Q1202245, potential (topic)

History

2026-10-26: add by m2/dev

Bathymetric coercivity and weighted gain PJW48X98T8

URI	`m2://inv/PJW48X98T8`
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.34938#PJ8X, Bathymetric coercivity and weighted gain (statement). In N57GZ5N6E1/e1, proposition 8

History

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

Examples PJW7T4WSXV

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

Mentions

wikipedia: Wikipedia Function composition#3EYB, Examples (example)

History

2026-11-02: add by m2/dev

PJWG0JKRZ8 PJWG0JKRZ8

URI	`m2://inv/PJWG0JKRZ8`
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.12810#SW1A (statement). In DR35633CPN/e1, lemma 3.2

History

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

E. H. Moore PJWHGA5K8Z

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#53G8, E. H. Moore (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SQMI, E. H. Moore (topic)

History

2026-11-02: add by m2/dev

Prescribed-signal sampling PJWJ5ARSQ9

URI	`m2://inv/PJWJ5ARSQ9`
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.01391#8UWD, Prescribed-signal sampling (statement). In MAZNVJX5YK/e1, lemma 3

History

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

Maria Angela Ardinghelli PJWSRH78JJ

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

Mentions

wikipedia: Wikipedia Maria Angela Ardinghelli, Maria Angela Ardinghelli (topic). Also Wikidata Q80365

History

2026-11-02: add by m2/dev

least common multiple PJX33Z81M4

URI	`m2://inv/PJX33Z81M4`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Least common multiple 007NPQX34K

Mentions

wikidata: Wikidata Q102761, least common multiple (unknown). Also EoM Least_common_multiple, MathWorld LeastCommonMultiple, nLab least common multiple
wikipedia: Wikipedia Least common multiple, Least common multiple (definition). Also Wikidata Q102761

History

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

PJXASN5F5H PJXASN5F5H

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-2 (exercise). In E9HS8K3A52, exercise, section 8.1.3

History

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

gold PJXAYFQF0J

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

Mentions

wikidata: Wikidata Q897, gold (definition). Also ProofWiki Definition:Gold

History

2026-10-26: add by m2/dev

Mikhail Postnikov PJXCKP4HNS

URI	`m2://inv/PJXCKP4HNS`
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 Q450864, Mikhail Postnikov (unknown). Also nLab M M Postnikov
wikipedia: Wikipedia Mikhail Postnikov, Mikhail Postnikov (topic). Also Wikidata Q450864

History

2026-10-26: add by m2/dev

PJXCMRHF5X PJXCMRHF5X

URI	`m2://inv/PJXCMRHF5X`
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.11872#H7OT (statement). In NKDA88318F/e1, corollary 4

History

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

composition PJXGEHZ0J5

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

Mentions

active_calculus: active_calculus index/2.5.1/composition, composition (concept). In 907G4C4EJ1, index, section 2.5.1

History

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

PJXNX48JXN PJXNX48JXN

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-41 (exercise). In E9HS8K3A52, exercise, section 7.3.4

History

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

Lemma PJY0Z13BTY

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

Mentions

wikipedia: Wikipedia Artin's theorem on induced characters#63LW, Lemma (statement)

History

2026-11-02: add by m2/dev

PJY46B64V2 PJY46B64V2

URI	`m2://inv/PJY46B64V2`
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.21724#WA3A (statement). In EDDJCSBMXN/e1, lemma 5.1

History

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

PJY748CKE6 PJY748CKE6

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

Mentions

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

History

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

PJY8G2XXC9 PJY8G2XXC9

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

Mentions

arxiv: arXiv 2606.20229#B5YP (statement). In 1B85G2QJC2/e1, lemma 7.5

History

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

Example PJY8RX344W

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

Mentions

wikipedia: Wikipedia Special unitary group#1U99, Example (example)

History

2026-11-02: add by m2/dev

Random perturbation of a continous-time system PJYNVJJPRT

URI	`m2://inv/PJYNVJJPRT`
Kind	definition
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 math/0003117#17R1, Random perturbation of a continous-time system (definition). In WD2NCBV9F0/e1, definition 2.20

History

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

Variations in the statement of the principle PJYQS2Z8XP

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

Mentions

wikipedia: Wikipedia Mach's principle#8FI9, Variations in the statement of the principle (statement)

History

2026-11-02: add by m2/dev

intersection PJYZJZ5Q9E

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

Mentions

wikipedia: Wikipedia Glossary of set theory#P7RH, intersection (definition)

History

2026-11-02: add by m2/dev

PJZ1K5HCZ7 PJZ1K5HCZ7

URI	`m2://inv/PJZ1K5HCZ7`
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.18562#EW9N (statement). In 793KXAR957/e1, proposition 2.11

History

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

PJZ2CB6YBX PJZ2CB6YBX

URI	`m2://inv/PJZ2CB6YBX`
Kind	statement
Layer	research
MSC	16-XX, 19-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.23527#HP10 (statement)

History

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

Properties PJZ6RPFAYG

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

Mentions

wikipedia: Wikipedia Weak convergence (Hilbert space)#6U6G, Properties (statement)

History

2026-11-02: add by m2/dev

PJZ8ABF22Q PJZ8ABF22Q

URI	`m2://inv/PJZ8ABF22Q`
Kind	statement
Layer	research
MSC	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.12576#UBIC (statement). In BVAWVRS3R9/e1, proposition 3.5

History

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

PJZ99S9KDF PJZ99S9KDF

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

Mentions

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

History

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

Aztec diamond PJZDQDSHR4

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

Mentions

mathlib_1000: mathlib_1000 Q4832965, Aztec diamond theorem (statement). Also Wikidata Q4832965
thousand_plus: thousand_plus Q4832965, Aztec diamond theorem (statement). Also Wikidata Q4832965, Wikipedia Aztec diamond theorem
wikidata: Wikidata Q4832965, Aztec diamond (concept). Also MathWorld AztecDiamond
wikipedia: Wikipedia Aztec diamond, Aztec diamond (object). Also Wikidata Q4832965

History

2026-10-26: add by m2/dev

finite character PJZMB2HPA9

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

Mentions

wikipedia: Wikipedia Glossary of logic#L4X7, finite character (definition)

History

2026-11-02: add by m2/dev

PJZP7K8NSK PJZP7K8NSK

URI	`m2://inv/PJZP7K8NSK`
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.21900#NKE4 (statement)

History

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

Applications PJZTV4N1E5

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

Mentions

wikipedia: Wikipedia Good spanning tree#ETW0, Applications (example)

History

2026-11-02: add by m2/dev