Inventory rows TW

TW01WW4YCV TW01WW4YCV

URI	`m2://inv/TW01WW4YCV`
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.12912#ZWCH (statement). In PDKBKKJ4BV/e1, corollary 3.11

History

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

Élisabeth Gassiat TW072EDPH3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VUMD, Élisabeth Gassiat (unknown)

History

2026-11-02: add by m2/dev

TW0EPRV7PH TW0EPRV7PH

URI	`m2://inv/TW0EPRV7PH`
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.26019#TF3N (statement)

History

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

Young, Hilton TW0PRBNFZ4

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

Mentions

wikipedia: Wikipedia List of statisticians#YNGH, Young, Hilton (unknown)

History

2026-11-02: add by m2/dev

All-pairs uncorrelatedness and the observation covariance TW0RCT6RW8

URI	`m2://inv/TW0RCT6RW8`
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.20550#1UL3, All-pairs uncorrelatedness and the observation covariance (statement)

History

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

Applications TW0YJFH3NC

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

Mentions

wikipedia: Wikipedia Truncation (statistics)#RM44, Applications (example)

History

2026-11-02: add by m2/dev

TW1DKNJHK7 TW1DKNJHK7

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 30.3

History

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

Pitman Estimator TW1H6NSHNC

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

Mentions

wikipedia: Wikipedia Invariant estimator#IXO5, Pitman Estimator (unknown)

History

2026-11-02: add by m2/dev

TW1HGNESEN TW1HGNESEN

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

Mentions

hott_book: hott_book categories.tex#ct:opposite-category (definition). In N54F33XE07, defn, section 2.5

History

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

TW1RJHE0X8 TW1RJHE0X8

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

Mentions

arxiv: arXiv 2609.35467#TB2W (statement). In FK89DQ9J4S/e1, proposition 4.7

History

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

TW20XANWPJ TW20XANWPJ

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

Mentions

arxiv: arXiv 1612.08394#ATQK (definition). In 1P8D88DKG5/e1, definition 2.3

History

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

Adversarial risk TW21YGFCCV

URI	`m2://inv/TW21YGFCCV`
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.31363#ZSAN, Adversarial risk (statement). In XB8NYRD86J/e1, proposition B.2

History

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

Properties TW266PKHEF

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

Mentions

wikipedia: Wikipedia Coskewness#4F2U, Properties (statement)

History

2026-11-02: add by m2/dev

Norm approximation TW2D5ZV2V5

URI	`m2://inv/TW2D5ZV2V5`
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#4UC1, Norm approximation (statement). In 7NS75J7HAM/e1, lemma 5.3

History

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

TW2MT3WWJ5 TW2MT3WWJ5

URI	`m2://inv/TW2MT3WWJ5`
Kind	problem
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.10581#UVNY (problem). In 6V42A71SPC/e1, problem 2

History

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

Paul Biran TW2R7VRW1V

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#SN8Q, Paul Biran (topic)

History

2026-11-02: add by m2/dev

TW311DAT7X TW311DAT7X

URI	`m2://inv/TW311DAT7X`
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.35466#83RG (statement). In MVR35ZJPCC/e1, theorem 3

History

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

Hilda Mary Woods TW33J022C3

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

Mentions

wikipedia: Wikipedia Hilda Mary Woods, Hilda Mary Woods (topic). Also Wikidata Q15429222

History

2026-11-02: add by m2/dev

TW37HD4B4Q TW37HD4B4Q

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

Mentions

open_logic: open_logic content/intuitionistic-logic/soundness-completeness/decidability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 33.4

History

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

Fodor's lemma TW39STF762

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

Mentions

wikipedia: Wikipedia Fodor's lemma#1TT8, Fodor's lemma (statement)

History

2026-11-02: add by m2/dev

Examples TW3XYQAN55

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

Mentions

wikipedia: Wikipedia Dynamical system#WPL1, Examples (example)

History

2026-11-02: add by m2/dev

Model of a set TW49QETQZP

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

Mentions

open_logic: open_logic content/first-order-logic/models-theories/expressing-props-of-structures.tex#defn-1, Model of a set (definition). In PKGMM3P5QY, defn, section 12.8

History

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

Definition TW4EJR0RG3

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

Mentions

wikipedia: Wikipedia Bivariate von Mises distribution#YES1, Definition (definition)

History

2026-11-02: add by m2/dev

Probabilistic design TW4H3ZACP4

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

Mentions

wikipedia: Wikipedia Probabilistic design, Probabilistic design (topic). Also Wikidata Q2148377

History

2026-11-02: add by m2/dev

field of fractions TW4NG9BF5S

URI	`m2://inv/TW4NG9BF5S`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Field of fractions 0F2PTGX1A2

Mentions

wikidata: Wikidata Q774579, field of fractions (unknown). Also MathWorld FieldofFractions, nLab field of fractions
wikipedia: Wikipedia Field of fractions, Field of fractions (definition). Also Wikidata Q774579

History

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

Shapiro, Samuel TW4P6ACDS3

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

Mentions

wikipedia: Wikipedia List of statisticians#XCMJ, Shapiro, Samuel (topic)

History

2026-11-02: add by m2/dev

Example TW4Q24H1TF

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

Mentions

wikipedia: Wikipedia Prestack#IIEA, Example (example)

History

2026-11-02: add by m2/dev

3DES TW4VSKGFCY

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

Mentions

wikipedia: Wikipedia List of cryptosystems#54SE, 3DES (definition)

History

2026-11-02: add by m2/dev

TW55GZ9W82 TW55GZ9W82

URI	`m2://inv/TW55GZ9W82`
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.25345#4P29 (statement)

History

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

Minimum bounding box TW5A1KPKWD

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#1263, Minimum bounding box (definition)

History

2026-11-02: add by m2/dev

spherical triangle TW5AE4KXS4

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

Mentions

wikidata: Wikidata Q1751918, spherical triangle (definition). Also MathWorld SphericalTriangle, ProofWiki Definition:Spherical_Triangle

History

2026-10-26: add by m2/dev

TW5CGB9FJ7 TW5CGB9FJ7

URI	`m2://inv/TW5CGB9FJ7`
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.39455#TMFH (statement). In HW4Y4TMEZ3/e1, proposition 3.4

History

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

TW5DCNM66G TW5DCNM66G

URI	`m2://inv/TW5DCNM66G`
Kind	conjecture
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.11493#EN2Z (conjecture). In H9XTBH7NVY/e1, conjecture 1

History

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

Mihailo Petrovitch TW5HWMKN43

