Inventory rows NX

Chrysippus NX01KYJ2PY

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

Mentions

wikipedia: Wikipedia Chrysippus, Chrysippus (topic). Also Wikidata Q211411

History

2026-11-02: add by m2/dev

Conway's 99-graph problem NX01MV60SM

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

Mentions

wikipedia: Wikipedia Conway's 99-graph problem, Conway's 99-graph problem (conjecture). Also Wikidata Q62997055

History

2026-11-02: add by m2/dev

Examples NX03PERV38

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

Mentions

wikipedia: Wikipedia GCD domain#U88O, Examples (example)

History

2026-11-02: add by m2/dev

NX04WVVNCW NX04WVVNCW

URI	`m2://inv/NX04WVVNCW`
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 2106.11898#A007 (statement). In KXXV5X8AG4/e1, proposition 3.5

History

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

NX0C2G0TE2 NX0C2G0TE2

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

Mentions

arxiv: arXiv 2609.21034#6M9K (statement)

History

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

NX0E4K7VG5 NX0E4K7VG5

URI	`m2://inv/NX0E4K7VG5`
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.23528#FL5G (statement)

History

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

NX0JT6J6C8 NX0JT6J6C8

URI	`m2://inv/NX0JT6J6C8`
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#XT4L (statement). In QGZPH9W8GY/e1, lemma 2.7

History

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

Generalized game NX0KW999SN

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

Mentions

wikipedia: Wikipedia Generalized game, Generalized game (definition). Also Wikidata Q5532477

History

2026-11-02: add by m2/dev

Paul R. Rider NX0SJERTHY

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#P0CH, Paul R. Rider (unknown)

History

2026-11-02: add by m2/dev

Anatoliy Skorokhod NX0SX2CE2R

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#YFDG, Anatoliy Skorokhod (unknown)

History

2026-11-02: add by m2/dev

Bounded integer flows NX0TMXE3S6

URI	`m2://inv/NX0TMXE3S6`
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.06724#DNY3, Bounded integer flows (statement). In W5XG3PGVF1/e1, corollary C.22

History

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

NX11VCACQ3 NX11VCACQ3

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

Mentions

arxiv: arXiv 2609.22240#9AE8 (statement)

History

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

NX17H764ZP NX17H764ZP

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

Mentions

arxiv: arXiv 2610.09129#YTHI (definition). In Z1RZSF68XZ/e1, definition 5.1

History

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

Example NX1BQBHV4B

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

Mentions

wikipedia: Wikipedia N-ary group#76R0, Example (example)

History

2026-11-02: add by m2/dev

Eižens Ārinš NX1FPHR1A3

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

Mentions

wikipedia: Wikipedia Eižens Ārinš, Eižens Ārinš (topic). Also Wikidata Q16355864

History

2026-11-02: add by m2/dev

NX1GSREA93 NX1GSREA93

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

Mentions

arxiv: arXiv 2610.05146#5AEE (statement). In 63MJS935N4/e1, proposition 2.4

History

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

Hidden-surface removal NX1KR3ZNFX

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

Mentions

wikipedia: Wikipedia List of algorithms#UNH6, Hidden-surface removal (unknown)

History

2026-11-02: add by m2/dev

Topological algebra NX1VM56WDB

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

Mentions

wikipedia: Wikipedia Topological algebra, Topological algebra (definition). Also Wikidata Q964053

History

2026-11-02: add by m2/dev

NX1VQJK31E NX1VQJK31E

URI	`m2://inv/NX1VQJK31E`
Kind	statement
Layer	research
MSC	05-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.12484#GFWQ (statement). In GW23NX78SB/e1, lemma 4.8

History

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

NX1X0GBTT4 NX1X0GBTT4

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

Mentions

arxiv: arXiv 2609.31389#WM0R (statement). In YS0YFQEYE1/e1, lemma 6

History

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

Subtropical gyre NX1X4V22SX

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

Mentions

wikipedia: Wikipedia Ocean gyre#CJ52, Subtropical gyre (unknown)

History

2026-11-02: add by m2/dev

NX26SWHVNP NX26SWHVNP

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 1.4.4

History

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

Satisfiability NX2BB3FZMA

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

Mentions

open_logic: open_logic content/second-order-logic/syntax-and-semantics/semantic-notions.tex#defn-3, Satisfiability (definition). In PKGMM3P5QY, defn, section 67.6

History

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

NX2C5B4X38 NX2C5B4X38

URI	`m2://inv/NX2C5B4X38`
Kind	example
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.19882#QLKX (example)

History

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

NX2FFFPHC2 NX2FFFPHC2

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

Mentions

arxiv: arXiv 2610.15517#JEZL (statement). In C87H6KZSBM/e1, proposition 2.1

History

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

Case-control study NX2T517W9K

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

Mentions

wikipedia: Wikipedia List of statistics articles#2C14, Case-control study (definition)

History

2026-11-02: add by m2/dev

Henselian ring NX2TQWWB35

URI	`m2://inv/NX2TQWWB35`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Henselian ring RNXPV3KC5J

Mentions

wikidata: Wikidata Q1607573, Henselian ring (concept). Also nLab Henselian ring
wikipedia: Wikipedia Henselian ring, Henselian ring (definition). Also Wikidata Q1607573

History

2026-10-26: add by m2/dev

Self-linking number NX2WNMB1CA

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

Mentions

wikipedia: Wikipedia List of knot theory topics#DKY8, Self-linking number (definition)

History

2026-11-02: add by m2/dev

Joachim Schwermer NX33PCY7CT

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

Mentions

wikipedia: Wikipedia Joachim Schwermer, Joachim Schwermer (topic). Also Wikidata Q1387442

History

2026-11-02: add by m2/dev

decimal representation NX35T1B2Y2

URI	`m2://inv/NX35T1B2Y2`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Decimal expansion 0VM8B2SB4P

Mentions

wikidata: Wikidata Q1376876, decimal representation (unknown). Also MathWorld DecimalExpansion
wikipedia: Wikipedia Decimal representation, Decimal representation (definition). Also Wikidata Q1376876

History

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

Mac Lane's planarity criterion NX38036EST

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

Mentions

wikipedia: Wikipedia Cycle space#7O7S, Mac Lane's planarity criterion (statement)

History

2026-11-02: add by m2/dev

NX3A62XGDN NX3A62XGDN

URI	`m2://inv/NX3A62XGDN`
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.08935#CUUM (statement). In G02N9D40B9/e1, theorem 5.1.4

History

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

Statement NX3HF2YPYH

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

Mentions

wikipedia: Wikipedia Chowla–Selberg formula#GBCO, Statement (statement)

History

2026-11-02: add by m2/dev

intertwining NX3JEBTRAR

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#4M8V, intertwining (definition)

History

2026-11-02: add by m2/dev

