Inventory rows DT

DT00Z1M8YY DT00Z1M8YY

URI	`m2://inv/DT00Z1M8YY`
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.00358#FJON (statement). In C5WGCSPM6W/e1, theorem 5.4

History

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

DT066A5DJM DT066A5DJM

URI	`m2://inv/DT066A5DJM`
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 0805.4273#QUIC (statement). In ZX3NV58FRX/e1, theorem 5.2

History

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

DT09YC991X DT09YC991X

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

Mentions

arxiv: arXiv 2609.28336#2NVD (statement)

History

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

DT0FZAJVA0 DT0FZAJVA0

URI	`m2://inv/DT0FZAJVA0`
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.17602#S87K (statement). In BH62508WHJ/e1, theorem 4

History

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

DT0QDF89EQ DT0QDF89EQ

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

Mentions

arxiv: arXiv 2302.05529#2UXO (statement). In 9VPMHV0M4R/e1, lemma 3.13

History

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

DT0SZ03CSF DT0SZ03CSF

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

Mentions

arxiv: arXiv 2609.29489#9PMD (statement)

History

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

Conjugate flow equations DT0VQD1H3W

URI	`m2://inv/DT0VQD1H3W`
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.01883#KLGE, Conjugate flow equations (statement). In CYV4P9TDV0/e1, corollary 5.3

History

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

DT0XBCKFPA DT0XBCKFPA

URI	`m2://inv/DT0XBCKFPA`
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.06806#K7BF (statement). In ZZQT0GFMT2/e1, lemma 2.4

History

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

Lossless projection and kernel constraint DT0ZNXW0XH

URI	`m2://inv/DT0ZNXW0XH`
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.13892#86NU, Lossless projection and kernel constraint (statement). In HV9KKEBBDD/e1, corollary V.4

History

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

Definition DT118NFBPE

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

Mentions

wikipedia: Wikipedia Tate curve#4QY7, Definition (definition)

History

2026-11-02: add by m2/dev

Edna Schechtman DT1364RY40

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

Mentions

wikipedia: Wikipedia Edna Schechtman, Edna Schechtman (topic). Also Wikidata Q61624688

History

2026-11-02: add by m2/dev

characteristic equation DT15AHS7DC

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

Mentions

levin_dmoi: levin_dmoi index/3.4.1/characteristic-equation, characteristic equation (concept). In Y91XFCEVHQ, index, section 3.4.1

History

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

DT18TDYPQY DT18TDYPQY

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

Mentions

arxiv: arXiv 2610.20376#1L2Z (definition). In DGTCGQX6YZ/e1, definition 2.10

History

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

Alonzo Church DT1G41DE5Z

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#7QIJ, Alonzo Church (topic)

History

2026-11-02: add by m2/dev

DT1JC8AT34 DT1JC8AT34

URI	`m2://inv/DT1JC8AT34`
Kind	statement
Layer	research
MSC	05-XX, 11-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 2609.27886#IJDM (statement)

History

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

theorem on friends and strangers DT1JY1VBS5

URI	`m2://inv/DT1JY1VBS5`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Theorem on friends and strangers 0NYM0ZGAK9

Mentions

mathlib_1000: mathlib_1000 Q837506, Theorem on friends and strangers (statement). Also Wikidata Q837506
thousand_plus: thousand_plus Q837506, Theorem on friends and strangers (statement). Also Wikidata Q837506, Wikipedia Theorem on friends and strangers
wikidata: Wikidata Q837506, theorem on friends and strangers (statement). Also ProofWiki Friendship_Theorem
wikipedia: Wikipedia Theorem on friends and strangers, Theorem on friends and strangers (statement). Also Wikidata Q837506

History

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

DT1RXZ44RV DT1RXZ44RV

URI	`m2://inv/DT1RXZ44RV`
Kind	example
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#JZD9 (example). In TPA3E67MKK/e1, example 3.11

History

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

Generalized beta distribution DT1S98DH28

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

Mentions

wikipedia: Wikipedia List of statistics articles#X6JT, Generalized beta distribution (definition)

History

2026-11-02: add by m2/dev

DT1SP8DRQV DT1SP8DRQV

URI	`m2://inv/DT1SP8DRQV`
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.03864#E5KX (statement). In 41GB65CTBJ/e1, theorem 2

History

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

Unitary normalization and strict feasibility DT1TVE49GS

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

Mentions

arxiv: arXiv 2610.15180#F69T, Unitary normalization and strict feasibility (statement). In AMRWRJDNKJ/e1, lemma 7.2

History

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

DT1TZHK24F DT1TZHK24F

URI	`m2://inv/DT1TZHK24F`
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.16668#KOZ3 (statement). In W7GPN2AHHM/e1, theorem 1.5

History

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

DT1VN0BDBB DT1VN0BDBB

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

Mentions

arxiv: arXiv 2609.24451#DY8T (statement)

History

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

Lévy process DT23M4AAJN

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#YD95, Lévy process (definition)
wikipedia: Wikipedia List of statistics articles#ZY9J, Lévy process (definition)
wikipedia: Wikipedia List of probability topics#IEQY, Lévy process (definition)

History

2026-11-02: add by m2/dev

Vel DT25SB6VB8

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

Mentions

wikidata: Wikidata Q7918758, Vel (unknown). Also MathWorld Vee
wikipedia: Wikipedia Descending wedge, Descending wedge (definition). Also Wikidata Q7918758

History

2026-10-26: add by m2/dev

DT2AH86EHP DT2AH86EHP

URI	`m2://inv/DT2AH86EHP`
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.07290#IOS3 (statement). In WC7BN66XSN/e1, theorem 1

History

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

Abu al-Jud DT2KHY2VWW

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

Mentions

wikipedia: Wikipedia Abu al-Jud, Abu al-Jud (topic). Also Wikidata Q28873548

History

2026-11-02: add by m2/dev

Elementary proof DT314ZGPPT

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

Mentions

wikipedia: Wikipedia Elementary proof, Elementary proof (definition). Also Wikidata Q5358910

History

2026-11-02: add by m2/dev

DT31S5VH05 DT31S5VH05

URI	`m2://inv/DT31S5VH05`
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.36613#XR6S (statement). In GX0K0ZM700/e1, lemma 2.15

History

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

Gaussian rational DT355T4B0A

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#61TP, Gaussian rational (definition)

History

2026-11-02: add by m2/dev

DT35633A5R DT35633A5R

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:codim1var (statement). In VNMV985MXX, thm, section 6.6

History

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

DT36BCV3AG DT36BCV3AG

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

Mentions

arxiv: arXiv 2610.17408#SDZE (statement). In QR8H4M1X4N/e1, proposition 7.1