URI	`m2://inv/TW5HWMKN43`
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#4DCT, Mihailo Petrovitch (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#76V1, Mihailo Petrovitch (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#84IG, Mihailo Petrovitch (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YYGF, Mihailo Petrovitch (topic)

History

2026-11-02: add by m2/dev

TW5K2S2916 TW5K2S2916

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-16 (exercise). In E9HS8K3A52, exercise, section 5.2.4

History

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

Minkowski reconstruction of the regular polygon TW5XJNJEZW

URI	`m2://inv/TW5XJNJEZW`
Kind	statement
Layer	research
MSC	51-XX, 52-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.11814#03C1, Minkowski reconstruction of the regular polygon (statement). In MXG9FV78NP/e1, proposition 4.1

History

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

Steady State is Nash Equilibrium I TW5ZYVPYSG

URI	`m2://inv/TW5ZYVPYSG`
Kind	statement
Layer	research
MSC	35-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.20998#YPIE, Steady State is Nash Equilibrium I (statement)

History

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

binomial number TW60E53MPV

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

Mentions

wikidata: Wikidata Q4914491, binomial number (unknown). Also MathWorld BinomialNumber
wikipedia: Wikipedia Binomial number, Binomial number (definition). Also Wikidata Q4914491

History

2026-10-26: add by m2/dev

Distinctness modulo stabilizers TW63RQFJVH

URI	`m2://inv/TW63RQFJVH`
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.40252#Z4KW, Distinctness modulo stabilizers (statement). In 7MVPNFPRKB/e1, lemma 2.6

History

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

TW66ZDWTSB TW66ZDWTSB

URI	`m2://inv/TW66ZDWTSB`
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.27957#IOW7 (statement)

History

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

TW6DMNJCYA TW6DMNJCYA

URI	`m2://inv/TW6DMNJCYA`
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.20077#3GNO (statement). In W5XRKWDADE/e1, lemma 3.4

History

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

Examples TW6EB5D36H

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

Mentions

wikipedia: Wikipedia Harris chain#JVEG, Examples (example)

History

2026-11-02: add by m2/dev

multiplicative kink TW6F1ASFH3

URI	`m2://inv/TW6F1ASFH3`
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.08016#SLVY, multiplicative kink (statement). In YR3CSTYEJW/e1, lemma 4.3

History

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

TW6K367F5X TW6K367F5X

URI	`m2://inv/TW6K367F5X`
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 2411.13671#UPFJ (statement). In PN02WN5AA6/e1, theorem 1

History

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

Root (or zero) of a polynomial TW6N8TNMJ0

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

Mentions

wikipedia: Wikipedia List of polynomial topics#O9M6, Root (or zero) of a polynomial (definition)

History

2026-11-02: add by m2/dev

TW6ZTP3Y69 TW6ZTP3Y69

URI	`m2://inv/TW6ZTP3Y69`
Kind	statement
Layer	research
MSC	11-XX, 14-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.32181#EJY6 (statement). In 8FKEQSPN7M/e1, lemma 2.1

History

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

Stuart Geman TW786AWF3N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#O5GB, Stuart Geman (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IKQQ, Stuart Geman (unknown)

History

2026-11-02: add by m2/dev

Examples TW7BXQFR46

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

Mentions

wikipedia: Wikipedia Analytic signal#0MKM, Examples (example)

History

2026-11-02: add by m2/dev

base change to $\bar k$ TW7F7TN16J

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

Mentions

arxiv: arXiv 2610.07508#7YMU, base change to $\bar k$ (statement). In TPA3E67MKK/e1, lemma 9.3

History

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

Caterpillar intersection TW7GR7AMZJ

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

Mentions

arxiv: arXiv 2610.17441#W45F, Caterpillar intersection (statement). In 9Q8S0NWHP2/e1, lemma 3.2

History

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

TW7KFGG81N TW7KFGG81N

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

Mentions

arxiv: arXiv 2609.28552#UJ6V (example)

History

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

Branched covers of the singular circle TW7P18YDFS

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

Mentions

arxiv: arXiv 2609.29839#HVSR, Branched covers of the singular circle (statement)

History

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

Multipartition TW7T1EECRY

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

Mentions

wikipedia: Wikipedia Multipartition, Multipartition (definition). Also Wikidata Q6934834

History

2026-11-02: add by m2/dev

Discrepancy TW7T1NNR1B

URI	`m2://inv/TW7T1NNR1B`
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.21017#1BYR, Discrepancy (statement)

History

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

John Viega TW87309JWN

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

Mentions

wikipedia: Wikipedia John Viega, John Viega (topic). Also Wikidata Q17049290

History

2026-11-02: add by m2/dev

Shift-invariant means TW8M66D9XV

URI	`m2://inv/TW8M66D9XV`
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.30410#DB90, Shift-invariant means (definition). In 5HZX3JVJWF/e1, definition 1.3

History

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

TW8QPGMYAG TW8QPGMYAG

URI	`m2://inv/TW8QPGMYAG`
Kind	definition
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 2504.02065#YSOO (definition). In 60CK7P5F36/e1, definition 7.1

History

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

TW8RSWSTTP TW8RSWSTTP

URI	`m2://inv/TW8RSWSTTP`
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 2609.36403#BAF5 (statement). In A4XGTS3QXQ/e1, lemma 4.4

History

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

Space partitioning TW8YTZ01PZ

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

Mentions

wikidata: Wikidata Q3500548, Space partitioning (concept). Also MathWorld SpaceDivisionbyPlanes
wikipedia: Wikipedia Space partitioning, Space partitioning (definition). Also Wikidata Q3500548

History

2026-10-26: add by m2/dev

TW962HEDXY TW962HEDXY

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

Mentions

arxiv: arXiv 2510.12502#K0GV (definition). In 3A4K47Y9F2/e1, definition 2.33

History

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

Helen Singleton TW99EG3AS5

URI	`m2://inv/TW99EG3AS5`
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#TBSC, Helen Singleton (unknown)

History

2026-11-02: add by m2/dev

Reflexivity TW9F44XRDN

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

Mentions

open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:reflexivity, Reflexivity (statement). In PKGMM3P5QY, prop, section 40.4

History

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

TW9G5565QY TW9G5565QY

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

Mentions

arxiv: arXiv 2610.02158#7ZW6 (statement). In PCV12VAD47/e1, lemma 2

History

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

Example B TW9PPZSDB5

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

Mentions

wikipedia: Wikipedia ELSV formula#7HIX, Example B (example)

History

2026-11-02: add by m2/dev