Applications NX3KSPNVAW

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

Mentions

wikipedia: Wikipedia Mathematics of paper folding#OIY9, Applications (example)

History

2026-11-02: add by m2/dev

NX3KXC2ZZP NX3KXC2ZZP

URI	`m2://inv/NX3KXC2ZZP`
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.39505#DCO1 (statement). In WAXS6FS388/e1, lemma 4.9

History

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

NX3PRR9PVM NX3PRR9PVM

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

Mentions

arxiv: arXiv 2610.12054#MS0T (definition). In 1A01NFHBGA/e1, definition 2.11

History

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

NX3Q1S3XE1 NX3Q1S3XE1

URI	`m2://inv/NX3Q1S3XE1`
Kind	example
Layer	research
MSC	35-XX, 47-XX, 53-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.25289#TGEF (example)

History

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

Kadets, Mikhail Iosiphovich NX3QQE6CAJ

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#WG8M, Kadets, Mikhail Iosiphovich (topic)

History

2026-11-02: add by m2/dev

Gertrude Bancroft NX3S68T6FC

URI	`m2://inv/NX3S68T6FC`
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#QET3, Gertrude Bancroft (topic)

History

2026-11-02: add by m2/dev

NX41A2NS85 NX41A2NS85

URI	`m2://inv/NX41A2NS85`
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 2203.00606#OVEF (statement). In 3WBQFVX65D/e1, corollary 3.1

History

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

Centre for Applied Cryptographic Research NX42P99QBS

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

Mentions

wikipedia: Wikipedia Centre for Applied Cryptographic Research, Centre for Applied Cryptographic Research (definition). Also Wikidata Q5062357

History

2026-11-02: add by m2/dev

Subodha Kumar NX4352YVYC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QS5X, Subodha Kumar (unknown)

History

2026-11-02: add by m2/dev

Robust orbit-gap obstruction NX44RT5GQR

URI	`m2://inv/NX44RT5GQR`
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.14081#QUME, Robust orbit-gap obstruction (statement). In DCCKKQ7Y21/e1, corollary II.3

History

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

NX45Y5HVDH NX45Y5HVDH

URI	`m2://inv/NX45Y5HVDH`
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 2609.21532#WX0O (example)

History

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

Represented Zonotope NX484QMJ0E

URI	`m2://inv/NX484QMJ0E`
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 2609.24235#6OBP, Represented Zonotope (definition)

History

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

Definition NX4Z0D2QRR

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

Mentions

wikipedia: Wikipedia Biquaternion#7NS6, Definition (definition)

History

2026-11-02: add by m2/dev

Definitions NX51W71SZK

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

Mentions

wikipedia: Wikipedia Tutte polynomial#1LSU, Definitions (definition)

History

2026-11-02: add by m2/dev

Reformulation of Borsuk-Ulam NX56MSN33J

URI	`m2://inv/NX56MSN33J`
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 2412.20001#RRWX, Reformulation of Borsuk-Ulam (statement). In Y6YJSB93C3/e1, theorem 18

History

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

Definition NX57VTHG9H

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

Mentions

wikipedia: Wikipedia Approximate tangent space#TGH7, Definition (definition)

History

2026-11-02: add by m2/dev

NX5EP6KFKG NX5EP6KFKG

URI	`m2://inv/NX5EP6KFKG`
Kind	definition
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.18016#YO9L (definition). In V5PVKDKGGG/e1, definition 5.9

History

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

Riemann's explicit formula NX5JTR2MV0

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

Mentions

wikipedia: Wikipedia Explicit formulae for L-functions#LGDG, Riemann's explicit formula (statement)

History

2026-11-02: add by m2/dev

Quota characterization NX5R0BVBRR

URI	`m2://inv/NX5R0BVBRR`
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.03353#MQ4R, Quota characterization (statement). In 8W61T5CSRB/e1, proposition 3.2

History

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

Optimal layer shift NX5TJKMSFW

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

Mentions

arxiv: arXiv 2609.32829#WOKB, Optimal layer shift (statement). In RYWAX33Z51/e1, proposition 5.7

History

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

NX60FSH70B NX60FSH70B

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

Mentions

arxiv: arXiv 2609.32946#1L6U (statement). In 6AEBXNK614/e1, theorem 4.7

History

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

Generalizations NX6FA9DWFC

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

Mentions

wikipedia: Wikipedia Möbius function#VUAS, Generalizations (statement)

History

2026-11-02: add by m2/dev

NX6FYZ51YS NX6FYZ51YS

URI	`m2://inv/NX6FYZ51YS`
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 1903.07030#JUAQ (definition). In 9H45HQE7AZ/e1, definition 2.22

History

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

Example 3 NX6K5NHBAR

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

Mentions

wikipedia: Wikipedia Necessity and sufficiency#5S90, Example 3 (example)

History

2026-11-02: add by m2/dev

NX6V49RNQB NX6V49RNQB

URI	`m2://inv/NX6V49RNQB`
Kind	definition
Layer	research
MSC	16-XX, 17-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.21860#MMVF (definition)

History

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

Charles Joel Stone NX6WT9RQYD

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

Mentions

wikipedia: Wikipedia Charles Joel Stone, Charles Joel Stone (topic). Also Wikidata Q63313572

History

2026-11-02: add by m2/dev

Gregory Beylkin NX77E6M6R1

URI	`m2://inv/NX77E6M6R1`
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#R3PC, Gregory Beylkin (topic)

History

2026-11-02: add by m2/dev

Étale spectrum NX7D9NAB3H

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

Mentions

wikipedia: Wikipedia Étale spectrum, Étale spectrum (definition). Also Wikidata Q30675392

History

2026-11-02: add by m2/dev

NX7DD1Q6FF NX7DD1Q6FF

URI	`m2://inv/NX7DD1Q6FF`
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 2208.05288#51VT (statement). In RTW3GDYPND/e1, lemma 3.9

History

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

Cartogram NX7GR4WFGW

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

Mentions

wikipedia: Wikipedia List of statistics articles#U2VY, Cartogram (definition)

History

2026-11-02: add by m2/dev

regular number NX7PVQ175K

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

Mentions

wikidata: Wikidata Q1826416, regular number (object). Also OEIS A051037
wikipedia: Wikipedia Regular number, Regular number (definition). Also Wikidata Q1826416

History

2026-10-26: add by m2/dev

NX7TJAMS5N NX7TJAMS5N

URI	`m2://inv/NX7TJAMS5N`
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 2610.02141#I0RQ (definition). In 5AB8YPS19N/e1, definition 2.3

History

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

NX7Z59GSSB NX7Z59GSSB

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

Mentions

arxiv: arXiv 2211.10178#27HA (statement). In 8T90H89HNB/e1, theorem 3.3

History

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

NX85F1HHTV NX85F1HHTV

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

