Inventory rows EE

EE00GYHSEZ EE00GYHSEZ

URI	`m2://inv/EE00GYHSEZ`
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.05696#56DJ (statement). In MG81A9XJTQ/e1, lemma V.2

History

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

Semantic context yields context PER EE02G92WRS

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

Mentions

arxiv: arXiv 2610.21131#C6KU, Semantic context yields context PER (statement). In CPYWHRTPKC/e1, lemma 6.34

History

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

Comparison of vector algebra and geometric algebra EE038WQW1T

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

Mentions

wikipedia: Wikipedia Comparison of vector algebra and geometric algebra, Comparison of vector algebra and geometric algebra (definition). Also Wikidata Q5156019

History

2026-11-02: add by m2/dev

Geoffrey Horrocks EE03WY0JG9

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

Mentions

wikipedia: Wikipedia Geoffrey Horrocks (mathematician), Geoffrey Horrocks (topic). Also Wikidata Q5534681

History

2026-11-02: add by m2/dev

Stephen S. Kudla EE03ZJ4TSD

URI	`m2://inv/EE03ZJ4TSD`
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#GHWY, Stephen S. Kudla (topic)

History

2026-11-02: add by m2/dev

Karl Mayr EE051SVW7N

URI	`m2://inv/EE051SVW7N`
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#H9RC, Karl Mayr (unknown)

History

2026-11-02: add by m2/dev

Uniformity and independence with exhaustive pair search EE06C75XEE

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

Mentions

arxiv: arXiv 2609.37482#B0MP, Uniformity and independence with exhaustive pair search (statement). In 9QDRMZX8EY/e1, theorem 0.5

History

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

EE0AAXQDRE EE0AAXQDRE

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

Mentions

arxiv: arXiv 2609.27483#G1QU (statement)

History

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

class EE0DYPBXBD

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#CBGG, class (definition)

History

2026-11-02: add by m2/dev

EE0ET86P25 EE0ET86P25

URI	`m2://inv/EE0ET86P25`
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 0910.5574#FJQ9 (statement). In 2TJRBRKYAY/e1, lemma 5.2

History

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

Game IV $\geqslant$ Game VI$_{\sf m}$ EE0R1AT62K

URI	`m2://inv/EE0R1AT62K`
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 1803.10042#2SA2, Game IV $\geqslant$ Game VI$_{\sf m}$ (statement). In 718SP8YERQ/e1, proposition A3

History

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

EE0SDPCGZ6 EE0SDPCGZ6

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

History

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

Rao–Sandelius shuffle EE0SE8P9D9

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

Mentions

wikipedia: Wikipedia Rao–Sandelius shuffle, Rao–Sandelius shuffle (definition). Also Wikidata Q137583494

History

2026-11-02: add by m2/dev

Compound of five small stellated dodecahedra EE0TCCP6VE

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

Mentions

wikipedia: Wikipedia Compound of five small stellated dodecahedra, Compound of five small stellated dodecahedra (definition). Also Wikidata Q5156863

History

2026-11-02: add by m2/dev

EE0W5X79KN EE0W5X79KN

URI	`m2://inv/EE0W5X79KN`
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#KHEA (statement). In 793KXAR957/e1, theorem 4.4

History

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

Theorem 3 EE0XGWD74K

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

Mentions

wikipedia: Wikipedia Geiringer–Laman theorem#PNVN, Theorem 3 (statement)

History

2026-11-02: add by m2/dev

EE13CVNEKY EE13CVNEKY

URI	`m2://inv/EE13CVNEKY`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#CHVF (statement). In PA6JQDSKQT/e1, proposition 3.10

History

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

EE13K09R00 EE13K09R00

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

Mentions

lebl_scv: lebl_scv scv.tex#example-28 (example). In VNMV985MXX, example, section 6.8

History

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

Publications of Statistics Canada EE1FBK66VK

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

Mentions

wikipedia: Wikipedia Statistics Canada#3N7I, Publications of Statistics Canada (unknown)

History

2026-11-02: add by m2/dev

Applications EE1VBG9NQX

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

Mentions

wikipedia: Wikipedia Non-commutative conditional expectation#828R, Applications (example)

History

2026-11-02: add by m2/dev

Properties EE228XQGRK

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

Mentions

wikipedia: Wikipedia Siegel modular variety#JPFL, Properties (statement)

History

2026-11-02: add by m2/dev

422 (number) EE23JQ2BG3

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

Mentions

wikipedia: Wikipedia 400 (number)#DY8V, 422 (number) (unknown)

History

2026-11-02: add by m2/dev

Structured derivations EE26HBMTT6

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

Mentions

wikipedia: Wikipedia Structured derivations, Structured derivations (definition). Also Wikidata Q7625195

History

2026-11-02: add by m2/dev

Biconjugate EE2BW34GYP

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

Mentions

wikipedia: Wikipedia Convex conjugate#0ZUD, Biconjugate (unknown)

History

2026-11-02: add by m2/dev

EE2BXP2PC4 EE2BXP2PC4

URI	`m2://inv/EE2BXP2PC4`
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 2609.39981#2GW5 (example). In PMMV6YAEVR/e1, example 1

History

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

Wolfgang Doeblin EE2G4DVRGX

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

Mentions

wikipedia: Wikipedia Wolfgang Doeblin, Wolfgang Doeblin (topic). Also Wikidata Q95821

History

2026-11-02: add by m2/dev

EE2G82Y8QW EE2G82Y8QW

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

Mentions

arxiv: arXiv 2609.37897#8WAV (statement). In RBQ5FNCVNZ/e1, lemma 10.8

History

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

EE2H0SMYNP EE2H0SMYNP

URI	`m2://inv/EE2H0SMYNP`
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#0AKZ (definition). In G70Q2FB591/e1, definition 4.4

History

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

A.M. Klein EE2R5J96TH

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#XZCR, A.M. Klein (unknown)

History

2026-11-02: add by m2/dev

EE2RVK9PMZ EE2RVK9PMZ

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

Mentions

arxiv: arXiv 2609.35467#61W8 (definition). In FK89DQ9J4S/e1, definition 2.1

History

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

Example EE2XH2NW17

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

Mentions

wikipedia: Wikipedia Edit distance#LY5K, Example (example)

History

2026-11-02: add by m2/dev

EE2XMZY1JA EE2XMZY1JA

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

Mentions

arxiv: arXiv 2609.32650#JVV4 (statement). In PHXJ87HKYB/e1, lemma 4.3

History

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

EE2YMJW3HT EE2YMJW3HT

URI	`m2://inv/EE2YMJW3HT`
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 2609.24007#8LC0 (statement)