TW9Z1PYMCX TW9Z1PYMCX

URI	`m2://inv/TW9Z1PYMCX`
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.19437#3Q3C (statement). In 9PXXGQ978Z/e1, theorem 2.3

History

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

The operator $\sL$ TWA2Z2EYQF

URI	`m2://inv/TWA2Z2EYQF`
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#1A93, The operator $\sL$ (statement)

History

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

Gijs de Leve TWA331QYCC

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

Mentions

wikipedia: Wikipedia Gijs de Leve, Gijs de Leve (topic). Also Wikidata Q15429382

History

2026-11-02: add by m2/dev

TWA4TAB2E4 TWA4TAB2E4

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

Mentions

arxiv: arXiv 2610.19360#LDB5 (statement). In MFCW5CY96C/e1, lemma 22

History

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

Recursive Bayesian estimation TWA8S907HD

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

Mentions

wikipedia: Wikipedia List of statistics articles#E7RF, Recursive Bayesian estimation (definition)

History

2026-11-02: add by m2/dev

Code-break procedure TWAAM16Q04

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

Mentions

wikipedia: Wikipedia Code-break procedure, Code-break procedure (definition). Also Wikidata Q65060971

History

2026-11-02: add by m2/dev

Fagin's theorem TWAG46C4PM

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

Mentions

wikipedia: Wikipedia Fagin's theorem, Fagin's theorem (statement). Also Wikidata Q2226670

History

2026-11-02: add by m2/dev

TWASX03DGK TWASX03DGK

URI	`m2://inv/TWASX03DGK`
Kind	statement
Layer	research
MSC	26-XX, 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 2404.13734#BX3Q (statement). In 7AXKHR4YB3/e1, lemma 5.6

History

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

A mass-uniform inverse TWAT4M2NFE

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

Mentions

arxiv: arXiv 2610.18788#A69Q, A mass-uniform inverse (statement). In KFEASG3ZHS/e1, lemma 5.8

History

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

TWAVPZQBT5 TWAVPZQBT5

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

Mentions

arxiv: arXiv 2610.02833#HPLR (statement). In TNREX5GDK2/e1, proposition 6.2

History

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

Atkinson index TWAZ048XEF

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

Mentions

wikipedia: Wikipedia Atkinson index, Atkinson index (definition). Also Wikidata Q165495

History

2026-11-02: add by m2/dev

Annette Dobson TWB4V8XWHW

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

Mentions

wikipedia: Wikipedia Annette Dobson, Annette Dobson (topic). Also Wikidata Q4769065

History

2026-11-02: add by m2/dev

Convergent quadratic recursion TWB7J9032X

URI	`m2://inv/TWB7J9032X`
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.11077#ZZN0, Convergent quadratic recursion (statement). In 4333A6G5K5/e1, proposition 5.1

History

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

TWBC2K7JHK TWBC2K7JHK

URI	`m2://inv/TWBC2K7JHK`
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#6IYZ (statement)

History

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

TWBCW1J1HA TWBCW1J1HA

URI	`m2://inv/TWBCW1J1HA`
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.13850#DR2F (statement). In KJY735KSMF/e1, proposition 6.1

History

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

TWBEGTE9ZC TWBEGTE9ZC

URI	`m2://inv/TWBEGTE9ZC`
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.07673#6YNU (statement). In 37B1MPV8GX/e1, theorem 9.1

History

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

TWBFS4J4YD TWBFS4J4YD

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-5 (statement). In E59CDZA4DP, prop, section 11.1.4

History

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

Cantellated 5-simplexes TWBGABCDQP

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

Mentions

wikipedia: Wikipedia Cantellated 5-simplexes, Cantellated 5-simplexes (definition). Also Wikidata Q5033583

History

2026-11-02: add by m2/dev

3000 TWBMXHP606

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

Mentions

wikipedia: Wikipedia 3000 (number), 3000 (definition). Also Wikidata Q917994

History

2026-11-02: add by m2/dev

Amanda L. Golbeck TWBT9ZG9PQ

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#X278, Amanda L. Golbeck (unknown)

History

2026-11-02: add by m2/dev

Combinatorial laws TWBTK3W5YT

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

Mentions

wikipedia: Wikipedia Law (mathematics)#OSSA, Combinatorial laws (statement)

History

2026-11-02: add by m2/dev

Scutoid TWBYCZFMTX

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

Mentions

wikipedia: Wikipedia Scutoid, Scutoid (definition). Also Wikidata Q55838615

History

2026-11-02: add by m2/dev

TWC033QWZ4 TWC033QWZ4

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

History

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

TWC0DFD8BP TWC0DFD8BP

URI	`m2://inv/TWC0DFD8BP`
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#UCV3 (statement). In 46370P3Y9S/e1, lemma 6.13

History

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

Sister Beiter conjecture TWC16Z5WE9

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

Mentions

wikipedia: Wikipedia Cyclotomic polynomial#EDFL, Sister Beiter conjecture (statement)

History

2026-11-02: add by m2/dev

Parallelization TWC677PWEQ

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

Mentions

wikipedia: Wikipedia Parallelization (mathematics), Parallelization (definition). Also Wikidata Q7135024

History

2026-11-02: add by m2/dev

Sub-blocks and global blocks TWCCQTC6RK

URI	`m2://inv/TWCCQTC6RK`
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.14988#3BQT, Sub-blocks and global blocks (definition). In B29M4E6KGC/e1, definition H.1

History

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

Corollary for strict preferences TWCCSZ7JEX

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

Mentions

wikipedia: Wikipedia Gibbard–Satterthwaite theorem#R1ZJ, Corollary for strict preferences (statement)

History

2026-11-02: add by m2/dev

TWCDQXHW1X TWCDQXHW1X

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

Mentions

arxiv: arXiv 2610.20956#EHIG (statement). In X9WFC1D9ZS/e1, corollary 10

History

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

Applications TWCFMQDEW7

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

Mentions

wikipedia: Wikipedia Breadth-first search#L89L, Applications (example)

History

2026-11-02: add by m2/dev

TWCHQMYS61 TWCHQMYS61

URI	`m2://inv/TWCHQMYS61`
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.09809#WI61 (statement). In 7NKQ6PR78N/e1, theorem 2.11

History

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

Quadratic estimate and compatibility TWCJ1H5HR6

URI	`m2://inv/TWCJ1H5HR6`
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.11077#YRCD, Quadratic estimate and compatibility (statement). In 4333A6G5K5/e1, proposition 5.2

History

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

TWCSMYDA67 TWCSMYDA67