Mentions

arxiv: arXiv 2610.09162#VVYV (statement). In TAPS8P2VYS/e1, corollary 1.6

History

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

NX88K7YMJW NX88K7YMJW

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

Mentions

active_calculus: active_calculus source/sec-2-5-chain.xml#ex-2-5-double-angle (example). In 907G4C4EJ1, example, section 2.5.2

History

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

Gerald Madkins NX8QYXVGDP

URI	`m2://inv/NX8QYXVGDP`
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#LJ8Y, Gerald Madkins (unknown)

History

2026-11-02: add by m2/dev

NX986RNKD2 NX986RNKD2

URI	`m2://inv/NX986RNKD2`
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.23941#JOIC (statement)

History

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

NX98NVTTCH NX98NVTTCH

URI	`m2://inv/NX98NVTTCH`
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#AI4D (statement). In ZWS6Q4467X/e1, lemma A.1

History

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

542 (number) NX9B334R74

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

Mentions

wikipedia: Wikipedia 500 (number)#9CJY, 542 (number) (unknown)

History

2026-11-02: add by m2/dev

NX9BZA4NP8 NX9BZA4NP8

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

Mentions

arxiv: arXiv 2610.04498#TQ82 (statement). In HHF08X70P6/e1, lemma 2.4

History

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

NX9CBDWBEQ NX9CBDWBEQ

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

Mentions

arxiv: arXiv 2609.22847#8WF0 (statement)

History

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

Continuous Dual Attainment NX9EBDXB71

URI	`m2://inv/NX9EBDXB71`
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.20316#0GQH, Continuous Dual Attainment (statement)

History

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

Nelson Dunford NX9K6N0C5W

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

Mentions

wikipedia: Wikipedia Nelson Dunford, Nelson Dunford (topic). Also Wikidata Q372303

History

2026-11-02: add by m2/dev

NX9KGXW2GS NX9KGXW2GS

URI	`m2://inv/NX9KGXW2GS`
Kind	statement
Layer	research
MSC	19-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.02017#E9UA (statement). In F6C80AEXC1/e1, proposition 5.4

History

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

Lipót Fejér NX9YR3S0D7

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#Y365, Lipót Fejér (topic)

History

2026-11-02: add by m2/dev

NXA2PT2CPY NXA2PT2CPY

URI	`m2://inv/NXA2PT2CPY`
Kind	statement
Layer	research
MSC	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.38211#IMP3 (statement). In KWKK0S9YJN/e1, theorem 4

History

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

NXA4TPNQ59 NXA4TPNQ59

URI	`m2://inv/NXA4TPNQ59`
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 2401.05118#9V3I (statement). In BT0T0QS2TN/e1, corollary 3.4.1

History

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

NXA5XTR8VT NXA5XTR8VT

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

Mentions

arxiv: arXiv 2510.12502#LZ09 (definition). In 3A4K47Y9F2/e1, definition 3.5

History

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

NXA6PNK2MA NXA6PNK2MA

URI	`m2://inv/NXA6PNK2MA`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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.25289#52C9 (statement)

History

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

NXAA1YY299 NXAA1YY299

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 6.1

History

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

NXAFAXQ9QX NXAFAXQ9QX

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

Mentions

arxiv: arXiv 2609.25823#8CFB (statement)

History

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

NXAG72RM6K NXAG72RM6K

URI	`m2://inv/NXAG72RM6K`
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.03555#8SWB (statement). In 9JZJTRRVR1/e1, lemma 4.20

History

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

NXAGHM1S10 NXAGHM1S10

URI	`m2://inv/NXAGHM1S10`
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.09113#F6QF (statement). In MWAK0MK21N/e1, lemma 2.2

History

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

Extensions NXAGS5JDCJ

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

Mentions

wikipedia: Wikipedia De Finetti's theorem#UY4J, Extensions (statement)

History

2026-11-02: add by m2/dev

NXAP71PD05 NXAP71PD05

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

Mentions

arxiv: arXiv 2610.17139#L11R (statement). In AQWX60Z563/e1, lemma 4.17

History

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

Frank Forelli NXAPZM0FQX

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

Mentions

wikipedia: Wikipedia Frank Forelli, Frank Forelli (topic). Also Wikidata Q21077874

History

2026-11-02: add by m2/dev

Generation Z in the United States NXAQ7D0X77

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

Mentions

wikipedia: Wikipedia Generation Z in the United States, Generation Z in the United States (definition). Also Wikidata Q105062606

History

2026-11-02: add by m2/dev

NXAY43MY84 NXAY43MY84

URI	`m2://inv/NXAY43MY84`
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.22374#E8C8 (statement)

History

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

NXB08VDAYP NXB08VDAYP

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

Mentions

arxiv: arXiv 2610.14847#BJTQ (statement). In 2RC8WXQ9ET/e1, corollary 2.9

History

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

Applications of dual quaternions to 2D geometry NXB498CG3P

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

Mentions

wikipedia: Wikipedia Applications of dual quaternions to 2D geometry, Applications of dual quaternions to 2D geometry (definition). Also Wikidata Q85757774

History

2026-11-02: add by m2/dev

NXBRTF8WD0 NXBRTF8WD0

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

Mentions

arxiv: arXiv 2609.33552#KOX0 (statement). In SRAS2DJJQH/e1, theorem 1.1

History

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

Scaling-invariant topological lower bound NXBSZFGGTN

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

Mentions

arxiv: arXiv 2610.13883#BXK4, Scaling-invariant topological lower bound (statement). In F3PQ8P7R2B/e1, lemma 2

History

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

NXBV4BCX4Q NXBV4BCX4Q

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

Lamprecht's formula NXBWG4YJXQ

URI	`m2://inv/NXBWG4YJXQ`
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.30301#OSXU, Lamprecht's formula (statement). In 7NS75J7HAM/e1, theorem 4.2

History

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

NXC2FTW5RQ NXC2FTW5RQ

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#defn-10 (definition). In E59CDZA4DP, defn, section 10.5.2

History

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

NXC673EPPA NXC673EPPA

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

Mentions

arxiv: arXiv 2609.26665#7C6E (statement)

History

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

Jean-Baptiste Bélanger NXC8SNG4DH

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

Mentions

wikipedia: Wikipedia Jean-Baptiste Bélanger, Jean-Baptiste Bélanger (topic). Also Wikidata Q635389

History

2026-11-02: add by m2/dev

Abraham Wald NXC9NK81J3

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

Mentions

wikipedia: Wikipedia Abraham Wald, Abraham Wald (topic). Also Wikidata Q240772

History

2026-11-02: add by m2/dev

Sharp diffuse expansion NXCFK3AAVJ

URI	`m2://inv/NXCFK3AAVJ`
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#6Y2N, Sharp diffuse expansion (statement). In 9YAE8FNQST/e1, theorem D.4