History

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

Category of Markov kernels EE32RNFA4R

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

Mentions

wikipedia: Wikipedia Category of Markov kernels, Category of Markov kernels (definition). Also Wikidata Q128099246

History

2026-11-02: add by m2/dev

EE34DWHJTC EE34DWHJTC

URI	`m2://inv/EE34DWHJTC`
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.20894#Y1ZJ (statement)

History

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

EE3B79X8H8 EE3B79X8H8

URI	`m2://inv/EE3B79X8H8`
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.16554#56GY (statement). In GWNT8HEZG1/e1, lemma 4.33

History

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

EE3HETQFAQ EE3HETQFAQ

URI	`m2://inv/EE3HETQFAQ`
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.10365#XL04 (statement). In PRVQPSBVHK/e1, corollary 3

History

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

EE3N27BBRY EE3N27BBRY

URI	`m2://inv/EE3N27BBRY`
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 2610.15352#SKCM (definition). In R39P7AFXM8/e1, definition 1.1

History

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

Symmetries EE3Q388VRF

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

Mentions

wikipedia: Wikipedia Heun function#TYKW, Symmetries (statement)

History

2026-11-02: add by m2/dev

EE3QJ0Z184 EE3QJ0Z184

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

Mentions

arxiv: arXiv math/9201244#YII9 (definition). In 7D3HCN21MK/e1, definition 1.8

History

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

Minimal prime ideal EE40D0KDX5

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

Mentions

wikipedia: Wikipedia Minimal prime ideal, Minimal prime ideal (definition). Also Wikidata Q17098959

History

2026-11-02: add by m2/dev

EE4707BRN7 EE4707BRN7

URI	`m2://inv/EE4707BRN7`
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.31527#6HF7 (statement). In ZQ2YZ4P6P5/e1, theorem 5.1

History

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

EE48NW4KF6 EE48NW4KF6

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

Mentions

arxiv: arXiv 2610.02158#LI0D (statement). In PCV12VAD47/e1, lemma 12

History

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

EE4A8S59J3 EE4A8S59J3

URI	`m2://inv/EE4A8S59J3`
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.33469#0HFN (definition). In TC5QA4AB4Z/e1, definition 3.14

History

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

EE4ASRYDK8 EE4ASRYDK8

URI	`m2://inv/EE4ASRYDK8`
Kind	statement
Layer	research
MSC	35-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 2609.28076#EJSI (statement)

History

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

Fenchel's Law EE4ATWSQ09

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

Mentions

wikipedia: Wikipedia Fenchel's Law, Fenchel's Law (statement). Also Wikidata Q5443002

History

2026-11-02: add by m2/dev

EE4DA6T7FD EE4DA6T7FD

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

Mentions

arxiv: arXiv 2609.27635#YEBU (statement)

History

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

EE4JK42XDP EE4JK42XDP

URI	`m2://inv/EE4JK42XDP`
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.10576#0M8F (statement). In N3ZA5MDZBW/e1, lemma 6

History

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

List of curves EE4M33YQRC

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

Mentions

wikipedia: Wikipedia List of curves, List of curves (topic). Also Wikidata Q1317672

History

2026-11-02: add by m2/dev

Example EE4PGETMF2

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

Mentions

wikipedia: Wikipedia 71 knot#9RXB, Example (example)

History

2026-11-02: add by m2/dev

Catalogue of Triangle Cubics EE4RFC6HHC

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

Mentions

wikipedia: Wikipedia List of triangle topics#EZKY, Catalogue of Triangle Cubics (definition)

History

2026-11-02: add by m2/dev

EE4YQ8303D EE4YQ8303D

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

Mentions

arxiv: arXiv 2610.13213#Q2WF (definition). In V97F4YZ8B0/e1, definition 8.1

History

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

Brun's theorem EE52BAAQ4Q

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

Mentions

wikipedia: Wikipedia Twin prime#ZCMD, Brun's theorem (statement)

History

2026-11-02: add by m2/dev

Andreotti–Frankel theorem EE53XCAGKQ

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

Mentions

mathlib_1000: mathlib_1000 Q4756099, Andreotti–Frankel theorem (statement). Also Wikidata Q4756099
thousand_plus: thousand_plus Q4756099, Andreotti–Frankel theorem (statement). Also Wikidata Q4756099, Wikipedia Andreotti–Frankel theorem
wikipedia: Wikipedia Andreotti–Frankel theorem, Andreotti–Frankel theorem (statement). Also Wikidata Q4756099

History

2026-10-26: add by m2/dev

Atom-free disagreement without crossing EE5D3GBPB7

URI	`m2://inv/EE5D3GBPB7`
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 2609.33472#9ZXX, Atom-free disagreement without crossing (example). In WBQQBZ4FCJ/e1, example 7.2

History

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

EE5E03DR33 EE5E03DR33

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

Mentions

arxiv: arXiv 2609.25801#MOIA (statement)

History

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

EE5JMFM60K EE5JMFM60K

URI	`m2://inv/EE5JMFM60K`
Kind	statement
Layer	research
MSC	37-XX, 46-XX, 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.24901#LU82 (statement)

History

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

EE5PNJMZ9Z EE5PNJMZ9Z

URI	`m2://inv/EE5PNJMZ9Z`
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.13908#IFRX (statement). In 9C684206F0/e1, corollary 7.3

History

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

Cauchy series EE5Q23Z0EK

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

Mentions

lebl_ra: lebl_ra index/10.5.2/cauchy-series, Cauchy series (concept). In E59CDZA4DP, index, section 10.5.2

History

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

EE5VHH54VR EE5VHH54VR

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

Mentions

arxiv: arXiv 2609.32903#EH94 (statement). In S8NB83KQX3/e1, lemma 5

History

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

Primitive quasi-unipotence in every rank at least three EE62EBHHM4

URI	`m2://inv/EE62EBHHM4`
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 2609.27204#MCBP, Primitive quasi-unipotence in every rank at least three (statement)

History

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

Critical phenomena EE641D5607

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

Mentions

wikipedia: Wikipedia Critical phenomena, Critical phenomena (definition). Also Wikidata Q900634

History

2026-11-02: add by m2/dev

strict, category EE6HMX7ZEA

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

Mentions

hott_book: hott_book index/2/strict-category, strict, category (concept). In N54F33XE07, index, section 2

History

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

EE6KEJHJ0M EE6KEJHJ0M

URI	`m2://inv/EE6KEJHJ0M`
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.11836#RCX3 (statement). In 1X68TCGB9E/e1, proposition 3.4

History

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

EE6XQ2FS05 EE6XQ2FS05