URI	`m2://inv/TWCSMYDA67`
Kind	statement
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 2305.01474#O0EY (statement). In 2QB5F6J24Q/e1, proposition 3.3

History

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

List of countries by population in 1000 TWD2498173

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

Mentions

wikipedia: Wikipedia List of countries by population in 1000, List of countries by population in 1000 (topic). Also Wikidata Q27661352

History

2026-11-02: add by m2/dev

Directed Algebraic Topology TWD8B6KY7Y

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

Mentions

wikidata: Wikidata Q5280404, Directed Algebraic Topology (unknown). Also nLab Directed Algebraic Topology
wikipedia: Wikipedia Directed algebraic topology, Directed algebraic topology (definition). Also Wikidata Q5280404

History

2026-10-26: add by m2/dev

Radioactive decay equations TWDN8BG0WB

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

Mentions

wikipedia: Wikipedia List of named differential equations#THET, Radioactive decay equations (unknown)

History

2026-11-02: add by m2/dev

Stability TWDTAGJ6XH

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

Mentions

wikipedia: Wikipedia Stability (probability), Stability (definition). Also Wikidata Q7595717

History

2026-11-02: add by m2/dev

Levin reduction TWDTMZZWZS

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

Mentions

wikipedia: Wikipedia Computational complexity theory#8ZDG, Levin reduction (unknown)

History

2026-11-02: add by m2/dev

Scholz conjecture TWE10RDE58

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

Mentions

wikidata: Wikidata Q643614, Scholz conjecture (conjecture). Also MathWorld ScholzConjecture
wikipedia: Wikipedia Scholz conjecture, Scholz conjecture (conjecture). Also Wikidata Q643614

History

2026-10-26: add by m2/dev

Conditional moments and backward deterministic approximation TWE4HNEWY2

URI	`m2://inv/TWE4HNEWY2`
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#QNDC, Conditional moments and backward deterministic approximation (statement). In 9YAE8FNQST/e1, theorem 10.7

History

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

Jaakko Hintikka TWEAHJMWM6

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

Mentions

wikipedia: Wikipedia List of logicians#JT75, Jaakko Hintikka (topic)

History

2026-11-02: add by m2/dev

Example TWEGFYRGCE

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

Mentions

wikipedia: Wikipedia Moessner's theorem#PJGU, Example (example)

History

2026-11-02: add by m2/dev

TWEHDH54DF TWEHDH54DF

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

Mentions

arxiv: arXiv 2609.37520#DKIV (statement). In BDN507RN7J/e1, theorem 3.1.12

History

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

TWEJDB0CSX TWEJDB0CSX

URI	`m2://inv/TWEJDB0CSX`
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 2208.14274#EA14 (statement). In 2FKE7JPQ76/e1, theorem 3.7

History

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

TWET2XDHJ8 TWET2XDHJ8

URI	`m2://inv/TWET2XDHJ8`
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 2610.18620#IHUK (statement). In 6WJ0R9YEBR/e1, lemma 6.13

History

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

TWEZX21HCC TWEZX21HCC

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

Mentions

arxiv: arXiv 2405.09294#APV8 (example). In 2WZQC0TKVK/e1, example 3.3

History

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

Covariance bound for products of block scores TWEZY0E3GQ

URI	`m2://inv/TWEZY0E3GQ`
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.06372#WDGC, Covariance bound for products of block scores (statement). In G3E1P350Z6/e1, lemma 7.8

History

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

TWF3GTYA28 TWF3GTYA28

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

Mentions

arxiv: arXiv 2609.39293#SVDQ (statement). In S26QVW5613/e1, proposition 2.1.5

History

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

TWFA0ECRJ4 TWFA0ECRJ4

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

Mentions

arxiv: arXiv 2610.09949#HZL7 (statement). In VGJVFCDV8A/e1, proposition 2.10

History

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

TWFB3WBRMD TWFB3WBRMD

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

Mentions

arxiv: arXiv 1002.0879#EOOX (definition). In M0SQY5EZN5/e1, definition 2.8.16

History

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

Gowers and Mili\'cevi\'c, Theorem 1.4 TWFEBGFJ8X

URI	`m2://inv/TWFEBGFJ8X`
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#I29H, Gowers and Mili\'cevi\'c, Theorem 1.4 (statement). In QBAP8C82FG/e1, theorem 20

History

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

TWFHPHGKHB TWFHPHGKHB

URI	`m2://inv/TWFHPHGKHB`
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.13295#9U3Y (statement). In 8Q7QXTWD0S/e1, lemma 2.1
arxiv: arXiv 2610.16505#F9V9 (statement). In P9V43TXCJ3/e1, lemma 2.1

History

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

rho meson TWFKTHNMQA

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

Mentions

wikidata: Wikidata Q306428, rho meson (unknown). Also nLab rho meson

History

2026-10-26: add by m2/dev

TWFQQ3VQKK TWFQQ3VQKK

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

Mentions

arxiv: arXiv 2610.10937#9JVD (example). In 6VVK3YTABP/e1, example 8.6

History

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

Overlap functionals under MCMC TWG071T4XB

URI	`m2://inv/TWG071T4XB`
Kind	definition
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.17403#PCGK, Overlap functionals under MCMC (definition). In 9EMNMAW8YH/e1, definition 15

History

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

TWGCSVBE3A TWGCSVBE3A

URI	`m2://inv/TWGCSVBE3A`
Kind	problem
Layer	research
MSC	30-XX, 32-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.30067#KPHK (problem)

History

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

Arithmetization of analysis TWGHFPX0EJ

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

Mentions

wikipedia: Wikipedia Arithmetization of analysis, Arithmetization of analysis (definition). Also Wikidata Q3655892

History

2026-11-02: add by m2/dev

Alwyn Robbins TWGRH7GN6A

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

Mentions

wikipedia: Wikipedia Alwyn Robbins, Alwyn Robbins (topic). Also Wikidata Q4738530

History

2026-11-02: add by m2/dev

Uniformly connected space TWGSJY0MJS

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

Mentions

wikipedia: Wikipedia List of general topology topics#BZRR, Uniformly connected space (definition)

History

2026-11-02: add by m2/dev

TWGVF2NH3H TWGVF2NH3H

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

Mentions

arxiv: arXiv 2312.05005#WO0P (statement). In SMJMAQ2S3J/e1, proposition 16

History

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

Schwarz TWHPGT43YK

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#HGXK, Schwarz (definition)

History

2026-11-02: add by m2/dev

Rectangular Gaussian hard-edge estimate TWHPY71TGN