History

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

DT39DSHBGV DT39DSHBGV

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

Mentions

arxiv: arXiv 2609.20153#AE3D (example)

History

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

Three conjectures DT3CTMTV7K

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

Mentions

wikipedia: Wikipedia Hrushovski construction#GA5W, Three conjectures (statement)

History

2026-11-02: add by m2/dev

Borsuk–Ulam theorem DT3HWZSRZK

URI	`m2://inv/DT3HWZSRZK`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Borsuk–Ulam theorem QHJ0GBQE2E

Mentions

mathlib_1000: mathlib_1000 Q848092, Borsuk–Ulam theorem (statement). Also Wikidata Q848092
thousand_plus: thousand_plus Q848092, Borsuk–Ulam theorem (statement). Also Wikidata Q848092, Wikipedia Borsuk–Ulam theorem
wikidata: Wikidata Q848092, Borsuk–Ulam theorem (statement). Also MathWorld Borsuk-UlamTheorem
wikipedia: Wikipedia Borsuk–Ulam theorem, Borsuk–Ulam theorem (statement). Also Wikidata Q848092

History

2026-10-26: add by m2/dev

Examples DT3WKEJV69

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

Mentions

wikipedia: Wikipedia Pp-wave spacetime#OLW4, Examples (example)

History

2026-11-02: add by m2/dev

Ralph Abraham DT47FWDPFN

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

Mentions

wikidata: Wikidata Q20759625, Ralph Abraham (unknown). Also nLab Ralph Abraham

History

2026-10-26: add by m2/dev

Wundt illusion DT48HSK1EW

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

Mentions

wikidata: Wikidata Q2206122, Wundt illusion (unknown). Also MathWorld WundtIllusion

History

2026-10-26: add by m2/dev

DT4KHMNP89 DT4KHMNP89

URI	`m2://inv/DT4KHMNP89`
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#4VIY (statement). In CY1FE8W1ZW/e1, lemma 0.236

History

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

DT4PKMTE80 DT4PKMTE80

URI	`m2://inv/DT4PKMTE80`
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.01268#U4OQ (statement). In 80Q4X3WT8W/e1, lemma 2.7

History

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

Perturbation of an approximately descending recursion DT4RANQXPA

URI	`m2://inv/DT4RANQXPA`
Kind	statement
Layer	research
MSC	18-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.20207#BCZM, Perturbation of an approximately descending recursion (statement)

History

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

DT4VRYW4NJ DT4VRYW4NJ

URI	`m2://inv/DT4VRYW4NJ`
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.08042#3T1E (statement). In SSEDAYK3CQ/e1, theorem 3

History

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

bispherical coordinates DT4ZMACYNH

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

Mentions

wikidata: Wikidata Q4918412, bispherical coordinates (unknown). Also MathWorld BisphericalCoordinates
wikipedia: Wikipedia Bispherical coordinates, Bispherical coordinates (definition). Also Wikidata Q4918412

History

2026-10-26: add by m2/dev

Mandelbrot set DT504X8N7A

URI	`m2://inv/DT504X8N7A`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Mandelbrot set QSWSVYRCS1

Mentions

wikidata: Wikidata Q257, Mandelbrot set (concept). Also MathWorld MandelbrotSet, nLab Mandelbrot set
wikipedia: Wikipedia Mandelbrot set, Mandelbrot set (topic). Also Wikidata Q257

History

2026-10-26: add by m2/dev

Example DT54W95YR3

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

Mentions

wikipedia: Wikipedia Dowker–Thistlethwaite notation#HBXQ, Example (example)

History

2026-11-02: add by m2/dev

Abstract analytic number theory DT54XHR9MF

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#P0IW, Abstract analytic number theory (definition)

History

2026-11-02: add by m2/dev

DT56G6AJ9X DT56G6AJ9X

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

Mentions

arxiv: arXiv 2212.06621#VVNK (statement). In DB223AABTH/e1, proposition 4.1

History

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

DT5GE91S3C DT5GE91S3C

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

Mentions

hott_book: hott_book setmath.tex#cor-4 (statement). In N54F33XE07, cor, section C.4

History

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

DT5MBWB72V DT5MBWB72V

URI	`m2://inv/DT5MBWB72V`
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 2204.13401#0HU2 (statement). In B8MJT0GGW8/e1, lemma 2.8

History

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

binomial coefficient, recursive formula for DT5N7VAWBY

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

Mentions

applied_combinatorics: applied_combinatorics index/3.4/binomial-coefficient-recursive-formula-for, binomial coefficient, recursive formula for (concept). In QKM9DD2H56, index, section 3.4

History

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

Digit-reassembly number DT5PPZ9FHW

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

Mentions

wikipedia: Wikipedia Digit-reassembly number, Digit-reassembly number (definition). Also Wikidata Q17009118

History

2026-11-02: add by m2/dev

skew quadrilateral DT61B0MY3W

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

Mentions

wikidata: Wikidata Q27299126, skew quadrilateral (unknown). Also MathWorld SkewQuadrilateral

History

2026-10-26: add by m2/dev

Hans Dobbertin DT63G5H8BP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PLHC, Hans Dobbertin (topic)

History

2026-11-02: add by m2/dev

DT67032J00 DT67032J00

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

Mentions

arxiv: arXiv 1907.01440#O070 (statement). In QDRYC6WJJ7/e1, theorem 13

History

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

Properties DT67XH3DW1

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

Mentions

wikipedia: Wikipedia Gyroelongated pentagonal rotunda#N9H8, Properties (statement)

History

2026-11-02: add by m2/dev

integrable distribution DT68NM5JKP

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

Mentions

wikidata: Wikidata Q117309066, integrable distribution (unknown). Also EoM Involutive_distribution, nLab integrable distribution of subspaces

History

2026-10-26: add by m2/dev

Generalizations DT6CP8979M

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

Mentions

wikipedia: Wikipedia Circle packing theorem#FWXB, Generalizations (statement)

History

2026-11-02: add by m2/dev

DT6CSY0GN8 DT6CSY0GN8

URI	`m2://inv/DT6CSY0GN8`
Kind	example
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.08837#B99S (example). In KBH265QSBT/e1, example 5.6

History

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

DT6FPQDMTA DT6FPQDMTA

URI	`m2://inv/DT6FPQDMTA`
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.29304#KFNF (statement)

History

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

Inverse Baer deformation DT6HHBFV7T

URI	`m2://inv/DT6HHBFV7T`
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.24640#45WY, Inverse Baer deformation (statement)

History

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

DT6J07E65V DT6J07E65V

URI	`m2://inv/DT6J07E65V`
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.05486#KWQ4 (statement). In 5Z46AK2XTC/e1, lemma C.9

