Inventory rows TP

TP03SNE9Z6 TP03SNE9Z6

URI	`m2://inv/TP03SNE9Z6`
Kind	problem
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.24449#IFMP (problem)

History

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

CAST-128 TP0AFG7815

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

Mentions

wikipedia: Wikipedia CAST-128, CAST-128 (definition). Also Wikidata Q53735

History

2026-11-02: add by m2/dev

TP0ANBSETZ TP0ANBSETZ

URI	`m2://inv/TP0ANBSETZ`
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 2510.12502#EA8U (statement). In 3A4K47Y9F2/e1, lemma 2.35

History

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

Common integrals in quantum field theory TP0DY8MC46

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

Mentions

wikipedia: Wikipedia Common integrals in quantum field theory, Common integrals in quantum field theory (definition). Also Wikidata Q5153552

History

2026-11-02: add by m2/dev

Dialectical logic TP0FN1111N

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

Mentions

wikipedia: Wikipedia Dialectical logic, Dialectical logic (definition). Also Wikidata Q1966671

History

2026-11-02: add by m2/dev

Boundary likelihood envelopes under a first moment TP0KZTZX37

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

Mentions

arxiv: arXiv 2610.19421#K4RS, Boundary likelihood envelopes under a first moment (statement). In 3S1VFGYWQE/e1, lemma 22

History

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

homotopy theory TP1A9981E1

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

Mentions

wikidata: Wikidata Q9357062, homotopy theory (topic). Also MathWorld HomotopyTheory, nLab homotopy theory
wikipedia: Wikipedia Homotopy theory, Homotopy theory (topic). Also Wikidata Q9357062

History

2026-10-26: add by m2/dev

Proofs involving ordinary least squares TP1AVSHN6N

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

Mentions

wikipedia: Wikipedia Proofs involving ordinary least squares, Proofs involving ordinary least squares (definition). Also Wikidata Q7250025

History

2026-11-02: add by m2/dev

TP1K4WFT20 TP1K4WFT20

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

Mentions

arxiv: arXiv math/9902147#5IDR (statement). In 7CK21JGM5A/e1, theorem D

History

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

cyclic TP1KKVT4TG

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#Y035, cyclic (definition)

History

2026-11-02: add by m2/dev

Generalizations TP1MXEA57F

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

Mentions

wikipedia: Wikipedia Log sum inequality#HLMI, Generalizations (statement)

History

2026-11-02: add by m2/dev

TP1SK35BEZ TP1SK35BEZ

URI	`m2://inv/TP1SK35BEZ`
Kind	example
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.31484#JO6A (example). In 1RDQ10G87W/e1, example 4.7

History

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

Properties TP1T64EKA6

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

Mentions

wikipedia: Wikipedia Log semiring#SRC2, Properties (statement)

History

2026-11-02: add by m2/dev

Richard Maunder TP1XP5JESY

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

Mentions

wikipedia: Wikipedia Richard Maunder, Richard Maunder (topic). Also Wikidata Q25805831

History

2026-11-02: add by m2/dev

Theorem TP2AGNMMXS

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

Mentions

wikipedia: Wikipedia Graph flattenability#VESZ, Theorem (statement)

History

2026-11-02: add by m2/dev

TP2B4TS1N5 TP2B4TS1N5

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

Mentions

arxiv: arXiv 1903.11969#GISP (statement). In 9N4EV3GRM7/e1, theorem 3.9

History

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

The Simple Solution to Rubik's Cube TP2BVQNP79

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

Mentions

wikipedia: Wikipedia The Simple Solution to Rubik's Cube, The Simple Solution to Rubik's Cube (definition). Also Wikidata Q7764345

History

2026-11-02: add by m2/dev

TP2C8P7NA8 TP2C8P7NA8

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

Mentions

arxiv: arXiv 2609.30961#TVBC (statement). In FFG2DDWEVB/e1, corollary 6.6

History

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

TP2QGKMGCN TP2QGKMGCN

URI	`m2://inv/TP2QGKMGCN`
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.18673#E1OY (statement). In 7ZFD9XRKA1/e1, theorem 2.2

History

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

Viral dynamics TP2W29NKM1

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

Mentions

wikipedia: Wikipedia Viral dynamics, Viral dynamics (definition). Also Wikidata Q24963119

History

2026-11-02: add by m2/dev

TP2XMSZ174 TP2XMSZ174

URI	`m2://inv/TP2XMSZ174`
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.07608#WH17 (statement). In X8FQD4TEVG/e1, lemma 3.13

History

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

Example TP2XSB5RVX

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

Mentions

wikipedia: Wikipedia Langford pairing#WTGV, Example (example)

History

2026-11-02: add by m2/dev

Ben Delo TP2Y7KFE30

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#08S5, Ben Delo (unknown)

History

2026-11-02: add by m2/dev

TP2Y7MBW9D TP2Y7MBW9D

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

Mentions

arxiv: arXiv 2610.15402#YWHU (definition). In WSE8SEHVXG/e1, definition 2

History

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

Connected case TP2Y8N3RP3

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

Mentions

arxiv: arXiv 2609.30637#DIA7, Connected case (statement). In 6G1KBA0SXV/e1, theorem 4.26

History

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

Derivation by inclusion–exclusion principle TP31GVQMEK

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

Mentions

wikipedia: Wikipedia Derangement#KQR1, Derivation by inclusion–exclusion principle (statement)

History

2026-11-02: add by m2/dev

TP36GNGDWC TP36GNGDWC

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

Mentions

arxiv: arXiv 2609.28824#CRWN (statement)

History

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

TP387XJK04 TP387XJK04

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

Mentions

arxiv: arXiv 2609.29925#XKV1 (statement)

History

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

Reinforcement learning TP3ANE343W

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

Mentions

wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#V84F, Reinforcement learning (topic)

History

2026-11-02: add by m2/dev

SimPy TP3B46Z6XP

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#XBIL, SimPy (unknown)

History

2026-11-02: add by m2/dev