URI	`m2://inv/TWHPY71TGN`
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.28198#Q2X0, Rectangular Gaussian hard-edge estimate (statement)

History

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

TWHXA6GPW5 TWHXA6GPW5

URI	`m2://inv/TWHXA6GPW5`
Kind	definition
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 2401.14143#3P3F (definition). In 7WV4JVGEN1/e1, definition 3.2

History

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

TWHXRNGY0A TWHXRNGY0A

URI	`m2://inv/TWHXRNGY0A`
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.03520#N3UX (statement). In CSRZ9CWK69/e1, proposition 3.1

History

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

TWHZ272ZRE TWHZ272ZRE

URI	`m2://inv/TWHZ272ZRE`
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.25282#4L1W (statement)

History

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

Lemma TWHZD8686B

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

Mentions

wikipedia: Wikipedia Special linear Lie algebra#5QAY, Lemma (statement)

History

2026-11-02: add by m2/dev

378 (number) TWJBSQEPVC

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

Mentions

wikipedia: Wikipedia 300 (number)#PMD8, 378 (number) (unknown)

History

2026-11-02: add by m2/dev

Tian Zheng TWJG57912J

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#31SR, Tian Zheng (topic)

History

2026-11-02: add by m2/dev

Kolmogorov extension theorem TWJPQ830DX

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

Mentions

wikipedia: Wikipedia List of theorems#PUTZ, Kolmogorov extension theorem (statement)

History

2026-11-02: add by m2/dev

TWJQGNTP2E TWJQGNTP2E

URI	`m2://inv/TWJQGNTP2E`
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.01276#ATVS (statement). In 7JJPPMS2DN/e1, proposition 4.2

History

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

TWJT3PVCYM TWJT3PVCYM

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

Mentions

arxiv: arXiv 2609.37093#KQIW (conjecture). In GA6QH32CJQ/e1, conjecture 17

History

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

TWJX3ZBEBE TWJX3ZBEBE

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

Mentions

arxiv: arXiv 2609.30444#4DRA (example). In RZWJ0AT8W5/e1, example 6.2

History

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

TWJXS41YZQ TWJXS41YZQ

URI	`m2://inv/TWJXS41YZQ`
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#7K7S (statement). In 4KT9TK3MG4/e1, theorem C.15

History

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

Local transverse separation criterion TWJZNKXV6B

URI	`m2://inv/TWJZNKXV6B`
Kind	statement
Layer	research
MSC	30-XX, 32-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.12497#2VYB, Local transverse separation criterion (statement). In Z0SAF18JPP/e1, corollary 1.5

History

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

Infinite-order hexagonal tiling TWK2A1SZKR

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

Mentions

wikipedia: Wikipedia Infinite-order hexagonal tiling, Infinite-order hexagonal tiling (definition). Also Wikidata Q48783993

History

2026-11-02: add by m2/dev

Zariski's main theorem for birational morphisms TWKDP32MAZ

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

Mentions

wikipedia: Wikipedia Zariski's main theorem#KBMC, Zariski's main theorem for birational morphisms (statement)

History

2026-11-02: add by m2/dev

pullback TWKKQ0VZDP

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

Mentions

hott_book: hott_book index/C.1.1/pullback, pullback (concept). In N54F33XE07, index, section C.1.1

History

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

TWKPS677VD TWKPS677VD

URI	`m2://inv/TWKPS677VD`
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 2610.14841#14I4 (statement). In 6V5HP8W1ZG/e1, lemma 3

History

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

Outlier energy appears in the Sinkhorn-DRO dual TWKT3T3GC0

URI	`m2://inv/TWKT3T3GC0`
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.31470#G0BH, Outlier energy appears in the Sinkhorn-DRO dual (statement). In 4RS2WKVB7F/e1, proposition 3.3

History

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

Supergroup (physics) TWKWHEDKJ9

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#5RXZ, Supergroup (physics) (definition)

History

2026-11-02: add by m2/dev

John Myhill TWKX8DBMTF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#59NK, John Myhill (topic)

History

2026-11-02: add by m2/dev

Polygram TWM0Y7J0HT

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

Mentions

wikipedia: Wikipedia Polygram (geometry), Polygram (definition). Also Wikidata Q25344560

History

2026-11-02: add by m2/dev

A $2$-adic obstruction for the $q=3$ symplectic family TWM7S4NEZG

URI	`m2://inv/TWM7S4NEZG`
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#JAZZ, A $2$-adic obstruction for the $q=3$ symplectic family (statement). In QPJ6FWG5HD/e1, proposition 2.40

History

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

Correct sampling TWMJZW29H9

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

Mentions

wikipedia: Wikipedia Correct sampling, Correct sampling (definition). Also Wikidata Q5172775

History

2026-11-02: add by m2/dev

TWMN06TXMG TWMN06TXMG

URI	`m2://inv/TWMN06TXMG`
Kind	definition
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.00364#RPWL (definition). In ANR3DHYQPQ/e1, definition A

History

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

Max Black TWMP1NY9Q4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#6IV0, Max Black (topic)

History

2026-11-02: add by m2/dev

Stemming algorithm TWMPFQWJBT

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

Mentions

wikipedia: Wikipedia List of algorithms#N74G, Stemming algorithm (unknown)

History

2026-11-02: add by m2/dev

$k=n-1$ and for $k=n-2$ TWMSPDFGXA

URI	`m2://inv/TWMSPDFGXA`
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 2202.10920#JVO4, $k=n-1$ and for $k=n-2$ (statement). In 6TTFGK6ZV0/e1, theorem 2.5

History

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

Ian Sloan TWMW6NK28G

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#G1H0, Ian Sloan (topic)

History

2026-11-02: add by m2/dev

Explicit polynomial rates and high probability TWN0ZX67T0

URI	`m2://inv/TWN0ZX67T0`
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.16351#VU88, Explicit polynomial rates and high probability (statement). In 1QSV7EQE3T/e1, corollary S90

History

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

Wolfgang Haken TWN8Q0WGPQ

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

Mentions

wikipedia: Wikipedia Wolfgang Haken, Wolfgang Haken (topic). Also Wikidata Q65082

History

2026-11-02: add by m2/dev

Daniel Shanks TWNBW5J00P

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

Mentions

wikipedia: Wikipedia Daniel Shanks, Daniel Shanks (topic). Also Wikidata Q925184

History

2026-11-02: add by m2/dev

TWNF9CRCT5 TWNF9CRCT5

URI	`m2://inv/TWNF9CRCT5`
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.23685#FCVK (statement)

History

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

