Inventory rows TG

Euclidean quantum gravity TG03KZ2MHQ

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

Mentions

wikipedia: Wikipedia Euclidean quantum gravity, Euclidean quantum gravity (definition). Also Wikidata Q2246283

History

2026-11-02: add by m2/dev

Conditional proof TG07J4W7TP

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

Mentions

wikipedia: Wikipedia Conditional proof, Conditional proof (definition). Also Wikidata Q5159270

History

2026-11-02: add by m2/dev

John Nelson Stockwell TG07TV6B53

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

Mentions

wikipedia: Wikipedia John Nelson Stockwell, John Nelson Stockwell (topic). Also Wikidata Q16912339

History

2026-11-02: add by m2/dev

TG0AMR5AKN TG0AMR5AKN

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

Mentions

arxiv: arXiv 2610.18847#BITG (statement). In DZ12XTTJSM/e1, lemma 3.3

History

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

Nonlocal operator TG0B0T9D6B

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

Mentions

wikipedia: Wikipedia Nonlocal operator, Nonlocal operator (definition). Also Wikidata Q67238738

History

2026-11-02: add by m2/dev

TG0C58KEZ9 TG0C58KEZ9

URI	`m2://inv/TG0C58KEZ9`
Kind	statement
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 2610.03851#LIGR (statement). In HNV63B8Y1A/e1, lemma A.1

History

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

TG0FHF5Q97 TG0FHF5Q97

URI	`m2://inv/TG0FHF5Q97`
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 1907.01440#YZK8 (statement). In QDRYC6WJJ7/e1, lemma 3

History

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

TG0MD8MZQE TG0MD8MZQE

URI	`m2://inv/TG0MD8MZQE`
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#C5JN (definition). In 9H45HQE7AZ/e1, definition 2.25

History

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

Definition TG0NWPXPPS

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

Mentions

wikipedia: Wikipedia Differential structure#SB4X, Definition (definition)

History

2026-11-02: add by m2/dev

Magic: The Gathering TG0ZG4AR27

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

Mentions

wikipedia: Wikipedia List of undecidable problems#K5H6, Magic: The Gathering (unknown)

History

2026-11-02: add by m2/dev

Jacobson–Morozov theorem TG1087YEDX

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

Mentions

wikipedia: Wikipedia List of theorems#JI37, Jacobson–Morozov theorem (statement)

History

2026-11-02: add by m2/dev

Symmetry TG17YZF05E

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

Mentions

wikipedia: Wikipedia Order-4 heptagonal tiling#QIPU, Symmetry (statement)

History

2026-11-02: add by m2/dev

Optimal design TG18MTYHV9

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

Mentions

wikipedia: Wikipedia List of statistics articles#JBU4, Optimal design (definition)

History

2026-11-02: add by m2/dev

TG1BQ1N5YH TG1BQ1N5YH

URI	`m2://inv/TG1BQ1N5YH`
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.03288#OF01 (statement). In ZHP1MFSACN/e1, lemma 4.7

History

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

TG1DH3K8Q8 TG1DH3K8Q8

URI	`m2://inv/TG1DH3K8Q8`
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.08226#OG6T (statement). In V6EPE8XHAD/e1, lemma 3.9

History

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

Examples TG1H3JAH43

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

Mentions

wikipedia: Wikipedia Binomial type#QRJ4, Examples (example)

History

2026-11-02: add by m2/dev

Cartan–Hadamard conjecture TG1JY2WZVS

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#6N15, Cartan–Hadamard conjecture (statement)

History

2026-11-02: add by m2/dev

TG1NCWBPRK TG1NCWBPRK

URI	`m2://inv/TG1NCWBPRK`
Kind	definition
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.33018#45ZT (definition). In 8XVS0QJ2AH/e1, definition 28

History

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

TG20BQDX3D TG20BQDX3D

URI	`m2://inv/TG20BQDX3D`
Kind	statement
Layer	research
MSC	35-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 2610.18242#Q61N (statement). In VVC2FHQZZR/e1, lemma 2.3

History

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

TG212JR435 TG212JR435

URI	`m2://inv/TG212JR435`
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.01828#QFCR (statement). In RQMJY73C8Q/e1, theorem III.5

History

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

TG26Z4FZ49 TG26Z4FZ49

URI	`m2://inv/TG26Z4FZ49`
Kind	statement
Layer	research
MSC	14-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.27751#PDJ8 (statement)

History

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

Example TG277SCVS3

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

Mentions

wikipedia: Wikipedia Integer programming#BXCD, Example (example)

History

2026-11-02: add by m2/dev

Conjectures TG2DTDZMS2

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

Mentions

wikipedia: Wikipedia Selberg class#XXDH, Conjectures (statement)

History

2026-11-02: add by m2/dev

Recovery formula TG2E2V96AY

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

Mentions

arxiv: arXiv 2610.10413#LZTU, Recovery formula (statement). In 68MTQ59QTQ/e1, lemma 4.1

History

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

TG2M2D1VES TG2M2D1VES

URI	`m2://inv/TG2M2D1VES`
Kind	definition
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 2610.16475#SM48 (definition). In FM9SKN560Q/e1, definition

History

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

Cross Gramian TG2RCYZM86

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

Mentions

wikipedia: Wikipedia Cross Gramian, Cross Gramian (definition). Also Wikidata Q17008156

History

2026-11-02: add by m2/dev

abscissa TG2SAPWGAQ

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

Mentions

wikidata: Wikidata Q515874, abscissa (unknown). Also MathWorld Abscissa

History

2026-10-26: add by m2/dev

direct proof TG2T54K36S

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

Mentions

levin_dmoi: levin_dmoi index/4.2.1/direct-proof, direct proof (concept). In Y91XFCEVHQ, index, section 4.2.1

History

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

QR decomposition TG2WJ41345

URI	`m2://inv/TG2WJ41345`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	QR decomposition 0ERWG4NXQ9

Mentions

wikidata: Wikidata Q653242, QR decomposition (concept). Also MathWorld QRDecomposition
wikipedia: Wikipedia QR decomposition, QR decomposition (definition). Also Wikidata Q653242

History

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

Five Islands, Antigua and Barbuda TG2XG3QKHH

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

Mentions

wikipedia: Wikipedia List of places with numeric names#8UKA, Five Islands, Antigua and Barbuda (unknown)

History

2026-11-02: add by m2/dev

overline TG34QRBTGS

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

Mentions

wikidata: Wikidata Q334025, overline (unknown). Also MathWorld Overline
wikipedia: Wikipedia Overline, Overline (definition). Also Wikidata Q334025

History

2026-10-26: add by m2/dev

$n$-dimensional vector spaces are isomorphic TG3CSFDTR2

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#proposition-1, $n$-dimensional vector spaces are isomorphic (statement). In RZP28ERRZV, proposition, section 62.5

History

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

induction principle, for $\Sn^1$ TG3EHWFCQF

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

Mentions

hott_book: hott_book index/5.2/induction-principle-for-sn-1, induction principle, for $\Sn^1$ (concept). In N54F33XE07, index, section 5.2

History

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