URI	`m2://inv/EE6XQ2FS05`
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.14204#ILXG (statement). In GZAY1Y12YD/e1, theorem F

History

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

EE724YNDEC EE724YNDEC

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

Mentions

arxiv: arXiv 2610.08776#SOAY (definition). In ZQ4M778EA7/e1, definition 2.1

History

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

Rawson W. Rawson EE76B4Y4NW

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

Mentions

wikipedia: Wikipedia Rawson W. Rawson, Rawson W. Rawson (topic). Also Wikidata Q4398741

History

2026-11-02: add by m2/dev

A biased stochastic oracle on a compact set EE7KYNXJA2

URI	`m2://inv/EE7KYNXJA2`
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.15543#39SK, A biased stochastic oracle on a compact set (statement). In TQSHQZFCS5/e1, lemma C.1

History

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

Chandrasekhar's white dwarf equation EE7PTJE0BS

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

Mentions

wikipedia: Wikipedia List of named differential equations#VV1P, Chandrasekhar's white dwarf equation (definition)

History

2026-11-02: add by m2/dev

Annals of Statistics EE7R75E15P

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

Mentions

wikipedia: Wikipedia List of statistics journals#U1C0, Annals of Statistics (definition)

History

2026-11-02: add by m2/dev

EE85BJYTE6 EE85BJYTE6

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

Mentions

arxiv: arXiv 2609.38548#X8E0 (definition). In Z7ZFV3HM1S/e1, definition 4.13

History

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

EE895Y7MP6 EE895Y7MP6

URI	`m2://inv/EE895Y7MP6`
Kind	definition
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#DWL4 (definition). In 2S89BG5WPH/e1, definition 2.6

History

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

F. Thomas Juster EE8G0X4N8C

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#ECRF, F. Thomas Juster (unknown)

History

2026-11-02: add by m2/dev

Generalizations EE8MZMVRCR

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

Mentions

wikipedia: Wikipedia Law of total variance#D4QS, Generalizations (statement)

History

2026-11-02: add by m2/dev

Examples EE8RJ8KYFY

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

Mentions

wikipedia: Wikipedia Polyhedral space#I5H3, Examples (example)

History

2026-11-02: add by m2/dev

Quadritruncated 7-cubic honeycomb EE8VKAKBPV

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

Mentions

wikipedia: Wikipedia 7-cubic honeycomb#VR0F, Quadritruncated 7-cubic honeycomb (unknown)

History

2026-11-02: add by m2/dev

EE9AQ2Z0EE EE9AQ2Z0EE

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 10.1.6

History

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

EE9HTM2TH9 EE9HTM2TH9

URI	`m2://inv/EE9HTM2TH9`
Kind	example
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.11043#0J3V (example). In R3NJYPZH52/e1, example 2.3

History

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

Binomial coefficient EE9Q5CBBMD

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

Mentions

wikipedia: Wikipedia Lists of integrals#A8N3, Binomial coefficient (definition)

History

2026-11-02: add by m2/dev

EE9QEN92CG EE9QEN92CG

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

Mentions

arxiv: arXiv 2609.24023#RTBZ (definition)

History

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

Giacomo Venturoli EE9Z41X32T

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

Mentions

wikipedia: Wikipedia Giacomo Venturoli, Giacomo Venturoli (topic). Also Wikidata Q20096867

History

2026-11-02: add by m2/dev

EEA1T1ZD2V EEA1T1ZD2V

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

Mentions

arxiv: arXiv 2610.01888#ASBH (statement). In A89G9GMPC9/e1, lemma 2.8

History

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

$\half$ isn't an algebraic integer EEA3CPD938

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#example-7, $\half$ isn't an algebraic integer (example). In RZP28ERRZV, example, section 15.2

History

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

Louis Crelier EEA6JC43Z1

URI	`m2://inv/EEA6JC43Z1`
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#MRZR, Louis Crelier (topic)

History

2026-11-02: add by m2/dev

EEA8VSTC9Q EEA8VSTC9Q

URI	`m2://inv/EEA8VSTC9Q`
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 1903.11969#NWO1 (statement). In 9N4EV3GRM7/e1, lemma 4.4

History

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

Weighted average return on assets EEAF63AB9K

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

Mentions

wikipedia: Wikipedia Weighted average return on assets, Weighted average return on assets (definition). Also Wikidata Q7979894

History

2026-11-02: add by m2/dev

EEAFBSTVJF EEAFBSTVJF

URI	`m2://inv/EEAFBSTVJF`
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 2610.12489#F9A5 (statement). In FDWFVD08SE/e1, corollary 2.23

History

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

The Principle of Humanity EEAME948KJ

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

Mentions

wikipedia: Wikipedia Ted Honderich#V2VP, The Principle of Humanity (statement)

History

2026-11-02: add by m2/dev

Examples EEAPM516MD

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

Mentions

wikipedia: Wikipedia Binet equation#25ZU, Examples (example)

History

2026-11-02: add by m2/dev

EEAPQ9N9X5 EEAPQ9N9X5

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

Mentions

hott_book: hott_book induction.tex#ex:same-recurrence-not-defeq (exercise). In N54F33XE07, ex, section 8.8

History

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

EEAT66CZ7H EEAT66CZ7H

URI	`m2://inv/EEAT66CZ7H`
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 2303.14022#ZOQX (statement). In NSYR6W27FP/e1, corollary 6.12

History

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

EEAT7QD0PW EEAT7QD0PW

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

Mentions

arxiv: arXiv 2610.07092#XIPF (definition). In JWNYJVH8XG/e1, definition 3.23

History

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

Computable analysis EEB1KN9TS4

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#LHEW, Computable analysis (topic)

History

2026-11-02: add by m2/dev

orthonormal function system EEB2RP3NPF

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

Mentions

wikidata: Wikidata Q7104840, orthonormal function system (unknown). Also MathWorld OrthonormalFunctions
wikipedia: Wikipedia Orthonormal function system, Orthonormal function system (definition). Also Wikidata Q7104840

History

2026-10-26: add by m2/dev

EEB54KB8QK EEB54KB8QK

URI	`m2://inv/EEB54KB8QK`
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.16518#UVVS (statement). In SAQBDG4FK1/e1, theorem C.2

History

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

EEB79D28P1 EEB79D28P1

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

Mentions

arxiv: arXiv 2610.19010#GE6J (statement). In 6315NJBYJM/e1, proposition 11

History

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

Twisted Fermi coordinates EEB94F5K7N

URI	`m2://inv/EEB94F5K7N`
Kind	definition
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#AKYK, Twisted Fermi coordinates (definition). In RYWAX33Z51/e1, definition 4.6