Triangulation TWNN7K7P42

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

Mentions

wikipedia: Wikipedia List of triangle topics#052L, Triangulation (definition)
wikipedia: Wikipedia List of algorithms#785W, Triangulation (definition)
wikipedia: Wikipedia List of combinatorial computational geometry topics#W0NK, Triangulation (definition)
wikipedia: Wikipedia List of general topology topics#L1EO, Triangulation (definition)

History

2026-11-02: add by m2/dev

L(h, k)-coloring TWNPTSB5H2

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

Mentions

wikipedia: Wikipedia L(h, k)-coloring, L(h, k)-coloring (definition). Also Wikidata Q25345905

History

2026-11-02: add by m2/dev

TWNTS232J8 TWNTS232J8

URI	`m2://inv/TWNTS232J8`
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.12846#GW7T (statement). In GG9P59PJS2/e1, lemma 4.3

History

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

TWNX6FBPPK TWNX6FBPPK

URI	`m2://inv/TWNX6FBPPK`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-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.04314#IKH7 (statement). In AKWTE0M6PE/e1, lemma 10

History

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

Chebyshev 1852 , Mertens 1874 TWP5SD3DAP

URI	`m2://inv/TWP5SD3DAP`
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.11047#BAY9, Chebyshev 1852 , Mertens 1874 (statement). In MNQAZ70XTH/e1, lemma 14.1

History

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

Fundamental matrix (linear differential equation) TWP5X94CRM

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#5VXW, Fundamental matrix (linear differential equation) (definition)

History

2026-11-02: add by m2/dev

TWP6HKBT3G TWP6HKBT3G

URI	`m2://inv/TWP6HKBT3G`
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.24412#BD21 (statement)

History

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

TWPB6S0MF0 TWPB6S0MF0

URI	`m2://inv/TWPB6S0MF0`
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 2207.11097#JCIS (statement). In 13H5BTAXHF/e1, theorem 2

History

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

TWPBQYNNVK TWPBQYNNVK

URI	`m2://inv/TWPBQYNNVK`
Kind	statement
Layer	research
MSC	05-XX, 14-XX, 20-XX, 22-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.03138#385Q (statement). In P5SY7AVP5E/e1, lemma 6.9

History

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

Puiseux’s Theorem TWPBZEX2ST

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

Mentions

mathlib_100: mathlib_100 41, Puiseux’s Theorem (statement)

History

2026-10-26: add by m2/dev

TWPCRQX5VQ TWPCRQX5VQ

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 38.9

History

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

Unbounded additivity violation TWPE0TPZTS

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

Mentions

arxiv: arXiv 2609.26743#JSKW, Unbounded additivity violation (statement)

History

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

TWPKKJ3FF3 TWPKKJ3FF3

URI	`m2://inv/TWPKKJ3FF3`
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#Q8KA (statement). In S284XRA4WK/e1, proposition I.1

History

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

Equivalent definitions TWPTXM6P3H

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

Mentions

wikipedia: Wikipedia Local system#BYVQ, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

TWPWJ7NSR5 TWPWJ7NSR5

URI	`m2://inv/TWPWJ7NSR5`
Kind	definition
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#SFTP (definition). In 6KR7Z5ETRY/e1, definition 3.9

History

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

TWPWPVQNXZ TWPWPVQNXZ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#theorem-1 (statement). In P1C114YBXG, theorem, section 1

History

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

regular tournament TWQ2X6MDXC

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#ZOSR, regular tournament (definition)

History

2026-11-02: add by m2/dev

Leslie Leland Locke TWQBTMHZVK

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

Mentions

wikipedia: Wikipedia Leslie Leland Locke, Leslie Leland Locke (topic). Also Wikidata Q131620090

History

2026-11-02: add by m2/dev

TWQJZQ9A3P TWQJZQ9A3P

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

Mentions

arxiv: arXiv 2610.15720#5PAW (statement). In VNN52G3BRE/e1, proposition B.4

History

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

TWQKKWBBQT TWQKKWBBQT

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

Mentions

open_logic: open_logic content/model-theory/interpolation/definability.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 46.9

History

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

People Analytics TWQQM81VHR

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

Mentions

wikipedia: Wikipedia Analytics#GMMF, People Analytics (unknown)

History

2026-11-02: add by m2/dev

TWQVD38AAT TWQVD38AAT

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

Mentions

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

History

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

Breakthrough Prize in Mathematics TWQWAFRP3M

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

Mentions

wikipedia: Wikipedia Breakthrough Prize in Mathematics, Breakthrough Prize in Mathematics (definition). Also Wikidata Q17278380

History

2026-11-02: add by m2/dev

TWQX20PKW6 TWQX20PKW6

URI	`m2://inv/TWQX20PKW6`
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-8 (exercise). In E9HS8K3A52, exercise, section 6.1.1

History

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

TWR0M46QJ9 TWR0M46QJ9

URI	`m2://inv/TWR0M46QJ9`
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.26357#VWH1 (statement)

History

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

Gauge transfer TWR1NREFFH

URI	`m2://inv/TWR1NREFFH`
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 2609.37479#O70P, Gauge transfer (statement). In P3RTT99C41/e1, lemma 4.4

History

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

TWRCH8NJWH TWRCH8NJWH

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

Mentions

arxiv: arXiv 2609.36022#8TIU (statement). In ENH5XNBQWH/e1, corollary 1.5

History

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

TWRE7FS21W TWRE7FS21W

URI	`m2://inv/TWRE7FS21W`
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 2508.08809#0S7P (statement). In X5NX1YEABW/e1, proposition 4.4

History

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

TWRENAVXVG TWRENAVXVG

URI	`m2://inv/TWRENAVXVG`
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.20416#4XEI (definition). In P603M3M91A/e1, definition

History

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

Thomas Bond Sprague TWRK33MPF5

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

Mentions

wikipedia: Wikipedia List of actuaries#6MHL, Thomas Bond Sprague (unknown)

History

2026-11-02: add by m2/dev

Two-singularity deformation rigidity TWRKXT1JBC

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

Mentions

arxiv: arXiv 2609.26152#YYED, Two-singularity deformation rigidity (statement)

History

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

George R. Klare TWRPV8BMTA

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

Mentions

wikipedia: Wikipedia George R. Klare, George R. Klare (topic). Also Wikidata Q5543647

History

2026-11-02: add by m2/dev

TWRSTJ0Y7J TWRSTJ0Y7J

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

Mentions

napkin: napkin tex/set-theory/zfc.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 93.7

History

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