virtually fibered conjecture TG3GZXSEFA

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

Mentions

wikidata: Wikidata Q7935204, virtually fibered conjecture (conjecture). Also nLab virtually fibered conjecture
wikipedia: Wikipedia Virtually fibered conjecture, Virtually fibered conjecture (statement). Also Wikidata Q7935204

History

2026-10-26: add by m2/dev

TG3JSP63M2 TG3JSP63M2

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

History

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

RSA-500 TG3N40R7Z1

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

Mentions

wikipedia: Wikipedia RSA numbers#H3IA, RSA-500 (unknown)

History

2026-11-02: add by m2/dev

TG3Q1M7ZPE TG3Q1M7ZPE

URI	`m2://inv/TG3Q1M7ZPE`
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 2512.16003#C3PA (definition). In BJGS6ZCQ12/e1, definition 2.3

History

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

TG3S3WWKGD TG3S3WWKGD

URI	`m2://inv/TG3S3WWKGD`
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.07790#8I1B (statement). In A5YJDDM0NX/e1, lemma 3.1

History

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

TG3SKG33JQ TG3SKG33JQ

URI	`m2://inv/TG3SKG33JQ`
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#TEAY (example)

History

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

TG3T12R8F0 TG3T12R8F0

URI	`m2://inv/TG3T12R8F0`
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.21174#BA7W (statement)

History

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

TG3WZF5MST TG3WZF5MST

URI	`m2://inv/TG3WZF5MST`
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 2609.20860#1JR2 (definition)

History

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

Automated reasoning TG44SQJ4ZX

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

Mentions

wikipedia: Wikipedia Automated reasoning, Automated reasoning (topic). Also Wikidata Q2555318

History

2026-11-02: add by m2/dev

Max-flow min-cut theorem TG4CN79TH6

URI	`m2://inv/TG4CN79TH6`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	open
Node	Max-flow min-cut theorem 4HMR4KQ01T

Mentions

mathlib_1000: mathlib_1000 Q608294, Max flow min cut theorem (statement). Also Wikidata Q608294
thousand_plus: thousand_plus Q608294, Max flow min cut theorem (statement). Also Wikidata Q608294, Wikipedia Max flow min cut theorem
wikidata: Wikidata Q608294, Max-flow min-cut theorem (statement). Also MathWorld MaximumFlowMinimumCutTheorem
wikipedia: Wikipedia Max-flow min-cut theorem, Max-flow min-cut theorem (statement). Also Wikidata Q608294

History

2026-10-26: add by m2/dev

TG4FP4A96A TG4FP4A96A

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

Mentions

arxiv: arXiv 2609.28336#MKVP (statement)

History

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

TG4H9SJBH4 TG4H9SJBH4

URI	`m2://inv/TG4H9SJBH4`
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.08288#8JMZ (statement). In CHVWYJM7RM/e1, proposition A.1

History

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

TG4KT21BMK TG4KT21BMK

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

Mentions

napkin: napkin tex/linalg/fourier.tex#proof-2 (proof). In RZP28ERRZV, proof, section 59.5

History

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

Daniela di Serafino TG4MJ0PQP9

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

Mentions

wikipedia: Wikipedia Daniela di Serafino, Daniela di Serafino (topic). Also Wikidata Q57776214

History

2026-11-02: add by m2/dev

Frobenius manifold TG4NSD5XV0

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#3JYC, Frobenius manifold (definition)

History

2026-11-02: add by m2/dev

Formal definition TG4WFMQ4GH

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

Mentions

wikipedia: Wikipedia Menger sponge#TG58, Formal definition (definition)

History

2026-11-02: add by m2/dev

Size–frequency distribution TG4Y52316P

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

Mentions

wikipedia: Wikipedia Size–frequency distribution, Size–frequency distribution (definition). Also Wikidata Q116055920

History

2026-11-02: add by m2/dev

Alexey Gorgidze TG5A0KNAE3

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

Mentions

wikipedia: Wikipedia Alexey Gorgidze, Alexey Gorgidze (topic). Also Wikidata Q16638172

History

2026-11-02: add by m2/dev

Kazimierz Ajdukiewicz TG5ABH0TG5

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

Mentions

wikipedia: Wikipedia Kazimierz Ajdukiewicz, Kazimierz Ajdukiewicz (topic). Also Wikidata Q325993

History

2026-11-02: add by m2/dev

TG5CWVYF4X TG5CWVYF4X

URI	`m2://inv/TG5CWVYF4X`
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.08211#XZ25 (statement). In 1QRK9HXJWT/e1, theorem 2.5

History

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

TG5GENPQK5 TG5GENPQK5

URI	`m2://inv/TG5GENPQK5`
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.08753#4FG9 (statement). In J9P361Z1CX/e1, lemma 5.2

History

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

Stone space TG5R7Z4RZD

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#VSRT, Stone space (statement)

History

2026-11-02: add by m2/dev

Unsolvability of the Halting Problem TG5SSXE341

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#thm:halting-problem, Unsolvability of the Halting Problem (statement). In PKGMM3P5QY, thm, section 86.7

History

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

topological TG5WCNJG75

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#I7PQ, topological (definition)

History

2026-11-02: add by m2/dev

TG6047PX86 TG6047PX86

URI	`m2://inv/TG6047PX86`
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.06461#SEQZ (statement). In QXY3W2JV2N/e1, proposition 4.3

History

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

isomorphism, transfer across TG60XQCQ0E

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

Mentions

hott_book: hott_book index/8.2/isomorphism-transfer-across, isomorphism, transfer across (concept). In N54F33XE07, index, section 8.2

History

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

TG64N7JHBD TG64N7JHBD

URI	`m2://inv/TG64N7JHBD`
Kind	statement
Layer	research
MSC	11-XX, 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.04099#QTHP (statement). In QPJ6FWG5HD/e1, lemma 2.14

History

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

TG66RV2JMY TG66RV2JMY

URI	`m2://inv/TG66RV2JMY`
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.17571#ETHG (statement). In SWFN2HCEE7/e1, lemma 3.1

History

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

Smoluchowski coagulation equation TG67V79VV6

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

Mentions

wikipedia: Wikipedia Smoluchowski coagulation equation, Smoluchowski coagulation equation (definition). Also Wikidata Q971184

History

2026-11-02: add by m2/dev