History

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

NXCNS533EE NXCNS533EE

URI	`m2://inv/NXCNS533EE`
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.26581#10EQ (statement)

History

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

Conditional Kac--Rice formula at finite width NXCQY333BA

URI	`m2://inv/NXCQY333BA`
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.32695#XUW3, Conditional Kac--Rice formula at finite width (statement). In VQSF2E35BX/e1, proposition B.1

History

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

NXCVS800J5 NXCVS800J5

URI	`m2://inv/NXCVS800J5`
Kind	example
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 2211.15302#4IOA (example). In FAZF2RBE6Y/e1, example 2

History

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

NXCWJVT1FG NXCWJVT1FG

URI	`m2://inv/NXCWJVT1FG`
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 2610.19707#0ZM8 (statement). In R6SEBXARYC/e1, lemma 5.3

History

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

Coefficient transport NXCX99ARKN

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

Mentions

arxiv: arXiv 2610.07905#IV32, Coefficient transport (statement). In 88GEN3Z5VG/e1, proposition 5.2

History

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

List of matrices used in statistics NXD05REA5C

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

Mentions

wikipedia: Wikipedia Lists of statistics topics#DLGM, List of matrices used in statistics (topic)

History

2026-11-02: add by m2/dev

NXD3AAS37S NXD3AAS37S

URI	`m2://inv/NXD3AAS37S`
Kind	definition
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 0810.0962#EGPC (definition). In 80YMRN5KS9/e1, definition 8

History

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

Arrangement of pseudolines NXDN234X6H

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

Mentions

wikipedia: Wikipedia Arrangement of pseudolines, Arrangement of pseudolines (definition). Also Wikidata Q134531054

History

2026-11-02: add by m2/dev

Exponential $\beta$-mixing of the lagged state NXDNGJMW3B

URI	`m2://inv/NXDNGJMW3B`
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#SU23, Exponential $\beta$-mixing of the lagged state (statement). In KP94WJVJXY/e1, theorem

History

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

Factor-critical graph NXDPF2AXA3

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

Mentions

wikipedia: Wikipedia Factor-critical graph, Factor-critical graph (definition). Also Wikidata Q5428703

History

2026-11-02: add by m2/dev

Implicature NXDSM3RN4B

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

Mentions

wikipedia: Wikipedia Implicature, Implicature (definition). Also Wikidata Q571227

History

2026-11-02: add by m2/dev

NXDWKYMM00 NXDWKYMM00

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

Mentions

arxiv: arXiv 2309.17091#KD7T (definition). In N0JJM098W2/e1, definition 25

History

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

NXE2820NKC NXE2820NKC

URI	`m2://inv/NXE2820NKC`
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.17547#BBC2 (definition). In XJ59TDP4HA/e1, definition 4.2

History

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

NXE5N166B3 NXE5N166B3

URI	`m2://inv/NXE5N166B3`
Kind	problem
Layer	research
MSC	05-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.23922#ZY4V (problem)

History

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

NXECV26XAT NXECV26XAT

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

Mentions

arxiv: arXiv 2609.37815#VHC9 (definition). In SVJYA0171G/e1, definition 5.5

History

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

Integer-valued polynomial NXEKZK33RX

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

Mentions

wikipedia: Wikipedia List of number theory topics#R50O, Integer-valued polynomial (definition)
wikipedia: Wikipedia List of polynomial topics#BE9V, Integer-valued polynomial (definition)

History

2026-11-02: add by m2/dev

Kernel methods for vector output NXENAWMCSF

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

Mentions

wikipedia: Wikipedia Kernel methods for vector output, Kernel methods for vector output (definition). Also Wikidata Q17100712

History

2026-11-02: add by m2/dev

NXEWYTT2VV NXEWYTT2VV

URI	`m2://inv/NXEWYTT2VV`
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.17608#6II5 (statement). In VAGWC38NSF/e1, lemma 2.1

History

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

Compass equivalence theorem (circle translation) NXF17BY0WA

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

Mentions

wikipedia: Wikipedia Mohr–Mascheroni theorem#3FDT, Compass equivalence theorem (circle translation) (statement)

History

2026-11-02: add by m2/dev

NXF182GDNE NXF182GDNE

URI	`m2://inv/NXF182GDNE`
Kind	statement
Layer	research
MSC	14-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.38556#78SJ (statement). In GC2H0HS7ZM/e1, lemma 3.12

History

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

Definition NXF6Q3JCKA

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

Mentions

wikipedia: Wikipedia Transcendental function#5ACN, Definition (definition)

History

2026-11-02: add by m2/dev

NXF9N6KB0E NXF9N6KB0E

URI	`m2://inv/NXF9N6KB0E`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.27458#8MVV (statement)

History

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

NXFDMFGHJY NXFDMFGHJY

URI	`m2://inv/NXFDMFGHJY`
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 2604.05177#5YSL (statement). In G04BKQV6YM/e1, lemma 4.2

History

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

Daoxing Xia NXFQDZ2JDT

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#DSEU, Daoxing Xia (topic)

History

2026-11-02: add by m2/dev

NXFSCDE0BA NXFSCDE0BA

URI	`m2://inv/NXFSCDE0BA`
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 2609.33954#HFQA (definition). In DBC6DB2VW0/e1, definition 3.1

History

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

Statement NXG0FCSRSF

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

Mentions

wikipedia: Wikipedia Simplicial approximation theorem#RDM7, Statement (statement)

History

2026-11-02: add by m2/dev

NXG1C9FX98 NXG1C9FX98

URI	`m2://inv/NXG1C9FX98`
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.27078#K4T0 (definition)

History

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

NXG7Q0X0KZ NXG7Q0X0KZ

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

Mentions

lebl_scv: lebl_scv scv.tex#prop-10 (statement). In VNMV985MXX, prop, section 2.4

History

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

NXG98GK0J2 NXG98GK0J2

URI	`m2://inv/NXG98GK0J2`
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.20013#V9U6 (statement). In SC5JZQKZH6/e1, theorem 2.3

History

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

John G. Thompson NXG9FGR89N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8TEI, John G. Thompson (topic)

History

2026-11-02: add by m2/dev

Bombieri's theorem NXGEPWHW7K

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

Mentions

wikipedia: Wikipedia Schneider–Lang theorem#4FOQ, Bombieri's theorem (statement)

History

2026-11-02: add by m2/dev

NXGG09G2W2 NXGG09G2W2

URI	`m2://inv/NXGG09G2W2`
Kind	example
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 2606.23841#T6EK (example). In 67FPT1PG7R/e1, example 1

History

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

NXGHMWXSYG NXGHMWXSYG

URI	`m2://inv/NXGHMWXSYG`
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.33531#IXL4 (statement). In HNMJEAR2ER/e1, corollary 4.10