History

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

Yamartino method DT73SGNEGY

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

Mentions

wikipedia: Wikipedia Yamartino method, Yamartino method (definition). Also Wikidata Q3333620

History

2026-11-02: add by m2/dev

Kronecker's lemma DT7AYFRPRG

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

Mentions

wikipedia: Wikipedia List of lemmas#671K, Kronecker's lemma (statement)

History

2026-11-02: add by m2/dev

Francesca Dominici DT7DMT84B4

URI	`m2://inv/DT7DMT84B4`
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#CTD3, Francesca Dominici (topic)

History

2026-11-02: add by m2/dev

DT7HEPFPVG DT7HEPFPVG

URI	`m2://inv/DT7HEPFPVG`
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#4I72 (statement). In FDYZFDHZH9/e1, lemma 4.7

History

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

Strongly regular ring DT7MFE3Y5G

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

Mentions

wikipedia: Wikipedia Von Neumann regular ring#C2DV, Strongly regular ring (unknown)

History

2026-11-02: add by m2/dev

diagram DT7QMPRCZC

URI	`m2://inv/DT7QMPRCZC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Diagram HJK75HDWFE

Mentions

wikidata: Wikidata Q843237, diagram (unknown). Also MathWorld DiagramChasing, nLab diagram
wikipedia: Wikipedia Diagram (category theory), Diagram (definition). Also Wikidata Q843237

History

2026-10-26: add by m2/dev

DT7WJMHYSN DT7WJMHYSN

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

Mentions

hott_book: hott_book categories.tex#ct:pentagon (statement). In N54F33XE07, lem, section 2.2

History

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

DT7YSY4ZCG DT7YSY4ZCG

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

Mentions

arxiv: arXiv 2609.37124#JLIO (example). In 2QF1YG9DD0/e1, example 3.19

History

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

DT849R8QBH DT849R8QBH

URI	`m2://inv/DT849R8QBH`
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.25435#12NV (statement)

History

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

DT89RWQGXC DT89RWQGXC

URI	`m2://inv/DT89RWQGXC`
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.09300#56G7 (statement). In JP589KS01S/e1, corollary 2.6

History

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

DT8DX4AB0H DT8DX4AB0H

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

Mentions

arxiv: arXiv 2609.34081#XQ1T (statement). In 3RVGEKGX46/e1, theorem 1.1

History

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

DT8JVSNY73 DT8JVSNY73

URI	`m2://inv/DT8JVSNY73`
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.38803#NTOV (statement). In DQ5R7R4DZK/e1, lemma C.3

History

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

Modern Stochastics: Theory and Applications DT8ST9403Q

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

Mentions

wikipedia: Wikipedia Modern Stochastics: Theory and Applications, Modern Stochastics: Theory and Applications (definition). Also Wikidata Q65090742

History

2026-11-02: add by m2/dev

A fixed exceptional curve DT8V5TXW4Y

URI	`m2://inv/DT8V5TXW4Y`
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.33327#Q3M7, A fixed exceptional curve (statement). In A5R31P82BK/e1, lemma 2.8

History

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

Andrea Ghez DT8Z61AVX6

URI	`m2://inv/DT8Z61AVX6`
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#VKSY, Andrea Ghez (unknown)

History

2026-11-02: add by m2/dev

Conceptual graph DT98FDPRVB

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

Mentions

wikipedia: Wikipedia List of graph theory topics#DGR2, Conceptual graph (definition)
wikipedia: Wikipedia List of graphical methods#6RT8, Conceptual graph (definition)

History

2026-11-02: add by m2/dev

DT9HCPQP1M DT9HCPQP1M

URI	`m2://inv/DT9HCPQP1M`
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 2502.16151#7S98 (statement). In CFCTBV1Z93/e1, proposition 4.6

History

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

DT9J3A38TN DT9J3A38TN

URI	`m2://inv/DT9J3A38TN`
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 2201.04174#Z0MM (statement). In NVTHDNQQ4Q/e1, lemma 4.4

History

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

Smectic DT9JSF62MF

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

Mentions

wikipedia: Wikipedia Liquid crystal#WF0Y, Smectic (unknown)

History

2026-11-02: add by m2/dev

Definition DT9MPA9QEA

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

Mentions

wikipedia: Wikipedia Join (category theory)#8RS1, Definition (definition)

History

2026-11-02: add by m2/dev

Statement DT9SY2Y3W9

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

Mentions

wikipedia: Wikipedia Closed graph theorem (functional analysis)#52W5, Statement (statement)

History

2026-11-02: add by m2/dev

negation elimination DT9YM7P80Q

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

Mentions

wikipedia: Wikipedia Glossary of logic#J226, negation elimination (definition)

History

2026-11-02: add by m2/dev

Quantitative CLT DTA81RN233

URI	`m2://inv/DTA81RN233`
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.29023#F34S, Quantitative CLT (statement)

History

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

DTATV7KZZV DTATV7KZZV

URI	`m2://inv/DTATV7KZZV`
Kind	statement
Layer	research
MSC	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 2610.09506#N3ON (statement). In AQC7E6RAT4/e1, proposition 6.1

History

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

Basic properties DTAZKTNM3K

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

Mentions

wikipedia: Wikipedia Position operator#7TYA, Basic properties (statement)

History

2026-11-02: add by m2/dev

Moments up to order six DTB3HS1C7V

URI	`m2://inv/DTB3HS1C7V`
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.14373#9INX, Moments up to order six (statement). In 77TK7M3B9Y/e1, theorem 5

History

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

Unsolved problems DTB52QVWSG

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

Mentions

wikipedia: Wikipedia Euler's totient function#G95F, Unsolved problems (statement)

History

2026-11-02: add by m2/dev

DTB5GKXTDE DTB5GKXTDE

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

Mentions

arxiv: arXiv 2610.17677#2ZT0 (statement). In 5E9G06XJKC/e1, lemma F.22

History

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

Duality DTB6JW20PY

URI	`m2://inv/DTB6JW20PY`
Kind	statement
Layer	research
MSC	26-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 2609.29712#P9PU, Duality (statement)

History

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

Goal programming DTB7NPQNM1

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

Mentions

wikipedia: Wikipedia Goal programming, Goal programming (topic). Also Wikidata Q1345279

History

2026-11-02: add by m2/dev