Louis J. Mordell TG6R64Y9E5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BQ6J, Louis J. Mordell (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#26RI, Louis J. Mordell (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6EKU, Louis J. Mordell (topic)

History

2026-11-02: add by m2/dev

TG6RC67E1V TG6RC67E1V

URI	`m2://inv/TG6RC67E1V`
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#94FE (definition)

History

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

Uniqueness for the exterior problem TG6ZRGW8P1

URI	`m2://inv/TG6ZRGW8P1`
Kind	statement
Layer	research
MSC	35-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 2610.06631#BOWK, Uniqueness for the exterior problem (statement). In QR4SD83TFR/e1, proposition 5

History

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

Truncated order-7 square tiling TG708VJRKY

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

Mentions

wikipedia: Wikipedia Truncated order-7 square tiling, Truncated order-7 square tiling (object). Also Wikidata Q7847903

History

2026-11-02: add by m2/dev

VC dimension TG7DW6BBNN

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

Mentions

wikipedia: Wikipedia List of statistics articles#TGB7, VC dimension (definition)

History

2026-11-02: add by m2/dev

TG7JEQK0NP TG7JEQK0NP

URI	`m2://inv/TG7JEQK0NP`
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.26089#NTGC (statement)

History

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

David Hilbert TG7M6FATXN

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#BAS1, David Hilbert (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R55J, David Hilbert (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T3OH, David Hilbert (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T4NK, David Hilbert (topic)
wikipedia: Wikipedia List of German mathematicians#BFLJ, David Hilbert (topic)
wikipedia: Wikipedia List of publications in mathematics#HBHA, David Hilbert (topic)

History

2026-11-02: add by m2/dev

TG7NCA5G6G TG7NCA5G6G

URI	`m2://inv/TG7NCA5G6G`
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 2302.04470#Y76Y (statement). In PVRF0WS223/e1, lemma 3.2

History

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

logical constant TG7SC9X98Z

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

Mentions

wikipedia: Wikipedia Glossary of logic#XZGR, logical constant (definition)

History

2026-11-02: add by m2/dev

Persistence under enlargement of the second part TG7SGNRX0G

URI	`m2://inv/TG7SGNRX0G`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#4M8K, Persistence under enlargement of the second part (statement). In Y1DR0DPWD0/e1, proposition 5.16

History

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

Normalized opposite-corner inequality TG7VQ5X8RA

URI	`m2://inv/TG7VQ5X8RA`
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.24931#A1H9, Normalized opposite-corner inequality (statement)

History

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

Applications TG7WDD2RN3

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

Mentions

wikipedia: Wikipedia Envelope (category theory)#CF60, Applications (example)

History

2026-11-02: add by m2/dev

classical group TG7Y66H9Q2

URI	`m2://inv/TG7Y66H9Q2`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Classical group 75H4HY10Z4

Mentions

wikidata: Wikidata Q2285809, classical group (definition). Also EoM Classical_group, MathWorld ClassicalGroups, nLab classical Lie group, ProofWiki Definition:Classical_Group
wikipedia: Wikipedia Classical group, Classical group (definition). Also Wikidata Q2285809

History

2026-10-26: add by m2/dev

TG81FHFFXK TG81FHFFXK

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

Mentions

arxiv: arXiv 2610.20558#TWTM (statement). In 46370P3Y9S/e1, lemma 6.5

History

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

Edwin F. Beckenbach TG85H9QXSV

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

Mentions

wikipedia: Wikipedia Edwin F. Beckenbach, Edwin F. Beckenbach (topic). Also Wikidata Q1229679

History

2026-11-02: add by m2/dev

Proton Drive TG88R9BM7H

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

Mentions

wikipedia: Wikipedia Proton Drive, Proton Drive (definition). Also Wikidata Q114414086

History

2026-11-02: add by m2/dev

Theorem TG8KZ1041J

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

Mentions

wikipedia: Wikipedia Malus–Dupin theorem#420Q, Theorem (statement)

History

2026-11-02: add by m2/dev

Statement of the paradox TG8MKM3EXD

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

Mentions

wikipedia: Wikipedia Proebsting's paradox#YBE0, Statement of the paradox (statement)

History

2026-11-02: add by m2/dev

TG8PNZRYX1 TG8PNZRYX1

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

Mentions

arxiv: arXiv 2609.32860#V5QN (statement). In H71AJ341B3/e1, lemma 6.9

History

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

Sakuma–Hattori equation TG8RST3EYN

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

Mentions

wikipedia: Wikipedia Sakuma–Hattori equation, Sakuma–Hattori equation (definition). Also Wikidata Q7403145

History

2026-11-02: add by m2/dev

Canonical Form TG8VC7KGNF

URI	`m2://inv/TG8VC7KGNF`
Kind	definition
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.25091#QAS4, Canonical Form (definition)

History

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

Construction TG92FKVAXT

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

Mentions

wikipedia: Wikipedia Moser spindle#CCDY, Construction (definition)

History

2026-11-02: add by m2/dev

Joseph Polchinski TG94GAAFWY

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

Mentions

wikipedia: Wikipedia List of string theory topics#S8IF, Joseph Polchinski (unknown)

History

2026-11-02: add by m2/dev

TG9B8Y22H7 TG9B8Y22H7

URI	`m2://inv/TG9B8Y22H7`
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 2509.21121#NAT1 (statement). In MTDABJF9AP/e1, theorem 1

History

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

Thomas Myers TG9BWDFYNH

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

Mentions

wikipedia: Wikipedia Thomas Myers (mathematician), Thomas Myers (topic). Also Wikidata Q7792651

History

2026-11-02: add by m2/dev

TG9DKJ7XC0 TG9DKJ7XC0

URI	`m2://inv/TG9DKJ7XC0`
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 2108.03672#9Q7I (definition). In EZZSZ1F071/e1, definition 4.12

History

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

TG9PZSJZ87 TG9PZSJZ87

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#thm-1 (statement). In E59CDZA4DP, thm, section 9.2.1

History

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

Choquet theory TG9Y7QH69B

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

Mentions

wikipedia: Wikipedia List of convexity topics#ROOR, Choquet theory (topic)

History

2026-11-02: add by m2/dev

Formal statement TGABCGPER8

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

Mentions

wikipedia: Wikipedia Principal axis theorem#RADQ, Formal statement (statement)

History

2026-11-02: add by m2/dev

Nonblocker TGACHYR1YB

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

Mentions

wikipedia: Wikipedia Nonblocker, Nonblocker (definition). Also Wikidata Q48999597

History

2026-11-02: add by m2/dev

TGACX1SHKM TGACX1SHKM

URI	`m2://inv/TGACX1SHKM`
Kind	example
Layer	research
MSC	35-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.25897#HZE1 (example)

History

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

Fault-tolerant gates on perfect two-qudit CSS codes TGADS2KB4B

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

Mentions

arxiv: arXiv 2610.04834#6TG9, Fault-tolerant gates on perfect two-qudit CSS codes (example). In YZNK67K060/e1, example 5.4

History

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

Almost surely TGAPJZR74D

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#RU09, Almost surely (definition)

History

2026-11-02: add by m2/dev

TGAPRK5CA3 TGAPRK5CA3

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

Mentions

arxiv: arXiv 2609.25468#N2QO (problem)

History

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

Stability Inequality TGB24SGQK3

URI	`m2://inv/TGB24SGQK3`
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.13355#E9J8, Stability Inequality (statement). In QJ1G1HBC6C/e1, lemma 4.2

History

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

TGB3TY2DV7 TGB3TY2DV7

URI	`m2://inv/TGB3TY2DV7`
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.25915#TNFG (statement)

History

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

TGB4QH17DY TGB4QH17DY

URI	`m2://inv/TGB4QH17DY`
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#778Z (statement). In G04BKQV6YM/e1, lemma 3.3

History

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

TGBFDASJ1B TGBFDASJ1B

URI	`m2://inv/TGBFDASJ1B`
Kind	example
Layer	research
MSC	16-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.26417#BE9J (example)

History

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

block graph TGBQQFN8V6

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

Mentions

wikidata: Wikidata Q4927193, block graph (unknown). Also MathWorld BlockGraph
wikipedia: Wikipedia Block graph, Block graph (definition). Also Wikidata Q4927193

History

2026-10-26: add by m2/dev

Stochastic representation of the homology pairing TGBVJK0BYA

URI	`m2://inv/TGBVJK0BYA`
Kind	statement
Layer	research
MSC	37-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.27851#J6TE, Stochastic representation of the homology pairing (statement)

History

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

TGBXSDD0EJ TGBXSDD0EJ

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

Mentions

arxiv: arXiv 2609.40207#3N91 (statement). In JXTG8KP95P/e1, proposition 5.9

History

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

Applications TGBYZV6ZRH

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

Mentions

wikipedia: Wikipedia Wave interference#MVM2, Applications (example)

History

2026-11-02: add by m2/dev

TGC26SRJGR TGC26SRJGR

URI	`m2://inv/TGC26SRJGR`
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 2610.22040#3QXC (example). In 2QP93JHYNB/e1, example 4.11

History

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

TGC39DHYSD TGC39DHYSD

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

Mentions

arxiv: arXiv 2505.04593#UENS (statement). In PEXJPV3NP8/e1, theorem 3.6

History

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

NCSS (statistical software) TGC6PQ0857

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

Mentions

wikipedia: Wikipedia List of statistics articles#P93L, NCSS (statistical software) (definition)

History

2026-11-02: add by m2/dev

TGC87VG48X TGC87VG48X

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.15

History

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

regular isotopy TGCJQFAJ37

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

Mentions

wikidata: Wikidata Q7309602, regular isotopy (unknown). Also MathWorld RegularIsotopy
wikipedia: Wikipedia Regular isotopy, Regular isotopy (definition). Also Wikidata Q7309602

History

2026-10-26: add by m2/dev

Chernoff–Hoeffding theorem (additive form) TGCQAGAWGQ

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

Mentions

wikipedia: Wikipedia Chernoff bound#24IG, Chernoff–Hoeffding theorem (additive form) (statement)

History

2026-11-02: add by m2/dev

Stacey Snider TGCV97S12Q

URI	`m2://inv/TGCV97S12Q`
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#RK6G, Stacey Snider (unknown)

History

2026-11-02: add by m2/dev

Additive model TGCY02DGNE

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

Mentions

wikipedia: Wikipedia Additive model, Additive model (definition). Also Wikidata Q4681344

History

2026-11-02: add by m2/dev

Eilenberg–Watts theorem TGD3K33TA0

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

Mentions

wikipedia: Wikipedia Eilenberg–Watts theorem, Eilenberg–Watts theorem (statement). Also Wikidata Q131471070

History

2026-11-02: add by m2/dev

TGD56NQH99 TGD56NQH99

URI	`m2://inv/TGD56NQH99`
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.21140#PVWQ (statement)

History

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

TGD7E5H4P5 TGD7E5H4P5

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

Mentions

arxiv: arXiv 2610.16386#CKAO (statement). In RAF0BFY3Z3/e1, corollary 4.2

History

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

Eva Gallardo TGD94FVWM5

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

Mentions

wikipedia: Wikipedia Eva Gallardo, Eva Gallardo (topic). Also Wikidata Q102338986

History

2026-11-02: add by m2/dev

Strong Type $(p,p)$ Inequality TGDDSMBBCM

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

Mentions

arxiv: arXiv 2610.16580#OXCX, Strong Type $(p,p)$ Inequality (definition). In MQPBZX4DR6/e1, definition 2.4

History

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

TGDQYC6952 TGDQYC6952

URI	`m2://inv/TGDQYC6952`
Kind	problem
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#P9ND (problem). In 332PQD90SW/e1, problem 4.4

History

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

TGDSQGC5BP TGDSQGC5BP

URI	`m2://inv/TGDSQGC5BP`
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.36423#Z3HD (definition). In Q5Z178SAHP/e1, definition 6.3

History

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

Császár polyhedron TGDXZM3SWS

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

Mentions

wikidata: Wikidata Q723786, Császár polyhedron (unknown). Also MathWorld CsaszarPolyhedron
wikipedia: Wikipedia Császár polyhedron, Császár polyhedron (object). Also Wikidata Q723786

History

2026-10-26: add by m2/dev

pentahedron TGE0X3BDGX

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#GU3V, pentahedron (definition)

History

2026-11-02: add by m2/dev

Asymptotic series TGE7MRAV40

URI	`m2://inv/TGE7MRAV40`
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 2112.14455#7SVU, Asymptotic series (statement). In VDE5R8HBS1/e1, lemma 4.8

History

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

Set of broken bonds TGEDJX2ED4

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

Mentions

arxiv: arXiv 2310.11101#8HSY, Set of broken bonds (definition). In YBBKTP4E70/e1, definition 4.4

History

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

SUDAAN TGEHHWR7R6

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

Mentions

wikipedia: Wikipedia List of statistical software#P3GG, SUDAAN (definition)

History

2026-11-02: add by m2/dev

TGEJCP98DB TGEJCP98DB

URI	`m2://inv/TGEJCP98DB`
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.20817#764B (statement). In M1YRBSZT4H/e1, corollary 17

History

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

Theorem (\R-valued function induced by a string) TGEJMYHR51

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

Mentions

wikipedia: Wikipedia Topological vector space#0OJC, Theorem (\R-valued function induced by a string) (statement)

History

2026-11-02: add by m2/dev

TGEKQV57FK TGEKQV57FK

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-land (statement). In PKGMM3P5QY, prop, section 22.8

History

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

Belavkin equation TGEV9DDFGV

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

Mentions

wikipedia: Wikipedia Belavkin equation, Belavkin equation (definition). Also Wikidata Q25304106

History

2026-11-02: add by m2/dev

TGEXEMRTPT TGEXEMRTPT

URI	`m2://inv/TGEXEMRTPT`
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#2HQ5 (statement)

History

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

TGF3HGJCQ7 TGF3HGJCQ7

URI	`m2://inv/TGF3HGJCQ7`
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#4HA5 (statement). In W5XG3PGVF1/e1, fact 5.9

History

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

Confluent hypergeometric function TGF4ZJQKH3

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

Mentions

wikipedia: Wikipedia List of mathematical functions#J6NA, Confluent hypergeometric function (definition)

History

2026-11-02: add by m2/dev

Low-carbohydrate diet TGF62H1SBH

URI	`m2://inv/TGF62H1SBH`
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#VYUO, Low-carbohydrate diet (unknown)

History

2026-11-02: add by m2/dev

Bifurcation memory TGF969RWEP

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

Mentions

wikipedia: Wikipedia Bifurcation memory, Bifurcation memory (definition). Also Wikidata Q13637198

History

2026-11-02: add by m2/dev

TGF9TZ8WYQ TGF9TZ8WYQ

URI	`m2://inv/TGF9TZ8WYQ`
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 2610.06755#GUS2 (definition). In DKEX05SEXS/e1, definition 2.2

History

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

Ray Solomonoff TGFJNTZKFP

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#P4WW, Ray Solomonoff (unknown)

History

2026-11-02: add by m2/dev

Properties TGFM8ZYMH6

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

Mentions

wikipedia: Wikipedia Empty set#64XV, Properties (statement)

History

2026-11-02: add by m2/dev

TGFXTB1TZ5 TGFXTB1TZ5

URI	`m2://inv/TGFXTB1TZ5`
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 2610.08935#NPIN (definition). In G02N9D40B9/e1, definition 2.3.4

History

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

Mai Gehrke TGG9SC9FYM

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

Mentions

wikipedia: Wikipedia Mai Gehrke, Mai Gehrke (topic). Also Wikidata Q67852267

History

2026-11-02: add by m2/dev

Example TGGE4MHEV8

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

Mentions

wikipedia: Wikipedia Graph flattenability#89RK, Example (example)

History

2026-11-02: add by m2/dev

Structure of $\mathcal K_u$ TGGFH51PXG

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

Mentions

arxiv: arXiv 2609.25449#H1N6, Structure of $\mathcal K_u$ (statement). In 9JHMTYGWFQ/e1, proposition 7.8

History

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

Doi–Naganuma lifting TGGNKPJP7Z

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

Mentions

wikipedia: Wikipedia Doi–Naganuma lifting, Doi–Naganuma lifting (definition). Also Wikidata Q5288699

History

2026-11-02: add by m2/dev

Properties TGGPJD55E7

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

Mentions

wikipedia: Wikipedia Pompeiu derivative#TK11, Properties (statement)

History

2026-11-02: add by m2/dev

Example TGGRPGY24Y

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

Mentions

wikipedia: Wikipedia Secant method#ZXXH, Example (example)

History

2026-11-02: add by m2/dev

TGGS7CDAAF TGGS7CDAAF

URI	`m2://inv/TGGS7CDAAF`
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.22291#18A2 (statement). In TMBJ7NVPC7/e1, theorem 1

History

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

Euclidean division TGGTDFT0PN

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

Mentions

wikipedia: Wikipedia Euclidean division, Euclidean division (definition). Also Wikidata Q181054

History

2026-11-02: add by m2/dev

TGGV4QQDX9 TGGV4QQDX9

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

Mentions

arxiv: arXiv 2610.09422#ACDO (statement). In MS7M2BJS9X/e1, lemma 7.18

History

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

Armitage, Peter TGGZF1MP3Q

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

Mentions

wikipedia: Wikipedia List of statisticians#NKDQ, Armitage, Peter (topic)

History

2026-11-02: add by m2/dev

Interpretation TGH2MGQ4RS

URI	`m2://inv/TGH2MGQ4RS`
Kind	statement
Layer	research
MSC	17-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.18512#VKYI, Interpretation (statement). In 11JNM66Z09/e1, corollary 12.8

History

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

TGH7M6JZT9 TGH7M6JZT9

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

Mentions

arxiv: arXiv 2610.16853#TCP0 (definition). In Y43AAKZ7E6/e1, definition 3.1

History

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

Estimates related to $\nabla \Psi_\varepsilon,\nabla^2\Psi_\varepsilon$ TGH8GRJDXA

URI	`m2://inv/TGH8GRJDXA`
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.24451#EAF6, Estimates related to $\nabla \Psi_\varepsilon,\nabla^2\Psi_\varepsilon$ (statement)

History

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

TGHA9FJ7PM TGHA9FJ7PM

URI	`m2://inv/TGHA9FJ7PM`
Kind	definition
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#T9T9 (definition). In C8JAGP8VCQ/e1, definition 10.3

History

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

Kronecker symbol (-1, n) except a(0) = 0. TGHG724TQ7

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

Mentions

wikidata: Wikidata Q100193944, Kronecker symbol (-1, n) except a(0) = 0. (object). Also OEIS A112347

History

2026-10-26: add by m2/dev

TGHJSD3VJ0 TGHJSD3VJ0

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

Mentions

arxiv: arXiv 2610.16779#3YAI (definition). In 1R7H0ZAHWA/e1, definition 3.2

History

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

TGHMWCN943 TGHMWCN943

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

Mentions

arxiv: arXiv 2609.23143#8GOX (example)

History

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

TGHVQS0TMJ TGHVQS0TMJ

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

History

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

Matrix model TGHWMM642B

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#HUTL, Matrix model (definition)

History

2026-11-02: add by m2/dev

Soundness and Completeness TGHWZYSRTZ

URI	`m2://inv/TGHWZYSRTZ`
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.08293#X9Q9, Soundness and Completeness (statement). In 90A5DJG27R/e1, theorem 2

History

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

TGHYHFYTFK TGHYHFYTFK

URI	`m2://inv/TGHYHFYTFK`
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 math/0312342#W5LP (statement). In K811ERNKV5/e1, corollary B.4

History

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

TGJ4ERRW73 TGJ4ERRW73

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-40 (exercise). In VNMV985MXX, exercise, section 1.4

History

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

Notation TGJFYSNFA3

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

Mentions

wikipedia: Wikipedia BSSN formalism#S4GH, Notation (definition)

History

2026-11-02: add by m2/dev

Reversible-jump Markov chain Monte Carlo TGKFBEYK1F

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

Mentions

wikipedia: Wikipedia Reversible-jump Markov chain Monte Carlo, Reversible-jump Markov chain Monte Carlo (definition). Also Wikidata Q17083869

History

2026-11-02: add by m2/dev

Advanced Encryption Standard TGKGZXJXAJ

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

Mentions

wikidata: Wikidata Q190746, Advanced Encryption Standard (definition). Also ProofWiki Definition:Advanced_Encryption_Standard
wikipedia: Wikipedia Advanced Encryption Standard, Advanced Encryption Standard (definition). Also Wikidata Q190746

History

2026-10-26: add by m2/dev

Lajos Pukánszky TGKPSV8P26

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#YO5Y, Lajos Pukánszky (topic)

History

2026-11-02: add by m2/dev

TGKQAB6RQB TGKQAB6RQB

URI	`m2://inv/TGKQAB6RQB`
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.20690#JDSG (statement)

History

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

TGKY4PMCZ4 TGKY4PMCZ4

URI	`m2://inv/TGKY4PMCZ4`
Kind	problem
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 2605.24355#IW2T (problem). In VV3AJMWWCR/e1, problem 4

History

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

Arithmetic geometry TGM4T07WAV

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#370W, Arithmetic geometry (topic)

History

2026-11-02: add by m2/dev

TGM5P3T6RH TGM5P3T6RH

URI	`m2://inv/TGM5P3T6RH`
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#B039 (statement). In 6AEBXNK614/e1, lemma 2.5

History

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

TGM8EDHFHC TGM8EDHFHC

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

Mentions

napkin: napkin tex/homology/cup-product.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 52.8

History

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

Pre-intuitionism TGMD52DPNY

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

Mentions

wikipedia: Wikipedia Pre-intuitionism, Pre-intuitionism (topic). Also Wikidata Q7239989

History

2026-11-02: add by m2/dev

Steven Weinberg TGMEA90AZY

URI	`m2://inv/TGMEA90AZY`
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 Q179282, Steven Weinberg (unknown). Also nLab Steven Weinberg

History

2026-10-26: add by m2/dev

eigenvector TGMFFS7SF7

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

Mentions

wikipedia: Wikipedia Eigenvalues and eigenvectors#LER9, eigenvector (definition)

History

2026-11-02: add by m2/dev

Theorem TGMG7EEWCP

URI	`m2://inv/TGMG7EEWCP`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has the flag citation-needed (WP9.2))
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sylow theorems#1ENZ, Theorem (statement)