History

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

NXGJ23118B NXGJ23118B

URI	`m2://inv/NXGJ23118B`
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.17957#G1Z3 (statement). In T5ZBX4YPZB/e1, proposition 3.3

History

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

NXH0447KFA NXH0447KFA

URI	`m2://inv/NXH0447KFA`
Kind	conjecture
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 2609.23605#KGE5 (conjecture)

History

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

Variants of cyclic homology NXH2VP8PNN

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

Mentions

wikipedia: Wikipedia Cyclic homology#JZNX, Variants of cyclic homology (statement)

History

2026-11-02: add by m2/dev

Adherent point NXH3FK2RG4

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

Mentions

wikipedia: Wikipedia Adherent point, Adherent point (definition). Also Wikidata Q15217424

History

2026-11-02: add by m2/dev

Type A Cipher Machine NXH7VZ3ZGJ

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

Mentions

wikipedia: Wikipedia Type A Cipher Machine, Type A Cipher Machine (definition). Also Wikidata Q7303601

History

2026-11-02: add by m2/dev

Properties NXHH14N257

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

Mentions

wikipedia: Wikipedia Noetherian ring#ERTW, Properties (statement)

History

2026-11-02: add by m2/dev

Definitions NXHKFETKVQ

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

Mentions

wikipedia: Wikipedia Bornology#OXXO, Definitions (definition)

History

2026-11-02: add by m2/dev

child vertex NXHKRRQ3NW

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

Mentions

wikidata: Wikidata Q1373197, child vertex (unknown). Also MathWorld Child

History

2026-10-26: add by m2/dev

Identification of the mixed model NXHSHR1A2H

URI	`m2://inv/NXHSHR1A2H`
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.03298#4508, Identification of the mixed model (statement). In 9SBZP218SM/e1, proposition 4.2

History

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

Bidding function NXHWZRXV8W

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

Mentions

wikipedia: Wikipedia Auction theory#TK8E, Bidding function (unknown)

History

2026-11-02: add by m2/dev

Min-max principle for singular values NXJ0V9KGV5

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

Mentions

wikipedia: Wikipedia Min-max theorem#M54C, Min-max principle for singular values (statement)

History

2026-11-02: add by m2/dev

Charles-René Reynaud NXJ1WVJYV4

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

Mentions

wikipedia: Wikipedia Charles-René Reynaud, Charles-René Reynaud (topic). Also Wikidata Q2958304

History

2026-11-02: add by m2/dev

Polygonal number NXJ45JX6AY

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

Mentions

wikipedia: Wikipedia List of types of numbers#3R5R, Polygonal number (definition)

History

2026-11-02: add by m2/dev

Abraham Kaplan NXJE7KQTMJ

URI	`m2://inv/NXJE7KQTMJ`
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#UM9M, Abraham Kaplan (unknown)

History

2026-11-02: add by m2/dev

Pooled empirical newsvendor policy NXJFKJCV96

URI	`m2://inv/NXJFKJCV96`
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.37380#OJPC, Pooled empirical newsvendor policy (statement). In 14Y4SA4SX0/e1, corollary

History

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

Burnside category NXJFPH9SRA

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

Mentions

wikidata: Wikidata Q16849534, Burnside category (unknown). Also nLab Burnside category
wikipedia: Wikipedia Burnside category, Burnside category (definition). Also Wikidata Q16849534

History

2026-10-26: add by m2/dev

Generalizations NXJH0QBGZ6

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

Mentions

wikipedia: Wikipedia Replicator equation#7LN0, Generalizations (statement)

History

2026-11-02: add by m2/dev

submanifold NXJJD67S8A

URI	`m2://inv/NXJJD67S8A`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Submanifold VKFW27WXEZ

Mentions

wikidata: Wikidata Q125539, submanifold (unknown). Also MathWorld Submanifold, nLab submanifold
wikipedia: Wikipedia Submanifold, Submanifold (definition). Also Wikidata Q125539

History

2026-10-26: add by m2/dev

Banach–Saks theorem NXJNMZQHR5

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

Mentions

wikipedia: Wikipedia Weak convergence (Hilbert space)#AIU5, Banach–Saks theorem (statement)

History

2026-11-02: add by m2/dev

2-opt NXJSVVVJSC

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

Mentions

wikipedia: Wikipedia 2-opt, 2-opt (definition). Also Wikidata Q291440

History

2026-11-02: add by m2/dev

NXJVYB9CJD NXJVYB9CJD

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 9.1.6

History

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

The homology suspension NXJXF68WNV

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

Mentions

arxiv: arXiv 2610.04164#316Y, The homology suspension (statement). In KR7WXN4EWR/e1, proposition 7.2

History

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

NXK157JPDA NXK157JPDA

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 2.3

History

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

NXK2T8XP2X NXK2T8XP2X

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

Mentions

arxiv: arXiv 2609.28141#WIYF (statement)

History

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

Mark Reckase NXK9Y471JK

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

Mentions

wikipedia: Wikipedia Mark Reckase, Mark Reckase (topic). Also Wikidata Q106698192

History

2026-11-02: add by m2/dev

Definition NXKEQB8E6Z

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

Mentions

wikipedia: Wikipedia Cup product#8W6I, Definition (definition)

History

2026-11-02: add by m2/dev

Properties NXKH2C5P48

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

Mentions

wikipedia: Wikipedia Steiner system#JB4F, Properties (statement)

History

2026-11-02: add by m2/dev

NXKN1MXZ0C NXKN1MXZ0C

URI	`m2://inv/NXKN1MXZ0C`
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 2609.33590#KWSO (statement). In WRE0P7V6Z3/e1, lemma 3.3

History

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

NXKNGKZMBZ NXKNGKZMBZ

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

Mentions

arxiv: arXiv 2309.17091#V557 (definition). In N0JJM098W2/e1, definition 9

History

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

substructural logic NXKNSNEGDE

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

Mentions

wikipedia: Wikipedia Glossary of logic#N5C0, substructural logic (definition)

History

2026-11-02: add by m2/dev

1/4 + 1/16 + 1/64 + 1/256 + ⋯ NXKQDMFCVB

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

Mentions

wikipedia: Wikipedia 1/4 + 1/16 + 1/64 + 1/256 + ⋯, 1/4 + 1/16 + 1/64 + 1/256 + ⋯ (definition). Also Wikidata Q1074845

History

2026-11-02: add by m2/dev

NXKSRJG2WS NXKSRJG2WS

URI	`m2://inv/NXKSRJG2WS`
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.28669#L5I2 (statement)

History

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

NXKT92SEKV NXKT92SEKV

URI	`m2://inv/NXKT92SEKV`
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.18270#LK6Y (statement). In CPDMYJ0NJV/e1, lemma 6.2

History

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

NXKX7RTTPJ NXKX7RTTPJ