Definition TP3Y74SPNB

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

Mentions

wikipedia: Wikipedia Clasper (mathematics)#4XLT, Definition (definition)

History

2026-11-02: add by m2/dev

Takeshi Tsuji TP4EW78GJT

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R889, Takeshi Tsuji (unknown)

History

2026-11-02: add by m2/dev

TP4R9GZBTM TP4R9GZBTM

URI	`m2://inv/TP4R9GZBTM`
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.34339#54GC (statement). In 9WFSTGMQ4E/e1, fact 3.1

History

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

High School Mathematical Contest in Modeling TP4WGR4X67

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#ACXI, High School Mathematical Contest in Modeling (unknown)

History

2026-11-02: add by m2/dev

TP54RFS844 TP54RFS844

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

Mentions

arxiv: arXiv 1001.3429#D5MP (statement). In 6S4BVGS1VP/e1, theorem 2.2

History

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

TP59MDX6BN TP59MDX6BN

URI	`m2://inv/TP59MDX6BN`
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 2512.21427#TTQ3 (statement). In G9XD78ZCAS/e1, lemma 6.4

History

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

Heaviside step function TP5BMK8N6K

URI	`m2://inv/TP5BMK8N6K`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Heaviside step function 09C4JP7Y0M

Mentions

wikidata: Wikidata Q322339, Heaviside step function (definition). Also MathWorld HeavisideStepFunction, ProofWiki Definition:Heaviside_Step_Function
wikipedia: Wikipedia Heaviside step function, Heaviside step function (definition). Also Wikidata Q322339

History

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

Equal incircles theorem TP5D4KY5PM

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

Mentions

wikipedia: Wikipedia List of theorems#J74L, Equal incircles theorem (statement)

History

2026-11-02: add by m2/dev

TP5RXMM7P7 TP5RXMM7P7

URI	`m2://inv/TP5RXMM7P7`
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.06546#QEUO (statement). In G6DK297DQN/e1, lemma 3

History

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

TP5WWXZB2B TP5WWXZB2B

URI	`m2://inv/TP5WWXZB2B`
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.22074#2A49 (statement). In F3BKXXPR3K/e1, lemma 2.23

History

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

TP5YF1KPBV TP5YF1KPBV

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

Mentions

arxiv: arXiv 2610.10928#0L6E (statement). In 8M7BFVQYMM/e1, theorem 5.4

History

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

Wilhelm Frahm TP62P3C6MG

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

Mentions

wikipedia: Wikipedia Wilhelm Frahm, Wilhelm Frahm (topic). Also Wikidata Q7945542

History

2026-11-02: add by m2/dev

Cryptosystem TP67G94PR9

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

Mentions

wikipedia: Wikipedia Cryptosystem, Cryptosystem (definition). Also Wikidata Q976521

History

2026-11-02: add by m2/dev