History

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

TGMMF0MSY1 TGMMF0MSY1

URI	`m2://inv/TGMMF0MSY1`
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.23671#4XL2 (statement)

History

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

TGMVBRR8N5 TGMVBRR8N5

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

Mentions

arxiv: arXiv 2609.24007#9HKO (definition)

History

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

TGMY85PX0N TGMY85PX0N

URI	`m2://inv/TGMY85PX0N`
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 2602.07485#H6YZ (definition). In 8KAC1E81JQ/e1, definition 7

History

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

TGN0FXS9GR TGN0FXS9GR

URI	`m2://inv/TGN0FXS9GR`
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.13528#27PY (statement). In TSBJEBS7SP/e1, lemma 3.1

History

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

Abstract NTK analysis TGN1EC176J

URI	`m2://inv/TGN1EC176J`
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.04357#1U93, Abstract NTK analysis (statement). In 6FY8BVP1F3/e1, theorem C.10

History

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

Underlying principle TGN2ACQ9NB

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

Mentions

wikipedia: Wikipedia Control variates#Q9E3, Underlying principle (statement)

History

2026-11-02: add by m2/dev

Tetrahemihexacron TGN4B9T5XR

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F8VR, Tetrahemihexacron (object)

History

2026-11-02: add by m2/dev