History

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

Published hereditary and periodic criteria EEBF5BP86V

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

Mentions

arxiv: arXiv 2609.39700#PUNX, Published hereditary and periodic criteria (statement). In E7W2HDNEKJ/e1, theorem 2.14

History

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

Microwave cavity EEBHKTQER0

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

Mentions

wikipedia: Wikipedia Microwave cavity, Microwave cavity (definition). Also Wikidata Q5759014

History

2026-11-02: add by m2/dev

EEBT1KAWTC EEBT1KAWTC

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 50.2

History

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

Example EEBT62E967

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

Mentions

wikipedia: Wikipedia Twisting properties#58SD, Example (example)

History

2026-11-02: add by m2/dev

EEBVB66P9N EEBVB66P9N

URI	`m2://inv/EEBVB66P9N`
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 2506.08233#OYAF (definition). In 2TXXQ2575Y/e1, definition 5.12

History

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

type, universe EEBXCDCNBV

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

Mentions

hott_book: hott_book index/4.1.1/type-universe, type, universe (concept). In N54F33XE07, index, section 4.1.1

History

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

EEC4BR9VRE EEC4BR9VRE

URI	`m2://inv/EEC4BR9VRE`
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 2310.19073#NJP6 (statement). In DK2ZSJ65ZV/e1, lemma 4

History

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

abelian group EEC7QXJMXQ

URI	`m2://inv/EEC7QXJMXQ`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Abelian group 071DDFVG4J

Mentions

wikidata: Wikidata Q181296, abelian group (concept). Also EoM Abelian_group, LMFDB knowl group.abelian, Mathlib CommGroup, MathWorld AbelianGroup, nLab abelian group, ProofWiki Definition:Abelian_Group
wikipedia: Wikipedia Abelian group, Abelian group (definition). Also Wikidata Q181296

History

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

Arthur F. Burns EECNHDNJ1T

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#TD8V, Arthur F. Burns (unknown)

History

2026-11-02: add by m2/dev

EECWMGHXG8 EECWMGHXG8

URI	`m2://inv/EECWMGHXG8`
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 2506.16491#EHY7 (statement). In P9J6P06Y40/e1, lemma 4.19

History

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

EEDFR6X7N9 EEDFR6X7N9

URI	`m2://inv/EEDFR6X7N9`
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.16323#HH53 (statement). In E215DFNY09/e1, theorem

History

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

Approximation EEDHH8JC71

URI	`m2://inv/EEDHH8JC71`
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.14154#L9TQ, Approximation (statement). In 8X6PXX2TRA/e1, lemma 4.3

History

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

Artin--Schreier invariance EEDMDH0MK2

URI	`m2://inv/EEDMDH0MK2`
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#9IEL, Artin--Schreier invariance (statement). In 7NS75J7HAM/e1, lemma 9.11

History

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

Examples EEEAY44JJG

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

Mentions

wikipedia: Wikipedia Riemannian manifold#IBD6, Examples (example)

History

2026-11-02: add by m2/dev

Golden triangle (mathematics) EEEG7KM4GV

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

Mentions

wikipedia: Wikipedia List of triangle topics#WIXF, Golden triangle (mathematics) (definition)

History

2026-11-02: add by m2/dev

EEEKGCZCJA EEEKGCZCJA

URI	`m2://inv/EEEKGCZCJA`
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.10576#XKYX (statement). In N3ZA5MDZBW/e1, theorem 2

History

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

Formal Laurent series EEEWKY2K8J

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

Mentions

wikipedia: Wikipedia Formal power series#9YE0, Formal Laurent series (unknown)

History

2026-11-02: add by m2/dev

Monte Carlo molecular modeling EEEXFFD6JB

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

Mentions

wikipedia: Wikipedia Monte Carlo molecular modeling, Monte Carlo molecular modeling (definition). Also Wikidata Q6904703

History

2026-11-02: add by m2/dev

EEF34GT8HX EEF34GT8HX

URI	`m2://inv/EEF34GT8HX`
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.09390#UWUN (definition). In 7SSKW778T8/e1, definition 2.26

History

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

U-category EEF4VEJ4BG

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

Mentions

wikipedia: Wikipedia Glossary of category theory#OEH0, U-category (definition)

History

2026-11-02: add by m2/dev

Rosemary Roberts EEF6TDT5GN

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

Mentions

wikipedia: Wikipedia Rosemary Roberts, Rosemary Roberts (topic). Also Wikidata Q42666477

History

2026-11-02: add by m2/dev

EEFAK6N21J EEFAK6N21J

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

Mentions

arxiv: arXiv 2609.28552#0DTC (example)

History

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

Superposition principle EEFCHC8CF3

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

Mentions

wikipedia: Wikipedia Superposition principle, Superposition principle (statement). Also Wikidata Q284885

History

2026-11-02: add by m2/dev

Killing tensor EEFH10V0WN

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

Mentions

wikidata: Wikidata Q6407804, Killing tensor (unknown). Also nLab Killing tensor
wikipedia: Wikipedia Killing tensor, Killing tensor (definition). Also Wikidata Q6407804

History

2026-10-26: add by m2/dev

Algorithm EEFJ26KCBK

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

Mentions

wikipedia: Wikipedia Bergman's diamond lemma#ETLR, Algorithm (definition)

History

2026-11-02: add by m2/dev

Hermite differential equation EEFRTSRW3Z

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#AI2X, Hermite differential equation (definition)

History

2026-11-02: add by m2/dev

EEFW84AYP9 EEFW84AYP9

URI	`m2://inv/EEFW84AYP9`
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.28365#FGIL (statement)

History

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

EEFZ2WPT2E EEFZ2WPT2E

URI	`m2://inv/EEFZ2WPT2E`
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.37093#S6GP (statement). In GA6QH32CJQ/e1, theorem 19

History

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

Hatch mark EEG87VPTW4

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

Mentions

wikipedia: Wikipedia Hatch mark, Hatch mark (definition). Also Wikidata Q5681049

History

2026-11-02: add by m2/dev

Shonda Kuiper EEGB9DMDA1

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#K4NY, Shonda Kuiper (unknown)

History

2026-11-02: add by m2/dev

MacCormack method EEGJ0B2JJX

URI	`m2://inv/EEGJ0B2JJX`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	MacCormack method PGXZJ2YWVJ

Mentions

wikidata: Wikidata Q6721779, MacCormack method (unknown). Also EoM Gibbs_phenomenon
wikipedia: Wikipedia MacCormack method, MacCormack method (definition). Also Wikidata Q6721779

History