URI	`m2://inv/NXKX7RTTPJ`
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.06066#P83W (statement). In V2YFQ5RF6V/e1, theorem 3

History

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

NXKZ3KCH2C NXKZ3KCH2C

URI	`m2://inv/NXKZ3KCH2C`
Kind	example
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.31274#S6N6 (example). In RK0ZMDJ23T/e1, example 1.3.8

History

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

metrizable space NXKZZ33W0E

URI	`m2://inv/NXKZZ33W0E`
Kind	definition
Layer	textbook
MSC	54-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Metrizable space 091GJ3FYD7

Mentions

mathlib_1000: mathlib_1000 Q1194053, Metrization theorems (statement). Also Mathlib TopologicalSpace.metrizableSpace_of_t3_secondCountable, Wikidata Q1194053
thousand_plus: thousand_plus Q1194053, Metrization theorems (statement). Also Mathlib TopologicalSpace.metrizableSpace_of_t3_secondCountable, Wikidata Q1194053, Wikipedia Metrization theorems
wikidata: Wikidata Q1194053, metrizable space (definition). Also ProofWiki Definition:Metrizable_Topology
wikipedia: Wikipedia Metrizable space, Metrizable space (definition). Also Wikidata Q1194053

History

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

system of equations NXM135GM62

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

Mentions

wikidata: Wikidata Q735660, system of equations (unknown). Also MathWorld SimultaneousEquations, MathWorld SystemofEquations
wikipedia: Wikipedia System of equations, System of equations (definition). Also Wikidata Q735660

History

2026-10-26: add by m2/dev

Sparkline NXM2DG44B1

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

Mentions

wikipedia: Wikipedia List of graphical methods#OBAX, Sparkline (definition)

History

2026-11-02: add by m2/dev

NXM7N6TV4Z NXM7N6TV4Z

URI	`m2://inv/NXM7N6TV4Z`
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.22777#A1OH (statement)

History

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

Chen, Cathy Woan-Shu NXM7WXJQGN

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

Mentions

wikipedia: Wikipedia List of statisticians#ZWRD, Chen, Cathy Woan-Shu (unknown)

History

2026-11-02: add by m2/dev

NXM8AE2YZ4 NXM8AE2YZ4

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

Mentions

arxiv: arXiv 2609.37237#KDKS (definition). In GBY82BZCNA/e1, definition 1.1

History

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

NXMAQXSA9A NXMAQXSA9A

URI	`m2://inv/NXMAQXSA9A`
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.20285#V06Z (statement). In RQA728RB77/e1, proposition 17

History

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

Rational moment minorant NXMH6SPQDV

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

Mentions

arxiv: arXiv 2610.14069#1R9Y, Rational moment minorant (statement). In ABYRBVNC3Y/e1, lemma 2.4

History

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

The valid half of Nielsen's characterization NXMHM55MJD

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

Mentions

arxiv: arXiv 2609.20683#I7E9, The valid half of Nielsen's characterization (statement)

History

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

NXMR4FE2SF NXMR4FE2SF

URI	`m2://inv/NXMR4FE2SF`
Kind	statement
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#R6LR (statement)

History

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

Examples NXMTRX32TA

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

Mentions

wikipedia: Wikipedia Geometrography#VANC, Examples (example)

History

2026-11-02: add by m2/dev

NXMWGTVSMZ NXMWGTVSMZ

URI	`m2://inv/NXMWGTVSMZ`
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.16821#OS31 (statement). In EFSGMHG5BW/e1, theorem 3.3

History

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

Neglect of probability NXMWNG30BW

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

Mentions

wikipedia: Wikipedia List of cognitive biases#6555, Neglect of probability (definition)

History

2026-11-02: add by m2/dev

NXMXNNJJZW NXMXNNJJZW

URI	`m2://inv/NXMXNNJJZW`
Kind	definition
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.27974#GMJ5 (definition)

History

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

Anderson–Kadec theorem NXMYWFDX2E

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

Mentions

wikipedia: Wikipedia Anderson–Kadec theorem, Anderson–Kadec theorem (statement). Also Wikidata Q60790479

History

2026-11-02: add by m2/dev

Statement of Wigner's theorem NXN5WXP7PH

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

Mentions

wikipedia: Wikipedia Wigner's theorem#S7CI, Statement of Wigner's theorem (statement)

History

2026-11-02: add by m2/dev

Definitions NXNEW8P8ED

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

Mentions

wikipedia: Wikipedia Linear extension#YNHP, Definitions (definition)

History

2026-11-02: add by m2/dev

M-type NXNKR9YHJD

URI	`m2://inv/NXNKR9YHJD`
Kind	definition
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#R15V, M-type (definition). In 9ZSNSJRJ5N/e1, definition 12

History

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

Automatically Tuned Linear Algebra Software NXNQYYQAD8

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

Mentions

wikipedia: Wikipedia Automatically Tuned Linear Algebra Software, Automatically Tuned Linear Algebra Software (definition). Also Wikidata Q456344

History

2026-11-02: add by m2/dev

Example NXNR8XFHPC

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

Mentions

wikipedia: Wikipedia Huffman coding#5DY0, Example (example)

History

2026-11-02: add by m2/dev

Formal definition NXP2BV7V0F

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

Mentions

wikipedia: Wikipedia Supersingular variety#M02W, Formal definition (definition)

History

2026-11-02: add by m2/dev

NXP3QJEH7C NXP3QJEH7C

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

Mentions

arxiv: arXiv 2609.29432#9MZO (statement)

History

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

NXPD845MJ7 NXPD845MJ7

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_integers.ptx#lemma-2 (statement). In QKM9DD2H56, lemma, section B.14

History

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

Two-moment decision model NXPJ0ZM9DE

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

Mentions

wikipedia: Wikipedia Two-moment decision model, Two-moment decision model (definition). Also Wikidata Q7858735

History

2026-11-02: add by m2/dev

Rank reduction for an elementary block NXPJ2PNS1S

URI	`m2://inv/NXPJ2PNS1S`
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.05364#4TVQ, Rank reduction for an elementary block (statement). In TPYRE2ARMD/e1, corollary 6.8

History

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

Link concordance NXPJE93QME

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

Mentions

wikipedia: Wikipedia List of knot theory topics#7ICB, Link concordance (definition)

History

2026-11-02: add by m2/dev

Quillen model category NXPM6VR4NG

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

Mentions

hott_book: hott_book index/u1.u2/quillen-model-category, Quillen model category (concept). In N54F33XE07, index, section u1.u2

History

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

Barth surface NXPR6DQTM8

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

Mentions

wikipedia: Wikipedia Barth surface, Barth surface (definition). Also Wikidata Q4865185

History

2026-11-02: add by m2/dev

NXPS0TVRG8 NXPS0TVRG8