Prediction interval TGN7G9350M

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

Mentions

wikipedia: Wikipedia Prediction interval, Prediction interval (definition). Also Wikidata Q1106171

History

2026-11-02: add by m2/dev

Cantellated 24-cell honeycomb TGNB884PCQ

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

Mentions

wikipedia: Wikipedia Cantellated 24-cell honeycomb, Cantellated 24-cell honeycomb (definition). Also Wikidata Q17004440

History

2026-11-02: add by m2/dev

Statement TGNGDM32XF

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

Mentions

wikipedia: Wikipedia Appell's equation of motion#UL6V, Statement (statement)

History

2026-11-02: add by m2/dev

Adjoint functor theorem for posets TGNT6XGD2V

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

Mentions

wikipedia: Wikipedia Galois connection#8339, Adjoint functor theorem for posets (statement)

History

2026-11-02: add by m2/dev

Euler characteristic TGP0VCNACY

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#CI80, Euler characteristic (definition)

History

2026-11-02: add by m2/dev

Cantor–Bernstein–Schröder theorem TGP21NPDMJ

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

Mentions

wikipedia: Wikipedia List of theorems#6USX, Cantor–Bernstein–Schröder theorem (statement)

History

2026-11-02: add by m2/dev

epicycle TGP2FF6BG7

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