2026-10-26: add by m2/dev

EEGKJQQ2MC EEGKJQQ2MC

URI	`m2://inv/EEGKJQQ2MC`
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.15262#5YEC (statement). In C44HVXWYRF/e1, corollary 1.2

History

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

Finite permutations EEGMVSPPGD

URI	`m2://inv/EEGMVSPPGD`
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.04271#F11B, Finite permutations (statement). In WBXAW9G4JB/e1, lemma A.1

History

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

Percy Deift EEGT060M1Z

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

Mentions

wikipedia: Wikipedia Percy Deift, Percy Deift (topic). Also Wikidata Q669020

History

2026-11-02: add by m2/dev

Rellich–Kondrachov theorem EEGT52JE5J

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

Mentions

wikipedia: Wikipedia Rellich–Kondrachov theorem, Rellich–Kondrachov theorem (statement). Also Wikidata Q3527151

History

2026-11-02: add by m2/dev

Orientation sheaf EEH0FSV8KP

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

Mentions

wikipedia: Wikipedia Orientation sheaf, Orientation sheaf (definition). Also Wikidata Q25101042

History

2026-11-02: add by m2/dev

Algebra of a monad EEH1CPHB3G

URI	`m2://inv/EEH1CPHB3G`
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#ZK46, Algebra of a monad (definition). In HX63A1PH1W/e1, definition 3.26

History

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

EEH2F2GZAX EEH2F2GZAX

URI	`m2://inv/EEH2F2GZAX`
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.11793#NA75 (statement). In GGCY8Z053Z/e1, theorem 1.1

History

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

EEH5SK45MJ EEH5SK45MJ

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

Mentions

arxiv: arXiv 2308.05066#458O (statement). In 1QSCT53ZED/e1, theorem 3.2

History

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

EEH9H550HN EEH9H550HN

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.1

History

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

Schur's lemma EEHKMX8Q91

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

Mentions

wikipedia: Wikipedia Schur's lemma (Riemannian geometry), Schur's lemma (statement). Also Wikidata Q7433029

History

2026-11-02: add by m2/dev

EEHRN73YBF EEHRN73YBF

URI	`m2://inv/EEHRN73YBF`
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 2310.13621#SC1K (statement). In DG0EZ1BPV5/e1, proposition 5.4

History

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

Topological degree theory EEHSR9S1RV

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#BHG8, Topological degree theory (definition)

History

2026-11-02: add by m2/dev

Theorem EEHT859462

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

Mentions

wikipedia: Wikipedia Prékopa–Leindler inequality#74E4, Theorem (statement)

History

2026-11-02: add by m2/dev

Algorithm EEHT89JTX6

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

Mentions

wikipedia: Wikipedia LOBPCG#Z3BK, Algorithm (definition)

History

2026-11-02: add by m2/dev

simplicial homology EEHV8ZYD6K

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#L89W, simplicial homology (definition)

History

2026-11-02: add by m2/dev