TWRTB82EA0 TWRTB82EA0

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

Mentions

napkin: napkin tex/H113/action.tex#example-5 (example). In RZP28ERRZV, example, section 1.4

History

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

Stress–strength analysis TWRW5VHHPW

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

Mentions

wikipedia: Wikipedia Stress–strength analysis, Stress–strength analysis (definition). Also Wikidata Q3333570

History

2026-11-02: add by m2/dev

TWRXR8NPRP TWRXR8NPRP

URI	`m2://inv/TWRXR8NPRP`
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 2609.20516#LDBT (statement)

History

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

TWS0B0YPTY TWS0B0YPTY

URI	`m2://inv/TWS0B0YPTY`
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.19535#A497 (statement). In MJXSE9QR4X/e1, lemma 5.1

History

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

Lemoine's conjecture TWS8KFQ708

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#5CG3, Lemoine's conjecture (conjecture)

History

2026-11-02: add by m2/dev

TWSTRHR2YG TWSTRHR2YG

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

Mentions

arxiv: arXiv 2610.10329#KL59 (statement). In SCSTR1Q1BW/e1, corollary 7.4

History

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

TWSZCGNY0C TWSZCGNY0C

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/orders.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 80.4

History

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

Exponential class TWT26R5HEX

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

Mentions

arxiv: arXiv 2610.19416#4YMH, Exponential class (definition). In TJVWQ0ZSGY/e1, definition 1.3

History

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

Odd-degree MRS functions TWT2B79RKA

URI	`m2://inv/TWT2B79RKA`
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.17006#5ND8, Odd-degree MRS functions (statement). In YY81ZEJ82P/e1, corollary 7.3

History

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

Osgood curve TWT993KBH7

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

Mentions

wikipedia: Wikipedia Osgood curve, Osgood curve (definition). Also Wikidata Q7106547

History

2026-11-02: add by m2/dev

Amortized analysis TWT9PS1QFM

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

Mentions

wikipedia: Wikipedia Amortized analysis, Amortized analysis (definition). Also Wikidata Q331716

History

2026-11-02: add by m2/dev

Tom Romberg TWTA6QX5TR

URI	`m2://inv/TWTA6QX5TR`
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#IT0D, Tom Romberg (unknown)

History

2026-11-02: add by m2/dev

Chaim Samuel Hönig TWTCWQ87J2

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#A0ML, Chaim Samuel Hönig (topic)

History

2026-11-02: add by m2/dev

Boundedness along the frozen flow TWTN1AG02M

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

Mentions

arxiv: arXiv 2610.14988#P3WK, Boundedness along the frozen flow (statement). In B29M4E6KGC/e1, lemma H.4

History

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

ribbon category TWTQMPHE0K

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

Mentions

wikidata: Wikidata Q17102717, ribbon category (unknown). Also nLab ribbon category
wikipedia: Wikipedia Ribbon category, Ribbon category (definition). Also Wikidata Q17102717

History

2026-10-26: add by m2/dev

TWV48EKFJV TWV48EKFJV

URI	`m2://inv/TWV48EKFJV`
Kind	problem
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#M8NF (problem). In FM9SKN560Q/e1, problem 6.2

History

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

Robert Remak TWV5G6FVEQ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#ABT5, Robert Remak (topic)

History

2026-11-02: add by m2/dev

Ray tracing TWV78M5HEP

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#W67Y, Ray tracing (unknown)

History

2026-11-02: add by m2/dev

TWV7DFB67Y TWV7DFB67Y

URI	`m2://inv/TWV7DFB67Y`
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.29227#769G (statement)

History

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

Fixed-incidence obstruction to topology change TWV7QY7FWE

URI	`m2://inv/TWV7QY7FWE`
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.20215#IKKC, Fixed-incidence obstruction to topology change (statement)

History

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

TWVFAV3S8B TWVFAV3S8B

URI	`m2://inv/TWVFAV3S8B`
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 2205.13464#P2VW (statement). In JPYGC2R3FC/e1, proposition 9.3

History

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

Invalid converses of the theorems TWVKGCRES6

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

Mentions

wikipedia: Wikipedia Iterated limit#GLS0, Invalid converses of the theorems (statement)

History

2026-11-02: add by m2/dev

Annual Population Survey TWVKGWJ9GS

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

Mentions

wikipedia: Wikipedia Annual Population Survey, Annual Population Survey (definition). Also Wikidata Q4769662

History

2026-11-02: add by m2/dev

Multiplier criterion TWVVSE29GE

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

Mentions

arxiv: arXiv 2610.09912#V1YY, Multiplier criterion (statement). In 65TJENWK7X/e1, theorem 16

History

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

TWVWNCCSMB TWVWNCCSMB

URI	`m2://inv/TWVWNCCSMB`
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#8G75 (statement). In 9VG7PNZHZT/e1, lemma 5.1

History

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

Many-body local return superoperator TWW09Q54W6

URI	`m2://inv/TWW09Q54W6`
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.16351#KHG4, Many-body local return superoperator (definition). In 1QSV7EQE3T/e1, definition S8

History

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

Selection of the modular block TWW4M39YMD

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

Mentions

arxiv: arXiv 2610.12434#14E9, Selection of the modular block (statement). In YCRZC9SDCE/e1, proposition 10.7

History

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

Callendar–Van Dusen equation TWWCF923KN

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

Mentions

wikipedia: Wikipedia Callendar–Van Dusen equation, Callendar–Van Dusen equation (definition). Also Wikidata Q17629680

History

2026-11-02: add by m2/dev

positive energy theorem TWWERSPQS7

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

Mentions

mathlib_1000: mathlib_1000 Q4179283, Positive energy theorem (statement). Also Wikidata Q4179283
thousand_plus: thousand_plus Q4179283, Positive energy theorem (statement). Also Wikidata Q4179283, Wikipedia Positive energy theorem
wikidata: Wikidata Q4179283, positive energy theorem (statement). Also nLab positive energy theorem
wikipedia: Wikipedia Positive energy theorem, Positive energy theorem (statement). Also Wikidata Q4179283

History

2026-10-26: add by m2/dev

Rotation distance TWWJ2HQC68

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

Mentions

wikipedia: Wikipedia Rotation distance, Rotation distance (definition). Also Wikidata Q85797976

History

2026-11-02: add by m2/dev

TWWNEQ3WAR TWWNEQ3WAR

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

Mentions

arxiv: arXiv 2309.15228#50KX (definition). In 4778KMFZAF/e1, definition 2.6

History

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