Mentions

wikidata: Wikidata Q961202, epicycle (definition). Also ProofWiki Definition:Epicycle_(Ptolemaic_Astronomy)

History

2026-10-26: add by m2/dev

Coherent turbulent structure TGP5HJF5SY

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

Mentions

wikipedia: Wikipedia Coherent turbulent structure, Coherent turbulent structure (definition). Also Wikidata Q18348207

History

2026-11-02: add by m2/dev

TGP8N2YSQM TGP8N2YSQM

URI	`m2://inv/TGP8N2YSQM`
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-12 (exercise). In Y91XFCEVHQ, exercise, section 6.1

History

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

TGPADY2HCZ TGPADY2HCZ

URI	`m2://inv/TGPADY2HCZ`
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.06644#45M3 (statement). In M12XTGJZBP/e1, theorem 3

History

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

TGPC0GPSM3 TGPC0GPSM3

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

Mentions

arxiv: arXiv 2609.28594#NK4J (definition)

History

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

TGPRAS3ZY7 TGPRAS3ZY7

URI	`m2://inv/TGPRAS3ZY7`
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.15094#B0LG (statement). In 5AA8PPK2CC/e1, theorem 7

History

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

TGPRX4Q4WB TGPRX4Q4WB

URI	`m2://inv/TGPRX4Q4WB`
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.17408#CBWM (statement). In QR8H4M1X4N/e1, theorem 8.4

History

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

Examples TGQ15HTX0Y

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

Mentions

wikipedia: Wikipedia Isomorphism of categories#0LS7, Examples (example)

History

2026-11-02: add by m2/dev

TGQ1H3KW2Y TGQ1H3KW2Y

URI	`m2://inv/TGQ1H3KW2Y`
Kind	problem
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.21808#ZOZY (problem)

History

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

TGQ1ZF59FC TGQ1ZF59FC

URI	`m2://inv/TGQ1ZF59FC`
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.05784#ARH6 (statement). In 6NVP3YRWVA/e1, corollary 3.6

History

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

Extreme value theory TGQ53XZYG6

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

Mentions

wikipedia: Wikipedia List of statistics articles#HN0H, Extreme value theory (topic)

History

2026-11-02: add by m2/dev

Orientation-preserving extension TGQ660A1BF

URI	`m2://inv/TGQ660A1BF`
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.04660#28W0, Orientation-preserving extension (statement). In 8ABKBS4H0N/e1, lemma 2.1

History

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

Two Summit Island TGQNXPK6PC

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

Mentions

wikipedia: Wikipedia List of places with numeric names#J2CK, Two Summit Island (unknown)

History

2026-11-02: add by m2/dev

Fox derivative TGQVJD3BJ9

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

Mentions

wikipedia: Wikipedia List of algebraic constructions#TFJA, Fox derivative (definition)

History

2026-11-02: add by m2/dev

TGR0Z5BHGY TGR0Z5BHGY

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

Mentions

arxiv: arXiv 2609.30579#UQSC (statement). In FDYZFDHZH9/e1, theorem 1.1

History

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

sextant TGR8NR1TRJ

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

Mentions

wikidata: Wikidata Q179430, sextant (definition). Also ProofWiki Definition:Sextant

History

2026-10-26: add by m2/dev

TGR94ZBR9T TGR94ZBR9T

URI	`m2://inv/TGR94ZBR9T`
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.03081#7I7L (statement). In TX0H26X4VX/e1, proposition 7.7

History

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

TGRS0Y71PQ TGRS0Y71PQ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-24 (exercise). In Y91XFCEVHQ, exercise, section 3.5

History

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

TGRSP7JG24 TGRSP7JG24

URI	`m2://inv/TGRSP7JG24`
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.21954#LL7X (statement). In F2XATDBRK4/e1, proposition 3

History

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