\textbf{Finite-time error estimates for randomized ULMC TP6EEC3H7E

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

Mentions

arxiv: arXiv 2609.20713#GBDU, \textbf{Finite-time error estimates for randomized ULMC (statement)

History

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

P wave TP6GC173YJ

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

Mentions

wikipedia: Wikipedia P wave, P wave (definition). Also Wikidata Q1208908

History

2026-11-02: add by m2/dev

Sandrine Péché TP6NGSCECW

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

Mentions

wikipedia: Wikipedia Sandrine Péché, Sandrine Péché (topic). Also Wikidata Q25305633

History

2026-11-02: add by m2/dev

preconditioner TP7A8VY20K

URI	`m2://inv/TP7A8VY20K`
Kind	definition
Layer	textbook
MSC	65F10
Sources	2
Outcome	open
Node	Preconditioner KE98SW3SBD

Mentions

wikidata: Wikidata Q1754327, preconditioner (topic). Also MathWorld Preconditioner, nLab preconditioner
wikipedia: Wikipedia Preconditioner, Preconditioner (definition). Also Wikidata Q1754327

History

2026-10-26: add by m2/dev

Quasiperiodic tiling TP7AAV2ASD

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

Mentions

wikipedia: Wikipedia Quasiperiodic tiling, Quasiperiodic tiling (definition). Also Wikidata Q7269516

History

2026-11-02: add by m2/dev

Young's inequality for integral operators TP7KNZP695

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

Mentions

wikipedia: Wikipedia Young's inequality for integral operators, Young's inequality for integral operators (statement). Also Wikidata Q39046727

History

2026-11-02: add by m2/dev

TP7NBJ8D8X TP7NBJ8D8X

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

Mentions

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

History

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

TP7P279ZS2 TP7P279ZS2

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

Mentions

arxiv: arXiv 2609.30301#0LJ6 (statement). In 7NS75J7HAM/e1, lemma 7.1

History

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

Symplectic normal form under covariance slackness TP7VYXCW1W

URI	`m2://inv/TP7VYXCW1W`
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.01855#DC6K, Symplectic normal form under covariance slackness (statement). In MM8P5CJR18/e1, lemma D.6

History

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

TP7Z8B3CFX TP7Z8B3CFX

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

Mentions

arxiv: arXiv 2609.35095#JPOD (statement). In MM3XTWS35F/e1, theorem 4.3

History

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

B. I. Zilber TP7ZXWTZKP

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A5FZ, B. I. Zilber (topic)

History

2026-11-02: add by m2/dev

Géza Grünwald TP8452QG5C

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

Mentions

wikipedia: Wikipedia Géza Grünwald, Géza Grünwald (topic). Also Wikidata Q5626040

History

2026-11-02: add by m2/dev

TP85YKK62Z TP85YKK62Z

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

Mentions

arxiv: arXiv 2610.19333#RLEN (statement). In 5Y3HF693YB/e1, lemma 3.7

History

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

TP86B9RJC5 TP86B9RJC5

URI	`m2://inv/TP86B9RJC5`
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.14842#ITBN (statement). In MQXT5RQE0C/e1, lemma 4.1

History

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

Methods TP8E51960M

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

Mentions

wikipedia: Wikipedia Geostatistics#HYHQ, Methods (definition)

History

2026-11-02: add by m2/dev

Ordered field TP8M6PM0VF

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

Mentions

wikipedia: Wikipedia List of order theory topics#RXJB, Ordered field (definition)

History

2026-11-02: add by m2/dev

Examples TP8N290DR5

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

Mentions

wikipedia: Wikipedia Serial module#X880, Examples (example)

History

2026-11-02: add by m2/dev

Generalizations TP8PWB4JKA

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

Mentions

wikipedia: Wikipedia Banach fixed-point theorem#L2L9, Generalizations (statement)

History

2026-11-02: add by m2/dev

TP8SXFQNE2 TP8SXFQNE2

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

Mentions

arxiv: arXiv 2610.07285#4Z8Y (statement). In S284XRA4WK/e1, lemma F.4

History

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

TP8VFXETS6 TP8VFXETS6

URI	`m2://inv/TP8VFXETS6`
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.29326#QZ64 (statement). In 3F83V6VKKA/e1, theorem 4.8

History

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

Yitzchak Ratner TP8ZP8XFMY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#1QJF, Yitzchak Ratner (topic)

History

2026-11-02: add by m2/dev

TP9BNS48WB TP9BNS48WB

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

Mentions

arxiv: arXiv 2609.25762#XFA9 (statement)

History

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

Trapped surface TP9P534GG7

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

Mentions

wikipedia: Wikipedia Trapped surface, Trapped surface (definition). Also Wikidata Q7835643

History

2026-11-02: add by m2/dev

Akyol--Degtyarev, 2016 TP9R1QKA8H

URI	`m2://inv/TP9R1QKA8H`
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.16408#ZGTY, Akyol--Degtyarev, 2016 (statement). In VGQ2QT73ZF/e1, theorem 5.2

History

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

Simple non-inferential passage TPA0QNHPPQ

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

Mentions

wikipedia: Wikipedia Simple non-inferential passage, Simple non-inferential passage (definition). Also Wikidata Q7520809

History

2026-11-02: add by m2/dev

Nelli Neumann TPA84RHPTB

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#FC3T, Nelli Neumann (unknown)

History

2026-11-02: add by m2/dev

Full support TPA8PAK4T2

URI	`m2://inv/TPA8PAK4T2`
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 2610.03811#MMOB, Full support (statement). In DHQWFJW02X/e1, proposition 5.5

History

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

trivial representation TPAEWEH9HX

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

Mentions

wikidata: Wikidata Q7844662, trivial representation (unknown). Also nLab trivial representation
wikipedia: Wikipedia Trivial representation, Trivial representation (definition). Also Wikidata Q7844662

History

2026-10-26: add by m2/dev

Identity-based encryption algorithms TPAF8CJSJK

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

Mentions

wikipedia: Wikipedia Identity-based encryption#U2DY, Identity-based encryption algorithms (definition)

History

2026-11-02: add by m2/dev

TPARCFJ2FX TPARCFJ2FX

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

Mentions

arxiv: arXiv 2609.39700#L4KT (statement). In E7W2HDNEKJ/e1, theorem 7.2

History

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

David Bevan TPARKZNBAS

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

Mentions

wikipedia: Wikipedia David Bevan (mathematician), David Bevan (topic). Also Wikidata Q46084007

History

2026-11-02: add by m2/dev

Prime number theorem TPB31EYNS7

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

Mentions

wikipedia: Wikipedia List of number theory topics#2F19, Prime number theorem (statement)

History

2026-11-02: add by m2/dev

TPB36342MT TPB36342MT

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

Mentions

arxiv: arXiv 2609.24739#D69O (statement)

History

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

TPB5M78T8G TPB5M78T8G

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:biholringiso (exercise). In VNMV985MXX, exercise, section 6.4

History

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

E-statistic TPBB99K0JD

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

Mentions

wikipedia: Wikipedia List of statistics articles#AQ5D, E-statistic (definition)

History

2026-11-02: add by m2/dev

Projected confusion set TPBF39DKS1

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

Mentions

arxiv: arXiv 2610.15631#5NG6, Projected confusion set (definition). In AF465QFRGQ/e1, definition II.5

History

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

parentheses TPBGFBD2VK

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

Mentions

hott_book: hott_book index/A.2/parentheses, parentheses (concept). In N54F33XE07, index, section A.2

History

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

Examples TPBX96GEZW

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

Mentions

wikipedia: Wikipedia Vertex cover#XX3O, Examples (example)

History

2026-11-02: add by m2/dev

Andrea Walther TPC76XSD29

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

Mentions

wikipedia: Wikipedia Andrea Walther, Andrea Walther (topic). Also Wikidata Q57557697

History

2026-11-02: add by m2/dev

Whitehead's lemma TPC7PBMP5N

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

Mentions

wikipedia: Wikipedia Whitehead's lemma, Whitehead's lemma (statement). Also Wikidata Q1816970

History

2026-11-02: add by m2/dev

Demographics of Palestine TPC7ZS4KRJ

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

Mentions

wikipedia: Wikipedia Demographics of Palestine, Demographics of Palestine (definition). Also Wikidata Q5256116

History

2026-11-02: add by m2/dev

Point-mass Gaussian value TPC8X32JPM

URI	`m2://inv/TPC8X32JPM`
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.27250#WHLD, Point-mass Gaussian value (statement)

History

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

TPCJ5MDEE9 TPCJ5MDEE9

URI	`m2://inv/TPCJ5MDEE9`
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.12683#J9H0 (statement). In N5ZFFWV3RX/e1, theorem 3.2

History

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

TPCN7B748D TPCN7B748D

URI	`m2://inv/TPCN7B748D`
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 2610.18847#3IQ1 (definition). In DZ12XTTJSM/e1, definition 4.12

History

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

fuzzy sphere TPCNY5XZJ7

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

Mentions

wikidata: Wikidata Q5511135, fuzzy sphere (unknown). Also nLab fuzzy sphere
wikipedia: Wikipedia Fuzzy sphere, Fuzzy sphere (definition). Also Wikidata Q5511135

History

2026-10-26: add by m2/dev

Tony Skyrme TPCQ268TKB

URI	`m2://inv/TPCQ268TKB`
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 Q1665938, Tony Skyrme (unknown). Also nLab Tony Skyrme

History

2026-10-26: add by m2/dev

Outer opposite-side compact domain TPCY1ZB37Q

URI	`m2://inv/TPCY1ZB37Q`
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#YI0V, Outer opposite-side compact domain (statement)

History

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

Vagrant predicate TPCZWXADPT

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

Mentions

wikipedia: Wikipedia Vagrant predicate, Vagrant predicate (definition). Also Wikidata Q7908552

History

2026-11-02: add by m2/dev

Applications of the sunflower lemma TPD6JEABD9

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

Mentions

wikipedia: Wikipedia Sunflower (mathematics)#9W50, Applications of the sunflower lemma (statement)

History

2026-11-02: add by m2/dev

Hasse TPDD4VTXV2

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

Mentions

wikipedia: Wikipedia Glossary of number theory#Y9I5, Hasse (definition)

History

2026-11-02: add by m2/dev

Quantitative induction TPDFCGPFYB

URI	`m2://inv/TPDFCGPFYB`
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.00789#B23J, Quantitative induction (statement). In 4WPYBTARS2/e1, proposition 5.8

History

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

TPDG8BQXQN TPDG8BQXQN

URI	`m2://inv/TPDG8BQXQN`
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.33476#BS3J (statement). In DAQW640R25/e1, lemma 4.6

History

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

Applications TPDJJEHRKM

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

Mentions

wikipedia: Wikipedia Formal language#PUJL, Applications (example)

History

2026-11-02: add by m2/dev

TPDVB23HWR TPDVB23HWR

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

Mentions

arxiv: arXiv 2609.22657#TP4J (statement)

History

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

Symmetry TPDX0H6XDA

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

Mentions

wikipedia: Wikipedia Order-4 apeirogonal tiling#RO6C, Symmetry (statement)

History

2026-11-02: add by m2/dev

Luhn formula TPDX9271JP

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

Mentions

wikipedia: Wikipedia List of number theory topics#XDK6, Luhn formula (definition)

History

2026-11-02: add by m2/dev

Applications TPE4FCGVP2

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

Mentions

wikipedia: Wikipedia Crystalline cohomology#TEP5, Applications (example)

History

2026-11-02: add by m2/dev

TPEGZ213SG TPEGZ213SG

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-63 (exercise). In E9HS8K3A52, exercise, section 6.5.4

History

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

Radial monotonicity TPEH2TG6E7

URI	`m2://inv/TPEH2TG6E7`
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.19837#HLLE, Radial monotonicity (statement). In 837NSWQM1P/e1, lemma 2.1

History

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

TPEHRQH9CW TPEHRQH9CW

URI	`m2://inv/TPEHRQH9CW`
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.28540#EOG9 (statement)

History

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

TPEN06QQMF TPEN06QQMF

URI	`m2://inv/TPEN06QQMF`
Kind	definition
Layer	research
MSC	54-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.33841#NCIM (definition). In 3CVQHT206K/e1, definition 5.1

History

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

2E-RCUSUM: $\Psi_{2\text{RC}} (A, a_X, a_Y, N_0, N_X, \mu) \allowbreak = \Psi_{2\text{RC}}$ TPESMZSQZF

URI	`m2://inv/TPESMZSQZF`
Kind	definition
Layer	research
MSC	62-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.16055#4OS7, 2E-RCUSUM: $\Psi_{2\text{RC}} (A, a_X, a_Y, N_0, N_X, \mu) \allowbreak = \Psi_{2\text{RC}}$ (definition). In 389BW42CTK/e1, definition 1

History

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

Lean TPESPCMYJV

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

Mentions

wikidata: Wikidata Q6509476, Lean (unknown). Also nLab Lean
wikipedia: Wikipedia Lean (proof assistant), Lean (definition). Also Wikidata Q6509476

History

2026-10-26: add by m2/dev

Landau–Kolmogorov inequality TPF2Y6TBR1

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

Mentions

wikipedia: Wikipedia Landau–Kolmogorov inequality, Landau–Kolmogorov inequality (statement). Also Wikidata Q5638668

History

2026-11-02: add by m2/dev

Carleman's theorem TPF6GCBWTX

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

Mentions

wikipedia: Wikipedia Borel summation#ILNK, Carleman's theorem (statement)

History

2026-11-02: add by m2/dev

Four-transition scalar bounds TPF6S3RBV8

URI	`m2://inv/TPF6S3RBV8`
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.13962#D2A4, Four-transition scalar bounds (statement). In 7NP5QKECVA/e1, lemma 3.8

History

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

Another way of stating the theorem TPFA65298Z

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

Mentions

wikipedia: Wikipedia De Finetti's theorem#JE1P, Another way of stating the theorem (statement)

History

2026-11-02: add by m2/dev

TPFB56NZ82 TPFB56NZ82

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

Mentions

arxiv: arXiv 2610.22268#7O6J (statement). In 9ZD87293QS/e1, theorem 4.4

History

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

Mahaney's theorem TPFDAHDXFG

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

Mentions

wikipedia: Wikipedia Sparse language#BRRC, Mahaney's theorem (statement)

History

2026-11-02: add by m2/dev

TPFDD5SR00 TPFDD5SR00

URI	`m2://inv/TPFDD5SR00`
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 0905.3937#YFUW (statement). In 9Z920GVSA7/e1, proposition 2.2

History

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

LFA critic upper bound TPG40FRRHN

URI	`m2://inv/TPG40FRRHN`
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.04117#AGZL, LFA critic upper bound (statement). In 65E9N3DFYP/e1, lemma 5.8

History

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

Dagum distribution TPGCQF4K2B

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

Mentions

wikipedia: Wikipedia List of statistics articles#EWBJ, Dagum distribution (definition)

History

2026-11-02: add by m2/dev

Examples TPGMXZJG1F

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

Mentions

wikipedia: Wikipedia Chromatic symmetric function#2SMR, Examples (example)

History

2026-11-02: add by m2/dev

Athanassios Fokas TPGRXE5TK8

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

Mentions

wikipedia: Wikipedia Athanassios Fokas, Athanassios Fokas (topic). Also Wikidata Q754888

History

2026-11-02: add by m2/dev

Matrix-matrix multiplication TPH0BBX6HD

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

Mentions

austin_ula: austin_ula src/section2-2.xml#definition-2, Matrix-matrix multiplication (definition). In 649HGZKE96, definition, section 2.2.4

History

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

Wigner quasiprobability distribution TPH49FATAB

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

Mentions

wikipedia: Wikipedia Wigner quasiprobability distribution, Wigner quasiprobability distribution (definition). Also Wikidata Q17119376

History

2026-11-02: add by m2/dev

The Chase TPH5KPB04J

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

Mentions

wikipedia: Wikipedia List of algorithms#HQ7J, The Chase (unknown)

History

2026-11-02: add by m2/dev

TPHDPACW0T TPHDPACW0T

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#prob:intersection of open sets (exercise). In P1C114YBXG, problem, section K

History

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

Uniform rate bound from a strict cycle separator TPHEF7JHYC

URI	`m2://inv/TPHEF7JHYC`
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.15125#2PGN, Uniform rate bound from a strict cycle separator (statement). In V5GT8NJKCM/e1, proposition C.4

History

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

Principal idèle TPHGZQ53B9

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

Mentions

wikipedia: Wikipedia Adele ring#9XOU, Principal idèle (unknown)

History

2026-11-02: add by m2/dev

TPHP776S6P TPHP776S6P

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

Mentions

arxiv: arXiv 2609.36237#4GV7 (statement). In JNBMSFE14N/e1, corollary 2.4

History

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

Example TPHT875855

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

Mentions

wikipedia: Wikipedia One-way analysis of variance#KUFI, Example (example)

History

2026-11-02: add by m2/dev

TPHV2KRE3V TPHV2KRE3V

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

Mentions

arxiv: arXiv 2609.32977#JSSZ (statement). In 4KT9TK3MG4/e1, theorem E.1

History

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

Maffray--Reed TPHVYT624A

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

Mentions

arxiv: arXiv 2610.16258#6JJU, Maffray--Reed (definition). In AZ6QMVKFHD/e1, definition 3.1

History

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

TPJ274QMJM TPJ274QMJM

URI	`m2://inv/TPJ274QMJM`
Kind	definition
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.28374#QLYJ (definition)

History

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

TPJ3K6S96R TPJ3K6S96R

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#prob:lots of relations (exercise). In P1C114YBXG, problem, section H

History

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

Palindromic prime TPJB0HNX9T

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#KGCI, Palindromic prime (conjecture)

History

2026-11-02: add by m2/dev

trifolium TPJFKVEMWP

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

Mentions

wikidata: Wikidata Q9361580, trifolium (unknown). Also MathWorld Trifolium

History

2026-10-26: add by m2/dev

Kruskal's algorithm TPJKBX6RWD

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

Mentions

applied_combinatorics: applied_combinatorics index/12.1.2/kruskal-s-algorithm, Kruskal's algorithm (concept). In QKM9DD2H56, index, section 12.1.2

History

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

TPJWXY25SZ TPJWXY25SZ

URI	`m2://inv/TPJWXY25SZ`
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 2112.05010#47AI (definition). In 4SZNPS3Z00/e1, definition B.3

History

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

Dickson's conjecture TPJXTNHGYS

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

Mentions

wikipedia: Wikipedia Dickson's conjecture, Dickson's conjecture (conjecture). Also Wikidata Q2993313

History

2026-11-02: add by m2/dev

Jerusalem cube TPK1F68WA9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#73PO, Jerusalem cube (definition)

History

2026-11-02: add by m2/dev

Nagel point TPK1YMZPBH

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

Mentions

wikipedia: Wikipedia List of triangle topics#FFYW, Nagel point (definition)

History

2026-11-02: add by m2/dev

TPK5TAS4YP TPK5TAS4YP

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

Mentions

arxiv: arXiv 2610.14985#YANX (definition). In DGXJW3SCBR/e1, definition 1

History

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

Information source TPK6MQP12P

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

Mentions

wikipedia: Wikipedia Information source (mathematics), Information source (definition). Also Wikidata Q6031225

History

2026-11-02: add by m2/dev

Theorem GF3 TPKMMDXKB0

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#OPZV, Theorem GF3 (statement)

History

2026-11-02: add by m2/dev

Vanishing puzzle TPKP3BP973

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

Mentions

wikipedia: Wikipedia Vanishing puzzle, Vanishing puzzle (problem). Also Wikidata Q116233291

History

2026-11-02: add by m2/dev

TPKRHCMDEN TPKRHCMDEN

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

Mentions

arxiv: arXiv 2610.20131#DGLX (statement). In 29D4TTE3J2/e1, theorem 9.8

History

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

TPKWGXHPJP TPKWGXHPJP

URI	`m2://inv/TPKWGXHPJP`
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.22296#YVTT (statement)

History

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

Maximum Linear Satisfiability (max-LINSAT), satisfaction fraction TPKYPWVJ1W

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

Mentions

arxiv: arXiv 2609.31484#947Y, Maximum Linear Satisfiability (max-LINSAT), satisfaction fraction (definition). In 1RDQ10G87W/e1, definition 2.3

History

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

Diane Briars TPM38Q243M

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

Mentions

wikipedia: Wikipedia Diane Briars, Diane Briars (topic). Also Wikidata Q104603599

History

2026-11-02: add by m2/dev

TPM71BZS00 TPM71BZS00

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

Mentions

napkin: napkin tex/alg-NT/ramification.tex#definition-1 (definition). In RZP28ERRZV, definition, section 18.3

History

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

Hypergeometric function TPMG46XGX8

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

Mentions

wikipedia: Wikipedia List of mathematical functions#AVOQ, Hypergeometric function (definition)

History

2026-11-02: add by m2/dev

Thiruvenkatachari Parthasarathy TPMHQPCFFH

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

Mentions

wikipedia: Wikipedia Thiruvenkatachari Parthasarathy, Thiruvenkatachari Parthasarathy (topic). Also Wikidata Q7785545

History

2026-11-02: add by m2/dev

Exact cavity equations TPMJ7VPX8Q

URI	`m2://inv/TPMJ7VPX8Q`
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.20414#L6EQ, Exact cavity equations (statement). In X2NNNW8CX5/e1, proposition 3.6

History

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

Lagrange's theorem (group theory) TPMN3A1N64

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#VDJP, Lagrange's theorem (group theory) (statement)
wikipedia: Wikipedia List of mathematical proofs#8WMT, Lagrange's theorem (group theory) (statement)
wikipedia: Wikipedia List of theorems#SNYS, Lagrange's theorem (statement)

History

2026-11-02: add by m2/dev

Example TPMPMY077T

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

Mentions

wikipedia: Wikipedia Time hierarchy theorem#NEM2, Example (example)

History

2026-11-02: add by m2/dev

TPN0HKDTAC TPN0HKDTAC

URI	`m2://inv/TPN0HKDTAC`
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 2608.23797#RN38 (statement). In PZCA01JXVR/e1, theorem 2.5

History

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

TPN6368YRS TPN6368YRS

URI	`m2://inv/TPN6368YRS`
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 1303.4328#O5D0 (statement). In HCTYW6VH87/e1, proposition 3.1

History

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

Newspoll TPN9J47ANN

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

Mentions

wikipedia: Wikipedia List of polling organizations#4QCA, Newspoll (unknown)

History

2026-11-02: add by m2/dev

Mixed Hodge structure TPN9QWNHS7

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

Mentions

wikipedia: Wikipedia Mixed Hodge structure, Mixed Hodge structure (definition). Also Wikidata Q98077919

History

2026-11-02: add by m2/dev

TPNDHZ0M6V TPNDHZ0M6V

URI	`m2://inv/TPNDHZ0M6V`
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.13392#3CBT (statement). In 2FVND41HVS/e1, lemma 2.1

History

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

Charge selection TPNDX7C3Z1

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

Mentions

arxiv: arXiv 2610.11652#C9I2, Charge selection (statement). In VEXM27M8Q1/e1, lemma 4.10

History

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

René Carmona TPNPMMEVX5

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

Mentions

wikipedia: Wikipedia René Carmona, René Carmona (topic). Also Wikidata Q102169671

History

2026-11-02: add by m2/dev

TPNS2ZXVJK TPNS2ZXVJK

URI	`m2://inv/TPNS2ZXVJK`
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#UC95 (statement). In PEXJPV3NP8/e1, theorem 3.9

History

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

Young & Verhagen Formula: Lake Garda TPNX0CES60

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

Mentions

wikipedia: Wikipedia Wind wave model#34JA, Young & Verhagen Formula: Lake Garda (statement)

History

2026-11-02: add by m2/dev

Etingof--Nikshych--Ostrik TPNZXMZ4YW

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

Mentions

arxiv: arXiv 2610.14847#7V2G, Etingof--Nikshych--Ostrik (statement). In 2RC8WXQ9ET/e1, fact 2.8

History

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

TPPBWGPW35 TPPBWGPW35

URI	`m2://inv/TPPBWGPW35`
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.22263#P11D (statement)

History

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

The torus TPPGY3VZF4

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

Mentions

napkin: napkin tex/topology/cover-project.tex#example-8, The torus (example). In RZP28ERRZV, example, section 97.4

History

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

TPPN2CXT46 TPPN2CXT46

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

Mentions

arxiv: arXiv 2610.06755#FXR5 (statement). In DKEX05SEXS/e1, theorem 5.8

History

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

TPPQHS4Y47 TPPQHS4Y47

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

Mentions

arxiv: arXiv 2609.38194#T1DG (statement). In M9BZSET9ZV/e1, lemma 3.1

History

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

Projective bundles TPPTDMD1MW

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

Mentions

arxiv: arXiv 2609.20513#8XNT, Projective bundles (statement)

History

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

Notations TPPYXP3SS7

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

Mentions

wikipedia: Wikipedia Cut point#6CD7, Notations (definition)

History

2026-11-02: add by m2/dev

TPQ155RRXJ TPQ155RRXJ

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

Mentions

arxiv: arXiv 2609.24917#XRH1 (statement)

History

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

TPQ4FRDZBX TPQ4FRDZBX

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

Mentions

arxiv: arXiv 2609.26984#TNOZ (statement)

History

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

Menger's theorem TPQAGZ9J88

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

Mentions

wikipedia: Wikipedia List of network theory topics#FLRZ, Menger's theorem (statement)

History

2026-11-02: add by m2/dev

Airy function TPQEQZPJ9S

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#X9Y9, Airy function (definition)

History

2026-11-02: add by m2/dev

Markov chain TPQHBNHT7Z

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

Mentions

austin_ula: austin_ula index/4.5.3/markov-chain, Markov chain (concept). In 649HGZKE96, index, section 4.5.3

History

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

TPQWMRXTYQ TPQWMRXTYQ

URI	`m2://inv/TPQWMRXTYQ`
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 2007.14459#GYP8 (statement). In SGQ7VFEZ22/e1, theorem 4.4

History

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

vector triple product TPQYVR234A

URI	`m2://inv/TPQYVR234A`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Vector triple product 03FTB26QYD

Mentions

wikidata: Wikidata Q5812140, vector triple product (unknown). Also MathWorld VectorTripleProduct

History

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

TPR50HFDCB TPR50HFDCB

URI	`m2://inv/TPR50HFDCB`
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.29878#Y7YP (statement)

History

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

Grigory Yavlinsky TPR8K1TNCJ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#W6X0, Grigory Yavlinsky (unknown)

History

2026-11-02: add by m2/dev

TPR97XC40M TPR97XC40M

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

Mentions

arxiv: arXiv 2610.03499#K3NN (statement). In NAE99N03W3/e1, proposition 8.1

History

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

Statement of TPRAXGJV2B

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

Mentions

wikipedia: Wikipedia Central limit theorem#Y55H, Statement of (statement)

History

2026-11-02: add by m2/dev

Loss function TPRGHAR3ZM

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

Mentions

wikipedia: Wikipedia Loss function, Loss function (definition). Also Wikidata Q1036748

History

2026-11-02: add by m2/dev

TPRHDS7BTJ TPRHDS7BTJ

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

Mentions

arxiv: arXiv 2610.01915#QF7Q (statement). In 6HJQXZS0A6/e1, lemma 3.4

History

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

Red herring TPRPBSGX1Z

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

Mentions

wikipedia: Wikipedia Red herring, Red herring (definition). Also Wikidata Q572959

History

2026-11-02: add by m2/dev

TPS5TJEHDF TPS5TJEHDF

URI	`m2://inv/TPS5TJEHDF`
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.01228#K2RF (statement). In HZAJ20XW7F/e1, proposition 1

History

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

TPSM2KWDWR TPSM2KWDWR

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

Mentions

arxiv: arXiv 2609.21680#77VW (statement)

History

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

Applications TPSNP7XTDA

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

Mentions

wikipedia: Wikipedia Absolute difference#CM9U, Applications (example)

History

2026-11-02: add by m2/dev

TPSNQBRHR0 TPSNQBRHR0

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

Mentions

arxiv: arXiv 2610.14321#V102 (statement). In 7EGFPFKD5T/e1, theorem 1.2

History

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

Hall–Janko graph TPSSKQE6SP

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

Mentions

wikipedia: Wikipedia List of mathematical examples#QC36, Hall–Janko graph (definition)

History

2026-11-02: add by m2/dev

Hajnal Andréka TPTNZ1HB3Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JD4W, Hajnal Andréka (topic)

History

2026-11-02: add by m2/dev

The Annals of Applied Statistics TPTRR4956G

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

Mentions

wikipedia: Wikipedia List of statistics journals#A7JW, The Annals of Applied Statistics (definition)

History

2026-11-02: add by m2/dev

TPTZ91J97J TPTZ91J97J

URI	`m2://inv/TPTZ91J97J`
Kind	statement
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#JHUT (statement). In X88HPQ0W8C/e1, theorem 3.16

History

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

TPV7HYQSVQ TPV7HYQSVQ

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

Mentions

arxiv: arXiv 2610.10248#ZVZG (statement). In TMV74X2725/e1, proposition 3.2

History

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

TPVBTF3MNA TPVBTF3MNA

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/orders.tex#ex-4 (example). In PKGMM3P5QY, ex, section 80.4

History

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

Definition TPVJ82PASG

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

Mentions

wikipedia: Wikipedia Quantum operation#GLXQ, Definition (definition)

History

2026-11-02: add by m2/dev

Maxwell relations TPVRYS8Y4T

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

Mentions

wikipedia: Wikipedia Maxwell relations, Maxwell relations (definition). Also Wikidata Q187465

History

2026-11-02: add by m2/dev

TPW166RDZC TPW166RDZC

URI	`m2://inv/TPW166RDZC`
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 2210.02261#O4NW (statement). In TT74R659T0/e1, proposition 0.3

History

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

Minkowski's theorem TPW2VHFPJS

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

Mentions

wikipedia: Wikipedia List of convexity topics#1IGQ, Minkowski's theorem (statement)

History

2026-11-02: add by m2/dev

Japanese theorem for cyclic polygons TPW7FV5REY

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

Mentions

mathlib_1000: mathlib_1000 Q1317367, Japanese theorem for concyclic polygons (statement). Also Wikidata Q1317367
thousand_plus: thousand_plus Q1317367, Japanese theorem for concyclic polygons (statement). Also Wikidata Q1317367, Wikipedia Japanese theorem for concyclic polygons
wikidata: Wikidata Q1317367, Japanese theorem for cyclic polygons (statement). Also MathWorld JapaneseTheorem
wikipedia: Wikipedia Japanese theorem for cyclic polygons, Japanese theorem for cyclic polygons (statement). Also Wikidata Q1317367

History

2026-10-26: add by m2/dev

Vaughan's lemma TPW9T5N4K3

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

Mentions

wikipedia: Wikipedia List of lemmas#2C9A, Vaughan's lemma (statement)

History

2026-11-02: add by m2/dev

Generalization TPWRVT8KAW

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

Mentions

wikipedia: Wikipedia Normal operator#15ML, Generalization (statement)

History

2026-11-02: add by m2/dev

TPX00WP8SP TPX00WP8SP

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

Mentions

arxiv: arXiv 2610.06645#XY9F (statement). In 79H1DEK4M9/e1, theorem 1.6

History

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

TPX2FQ2TKY TPX2FQ2TKY

URI	`m2://inv/TPX2FQ2TKY`
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#XYZA (statement). In FDYZFDHZH9/e1, theorem 3.10

History

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

Wadge hierarchy TPX4TEMX8X

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

Mentions

wikipedia: Wikipedia Wadge hierarchy, Wadge hierarchy (definition). Also Wikidata Q7959183

History

2026-11-02: add by m2/dev

Equidistribution I TPX9QMMCS6

URI	`m2://inv/TPX9QMMCS6`
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 2606.02312#O07I, Equidistribution I (statement). In 1SZV94R22Y/e1, lemma 6.3

History

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

TPXADY93Z4 TPXADY93Z4

URI	`m2://inv/TPXADY93Z4`
Kind	statement
Layer	research
MSC	30-XX, 32-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.24610#TGS6 (statement)

History

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

Sum of radicals TPXKRDCQC2

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

Mentions

wikipedia: Wikipedia Sum of radicals, Sum of radicals (definition). Also Wikidata Q7636891

History

2026-11-02: add by m2/dev

limit set TPXM8S6WJG

URI	`m2://inv/TPXM8S6WJG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Limit set YF4XH2BEG5

Mentions

wikidata: Wikidata Q1825444, limit set (unknown). Also EoM Limit_point_of_a_trajectory
wikipedia: Wikipedia Limit set, Limit set (definition). Also Wikidata Q1825444

History

2026-10-26: add by m2/dev

TPXTNR8WVT TPXTNR8WVT

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

Mentions

arxiv: arXiv 2610.05696#7FR2 (statement). In MG81A9XJTQ/e1, lemma VI.6

History

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

TPXV9QG3N7 TPXV9QG3N7

URI	`m2://inv/TPXV9QG3N7`
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.19437#WV99 (definition). In 9PXXGQ978Z/e1, definition 2.2

History

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

TPXW3BY8PV TPXW3BY8PV

URI	`m2://inv/TPXW3BY8PV`
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 2602.07485#DN41 (statement). In 8KAC1E81JQ/e1, theorem 4

History

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

TPXW5NMW4J TPXW5NMW4J

URI	`m2://inv/TPXW5NMW4J`
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.20316#WA8G (statement). In YRJS76169Z/e1, theorem 4.2

History

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

interpretation of quantum mechanics TPXZW2GWG2

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

Mentions

wikidata: Wikidata Q899137, interpretation of quantum mechanics (unknown). Also nLab interpretation of quantum mechanics

History

2026-10-26: add by m2/dev

Carol Lin TPYCW2S74F

URI	`m2://inv/TPYCW2S74F`
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#00ME, Carol Lin (unknown)

History

2026-11-02: add by m2/dev

Yule–Simon distribution TPYMJTSXHJ

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

Mentions

wikipedia: Wikipedia Yule–Simon distribution, Yule–Simon distribution (definition). Also Wikidata Q3258367

History

2026-11-02: add by m2/dev

Deborah Frank Lockhart TPYMRSN77T

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

Mentions

wikipedia: Wikipedia Deborah Frank Lockhart, Deborah Frank Lockhart (topic). Also Wikidata Q19665965

History

2026-11-02: add by m2/dev

TPYS1JKRZD TPYS1JKRZD

URI	`m2://inv/TPYS1JKRZD`
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.20758#M2RV (statement). In PG0B4PH9YH/e1, fact 5.10

History

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

uniqueness theorem TPYT3GNJQW

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

Mentions

wikidata: Wikidata Q26261907, uniqueness theorem (definition). Also MathWorld UniquenessTheorem, ProofWiki Definition:Uniqueness_Theorem
wikipedia: Wikipedia Uniqueness theorem, Uniqueness theorem (statement). Also Wikidata Q26261907

History

2026-10-26: add by m2/dev

Schroeder--Bernstein theorem TPYW7RKC9H

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

Mentions

hott_book: hott_book index/C.2/schroeder-bernstein-theorem, Schroeder--Bernstein theorem (concept). In N54F33XE07, index, section C.2

History

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

acute triangle TPZ13R3HBA

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

Mentions

wikidata: Wikidata Q3998560, acute triangle (unknown). Also MathWorld AcuteTriangle

History

2026-10-26: add by m2/dev

TPZ1CKTTA7 TPZ1CKTTA7

URI	`m2://inv/TPZ1CKTTA7`
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-16 (exercise). In Y91XFCEVHQ, exercise, section 3.5

History

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

B\'etermin, Faulhuber, and Steinerberger TPZ6GCZ84M

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

Mentions

arxiv: arXiv 2610.12203#7HBC, B\'etermin, Faulhuber, and Steinerberger (statement). In F4YTAZSCS2/e1, theorem B

History

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

Coherent Matrix Factorization Categories TPZBC58YQH

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

Mentions

arxiv: arXiv 2609.30018#4DIV, Coherent Matrix Factorization Categories (definition)

History

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

S. R. Ranganathan TPZC0DZM9R

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

Mentions

wikipedia: Wikipedia S. R. Ranganathan, S. R. Ranganathan (topic). Also Wikidata Q457933

History

2026-11-02: add by m2/dev

Brian C. Moyer TPZK8QV05V

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

Mentions

wikipedia: Wikipedia Brian C. Moyer, Brian C. Moyer (topic). Also Wikidata Q23133589

History

2026-11-02: add by m2/dev

Examples TPZTMACM3Q

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

Mentions

wikipedia: Wikipedia Bijection#4HYA, Examples (example)

History

2026-11-02: add by m2/dev

Cantor–Bernstein–Schroeder theorem TPZZBT23E4

URI	`m2://inv/TPZZBT23E4`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Schröder–Bernstein theorem 0A9V6RKQG6

Mentions

mathlib_100: mathlib_100 25, Schroeder-Bernstein Theorem (statement). Also Mathlib Function.Embedding.schroeder_bernstein
mathlib_1000: mathlib_1000 Q1033910, Cantor–Bernstein–Schroeder theorem (statement). Also Mathlib Function.Embedding.schroeder_bernstein, Wikidata Q1033910
thousand_plus: thousand_plus Q1033910, Cantor–Bernstein–Schroeder theorem (statement). Also Mathlib Function.Embedding.schroeder_bernstein, Wikidata Q1033910, Wikipedia Cantor–Bernstein–Schroeder theorem
wikidata: Wikidata Q1033910, Cantor–Bernstein–Schroeder theorem (statement). Also MathWorld Schroeder-BernsteinTheorem, nLab Cantor-Schroeder-Bernstein theorem, ProofWiki Cantor-Bernstein-Schröder_Theorem
wikipedia: Wikipedia Schröder–Bernstein theorem, Schröder–Bernstein theorem (statement). Also Wikidata Q1033910

History

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