URI	`m2://inv/NXPS0TVRG8`
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.22784#TY12 (statement)

History

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

Romberg's method NXPT50JEHH

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#YKU0, Romberg's method (definition)

History

2026-11-02: add by m2/dev

Beta-dual space NXPY7EYPC6

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

Mentions

wikipedia: Wikipedia Beta-dual space, Beta-dual space (definition). Also Wikidata Q4897205

History

2026-11-02: add by m2/dev

Stewart's theorem NXQ0YVB22N

URI	`m2://inv/NXQ0YVB22N`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Stewart's theorem HXSK0BNBNE

Mentions

mathlib_1000: mathlib_1000 Q739403, Stewart's theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_mul_dist_add_dist_sq_mul_dist, Wikidata Q739403
thousand_plus: thousand_plus Q739403, Stewart's theorem (statement). Also Wikidata Q739403, Wikipedia Stewart's theorem
wikidata: Wikidata Q739403, Stewart's theorem (statement). Also MathWorld StewartsTheorem, ProofWiki Stewart's_Theorem
wikipedia: Wikipedia Stewart's theorem, Stewart's theorem (statement). Also Wikidata Q739403

History

2026-10-26: add by m2/dev

NXQ8W4QBWH NXQ8W4QBWH

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

Mentions

arxiv: arXiv 2609.31365#O3NT (statement). In 19GENJ3NCP/e1, theorem 5.1

History

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

roots-of-unity defect NXQAVK3Q2M

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

Mentions

arxiv: arXiv 2610.07508#Q5MG, roots-of-unity defect (statement). In TPA3E67MKK/e1, corollary 3.9

History

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

Klein four-group NXQMTF9RQR

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

Mentions

wikipedia: Wikipedia List of small groups#IWNF, Klein four-group (definition)

History

2026-11-02: add by m2/dev

ESC algorithm NXQNB4BGTZ

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

Mentions

wikipedia: Wikipedia List of algorithms#ZBFG, ESC algorithm (unknown)

History

2026-11-02: add by m2/dev

NXQNF8CA7Y NXQNF8CA7Y

URI	`m2://inv/NXQNF8CA7Y`
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.00453#GJJG (statement). In ESPJMBH2R2/e1, lemma 2.9

History

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

NXQXET0BFD NXQXET0BFD

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

Mentions

arxiv: arXiv 2606.00589#X8VN (example). In C8JAGP8VCQ/e1, example 1.6

History

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

NXR07GYGD2 NXR07GYGD2

URI	`m2://inv/NXR07GYGD2`
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 2411.16655#GLV8 (definition). In EJHAXRV685/e1, definition

History

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

NXR2VN99PH NXR2VN99PH

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-81 (proof). In VNMV985MXX, proof, section 6.8

History

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

NXR59K7526 NXR59K7526

URI	`m2://inv/NXR59K7526`
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 2507.23666#X4IX (statement). In YKQ89G5QA2/e1, lemma 2.5

History

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

Philip Coppens NXR84KGXKZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2M46, Philip Coppens (unknown)

History

2026-11-02: add by m2/dev

NXRABE7BC8 NXRABE7BC8

URI	`m2://inv/NXRABE7BC8`
Kind	statement
Layer	research
MSC	19-XX, 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 2609.31883#R0JE (statement). In XBHQRTBH62/e1, lemma 1.12

History

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

The slipperiness of ice NXRRS1AWGA

URI	`m2://inv/NXRRS1AWGA`
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#0LY7, The slipperiness of ice (unknown)

History

2026-11-02: add by m2/dev

Examples NXRTE8BFNS

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

Mentions

wikipedia: Wikipedia Exponential integrator#EP4Y, Examples (example)

History

2026-11-02: add by m2/dev

General definition NXRWNT09QE

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

Mentions

wikipedia: Wikipedia Image (category theory)#WO9C, General definition (definition)

History

2026-11-02: add by m2/dev

Free-volume identity NXRYB38FWR

URI	`m2://inv/NXRYB38FWR`
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.25120#BXYG, Free-volume identity (statement)

History

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

Richard Wyatt Jr. NXRYE98DEB

URI	`m2://inv/NXRYE98DEB`
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#5VCI, Richard Wyatt Jr. (unknown)

History

2026-11-02: add by m2/dev

NXS0MY7B13 NXS0MY7B13

URI	`m2://inv/NXS0MY7B13`
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.09998#J138 (definition). In AFMB05H7A6/e1, definition 12

History

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

NXS5SGNG5R NXS5SGNG5R

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

Mentions

arxiv: arXiv 2610.08010#WJBJ (statement). In 2S89BG5WPH/e1, lemma 4.1

History

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

NXSB6R8M82 NXSB6R8M82

URI	`m2://inv/NXSB6R8M82`
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#E0B3 (definition). In M0SQY5EZN5/e1, definition 4.7.8

History

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

continuous function of two variables NXSDH7BDYE

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

Mentions

lebl_ra: lebl_ra index/9.3.2/continuous-function-of-two-variables, continuous function of two variables (concept). In E59CDZA4DP, index, section 9.3.2

History

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

Coarser topology NXSQTK78DP

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

Mentions

wikipedia: Wikipedia Glossary of general topology#4W9Q, Coarser topology (definition)

History

2026-11-02: add by m2/dev

Pell prime NXSZWRQC1R

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

Mentions

wikipedia: Wikipedia Pell number#MP29, Pell prime (unknown)

History

2026-11-02: add by m2/dev

NXT6E8YF0D NXT6E8YF0D

URI	`m2://inv/NXT6E8YF0D`
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 2610.21632#EIUY (definition). In Q4RZTN2EX6/e1, definition A

History

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

NXTCY51ZA0 NXTCY51ZA0

URI	`m2://inv/NXTCY51ZA0`
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.17677#BHZW (statement). In 5E9G06XJKC/e1, lemma F.29

History

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

NXTM660B4A NXTM660B4A

URI	`m2://inv/NXTM660B4A`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-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.39389#RGTE (statement). In PP5RE0W4D8/e1, proposition 3.4

History

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

NXTY74FWT4 NXTY74FWT4

URI	`m2://inv/NXTY74FWT4`
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.07259#R8A2 (statement). In XMR1TTDSPG/e1, lemma 4.3

History

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

NXTY7XHGWE NXTY7XHGWE

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

Mentions

wikipedia: Wikipedia Parallelohedron#MGAJ (problem)

History

2026-11-02: add by m2/dev