Shape optimization TGRWYDJJYG

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#8FJF, Shape optimization (definition)

History

2026-11-02: add by m2/dev

TGRYNNFW1G TGRYNNFW1G

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

Mentions

wikipedia: Wikipedia Disk covering problem#SN3I (problem)

History

2026-11-02: add by m2/dev

TGS000PD8Y TGS000PD8Y

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

Mentions

austin_ula: austin_ula src/section5-1.xml#example-LU (example). In 649HGZKE96, example, section 5.1.3

History

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

TGS5625Z8W TGS5625Z8W

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

Mentions

arxiv: arXiv 2502.08738#2WBP (statement). In 9GMTVSTAVN/e1, corollary 3.7

History

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

Definition TGSC2K8ZT1

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

Mentions

wikipedia: Wikipedia Drag coefficient#C254, Definition (definition)

History

2026-11-02: add by m2/dev

Wallis's conical edge TGSJS2STGK

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

Mentions

wikipedia: Wikipedia List of surfaces#FWJ2, Wallis's conical edge (definition)

History

2026-11-02: add by m2/dev

combinatorial game theory TGSKH6FS77

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

Mentions

wikidata: Wikidata Q1320931, combinatorial game theory (unknown). Also MathWorld ConwayGame
wikipedia: Wikipedia Combinatorial game theory, Combinatorial game theory (topic). Also Wikidata Q1320931

History

2026-10-26: add by m2/dev

Shaw Prize TGSMKKRNTZ

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

Mentions

wikidata: Wikidata Q584250, Shaw Prize (unknown). Also MathWorld ShawPrize

History

2026-10-26: add by m2/dev

The deduction theorem in predicate logic TGSPJ68GEB

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

Mentions

wikipedia: Wikipedia Deduction theorem#Y3DL, The deduction theorem in predicate logic (statement)

History

2026-11-02: add by m2/dev

TGSQGGYBGQ TGSQGGYBGQ

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#prop:num-primrec (statement). In PKGMM3P5QY, prop, section 27.3

History

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

TGSR9DRTWD TGSR9DRTWD

URI	`m2://inv/TGSR9DRTWD`
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.30363#TTSB (statement). In QHBBP180QJ/e1, proposition 14

History

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

Exact comparison for a fixed eigenvalue orbit TGSWAA8HGC

URI	`m2://inv/TGSWAA8HGC`
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#W2CW, Exact comparison for a fixed eigenvalue orbit (statement). In 9YAE8FNQST/e1, theorem 22.8

History

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

Definitions TGSYX1M06S

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

Mentions

wikipedia: Wikipedia Cycle space#G5ZM, Definitions (definition)

History

2026-11-02: add by m2/dev

Unique continuation from a set of positive measure TGT02W8S9B

URI	`m2://inv/TGT02W8S9B`
Kind	statement
Layer	research
MSC	35-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.02106#AV0P, Unique continuation from a set of positive measure (statement). In NGKK8ZB29J/e1, lemma 4.1

History

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

TGT83M6DGA TGT83M6DGA

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-74 (exercise). In E59CDZA4DP, exercise, section 10.6.6

History

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

Borel's paradox TGTCKBWNGS

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

Mentions

wikipedia: Wikipedia List of probability topics#ARPJ, Borel's paradox (statement)

History

2026-11-02: add by m2/dev

Simultaneous extension TGTCMKYV06

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

Mentions

arxiv: arXiv 2609.33733#G5RS, Simultaneous extension (statement). In QBAP8C82FG/e1, theorem 30

History

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

TGTDWMQR3Z TGTDWMQR3Z

URI	`m2://inv/TGTDWMQR3Z`
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 2610.06310#DCOK (definition). In WR5S1V9V8J/e1, definition 4.3

History

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

TGTKS22874 TGTKS22874

URI	`m2://inv/TGTKS22874`
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.07828#DMJG (statement). In TWGMVT1N1G/e1, theorem 8.9

History

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

Rotation number TGTPBA7A96

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

Mentions

wikipedia: Wikipedia Rotation number (knot theory), Rotation number (definition). Also Wikidata Q138017302

History

2026-11-02: add by m2/dev

Bowditch Point Park TGTQRX6E4Z

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

Mentions

wikipedia: Wikipedia Nathaniel Bowditch#3X29, Bowditch Point Park (unknown)

History

2026-11-02: add by m2/dev

Applications TGTRMF71EB

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

Mentions

wikipedia: Wikipedia Robust fuzzy programming#A7QN, Applications (example)

History

2026-11-02: add by m2/dev

TGTXZBR541 TGTXZBR541

URI	`m2://inv/TGTXZBR541`
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.37739#IBG1 (statement). In F5XF5VXTXY/e1, lemma 7.6

History

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

Generalizations TGV0JZ8CSH

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

Mentions

wikipedia: Wikipedia Cullen number#A9LS, Generalizations (statement)

History

2026-11-02: add by m2/dev

Martin Ohm TGV2DQ1A3Z

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

Mentions

wikipedia: Wikipedia Martin Ohm, Martin Ohm (topic). Also Wikidata Q707143

History

2026-11-02: add by m2/dev

Other separation axioms TGV5H6HT3K

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

Mentions

wikipedia: Wikipedia Separation axiom#WGYH, Other separation axioms (statement)

History

2026-11-02: add by m2/dev

TGV6E74DAJ TGV6E74DAJ

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

Mentions

arxiv: arXiv 2609.37931#UV1Z (example). In J8C1EXQW86/e1, example 5.7

History

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

GEM process TGV7PRG9AT

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

Mentions

wikipedia: Wikipedia Dirichlet process#KKQV, GEM process (unknown)

History

2026-11-02: add by m2/dev

Existence TGVH38F9NK

URI	`m2://inv/TGVH38F9NK`
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.38220#ACY2, Existence (statement). In 1AC4S19925/e1, lemma 5.9

History

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

Gabor atom TGVNXY99QC

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

Mentions

wikipedia: Wikipedia Gabor atom, Gabor atom (definition). Also Wikidata Q5515480

History

2026-11-02: add by m2/dev

TGVQ4KD0HN TGVQ4KD0HN

URI	`m2://inv/TGVQ4KD0HN`
Kind	statement
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#VDMG (statement). In 332PQD90SW/e1, theorem 3.5

History

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

TGVR0RGW87 TGVR0RGW87

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

Mentions

arxiv: arXiv 2610.09333#1WGM (statement). In Z9HC1EDTQP/e1, lemma 5.1

History

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

Variational vector field TGVR6DFNE4

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

Mentions

wikipedia: Wikipedia Variational vector field, Variational vector field (definition). Also Wikidata Q7915803

History

2026-11-02: add by m2/dev

TGVSS1MJQD TGVSS1MJQD

URI	`m2://inv/TGVSS1MJQD`
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.13271#SQL9 (statement). In G8ZEBKZY8M/e1, theorem 3.4

History

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