\textbf{Mixing time of UBU-type ULMC under log-concavity DTBDQ0TYDD

URI	`m2://inv/DTBDQ0TYDD`
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#FZB6, \textbf{Mixing time of UBU-type ULMC under log-concavity (statement)

History

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

Variable-order Bayesian network DTBK8ECYRY

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZQ12, Variable-order Bayesian network (definition)

History

2026-11-02: add by m2/dev

torsal generator. DTBQBPSTWD

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#M04I, torsal generator. (definition)

History

2026-11-02: add by m2/dev

John Rigby DTBRVPQAPB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#757A, John Rigby (unknown)

History

2026-11-02: add by m2/dev

James' space DTBWG0MQT4

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

Mentions

wikipedia: Wikipedia James' space, James' space (definition). Also Wikidata Q11829157

History

2026-11-02: add by m2/dev

Samson Abramsky DTC1K3RKBF

URI	`m2://inv/DTC1K3RKBF`
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 Q7410357, Samson Abramsky (unknown). Also nLab Samson Abramsky

History

2026-10-26: add by m2/dev

Extensions DTC58M8HEE

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

Mentions

wikipedia: Wikipedia Petri net#KDBA, Extensions (statement)

History

2026-11-02: add by m2/dev

DTCFB5M36J DTCFB5M36J

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

Mentions

hott_book: hott_book setmath.tex#thm:mono (statement). In N54F33XE07, lem, section C.1.2

History

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

Dichotomy theorem DTCS4WYNE9

URI	`m2://inv/DTCS4WYNE9`
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 2102.12931#E0VD, Dichotomy theorem (statement). In PQHTR84RAJ/e1, theorem 5.15

History

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

del Pezzo surface DTCXS4NF5W

URI	`m2://inv/DTCXS4NF5W`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Del Pezzo surface AV2ZAAZXN9

Mentions

wikidata: Wikidata Q2067112, del Pezzo surface (unknown). Also MathWorld DelPezzoSurface, nLab del Pezzo surface
wikipedia: Wikipedia Del Pezzo surface, Del Pezzo surface (definition). Also Wikidata Q2067112

History

2026-10-26: add by m2/dev

Nascent state DTCZ64AD3Y

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#WHQM, Nascent state (unknown)

History

2026-11-02: add by m2/dev

Multi-attribute utility DTD2R1H2ZT

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

Mentions

wikipedia: Wikipedia Multi-attribute utility, Multi-attribute utility (definition). Also Wikidata Q22907099

History

2026-11-02: add by m2/dev

DTD64AR6BD DTD64AR6BD

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

Mentions

arxiv: arXiv 2610.10930#312H (statement). In HX63A1PH1W/e1, corollary 5.26

History

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

Embedded metalanguage DTD9N7BYD9

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

Mentions

wikipedia: Wikipedia Metalanguage#UV0G, Embedded metalanguage (unknown)

History

2026-11-02: add by m2/dev

Example DTDASPW0BG

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

Mentions

wikipedia: Wikipedia First-price sealed-bid auction#LTMT, Example (example)

History

2026-11-02: add by m2/dev

DTDCJKE7CK DTDCJKE7CK

URI	`m2://inv/DTDCJKE7CK`
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.16962#26CB (definition). In KJC9FRS3C2/e1, definition 10.2

History

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

DTDEJ6D6V2 DTDEJ6D6V2

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

Mentions

open_logic: open_logic content/model-theory/basics/theory-of-m.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.8

History

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

DTDHFWG6X5 DTDHFWG6X5

URI	`m2://inv/DTDHFWG6X5`
Kind	statement
Layer	research
MSC	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.30098#AS6E (statement)

History

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

DTDK1WD90Y DTDK1WD90Y

URI	`m2://inv/DTDK1WD90Y`
Kind	example
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#DZ6B (example). In BDN507RN7J/e1, example 4.2.6

History

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

Descent direction DTDNHMRYCZ

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

Mentions

wikipedia: Wikipedia Descent direction, Descent direction (definition). Also Wikidata Q2070951

History

2026-11-02: add by m2/dev

DTDQJQC411 DTDQJQC411

URI	`m2://inv/DTDQJQC411`
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#CXZM (statement). In PDKBKKJ4BV/e1, lemma 3.7

History

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

Hardy–Littlewood tauberian theorem DTDS187NSS

URI	`m2://inv/DTDS187NSS`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	4
Outcome	open
Node	Hardy–Littlewood Tauberian theorem N42JDBT0VA

Mentions

mathlib_1000: mathlib_1000 Q5656673, Hardy–Littlewood tauberian theorem (statement). Also Wikidata Q5656673
thousand_plus: thousand_plus Q5656673, Hardy–Littlewood tauberian theorem (statement). Also Wikidata Q5656673, Wikipedia Hardy–Littlewood tauberian theorem
wikidata: Wikidata Q5656673, Hardy–Littlewood tauberian theorem (unknown). Also MathWorld Hardy-LittlewoodTauberianTheorem
wikipedia: Wikipedia Hardy–Littlewood Tauberian theorem, Hardy–Littlewood Tauberian theorem (statement). Also Wikidata Q5656673

History

2026-10-26: add by m2/dev

Abel equation DTE1Z4VTEZ

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

Mentions

wikipedia: Wikipedia Abel equation, Abel equation (definition). Also Wikidata Q4666644

History

2026-11-02: add by m2/dev

Algorithm DTE564SXPY

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

Mentions

wikipedia: Wikipedia Johnson's rule#MBQR, Algorithm (definition)

History

2026-11-02: add by m2/dev

Rotation identity and floor DTEBKMN8S4

URI	`m2://inv/DTEBKMN8S4`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.00295#TH3V, Rotation identity and floor (statement). In 7HXP270BD0/e1, lemma 3.5

History

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

◊ DTEEG8RRJB

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

Mentions

wikipedia: Wikipedia List of first-order theories#WN2E, ◊ (statement)

History

2026-11-02: add by m2/dev

Reduced cost DTEM145D3S

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RHSQ, Reduced cost (definition)

History

2026-11-02: add by m2/dev

The class $U_1$ DTEPJ85T33

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

Mentions

arxiv: arXiv 2610.01216#RGRM, The class $U_1$ (statement). In 59016RQTW6/e1, theorem 6.3

History

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

Definitions DTERGYW4B6

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

Mentions

wikipedia: Wikipedia Hardy distribution#BDIP, Definitions (definition)

History

2026-11-02: add by m2/dev

DTEVD9GMHT DTEVD9GMHT

URI	`m2://inv/DTEVD9GMHT`
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 2412.14956#QJBF (statement). In T8BQ6HHZYT/e1, proposition 6.27

History

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

726 (number) DTEW69YF0K

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

Mentions

wikipedia: Wikipedia 700 (number)#GFZK, 726 (number) (unknown)

History

2026-11-02: add by m2/dev

Tony O'Farrell DTEYEGXCNM

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

Mentions

wikipedia: Wikipedia Tony O'Farrell, Tony O'Farrell (topic). Also Wikidata Q102145411

History

2026-11-02: add by m2/dev

DTF38QC85T DTF38QC85T

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

Mentions

arxiv: arXiv 2609.35001#KG81 (statement). In 1PN6NESQER/e1, lemma 4.5

History

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

Itô's lemma DTF71NPMRY

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

Mentions

wikipedia: Wikipedia Itô's lemma, Itô's lemma (statement). Also Wikidata Q1151100

History

2026-11-02: add by m2/dev

DTFMVTFS90 DTFMVTFS90

URI	`m2://inv/DTFMVTFS90`
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.14458#36GB (statement). In WJ76MVYAZQ/e1, corollary 2.2

History

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

Renormalization group flow DTFRGBVHPN

URI	`m2://inv/DTFRGBVHPN`
Kind	example
Layer	research
MSC	55-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 2303.09207#OAAH, Renormalization group flow (example). In 9DQKY7KGE8/e1, example B.33

History

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

Diamond isomorphism theorem DTFTT6CNWK

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

Mentions

wikipedia: Wikipedia Modular lattice#H63X, Diamond isomorphism theorem (statement)

History

2026-11-02: add by m2/dev

DTFY5W63QC DTFY5W63QC

URI	`m2://inv/DTFY5W63QC`
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.18078#TCUB (statement). In YVK8EFSYNJ/e1, lemma B.2

History

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

Formula DTG7Q0SVVG

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

Mentions

wikipedia: Wikipedia Lee's L#WTCS, Formula (statement)

History

2026-11-02: add by m2/dev

Notation DTG9WMD0EZ

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

Mentions

wikipedia: Wikipedia Grand mean#7TC8, Notation (definition)

History

2026-11-02: add by m2/dev

Weakly read-once linear branching program DTGHFGPZ2W

URI	`m2://inv/DTGHFGPZ2W`
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 2610.02407#2MKM, Weakly read-once linear branching program (definition). In ZZER8ZBSCR/e1, definition 4.1

History

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

knot complement DTGJAPGMV3

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

Mentions

wikidata: Wikidata Q2017498, knot complement (unknown). Also MathWorld KnotComplement, nLab knot complement
wikipedia: Wikipedia Knot complement, Knot complement (definition). Also Wikidata Q2017498

History

2026-10-26: add by m2/dev

Weak law of large numbers DTGNJ35JJD

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

Mentions

wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#DY9Y, Weak law of large numbers (statement)

History

2026-11-02: add by m2/dev

AN/CSZ-9 DTGNKPN129

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

Mentions

wikipedia: Wikipedia NSA encryption systems#UNSC, AN/CSZ-9 (unknown)

History

2026-11-02: add by m2/dev

Reciprocal gamma function DTGNY0GXHR

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

Mentions

wikipedia: Wikipedia Reciprocal gamma function, Reciprocal gamma function (definition). Also Wikidata Q4810025

History

2026-11-02: add by m2/dev

DTGQP0NQPR DTGQP0NQPR

URI	`m2://inv/DTGQP0NQPR`
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.01273#R8Y5 (statement). In RAT41DDR51/e1, lemma 3.3

History

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

Jiang Boju DTGSABPW7W

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

Mentions

wikipedia: Wikipedia Jiang Boju, Jiang Boju (topic). Also Wikidata Q8975401

History

2026-11-02: add by m2/dev

Example DTGW6CZRE4

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

Mentions

wikipedia: Wikipedia Indicator vector#LERC, Example (example)

History

2026-11-02: add by m2/dev

Properties DTGZG2DQ6C

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

Mentions

wikipedia: Wikipedia Topologist's sine curve#Q035, Properties (statement)

History

2026-11-02: add by m2/dev

DTH2395EX5 DTH2395EX5

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

History

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

Euclidean geometry DTHD20X20V

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#U4B0, Euclidean geometry (definition)

History

2026-11-02: add by m2/dev

DTHFXG50CD DTHFXG50CD

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

Mentions

arxiv: arXiv 2412.12141#VGZP (statement). In V980ZMH759/e1, theorem 3.4

History

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

Offset filtration DTHM637W5J

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

Mentions

wikipedia: Wikipedia Offset filtration, Offset filtration (definition). Also Wikidata Q117063051

History

2026-11-02: add by m2/dev

Fibonacci prime DTHRTD6A0S

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

Mentions

wikidata: Wikidata Q1103699, Fibonacci prime (definition). Also MathWorld FibonacciPrime, OEIS A005478, ProofWiki Definition:Fibonacci_Prime
wikipedia: Wikipedia Fibonacci prime, Fibonacci prime (conjecture). Also Wikidata Q1103699

History

2026-10-26: add by m2/dev

DTJ4XD290E DTJ4XD290E

URI	`m2://inv/DTJ4XD290E`
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 2609.30444#5XRU (statement). In RZWJ0AT8W5/e1, proposition 6.7

History

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

DTJ6J1NNPE DTJ6J1NNPE

URI	`m2://inv/DTJ6J1NNPE`
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 2610.15720#F69A (definition). In VNN52G3BRE/e1, definition 4.1

History

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

DTJ71SB7MZ DTJ71SB7MZ

URI	`m2://inv/DTJ71SB7MZ`
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.10095#NJQY (statement). In 2TSKFPTS0T/e1, lemma 3

History

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

Don Zagier DTJ83DF6YB

URI	`m2://inv/DTJ83DF6YB`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q574620, Don Zagier (unknown). Also nLab Don Zagier
wikipedia: Wikipedia Don Zagier, Don Zagier (topic). Also Wikidata Q574620

History

2026-10-26: add by m2/dev

DTJEMKXEXS DTJEMKXEXS

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-38 (exercise). In E9HS8K3A52, exercise, section 7.3.4

History

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

Antoinette Tordesillas DTJH0DN6Q9

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

Mentions

wikipedia: Wikipedia Antoinette Tordesillas, Antoinette Tordesillas (topic). Also Wikidata Q26704258

History

2026-11-02: add by m2/dev

DTJHDQE6PP DTJHDQE6PP

URI	`m2://inv/DTJHDQE6PP`
Kind	definition
Layer	research
MSC	54-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.24545#4CZG (definition)

History

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

Tara E. Brendle DTJNV4MWTX

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

Mentions

wikipedia: Wikipedia Tara E. Brendle, Tara E. Brendle (topic). Also Wikidata Q67183006

History

2026-11-02: add by m2/dev

relation, reflexive DTJRGCP944

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

Mentions

hott_book: hott_book index/6.2/relation-reflexive, relation, reflexive (concept). In N54F33XE07, index, section 6.2

History

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

DTK2E9HY3Q DTK2E9HY3Q

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

Mentions

austin_ula: austin_ula src/section6-2.xml#definition-2 (definition). In 649HGZKE96, definition, section 6.2.3

History

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

DTK3HFNQGD DTK3HFNQGD

URI	`m2://inv/DTK3HFNQGD`
Kind	statement
Layer	research
MSC	60-XX, 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 2610.16267#IQHF (statement). In 65GKPZ15VH/e1, theorem 4.4

History

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

Approximately normal distribution DTK9N9F99F

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

Mentions

wikipedia: Wikipedia Normal distribution#CO4T, Approximately normal distribution (unknown)

History

2026-11-02: add by m2/dev

DTKA1TZG2C DTKA1TZG2C

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

Mentions

arxiv: arXiv 2610.07695#FU7P (statement). In 8Z47D12KSX/e1, theorem 12.3

History

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

Liu Yingming DTKHZVTNCR

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

Mentions

wikipedia: Wikipedia Liu Yingming, Liu Yingming (topic). Also Wikidata Q8990132

History

2026-11-02: add by m2/dev

Algorithms DTKMAMSCK3

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

Mentions

wikipedia: Wikipedia GNU Privacy Guard#TIVA, Algorithms (definition)

History

2026-11-02: add by m2/dev

Congested Onion Harvesting DTKNN70G9W

URI	`m2://inv/DTKNN70G9W`
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.20391#BDL1, Congested Onion Harvesting (statement). In CTAS41TRM2/e1, theorem 6.0

History

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

DTKYKG85KM DTKYKG85KM

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

Mentions

arxiv: arXiv 2609.20060#EJB7 (example)

History

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

DTKZ6TXH92 DTKZ6TXH92

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

Mentions

arxiv: arXiv 2610.22317#ZB6U (statement). In 2W5Z97BBW4/e1, theorem 4.5

History

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

The algorithm DTM310BZDF

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

Mentions

wikipedia: Wikipedia True-range multilateration#BBOV, The algorithm (definition)

History

2026-11-02: add by m2/dev

DTMBZCH6PQ DTMBZCH6PQ

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

Mentions

arxiv: arXiv 2609.27931#69XH (statement)

History

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

DTMKATZ7ZX DTMKATZ7ZX

URI	`m2://inv/DTMKATZ7ZX`
Kind	definition
Layer	research
MSC	49-XX, 65-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.02901#4W70 (definition). In NSP90G5XCQ/e1, definition 2.3

History

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

Paul Seymour DTMKPGH329

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8ZKT, Paul Seymour (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QQOC, Paul Seymour (topic)

History

2026-11-02: add by m2/dev

Bag (Corral) DTMRWKVCW3

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#4I4F, Bag (Corral) (unknown)

History

2026-11-02: add by m2/dev

Jump point search DTMZK2WGM9

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

Mentions

wikipedia: Wikipedia List of algorithms#RBTC, Jump point search (unknown)

History

2026-11-02: add by m2/dev

DTN3PKEFAZ DTN3PKEFAZ

URI	`m2://inv/DTN3PKEFAZ`
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.20881#UI00 (statement)

History

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

Feasibility margin DTN9X6P3AK

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

Mentions

arxiv: arXiv 2609.21580#5OUH, Feasibility margin (definition)

History

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

Examples DTNA9YP6KD

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

Mentions

wikipedia: Wikipedia Michell structures#7ZPQ, Examples (example)

History

2026-11-02: add by m2/dev

DTND7P2GRB DTND7P2GRB

URI	`m2://inv/DTND7P2GRB`
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.28211#RQL1 (statement)

History

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

DTNGV65F7D DTNGV65F7D

URI	`m2://inv/DTNGV65F7D`
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 2507.12309#XMGV (statement). In ZR53K3E0FR/e1, theorem 39

History

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

Doubling multiplier, extended to redouble DTNTXA88BM

URI	`m2://inv/DTNTXA88BM`
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 2609.26265#2M79, Doubling multiplier, extended to redouble (definition)

History

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

DTP2KMFBS6 DTP2KMFBS6

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

Mentions

arxiv: arXiv 2610.15517#Y1GL (statement). In C87H6KZSBM/e1, theorem 1.1

History

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

DTP39FY09C DTP39FY09C

URI	`m2://inv/DTP39FY09C`
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.25269#GU47 (statement)

History

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

DTP65RWYX5 DTP65RWYX5

URI	`m2://inv/DTP65RWYX5`
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 2507.05417#SHNS (statement). In RGHZ863Q26/e1, lemma 2.3

History

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

DTP8Y482AG DTP8Y482AG

URI	`m2://inv/DTP8Y482AG`
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 2409.03730#2ENV (statement). In ADEX39KM1T/e1, corollary 4.3

History

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

Properties DTPGFAYHPC

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

Mentions

wikipedia: Wikipedia Order bound dual#9DAX, Properties (statement)

History

2026-11-02: add by m2/dev

DTPNRCJX7X DTPNRCJX7X

URI	`m2://inv/DTPNRCJX7X`
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.17240#PDMY (statement). In 59BZ4V9RQW/e1, lemma 3.5

History

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

DTPSV6YVZJ DTPSV6YVZJ

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

Mentions

arxiv: arXiv 2609.30086#TURH (statement)

History

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

606 (number) DTPXA16A4F

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

Mentions

wikipedia: Wikipedia 600 (number)#VY1A, 606 (number) (unknown)

History

2026-11-02: add by m2/dev

Hermann Minkowski DTPYYTKE4D

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#LU9C, Hermann Minkowski (topic)

History

2026-11-02: add by m2/dev

DTQ0HBVT9C DTQ0HBVT9C

URI	`m2://inv/DTQ0HBVT9C`
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 2308.05715#ZW4Y (statement). In FC0SB9JFWH/e1, lemma 7.7

History

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

torsion group DTQ7B5YHK6

URI	`m2://inv/DTQ7B5YHK6`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Torsion group JZNQTTMG58

Mentions

wikidata: Wikidata Q1551033, torsion group (unknown). Also LMFDB knowl group.torsion, nLab torsion group
wikipedia: Wikipedia Torsion group, Torsion group (definition). Also Wikidata Q1551033

History

2026-10-26: add by m2/dev

Shallow water equations DTQWGG626P

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

Mentions

wikipedia: Wikipedia Shallow water equations, Shallow water equations (definition). Also Wikidata Q4008384

History

2026-11-02: add by m2/dev

Fabrizio Ruggeri DTR4NXCY6D

URI	`m2://inv/DTR4NXCY6D`
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#J7NA, Fabrizio Ruggeri (topic)

History

2026-11-02: add by m2/dev

DTRE2VEXDV DTRE2VEXDV

URI	`m2://inv/DTRE2VEXDV`
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 2609.32887#06BC (statement). In Z7XFG5ZKV1/e1, proposition 1

History

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

Normalized probe and low bound DTRE8R151W

URI	`m2://inv/DTRE8R151W`
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.15291#XGSK, Normalized probe and low bound (statement). In YVS8268AG8/e1, proposition 3.1

History

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

Robert C. Gunning DTRHQJ9QSD

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

Mentions

wikipedia: Wikipedia Robert C. Gunning, Robert C. Gunning (topic). Also Wikidata Q2157386

History

2026-11-02: add by m2/dev

Cylindrical-data uniqueness for gradient weights DTRSY8QKS8

URI	`m2://inv/DTRSY8QKS8`
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.17519#TLLW, Cylindrical-data uniqueness for gradient weights (statement). In H2DNTQ5MKV/e1, theorem 1.5

History

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

DTRXJK4BN8 DTRXJK4BN8

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#example-4 (example). In RZP28ERRZV, example, section 2.1

History

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

equality DTS2ST2D4H

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

Mentions

wikidata: Wikidata Q842346, equality (unknown). Also MathWorld Equality
wikipedia: Wikipedia Equality (mathematics), Equality (definition). Also Wikidata Q842346

History

2026-10-26: add by m2/dev

Example DTS72X4FR9

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

Mentions

wikipedia: Wikipedia Mimetic interpolation#9IXJ, Example (example)

History

2026-11-02: add by m2/dev

DTS8J3S50H DTS8J3S50H

URI	`m2://inv/DTS8J3S50H`
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 2601.18223#9IWN (statement). In ZRXE7EJA93/e1, lemma 4.10

History

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

Volatility (finance) DTSBBE6F71

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

Mentions

wikipedia: Wikipedia List of statistics articles#JIA0, Volatility (finance) (definition)

History

2026-11-02: add by m2/dev

Frozen-tilt upper bound DTSBEY7HHJ

URI	`m2://inv/DTSBEY7HHJ`
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.03633#4ZZT, Frozen-tilt upper bound (statement). In X3E4D61X4V/e1, theorem B.2

History

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

Terminology DTSKV5RBP1

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

Mentions

wikipedia: Wikipedia Hidden Markov model#M7SX, Terminology (definition)

History

2026-11-02: add by m2/dev

Examples DTSP4G1QDR

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

Mentions

wikipedia: Wikipedia Path loss#8CH5, Examples (example)

History

2026-11-02: add by m2/dev

Definition DTSP9B61ZT

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

Mentions

wikipedia: Wikipedia Paraconsistent logic#SWR5, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations DTSP9BYRSY

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

Mentions

wikipedia: Wikipedia Product rule#SEH8, Generalizations (statement)

History

2026-11-02: add by m2/dev

Blackboard bold letters used in mathematics DTSQKGRQ2Z

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

Mentions

wikipedia: Wikipedia Blackboard bold#ZVEL, Blackboard bold letters used in mathematics (unknown)

History

2026-11-02: add by m2/dev

DTSSFZKE70 DTSSFZKE70

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/WellOrderingPrinciple.tex#prob:find max and min (exercise). In P1C114YBXG, problem, section K

History

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

injective DTSV6AE804

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

Mentions

wikipedia: Wikipedia Glossary of logic#EK3A, injective (definition)

History

2026-11-02: add by m2/dev

DTSWHS7ZS1 DTSWHS7ZS1

URI	`m2://inv/DTSWHS7ZS1`
Kind	statement
Layer	research
MSC	03-XX, 14-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.20361#Y0YG (statement)

History

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

Self-injective ring DTSYZB84NJ

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

Mentions

wikipedia: Wikipedia Injective module#GLHD, Self-injective ring (unknown)

History

2026-11-02: add by m2/dev

DTTBR2A6KR DTTBR2A6KR

URI	`m2://inv/DTTBR2A6KR`
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 2207.12181#0F2R (statement). In FSD8NE3XSR/e1, corollary 6.9

History

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

DTTR55CQD7 DTTR55CQD7

URI	`m2://inv/DTTR55CQD7`
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.33771#N1PX (statement). In ZXQA7QH0H0/e1, theorem 0.1

History

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

DTV000YCTQ DTV000YCTQ

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

Mentions

lebl_scv: lebl_scv scv.tex#example-9 (example). In VNMV985MXX, example, section 2.3

History

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

DTV4SXK4VZ DTV4SXK4VZ

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

Mentions

napkin: napkin tex/set-theory/models.tex#prob:inaccessible_model (exercise). In RZP28ERRZV, sproblem, section 91.9

History

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

Alternating step generator DTV66DDPRN

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

Mentions

wikipedia: Wikipedia Alternating step generator, Alternating step generator (definition). Also Wikidata Q17012030

History

2026-11-02: add by m2/dev

DTV8K8V9D4 DTV8K8V9D4

URI	`m2://inv/DTV8K8V9D4`
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.16886#BY8X (statement). In Y8QQAH7VCF/e1, theorem 3.1

History

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

operator product expansion DTVFYH98B8

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

Mentions

wikidata: Wikidata Q3883909, operator product expansion (unknown). Also nLab operator product expansion
wikipedia: Wikipedia Operator product expansion, Operator product expansion (definition). Also Wikidata Q3883909

History

2026-10-26: add by m2/dev

deficiency DTVV94NTJT

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#FR5D, deficiency (definition)

History

2026-11-02: add by m2/dev

incidence matrix DTVXP7C5DD

URI	`m2://inv/DTVXP7C5DD`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Incidence matrix 9DNFN8M83X

Mentions

wikidata: Wikidata Q939272, incidence matrix (unknown). Also MathWorld IncidenceMatrix
wikipedia: Wikipedia Incidence matrix, Incidence matrix (definition). Also Wikidata Q939272

History

2026-10-26: add by m2/dev

DTVYH394MJ DTVYH394MJ

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

Mentions

arxiv: arXiv 2610.21675#K5KN (definition). In TB1294GY5X/e1, definition

History

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

Markov additive process DTW2D8G8F8

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

Mentions

wikipedia: Wikipedia Markov additive process, Markov additive process (definition). Also Wikidata Q6771320

History

2026-11-02: add by m2/dev

DTW3CFDWEQ DTW3CFDWEQ

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

Mentions

arxiv: arXiv 2610.11902#JMS1 (definition). In K66QKM4N5E/e1, definition 2.5

History

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

Examples DTW48QEJ7C

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

Mentions

wikipedia: Wikipedia Contour set#ZB3J, Examples (example)

History

2026-11-02: add by m2/dev

DTW9R0YXSC DTW9R0YXSC

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

Mentions

arxiv: arXiv 2609.34570#YVAR (statement). In EVFX1R7ZDD/e1, lemma 6

History

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

DTWGMZJZYT DTWGMZJZYT

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

Mentions

arxiv: arXiv 2609.22240#KOPF (statement)

History

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

One-dimensional projected convex order is strictly weaker DTWJ0T9ME5

URI	`m2://inv/DTWJ0T9ME5`
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.07404#2S3G, One-dimensional projected convex order is strictly weaker (statement). In VAJ9MBT3SJ/e1, theorem 1

History

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

DTWSWE7NSX DTWSWE7NSX

URI	`m2://inv/DTWSWE7NSX`
Kind	definition
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#XWHT (definition). In 8M7BFVQYMM/e1, definition 4.9

History

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

Karl Popper DTWYB8FMVE

URI	`m2://inv/DTWYB8FMVE`
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 Q81244, Karl Popper (unknown). Also nLab Karl Popper

History

2026-10-26: add by m2/dev

DTX5AFP8R3 DTX5AFP8R3

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

Mentions

arxiv: arXiv 2609.31883#SDF3 (statement). In XBHQRTBH62/e1, theorem 4.1

History

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

FEATool Multiphysics DTX8TEZJ1K

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#11OD, FEATool Multiphysics (unknown)

History

2026-11-02: add by m2/dev

DTXAB3PY9H DTXAB3PY9H

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

Mentions

arxiv: arXiv 2609.23847#4YVX (statement)

History

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

CR geometry DTXAMXW0NX

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#9GTA, CR geometry (definition)

History

2026-11-02: add by m2/dev

Individual pieces set DTY0YAS374

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

Mentions

wikipedia: Wikipedia Individual pieces set, Individual pieces set (definition). Also Wikidata Q28135934

History

2026-11-02: add by m2/dev

Erdős–Rado theorem DTY5G90XE7

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

Mentions

wikipedia: Wikipedia List of theorems#HI0Z, Erdős–Rado theorem (statement)

History

2026-11-02: add by m2/dev

Wireworld DTY67K66WX

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

Mentions

wikidata: Wikidata Q1293471, Wireworld (unknown). Also MathWorld WireWorld
wikipedia: Wikipedia Wireworld, Wireworld (definition). Also Wikidata Q1293471

History

2026-10-26: add by m2/dev

Definition DTY7W1287M

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

Mentions

wikipedia: Wikipedia Q-derivative#BWQI, Definition (definition)

History

2026-11-02: add by m2/dev

End-to-end complexity DTYQXFNQTQ

URI	`m2://inv/DTYQXFNQTQ`
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.10640#2FYR, End-to-end complexity (statement). In BAQVK6N0RD/e1, theorem 4

History

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

DTYR740CPC DTYR740CPC

URI	`m2://inv/DTYR740CPC`
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.19132#0QG5 (statement). In 3CQJND929F/e1, lemma 3.9

History

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

SceneTap DTYR88QQQA

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

Mentions

wikipedia: Wikipedia SceneTap, SceneTap (definition). Also Wikidata Q7430729

History

2026-11-02: add by m2/dev

DTYT3QA51X DTYT3QA51X

URI	`m2://inv/DTYT3QA51X`
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.40345#RUHE (statement). In WK0PT95WW1/e1, corollary 4.9

History

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

Construction of the two characteristic arcs DTYW1QAG2J

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

Mentions

arxiv: arXiv 2609.38041#DDMS, Construction of the two characteristic arcs (statement). In 54NQGN1BWM/e1, lemma 6.2

History

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

The moving rows DTYY7344VX

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

Mentions

wikipedia: Wikipedia Zeno's paradoxes#B5VA, The moving rows (unknown)

History

2026-11-02: add by m2/dev

Seiberg–Witten equation DTYYH8QSZZ

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

Mentions

wikipedia: Wikipedia Seiberg–Witten invariants#B4VT, Seiberg–Witten equation (unknown)

History

2026-11-02: add by m2/dev

Bernoulli Sudakov minoration DTYZJXRTNR

URI	`m2://inv/DTYZJXRTNR`
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.30525#U5UW, Bernoulli Sudakov minoration (statement). In CHEZQEACQG/e1, proposition 2.2

History

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

Catalan's minimal surface DTZ140XR1F

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#6WX1, Catalan's minimal surface (definition)
wikipedia: Wikipedia List of surfaces#8KN4, Catalan's minimal surface (definition)

History

2026-11-02: add by m2/dev

DTZ2HVJX43 DTZ2HVJX43

URI	`m2://inv/DTZ2HVJX43`
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.12277#WUKJ (statement). In N6GW8Z49SZ/e1, lemma 2.4

History

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

DTZ6V8M9WX DTZ6V8M9WX

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

Mentions

napkin: napkin tex/diffgeo/forms.tex#definition-4 (definition). In RZP28ERRZV, definition, section 43.5

History

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

DTZ7MFACGD DTZ7MFACGD

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

Mentions

arxiv: arXiv 2610.03628#ANN9 (definition). In P8KT6JV9N1/e1, definition 2.3

History

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

Examples DTZ7TGV3VG

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

Mentions

wikipedia: Wikipedia Integral closure of an ideal#LQYM, Examples (example)

History

2026-11-02: add by m2/dev

DTZ8C4KVH4 DTZ8C4KVH4

URI	`m2://inv/DTZ8C4KVH4`
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.40282#HP1N (statement). In P86RWY99S2/e1, proposition 2.1.3

History

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

DTZJH140EK DTZJH140EK

URI	`m2://inv/DTZJH140EK`
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.28417#R8IJ (statement)

History

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

Renamed copy DTZM4PV95H

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

Mentions

wikipedia: Wikipedia Term (logic)#599P, Renamed copy (unknown)

History

2026-11-02: add by m2/dev

The Long Tail DTZQGCYBBB

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

Mentions

wikipedia: Wikipedia List of statistics articles#2RCS, The Long Tail (definition)

History

2026-11-02: add by m2/dev

DTZR9HPKVV DTZR9HPKVV

URI	`m2://inv/DTZR9HPKVV`
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#GRLZ (statement). In BDN507RN7J/e1, proposition 3.8.1

History

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

Proportional reporting ratio DTZYJCC4AE

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

Mentions

wikipedia: Wikipedia Proportional reporting ratio, Proportional reporting ratio (definition). Also Wikidata Q7250358

History

2026-11-02: add by m2/dev

Poincaré–Neumann operator DTZZKEQZEF

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#IKNF, Poincaré–Neumann operator (definition)

History

2026-11-02: add by m2/dev