Marguerite's Theorem TWWQA4XK1Q

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#52DV, Marguerite's Theorem (statement)

History

2026-11-02: add by m2/dev

Topological quantum computer TWWRB934P8

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

Mentions

wikipedia: Wikipedia List of topology topics#ALLZ, Topological quantum computer (definition)

History

2026-11-02: add by m2/dev

Two-sided version TWWXZQW5TG

URI	`m2://inv/TWWXZQW5TG`
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.16059#61OS, Two-sided version (statement). In 51W7AECQDA/e1, proposition 4.9

History

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

TWWZ0X5TXV TWWZ0X5TXV

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

Mentions

arxiv: arXiv 1809.06512#O9CM (definition). In RY2X22P6XW/e1, definition 31

History

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

Bernd Fischer TWX2SHSH42

URI	`m2://inv/TWX2SHSH42`
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#2HDT, Bernd Fischer (topic)
wikipedia: Wikipedia List of German mathematicians#YWU0, Bernd Fischer (topic)

History

2026-11-02: add by m2/dev

Properties TWX5SXCCHR

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

Mentions

wikipedia: Wikipedia Farey sequence#EFOI, Properties (statement)

History

2026-11-02: add by m2/dev

Multiple sequence alignment TWX77Q3V4Z

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

Mentions

wikipedia: Wikipedia Multiple sequence alignment, Multiple sequence alignment (definition). Also Wikidata Q1377767

History

2026-11-02: add by m2/dev

Concavity in the law and supporting functions TWX9VRZZB8

URI	`m2://inv/TWX9VRZZB8`
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.18350#NJDC, Concavity in the law and supporting functions (statement). In A20E8FZS21/e1, corollary 6.8

History

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

Extended Hamming code $[8,4,4]_2$ TWXBK55RGT

URI	`m2://inv/TWXBK55RGT`
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.20344#0YQC, Extended Hamming code $[8,4,4]_2$ (example)

History

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

Local Laplacian and Laplacian bounds TWXDEYDDJ1

URI	`m2://inv/TWXDEYDDJ1`
Kind	definition
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 2204.04317#E3YO, Local Laplacian and Laplacian bounds (definition). In 49V3ANDZTY/e1, definition 4.4

History

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

Lake Five, Wisconsin TWXHWNESF2

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

Mentions

wikipedia: Wikipedia List of places with numeric names#NLEU, Lake Five, Wisconsin (unknown)

History

2026-11-02: add by m2/dev

Elementary group theory TWXJ3P02Y7

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#9EEP, Elementary group theory (definition)

History

2026-11-02: add by m2/dev

TWXQNEZ3MS TWXQNEZ3MS

URI	`m2://inv/TWXQNEZ3MS`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#3FCQ (definition). In 5KR3MHYVV6/e1, definition 3.12

History

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

Localization errors of the short process TWY6B9VBFD

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

Mentions

arxiv: arXiv 2609.39699#CDMQ, Localization errors of the short process (statement). In 6M4TMC8G6X/e1, lemma 12

History

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

Adam Davison Smith TWY9XK7WKA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZJ9T, Adam Davison Smith (unknown)

History

2026-11-02: add by m2/dev

*{Theorem 11.4 TWYETAAFQK

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

Mentions

arxiv: arXiv 2610.21945#FILD, *{Theorem 11.4 (statement). In 371P9QASSJ/e1, theorem 2.1

History

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

four color theorem TWYJJZ8TR1

URI	`m2://inv/TWYJJZ8TR1`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Four colour theorem 0M406JC8J1

Mentions

mathlib_1000: mathlib_1000 Q184410, Four color theorem (statement). Also Wikidata Q184410
thousand_plus: thousand_plus Q184410, Four color theorem (statement). Also Wikidata Q184410, Wikipedia Four color theorem
wikidata: Wikidata Q184410, four color theorem (statement). Also EoM Four-colour_problem, MathWorld Four-ColorTheorem
wikipedia: Wikipedia Four color theorem, Four color theorem (statement). Also Wikidata Q184410

History

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

TWZ2T6MQDS TWZ2T6MQDS

URI	`m2://inv/TWZ2T6MQDS`
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.37893#BXD6 (statement). In 8H0KHK7AMN/e1, proposition 2.12

History

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

TWZBQGSARR TWZBQGSARR

URI	`m2://inv/TWZBQGSARR`
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.02550#G7IC (statement). In H154EDZR62/e1, lemma 2

History

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

TWZCFS4CEX TWZCFS4CEX

URI	`m2://inv/TWZCFS4CEX`
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 2204.01073#F9Z9 (statement). In W4TYN4PGE8/e1, corollary 3.17

History

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

TWZDPCGVTS TWZDPCGVTS

URI	`m2://inv/TWZDPCGVTS`
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 2308.02672#7WB3 (statement). In ETRT1R1CQ8/e1, lemma 4.3

History

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

TWZFPCZZCJ TWZFPCZZCJ

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

Mentions

arxiv: arXiv 2609.30033#LMON (statement)

History

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

TWZG6J163M TWZG6J163M

URI	`m2://inv/TWZG6J163M`
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.20588#FQY7 (statement)

History

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

Steenbrink, Batyrev-Cox TWZJC27APZ

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

Mentions

arxiv: arXiv 2609.27301#2D1B, Steenbrink, Batyrev-Cox (statement)

History

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

TWZM853AJJ TWZM853AJJ

URI	`m2://inv/TWZM853AJJ`
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 1406.2996#T9XO (statement). In 6XENXFC77F/e1, theorem 3.3

History

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

Incidence descent TWZMPT1GAF

URI	`m2://inv/TWZMPT1GAF`
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.33365#4Z0T, Incidence descent (statement). In MCXCMR7V0T/e1, proposition 11

History

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

TWZN5HNKG1 TWZN5HNKG1

URI	`m2://inv/TWZN5HNKG1`
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.01924#NYCZ (statement). In CB89152EQW/e1, lemma 16

History

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

$\pi_n(S^m)$ is trivial when $n < m$ TWZSP6BVP6

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

Mentions

napkin: napkin tex/topology/fundamental-group.tex#example-4, $\pi_n(S^m)$ is trivial when $n < m$ (example). In RZP28ERRZV, example, section 98.4

History

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

strong Papadimitriou–Ratajczak conjecture TWZTPTEHJX

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#MSB0, strong Papadimitriou–Ratajczak conjecture (unknown)

History

2026-11-02: add by m2/dev

Alex Eskin TWZWHHRXDR

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#0QD4, Alex Eskin (topic)

History

2026-11-02: add by m2/dev