Existence in the classical setting, \mycite{Chapter 1}{HRW}, \mycite{Chapter 1}{IvanovTuzhilinNetworks TGVWAHWA3T

URI	`m2://inv/TGVWAHWA3T`
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 2610.17400#4T4S, Existence in the classical setting, \mycite{Chapter 1}{HRW}, \mycite{Chapter 1}{IvanovTuzhilinNetworks (statement). In 8VDXGR4SVD/e1, theorem 3.3

History

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

Quadratic improvement TGVYE1HGZQ

URI	`m2://inv/TGVYE1HGZQ`
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.22107#ZGAT, Quadratic improvement (statement). In SN5RJPQ713/e1, theorem 1.2

History

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

TGW25P1JGB TGW25P1JGB

URI	`m2://inv/TGW25P1JGB`
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.14689#0G54 (statement). In 6BKMNJYNPJ/e1, lemma 3.3

History

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

Poinsettias TGW5C222KP

URI	`m2://inv/TGW5C222KP`
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#YZYG, Poinsettias (unknown)

History

2026-11-02: add by m2/dev

TGW7GK5HXH TGW7GK5HXH

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#proof-4 (proof). In Y91XFCEVHQ, proof, section 2.4.2

History

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

TGW82MGQ26 TGW82MGQ26

URI	`m2://inv/TGW82MGQ26`
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.03144#U1SE (statement). In 9QW88325GS/e1, lemma 4.5

History

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

Example TGWBTNJT9W

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

Mentions

wikipedia: Wikipedia Differential privacy#0UF6, Example (example)

History

2026-11-02: add by m2/dev

TGWFH4TSAA TGWFH4TSAA

URI	`m2://inv/TGWFH4TSAA`
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.26386#48JD (statement)

History

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

octic TGWPKGWEWN

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#65YP, octic (definition)

History

2026-11-02: add by m2/dev

TGWVYKX84C TGWVYKX84C

URI	`m2://inv/TGWVYKX84C`
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.12087#KVBS (statement). In SH8TFHRG5R/e1, theorem 1

History

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

TGWW3SE1QV TGWW3SE1QV

URI	`m2://inv/TGWW3SE1QV`
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.20422#WXQG (statement). In HCH89W5Y2C/e1, corollary 6

History

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

Corner solution TGX1RR4V4B

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#Y97K, Corner solution (definition)

History

2026-11-02: add by m2/dev

TGX3NYFZ6B TGX3NYFZ6B

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

Mentions

arxiv: arXiv 2610.09678#M80J (statement). In 9VG7PNZHZT/e1, theorem 3.3

History

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

Time to fixation TGXF2HCYG5

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

Mentions

wikipedia: Wikipedia Genetic drift#MOEU, Time to fixation (unknown)

History

2026-11-02: add by m2/dev

Applications TGXRBZX8P3

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

Mentions

wikipedia: Wikipedia Shear mapping#H0HQ, Applications (example)

History

2026-11-02: add by m2/dev

TGXST65Q51 TGXST65Q51

URI	`m2://inv/TGXST65Q51`
Kind	definition
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.31127#5HLV (definition). In NS3RZ26JC7/e1, definition 4

History

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

TGXV7JRZYR TGXV7JRZYR

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

Mentions

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

History

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

Higher-order statistics TGXXSRAX9N

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

Mentions

wikipedia: Wikipedia Higher-order statistics, Higher-order statistics (definition). Also Wikidata Q5757980

History

2026-11-02: add by m2/dev

Kronecker delta TGXYDT8QWE

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

Mentions

wikidata: Wikidata Q192826, Kronecker delta (concept). Also MathWorld KroneckerDelta, nLab Kronecker delta
wikipedia: Wikipedia Kronecker delta, Kronecker delta (definition). Also Wikidata Q192826

History

2026-10-26: add by m2/dev

Richard von Mises Prize TGY0WC6V2E

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

Mentions

wikipedia: Wikipedia Richard von Mises Prize, Richard von Mises Prize (definition). Also Wikidata Q55631680

History

2026-11-02: add by m2/dev

Yves Laszlo TGY15E7CJ6

URI	`m2://inv/TGY15E7CJ6`
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 Q268830, Yves Laszlo (unknown). Also nLab Yves Laszlo
wikipedia: Wikipedia Yves Laszlo, Yves Laszlo (topic). Also Wikidata Q268830

History

2026-10-26: add by m2/dev

TGYBNFV05R TGYBNFV05R

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#cor:S5fmp (statement). In PKGMM3P5QY, cor, section 51.7

History

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

List of mathematical topics in classical mechanics TGYK0NFCK5

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics, List of mathematical topics in classical mechanics (topic). Also Wikidata Q17077754

History

2026-11-02: add by m2/dev

Definitions TGYMY2JYVH

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

Mentions

wikipedia: Wikipedia Ring of symmetric functions#D2FQ, Definitions (definition)

History

2026-11-02: add by m2/dev

W. Hugh Woodin TGYSGF36YC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VII2, W. Hugh Woodin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6T2H, W. Hugh Woodin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RLL4, W. Hugh Woodin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VPDP, W. Hugh Woodin (topic)

History

2026-11-02: add by m2/dev

XLfit TGYZHBHCSF

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

Mentions

wikipedia: Wikipedia List of statistical software#5OW5, XLfit (definition)

History

2026-11-02: add by m2/dev

W. Dale Brownawell TGZ24AY3H5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WTZM, W. Dale Brownawell (topic)

History

2026-11-02: add by m2/dev

TGZ844SVA6 TGZ844SVA6

URI	`m2://inv/TGZ844SVA6`
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.28650#FO7U (example)

History

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

stochastic approximation TGZ87584ZE

URI	`m2://inv/TGZ87584ZE`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Stochastic approximation ZPCPW4W1Y9

Mentions

wikidata: Wikidata Q97663916, stochastic approximation (unknown). Also MathWorld StochasticApproximation
wikipedia: Wikipedia Stochastic approximation, Stochastic approximation (definition). Also Wikidata Q97663916

History

2026-10-26: add by m2/dev

Applications TGZF945SN9

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

Mentions

wikipedia: Wikipedia Standard monomial theory#PBFQ, Applications (example)

History

2026-11-02: add by m2/dev

Neal Henry McCoy TGZMD6PXKQ

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

Mentions

wikipedia: Wikipedia Neal Henry McCoy, Neal Henry McCoy (topic). Also Wikidata Q94533246

History

2026-11-02: add by m2/dev

Theorem TGZQQ1BSWD

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

Mentions

wikipedia: Wikipedia Geometric logic#5MN2, Theorem (statement)

History

2026-11-02: add by m2/dev

TGZSM7KW9Y TGZSM7KW9Y

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

Mentions

arxiv: arXiv 2610.19449#8YFN (statement). In 8ZKPJ3CBDF/e1, proposition 4.9

History

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

TGZTW1RDRS TGZTW1RDRS

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

Mentions

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

History

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

Properties TGZZAA27A0

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

Mentions

wikipedia: Wikipedia Quotient automaton#9155, Properties (statement)

History

2026-11-02: add by m2/dev

TGZZVH6SYK TGZZVH6SYK

URI	`m2://inv/TGZZVH6SYK`
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.31327#WYI4 (statement). In F605BQ3AYX/e1, lemma 5.3

History

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