Saharon Shelah EEHZYDMCXT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QVGY, Saharon Shelah (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P191, Saharon Shelah (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ULJE, Saharon Shelah (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V5EI, Saharon Shelah (topic)

History

2026-11-02: add by m2/dev

continuous at $c$ EEJ20RVSTJ

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

Mentions

lebl_ra: lebl_ra index/4.5.1/continuous-at-c, continuous at $c$ (concept). In E59CDZA4DP, index, section 4.5.1

History

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

Generalizations EEJ7P4BTTM

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

Mentions

wikipedia: Wikipedia Cantor's theorem#483Z, Generalizations (statement)

History

2026-11-02: add by m2/dev

Transition rules EEJCMBRQCH

URI	`m2://inv/EEJCMBRQCH`
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 2610.10474#HBII, Transition rules (definition). In MB29RAAQMG/e1, definition 4.6

History

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

EEJP4KXKP5 EEJP4KXKP5

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

Mentions

arxiv: arXiv 2609.31604#QL3M (statement). In GSN5YTQS2K/e1, proposition 4.10

History

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

Law of cotangents EEK32E7ESB

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

Mentions

wikipedia: Wikipedia List of triangle topics#Z1LW, Law of cotangents (statement)

History

2026-11-02: add by m2/dev

EEK7HGDCCQ EEK7HGDCCQ

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

Mentions

arxiv: arXiv 2610.02042#SKAK (statement). In P3HWTYFDBX/e1, lemma 3.11

History

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

Finite difference coefficient EEKA8QYHCR

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

Mentions

wikipedia: Wikipedia Finite difference coefficient, Finite difference coefficient (definition). Also Wikidata Q1747602

History

2026-11-02: add by m2/dev

Eckhard Platen EEKDV5T79R

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

Mentions

wikipedia: Wikipedia Eckhard Platen, Eckhard Platen (topic). Also Wikidata Q30073179

History

2026-11-02: add by m2/dev

Variant of spherical Fano inequality EEKJEGT82G

URI	`m2://inv/EEKJEGT82G`
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.11834#QWKN, Variant of spherical Fano inequality (statement). In SMC03CWP4R/e1, lemma 3.8

History

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

EEKR0ZXS20 EEKR0ZXS20

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

Mentions

open_logic: open_logic content/proof-theory/natural-deduction/quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 58.1

History

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

EEKV50CTND EEKV50CTND

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

Mentions

arxiv: arXiv 2609.31445#B88Z (definition). In 7V2PVZS04C/e1, definition 1.4

History

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

Disjunct matrix EEKVW93F0X

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

Mentions

wikipedia: Wikipedia Disjunct matrix, Disjunct matrix (definition). Also Wikidata Q5282262

History

2026-11-02: add by m2/dev

Applications EEKWBCTHAQ

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

Mentions

wikipedia: Wikipedia Cayley–Bacharach theorem#O00V, Applications (example)

History

2026-11-02: add by m2/dev

Hunt's theorem EEKWDVZB2G

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

Mentions

wikipedia: Wikipedia Gilbert Hunt#SQTI, Hunt's theorem (statement)

History

2026-11-02: add by m2/dev

Giuseppina Masotti Biggiogero EEKWXM771D

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#Y96K, Giuseppina Masotti Biggiogero (topic)

History

2026-11-02: add by m2/dev

Examples EEKY1B2KVP

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

Mentions

wikipedia: Wikipedia Argumentum ad lazarum#M7YG, Examples (example)

History

2026-11-02: add by m2/dev

absolute and relative quotient homology EEM3ZR519P

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

Mentions

arxiv: arXiv 2609.32733#3BAF, absolute and relative quotient homology (statement). In PCAS8S14J6/e1, corollary 2.10

History

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

EEMC3P06GY EEMC3P06GY

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

Mentions

arxiv: arXiv 2610.10881#8XNW (statement). In DC01XRB5YE/e1, theorem 1

History

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

Examples EEMFCKFATP

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

Mentions

wikipedia: Wikipedia Unusual number#6QLL, Examples (example)

History

2026-11-02: add by m2/dev

Young's function and Orlicz space EEMHEJAWT9

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

Mentions

arxiv: arXiv 2610.08074#QBRV, Young's function and Orlicz space (definition). In ZRPYF750AV/e1, definition 2.1

History

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

Walter W. Stewart EEMJ87XM1K

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#CTOQ, Walter W. Stewart (unknown)

History

2026-11-02: add by m2/dev

Examples of linear maps EEMQBDRK1D

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#example-8, Examples of linear maps (example). In RZP28ERRZV, example, section 62.5

History

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

EEMRH4JDX1 EEMRH4JDX1

URI	`m2://inv/EEMRH4JDX1`
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.16225#8AM8 (statement). In H3DJV9YQW1/e1, theorem 1.6

History

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

EEN309M2R3 EEN309M2R3

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

Mentions

arxiv: arXiv 2609.25391#MH0A (statement)

History

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

EENJ8NG752 EENJ8NG752

URI	`m2://inv/EENJ8NG752`
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.21274#08WW (statement)

History

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

EENPPDWVSM EENPPDWVSM

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

Mentions

arxiv: arXiv 2609.38548#GOGB (statement). In Z7ZFV3HM1S/e1, theorem 4.14

History

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

Transfinite Induction EENPTGWKMV

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

Mentions

open_logic: open_logic content/set-theory/ordinals/basic.tex#ordinductionschema, Transfinite Induction (statement). In PKGMM3P5QY, thm, section 72.2

History

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

Generalizations EENRC7MJ89

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

Mentions

wikipedia: Wikipedia Nagell–Lutz theorem#MSCZ, Generalizations (statement)

History

2026-11-02: add by m2/dev

Breusch–Pagan statistic EENXWW9QXN

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

Mentions

wikipedia: Wikipedia List of statistics articles#LLXC, Breusch–Pagan statistic (definition)

History

2026-11-02: add by m2/dev

Constructions EEP0PGXQKK

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

Mentions

wikipedia: Wikipedia Complete field#0FJ0, Constructions (definition)

History

2026-11-02: add by m2/dev

V. P. Platonov EEP4HYXXZD

URI	`m2://inv/EEP4HYXXZD`
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#KRYM, V. P. Platonov (topic)

History

2026-11-02: add by m2/dev

Cardiac tamponade EEP99YQVNV

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

Mentions

wikipedia: Wikipedia List of paradoxes#TWHB, Cardiac tamponade (unknown)

History

2026-11-02: add by m2/dev

Mordellic variety EEPAM5EZNB

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

Mentions

wikipedia: Wikipedia Mordellic variety, Mordellic variety (definition). Also Wikidata Q6910417

History

2026-11-02: add by m2/dev

EEPC39TMWC EEPC39TMWC

URI	`m2://inv/EEPC39TMWC`
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.28160#G6SQ (statement)

History

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

Cauchy's estimate EEPGA3B54Z

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

Mentions

wikipedia: Wikipedia Cauchy's estimate, Cauchy's estimate (definition). Also Wikidata Q3153996

History

2026-11-02: add by m2/dev

Hume's scepticism about induction EEPKMJX7YW

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

Mentions

wikipedia: Wikipedia Problem of induction#C30J, Hume's scepticism about induction (unknown)

History

2026-11-02: add by m2/dev

Robin boundary condition EEPN1PZ8JG

URI	`m2://inv/EEPN1PZ8JG`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Robin boundary condition 581AGFCCRX

Mentions

wikidata: Wikidata Q748993, Robin boundary condition (concept). Also MathWorld RobinBoundaryConditions
wikipedia: Wikipedia Robin boundary condition, Robin boundary condition (definition). Also Wikidata Q748993

History

2026-10-26: add by m2/dev

EEPV53GK7Z EEPV53GK7Z

URI	`m2://inv/EEPV53GK7Z`
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 2610.16069#AMSC (statement). In MBJA03ES8N/e1, theorem 4.2

History

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

Jellett, Davies--Vincent--Smith, Lazar--Lindenstrauss EEQ9730TQ4

URI	`m2://inv/EEQ9730TQ4`
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 2510.02019#0S8Y, Jellett, Davies--Vincent--Smith, Lazar--Lindenstrauss (statement). In PD607VXPY3/e1, theorem 33

History

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

Pythagorean triple EEQD7F6WXT

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#QHIO, Pythagorean triple (definition)

History

2026-11-02: add by m2/dev

IQR EEQP4E7J3N

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

Mentions

wikipedia: Wikipedia Quartile coefficient of dispersion#93WJ, IQR (definition)

History

2026-11-02: add by m2/dev

Jensen–Shannon divergence EEQSTZX61Q

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

Mentions

wikipedia: Wikipedia Jensen–Shannon divergence, Jensen–Shannon divergence (definition). Also Wikidata Q6179997

History

2026-11-02: add by m2/dev

EEQWGS9W2Z EEQWGS9W2Z

URI	`m2://inv/EEQWGS9W2Z`
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 2501.00810#F5RU (example). In H0MY884WNF/e1, example Example

History

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

perturbation theory EER3B4R7FJ

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

Mentions

wikidata: Wikidata Q911364, perturbation theory (unknown). Also MathWorld PerturbationTheory
wikipedia: Wikipedia Perturbation theory (quantum mechanics), Perturbation theory (definition). Also Wikidata Q911364

History

2026-10-26: add by m2/dev

Second Corinth, Texas EER6GNNHQY

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

Mentions

wikipedia: Wikipedia List of places with numeric names#5QYA, Second Corinth, Texas (unknown)

History

2026-11-02: add by m2/dev

EER7MW05N9 EER7MW05N9

URI	`m2://inv/EER7MW05N9`
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.07927#SLA2 (statement). In GKM19DHQTM/e1, lemma 6.30

History

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

EER99B6F4W EER99B6F4W

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

Mentions

arxiv: arXiv 2609.21255#SH59 (statement)

History

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

EERAHRSHQD EERAHRSHQD

URI	`m2://inv/EERAHRSHQD`
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.27484#WWW4 (example)

History

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

Irrationality measure EERC9W51NN

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

Mentions

wikipedia: Wikipedia List of number theory topics#38LJ, Irrationality measure (definition)

History

2026-11-02: add by m2/dev

EERKRCBT6S EERKRCBT6S

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

Mentions

arxiv: arXiv 2609.21668#KUMH (example)

History

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

EERSYJDYVE EERSYJDYVE

URI	`m2://inv/EERSYJDYVE`
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.38069#BDGO (statement). In K0E0H4RV6Y/e1, theorem 2

History

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

EES1RJJHPW EES1RJJHPW

URI	`m2://inv/EES1RJJHPW`
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 2406.19866#4C8D (statement). In 9F94CEQ1ZM/e1, proposition 5.13

History

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

Golden triangle EESA9SH5QQ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#GAW4, Golden triangle (definition)

History

2026-11-02: add by m2/dev

United States population distribution EESB1X0YC3

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

Mentions

wikipedia: Wikipedia Demographics of the United States#TWUA, United States population distribution (unknown)

History

2026-11-02: add by m2/dev

EESFD15PR8 EESFD15PR8

URI	`m2://inv/EESFD15PR8`
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.02174#XDKG (definition). In 7JPHSV4NXW/e1, definition 2.4

History

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

EESP1ZNEBX EESP1ZNEBX

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

Mentions

arxiv: arXiv 2308.07021#9ND8 (statement). In H4CM84JVPC/e1, theorem 7.4

History

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

Application EET0P4DVNG

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

Mentions

wikipedia: Wikipedia Stratified randomization#64OE, Application (example)

History

2026-11-02: add by m2/dev

Masatake Kuranishi EET2APW2W1

URI	`m2://inv/EET2APW2W1`
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 Q686988, Masatake Kuranishi (unknown). Also nLab Masatake Kuranishi
wikipedia: Wikipedia Masatake Kuranishi, Masatake Kuranishi (topic). Also Wikidata Q686988

History

2026-10-26: add by m2/dev

Riemann theta function EET3FNZD0Z

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#E7G3, Riemann theta function (definition)

History

2026-11-02: add by m2/dev

Definition EET4H646SK

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

Mentions

wikipedia: Wikipedia Existentially closed model#T1LR, Definition (definition)

History

2026-11-02: add by m2/dev

Newcastle–Ottawa scale EET5CJZ99R

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

Mentions

wikipedia: Wikipedia List of statistics articles#OJB8, Newcastle–Ottawa scale (definition)

History

2026-11-02: add by m2/dev

EETFAW15JP EETFAW15JP

URI	`m2://inv/EETFAW15JP`
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 2410.12994#U0AW (statement). In DF7NRQSDH9/e1, theorem 1

History

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

EETFQD8DQA EETFQD8DQA

URI	`m2://inv/EETFQD8DQA`
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 2504.19468#PA22 (example). In EY54F2SX08/e1, example 7.4

History

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

equidigital number EETG7VQCWM

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

Mentions

wikidata: Wikidata Q1577873, equidigital number (object). Also OEIS A046758
wikipedia: Wikipedia Equidigital number, Equidigital number (definition). Also Wikidata Q1577873

History

2026-10-26: add by m2/dev

Context-sensitive L-system EETMNEG174

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

Mentions

wikipedia: Wikipedia L-system#6O1C, Context-sensitive L-system (unknown)

History

2026-11-02: add by m2/dev

edge gcds EETP9D2P0J

URI	`m2://inv/EETP9D2P0J`
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.02743#G9EJ, edge gcds (statement). In GQH4ZPDWET/e1, corollary 2.7

History

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

Definition EETRC08MBQ

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

Mentions

wikipedia: Wikipedia Fork–join queue#HBHO, Definition (definition)

History

2026-11-02: add by m2/dev

EEV0165H3P EEV0165H3P

URI	`m2://inv/EEV0165H3P`
Kind	definition
Layer	research
MSC	05-XX, 37-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.19194#WETL (definition). In P9D8W64P7X/e1, definition 2.1

History

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

EEV08NK2R0 EEV08NK2R0

URI	`m2://inv/EEV08NK2R0`
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.20991#J9JE (statement). In H98ZC5YBSD/e1, proposition 4.1

History

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

EEV87S8TNV EEV87S8TNV

URI	`m2://inv/EEV87S8TNV`
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 2509.05577#Z2UY (statement). In EFWBREMZAP/e1, lemma 3.13

History

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

GAGA and Chow's theorem EEV8MNNQFS

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

Mentions

wikipedia: Wikipedia Projective variety#0ZWV, GAGA and Chow's theorem (statement)

History

2026-11-02: add by m2/dev

EEV9Q2H5A9 EEV9Q2H5A9

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

Mentions

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

History

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

EEVAKQ77NQ EEVAKQ77NQ

URI	`m2://inv/EEVAKQ77NQ`
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.16554#9SBR (statement). In GWNT8HEZG1/e1, proposition 3.1

History

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

EEVBK9Y5BC EEVBK9Y5BC

URI	`m2://inv/EEVBK9Y5BC`
Kind	statement
Layer	research
MSC	20-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 2609.25151#I75J (statement)

History

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

EEVBNDSMFQ EEVBNDSMFQ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_polya_burnside.ptx#prop_polya_sum-stabs (statement). In QKM9DD2H56, proposition, section 15.3

History

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

Finite-alphabet utility loss EEVHJ7WXDJ

URI	`m2://inv/EEVHJ7WXDJ`
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#705Y, Finite-alphabet utility loss (statement). In 9YAE8FNQST/e1, lemma 28.2

History

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

EEVPHG4ADA EEVPHG4ADA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-102 (exercise). In E9HS8K3A52, exercise, section 10.9.4

History

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

Algorithm EEVZM8524V

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

Mentions

wikipedia: Wikipedia Four-square cipher#4812, Algorithm (definition)

History

2026-11-02: add by m2/dev

EEW18ZP82M EEW18ZP82M

URI	`m2://inv/EEW18ZP82M`
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.04730#KIDV (statement). In QHFP0837Q8/e1, lemma 3.12

History

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

EEW22XX34M EEW22XX34M

URI	`m2://inv/EEW22XX34M`
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.18324#6KL7 (statement). In C0EG2EY0M4/e1, theorem 1.1

History

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

Constructible polygon EEWA43H8FZ

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#JCBI, Constructible polygon (definition)
wikipedia: Wikipedia List of mathematical shapes#QWAG, Constructible polygon (definition)

History

2026-11-02: add by m2/dev

Reneé H. Moore EEWC8P5N28

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

Mentions

wikipedia: Wikipedia Reneé H. Moore, Reneé H. Moore (topic). Also Wikidata Q88101693

History

2026-11-02: add by m2/dev

EEWEBV7E4T EEWEBV7E4T

URI	`m2://inv/EEWEBV7E4T`
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 2609.27931#ASZQ (statement)

History

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

Euclidean distance EEWJNV5TAD

URI	`m2://inv/EEWJNV5TAD`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Euclidean distance 0C95TG69SG

Mentions

wikidata: Wikidata Q847073, Euclidean distance (unknown). Also Mathlib EuclideanSpace.dist_eq, MathWorld Distance
wikipedia: Wikipedia Euclidean distance, Euclidean distance (definition). Also Wikidata Q847073

History

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

EEWTZR50RH EEWTZR50RH

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-14 (exercise). In P1C114YBXG, problem, section 1

History

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

Alan Kay EEX44MRQHG

URI	`m2://inv/EEX44MRQHG`
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#QH8W, Alan Kay (unknown)

History

2026-11-02: add by m2/dev

EEX5MGC81V EEX5MGC81V

URI	`m2://inv/EEX5MGC81V`
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 2609.23119#NTZ5 (statement)

History

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

Carpet plot EEX97V2PWP

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

Mentions

wikipedia: Wikipedia Carpet plot, Carpet plot (definition). Also Wikidata Q15220454

History

2026-11-02: add by m2/dev

Rake EEXA4G36J8

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

Mentions

wikipedia: Wikipedia Rake (angle), Rake (definition). Also Wikidata Q7286554

History

2026-11-02: add by m2/dev

EEXG06EHC0 EEXG06EHC0

URI	`m2://inv/EEXG06EHC0`
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.19285#EP55 (statement). In 6DJR9DKY5W/e1, lemma 4.10

History

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

EEXGX0G9G5 EEXGX0G9G5

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

Mentions

arxiv: arXiv 2610.09672#W6D7 (statement). In TXBXCPP0QH/e1, lemma 38

History

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

Arabic percent sign EEXS2SHBV0

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

Mentions

wikipedia: Wikipedia Percent sign#GTSW, Arabic percent sign (unknown)

History

2026-11-02: add by m2/dev

Iterated barycenter EEXSVRY1NA

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

Mentions

arxiv: arXiv 2610.17909#CEEH, Iterated barycenter (definition). In YXZX6Z8S6A/e1, definition 5.4

History

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

Example EEXYR3ZV8Z

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

Mentions

wikipedia: Wikipedia Keystream#TWNY, Example (example)

History

2026-11-02: add by m2/dev

EEXYZ9X098 EEXYZ9X098

URI	`m2://inv/EEXYZ9X098`
Kind	example
Layer	research
MSC	03-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.31352#HD1F (example). In SQZGKRDVBX/e1, example 3.5

History

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

crank EEY18F3Z92

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

Mentions

wikidata: Wikidata Q1138434, crank (definition). Also ProofWiki Definition:Crackpot

History

2026-10-26: add by m2/dev

EEY1Q2TPKN EEY1Q2TPKN

URI	`m2://inv/EEY1Q2TPKN`
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 2609.26201#FSHE (statement)

History

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

EEY369J20T EEY369J20T

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

Mentions

arxiv: arXiv 2306.08237#P7V0 (statement). In E22A2MFR4Y/e1, lemma 3.6

History

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

Wolfgang Soergel EEY4EBYW77

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

Mentions

wikipedia: Wikipedia Wolfgang Soergel, Wolfgang Soergel (topic). Also Wikidata Q17418259

History

2026-11-02: add by m2/dev

Eduard Study EEY9N0YSFH

URI	`m2://inv/EEY9N0YSFH`
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#CPFQ, Eduard Study (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K3CK, Eduard Study (topic)
wikipedia: Wikipedia List of German mathematicians#I01S, Eduard Study (topic)

History

2026-11-02: add by m2/dev

EEYD9JNWY4 EEYD9JNWY4

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

Mentions

arxiv: arXiv 2610.01411#WSTQ (statement). In SD28S3K7BT/e1, theorem 49

History

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

Simple example of Azuma's inequality for coin flips EEYDS1190D

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

Mentions

wikipedia: Wikipedia List of mathematical examples#BQDV, Simple example of Azuma's inequality for coin flips (statement)

History

2026-11-02: add by m2/dev

5-orthoplex honeycomb EEYJRW8BB9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#AROJ, 5-orthoplex honeycomb (definition)

History

2026-11-02: add by m2/dev

Simply laced Dynkin diagram EEYTNSXHFH

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

Mentions

wikipedia: Wikipedia Dynkin diagram#OZ99, Simply laced Dynkin diagram (unknown)

History

2026-11-02: add by m2/dev

Linda Sheffield EEZ1TH6FNA

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

Mentions

wikipedia: Wikipedia Linda Sheffield, Linda Sheffield (topic). Also Wikidata Q141187588

History

2026-11-02: add by m2/dev

EEZ40BXRQ6 EEZ40BXRQ6

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

Mentions

arxiv: arXiv 2610.07001#2D12 (statement). In 5DFTVG7FFF/e1, lemma 4.1

History

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

Examples EEZ987G1DV

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

Mentions

wikipedia: Wikipedia Eilenberg–MacLane space#3H5I, Examples (example)

History

2026-11-02: add by m2/dev

EEZA4NTEK6 EEZA4NTEK6

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

Mentions

napkin: napkin tex/alg-geom/bezout.tex#thm:hilbert_polynomial (statement). In RZP28ERRZV, theorem, section 20.3

History

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

First contact EEZB0GRPWW

URI	`m2://inv/EEZB0GRPWW`
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.00337#J5AW, First contact (statement). In 5STQ3ABZ60/e1, proposition 7.4

History

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

EEZJ0J2WN8 EEZJ0J2WN8

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

Mentions

arxiv: arXiv 1704.04089#50U1 (statement). In T126FDFXT5/e1, theorem 5

History

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

Liouville dynamical system EEZJ1PZQWY

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

Mentions

wikipedia: Wikipedia Liouville dynamical system, Liouville dynamical system (definition). Also Wikidata Q6556123

History

2026-11-02: add by m2/dev

EEZNKZ4W7A EEZNKZ4W7A

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

Mentions

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

History

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

ternary numeral system EEZVNGAETA

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

Mentions

wikidata: Wikidata Q1056486, ternary numeral system (definition). Also MathWorld Ternary, ProofWiki Definition:Ternary_Notation
wikipedia: Wikipedia Ternary numeral system, Ternary numeral system (definition). Also Wikidata Q1056486

History

2026-10-26: add by m2/dev

Kenneth Falconer EEZZFV8TS2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GKJA, Kenneth Falconer (topic)

History

2026-11-02: add by m2/dev