Ben Green NXV3F0C08R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VLPJ, Ben Green (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3DZK, Ben Green (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#61R3, Ben Green (topic)

History

2026-11-02: add by m2/dev

induction schema NXVCYWY1T9

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

Mentions

wikipedia: Wikipedia Glossary of logic#90AD, induction schema (definition)

History

2026-11-02: add by m2/dev

Puiseux's theorem NXVH8CRH90

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

Mentions

wikidata: Wikidata Q3527141, Puiseux's theorem (statement). Also MathWorld PuiseuxsTheorem

History

2026-10-26: add by m2/dev

Stieltjes moment problem NXVRRJCSNA

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

Mentions

wikipedia: Wikipedia List of statistics articles#H3K6, Stieltjes moment problem (problem)

History

2026-11-02: add by m2/dev

Aleksandr Volodin NXVRWT9JXQ

URI	`m2://inv/NXVRWT9JXQ`
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 Q4123769, Aleksandr Volodin (unknown). Also nLab I. A. Volodin

History

2026-10-26: add by m2/dev

NXVVZGTZVC NXVVZGTZVC

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

Mentions

arxiv: arXiv 2610.04873#8THU (statement). In GWG2WM0E4X/e1, corollary 1

History

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

NXVXNRH95B NXVXNRH95B

URI	`m2://inv/NXVXNRH95B`
Kind	statement
Layer	research
MSC	17-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 2603.07541#T551 (statement). In X3RFXWN6FW/e1, proposition 3.2

History

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

NXVZX09ZJH NXVZX09ZJH

URI	`m2://inv/NXVZX09ZJH`
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.24577#H6E1 (statement)

History

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

Bennett's inequality NXW73RTG3F

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

Mentions

wikipedia: Wikipedia List of inequalities#UYJH, Bennett's inequality (statement)

History

2026-11-02: add by m2/dev

NXWBDMJHSX NXWBDMJHSX

URI	`m2://inv/NXWBDMJHSX`
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.05032#IH5W (statement). In DDNK8D4359/e1, proposition 3.1

History

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

NXWBT2SAX5 NXWBT2SAX5

URI	`m2://inv/NXWBT2SAX5`
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.07471#0BWM (statement). In 7DHCS5SEHT/e1, lemma 12

History

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

A quantitative exactly private Gaussian output NXWE3MJJJV

URI	`m2://inv/NXWE3MJJJV`
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#XXMQ, A quantitative exactly private Gaussian output (statement). In 9YAE8FNQST/e1, proposition 28.12

History

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

NXWH7FACKA NXWH7FACKA

URI	`m2://inv/NXWH7FACKA`
Kind	example
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.06108#V1G6 (example). In D3WKY1PW64/e1, example 2.3

History

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

Roots of unity NXWNMWVW66

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

Mentions

wikipedia: Wikipedia List of numbers#F2F9, Roots of unity (definition)

History

2026-11-02: add by m2/dev

Michael Jerome Hopkins NXWT2ST1KB

URI	`m2://inv/NXWT2ST1KB`
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#GBE7, Michael Jerome Hopkins (topic)

History

2026-11-02: add by m2/dev

Philosophy of Pseudoscience NXWYNV7DKS

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

Mentions

wikipedia: Wikipedia Philosophy of Pseudoscience, Philosophy of Pseudoscience (definition). Also Wikidata Q105413705

History

2026-11-02: add by m2/dev

Existence of the connection constant NXWZ1X9SS3

URI	`m2://inv/NXWZ1X9SS3`
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.00396#S4UJ, Existence of the connection constant (statement). In V13TE1RWT9/e1, corollary 5.3

History

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

Coale, Ansley J. NXX3BR1QQ4

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

Mentions

wikipedia: Wikipedia List of statisticians#MESZ, Coale, Ansley J. (unknown)

History

2026-11-02: add by m2/dev

NXX62XKBKX NXX62XKBKX

URI	`m2://inv/NXX62XKBKX`
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.16178#BGAU (statement). In 698X5RE1AB/e1, theorem 2.8

History

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

Terminology NXX98BXE80

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

Mentions

wikipedia: Wikipedia Generation Alpha#17V1, Terminology (definition)

History

2026-11-02: add by m2/dev

A criterion of standardness NXXCBJ6D80

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

Mentions

wikipedia: Wikipedia Standard probability space#7NG9, A criterion of standardness (statement)

History

2026-11-02: add by m2/dev

NXXJYCXQ9Y NXXJYCXQ9Y

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

Mentions

arxiv: arXiv 2610.13680#1QNX (unknown). In QNBFHFZ3H0/e1, unknown 139

History

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

Jones index theorem NXXPGFBFEP

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

Mentions

wikipedia: Wikipedia Subfactor#1LIC, Jones index theorem (statement)

History

2026-11-02: add by m2/dev

Chris Brand NXXPS6EE9J

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

Mentions

wikipedia: Wikipedia Chris Brand, Chris Brand (topic). Also Wikidata Q5105959

History

2026-11-02: add by m2/dev

NXXV9T3F6N NXXV9T3F6N

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

Mentions

arxiv: arXiv 2609.23202#GSMF (definition)

History

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

LP NXXXFRFPMD

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

Mentions

wikipedia: Wikipedia Glossary of logic#YN18, LP (definition)

History

2026-11-02: add by m2/dev

Newton–Leibniz axiom NXY129J68J

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

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#1N42, Newton–Leibniz axiom (statement)

History

2026-11-02: add by m2/dev

NXYB6GZ2FN NXYB6GZ2FN

URI	`m2://inv/NXYB6GZ2FN`
Kind	statement
Layer	research
MSC	03-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 2602.15812#WA3Y (statement). In GAAZD3SGPN/e1, proposition

History

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

Reye congruence NXYJG48AG9

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#W5P4, Reye congruence (definition)

History

2026-11-02: add by m2/dev

NXYMQVJE8T NXYMQVJE8T

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#definition-4 (definition). In RZP28ERRZV, definition, section 5.5

History

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

Adjugate equations NXYVSJF5HN

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

Mentions

arxiv: arXiv 2609.25762#RV0T, Adjugate equations (statement)

History

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

List of UC Los Angeles chancellors NXZ0E8N0FC

URI	`m2://inv/NXZ0E8N0FC`
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#BHP9, List of UC Los Angeles chancellors (unknown)

History

2026-11-02: add by m2/dev

NXZ4ZS0CZJ NXZ4ZS0CZJ

URI	`m2://inv/NXZ4ZS0CZJ`
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 0809.4587#3ROZ (statement). In KQ8JPHDKKE/e1, proposition 9.2.3

History

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

NXZJG1PS0Z NXZJG1PS0Z

URI	`m2://inv/NXZJG1PS0Z`
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.23847#39DY (statement)

History

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

NXZQ32G5XS NXZQ32G5XS

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

Mentions

arxiv: arXiv 2609.27800#0DR0 (statement)

History

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

NXZW9PDF36 NXZW9PDF36

URI	`m2://inv/NXZW9PDF36`
Kind	statement
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.39615#YET3 (statement). In RNXRAZYR3S/e1, proposition 5.1

History

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